| // RUN: mlir-opt -test-convert-to-spirv="run-signature-conversion=false run-vector-unrolling=false" -split-input-file %s | FileCheck %s | |
| // CHECK-LABEL: @ub | |
| // CHECK: %[[UNDEF:.*]] = spirv.Undef : i32 | |
| // CHECK: spirv.ReturnValue %[[UNDEF]] : i32 | |
| func.func @ub() -> index { | |
| %0 = ub.poison : index | |
| return %0 : index | |
| } |