// RUN: mlir-opt --no-implicit-module --mlir-print-skip-regions \
// RUN: --split-input-file %s | FileCheck %s
// CHECK-LABEL: func.func @foo(%{{.+}}: i32, %{{.+}}: i32, %{{.+}}: i32) -> i32 {...}
// CHECK-NOT: return
func.func @foo(%arg0: i32, %arg1: i32, %arg3: i32) -> i32 {
return %arg0: i32
}
// -----
// CHECK: module {...}
// CHECK-NOT: func.func
module {
func.func @foo(%arg0: i32, %arg1: i32, %arg3: i32) -> i32 {
return %arg0: i32
}
}