mlir/test/IR/test-verifiers-op.mlir

   1 // RUN: mlir-opt %s | FileCheck %s
   2
   3 // CHECK-LABEL: func @no_overflow_on_test_verifiers_op
   4 func.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 }