1// RUN: mlir-opt %s | FileCheck %s 2 3// CHECK-LABEL: func @no_overflow_on_test_verifiers_op 4func.func @no_overflow_on_test_verifiers_op() { 5 %0 = arith.constant 1 : i32 6 "test.verifiers"(%0) ({ 7 %1 = arith.constant 2 : i32 8 "test.verifiers"(%1) ({ 9 %2 = arith.constant 3 : index 10 }) : (i32) -> () 11 }) : (i32) -> () 12 return 13} 14