mlir/test/IR/test-region-branch-op-verifier.mlir

   1 // RUN: mlir-opt %s -split-input-file
   2
   3 func.func @test_ops_verify(%arg: i32) -> f32 {
   4   %0 = "test.constant"() { value = 5.3 : f32 } : () -> f32
   5   %1 = test.loop_block %arg : (i32) -> f32 {
   6   ^bb0(%arg1 : i32):
   7     test.loop_block_term iter %arg exit %0
   8   }
   9   return %1 : f32
  10 }
  11
  12 // -----
  13
  14 func.func @test_no_terminator(%arg: index) {
  15   test.switch_with_no_break %arg
  16   case 0 {
  17   ^bb:
  18   }
  19   case 1 {
  20   ^bb:
  21   }
  22   return
  23 }