aboutsummaryrefslogtreecommitdiff
path: root/mlir/test/IR/generic-region-visitors-interrupt.mlir
blob: 8fa1fdf62c32715ccec8131b5ebaa4c38c881945 (plain)
1
2
3
4
5
6
7
8
9
// RUN: mlir-opt -test-generic-ir-region-visitors-interrupt -allow-unregistered-dialect -split-input-file %s | FileCheck %s

func.func @main(%arg0: f32) -> f32 {
  %v1 = "foo"() {interrupt = true} : () -> f32
  %v2 = arith.addf %v1, %arg0 : f32
  return %v2 : f32
}

// CHECK: step 0 walk was interrupted