[clang-tidy][NFC]remove deps of clang in clang tidy test (#116588)
[llvm-project.git] / mlir / test / Dialect / SPIRV / IR / misc-ops.mlir
blob182b661035a61211fc5f3e304bf23c3afb105810
1 // RUN: mlir-opt -split-input-file -verify-diagnostics %s | FileCheck %s
3 //===----------------------------------------------------------------------===//
4 // spirv.Undef
5 //===----------------------------------------------------------------------===//
7 func.func @undef() -> () {
8   // CHECK: %{{.*}} = spirv.Undef : f32
9   %0 = spirv.Undef : f32
10   // CHECK: %{{.*}} = spirv.Undef : vector<4xf32>
11   %1 = spirv.Undef : vector<4xf32>
12   spirv.Return
15 // -----
17 func.func @undef() -> () {
18   // expected-error @+1{{expected non-function type}}
19   %0 = spirv.Undef :
20   spirv.Return
23 // -----
25 func.func @undef() -> () {
26   // expected-error @+1{{expected ':'}}
27   %0 = spirv.Undef
28   spirv.Return
31 // -----
33 func.func @assume_true(%arg : i1) -> () {
34   // CHECK: spirv.KHR.AssumeTrue %{{.*}}
35   spirv.KHR.AssumeTrue %arg
36   spirv.Return
39 // -----
41 func.func @assume_true(%arg : f32) -> () {
42   // expected-error @+2{{use of value '%arg' expects different type than prior uses: 'i1' vs 'f32'}}
43   // expected-note @-2 {{prior use here}}
44   spirv.KHR.AssumeTrue %arg
45   spirv.Return