// RUN: mlir-opt -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
}