mlir/test/Dialect/SPIRV/IR/misc-ops.mlir

   1 // RUN: mlir-opt -split-input-file -verify-diagnostics %s | FileCheck %s
   2
   3 //===----------------------------------------------------------------------===//
   4 // spirv.Undef
   5 //===----------------------------------------------------------------------===//
   6
   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
  13 }
  14
  15 // -----
  16
  17 func.func @undef() -> () {
  18   // expected-error @+1{{expected non-function type}}
  19   %0 = spirv.Undef :
  20   spirv.Return
  21 }
  22
  23 // -----
  24
  25 func.func @undef() -> () {
  26   // expected-error @+1{{expected ':'}}
  27   %0 = spirv.Undef
  28   spirv.Return
  29 }
  30
  31 // -----
  32
  33 func.func @assume_true(%arg : i1) -> () {
  34   // CHECK: spirv.KHR.AssumeTrue %{{.*}}
  35   spirv.KHR.AssumeTrue %arg
  36   spirv.Return
  37 }
  38
  39 // -----
  40
  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
  46 }