mlir/test/IR/generic-region-visitors-interrupt.mlir

   1 // RUN: mlir-opt -test-generic-ir-region-visitors-interrupt -allow-unregistered-dialect -split-input-file %s | FileCheck %s
   2
   3 func.func @main(%arg0: f32) -> f32 {
   4   %v1 = "foo"() {interrupt = true} : () -> f32
   5   %v2 = arith.addf %v1, %arg0 : f32
   6   return %v2 : f32
   7 }
   8
   9 // CHECK: step 0 walk was interrupted