llvm/mlir/test/IR/test-take-body.mlir

// RUN: mlir-opt -allow-unregistered-dialect %s --test-take-body -split-input-file

func.func @foo() {
  %0 = "test.foo"() : () -> i32
  cf.br ^header

^header:
  cf.br ^body

^body:
  "test.use"(%0) : (i32) -> ()
  cf.br ^header
}

func.func private @bar() {
  return
}

// CHECK-LABEL: func @foo
// CHECK-NEXT: return

// CHECK-LABEL: func private @bar()
// CHECK-NOT: {