14 lines · plain
1// RUN: mlir-opt %s | FileCheck %s2 3// CHECK-LABEL: func @no_overflow_on_test_verifiers_op4func.func @no_overflow_on_test_verifiers_op() {5 %0 = arith.constant 1 : i326 "test.verifiers"(%0) ({7 %1 = arith.constant 2 : i328 "test.verifiers"(%1) ({9 %2 = arith.constant 3 : index10 }) : (i32) -> ()11 }) : (i32) -> ()12 return13}14