// RUN: mlir-opt %s | FileCheck %s | |
// CHECK-LABEL: func @no_overflow_on_test_verifiers_op | |
func.func @no_overflow_on_test_verifiers_op() { | |
%0 = arith.constant 1 : i32 | |
"test.verifiers"(%0) ({ | |
%1 = arith.constant 2 : i32 | |
"test.verifiers"(%1) ({ | |
%2 = arith.constant 3 : index | |
}) : (i32) -> () | |
}) : (i32) -> () | |
return | |
} |