1// RUN: mlir-opt --no-implicit-module --mlir-print-skip-regions \ 2// RUN: --split-input-file %s | FileCheck %s 3 4// CHECK-LABEL: func.func @foo(%{{.+}}: i32, %{{.+}}: i32, %{{.+}}: i32) -> i32 {...} 5// CHECK-NOT: return 6func.func @foo(%arg0: i32, %arg1: i32, %arg3: i32) -> i32 { 7 return %arg0: i32 8} 9 10// ----- 11 12// CHECK: module {...} 13// CHECK-NOT: func.func 14module { 15 func.func @foo(%arg0: i32, %arg1: i32, %arg3: i32) -> i32 { 16 return %arg0: i32 17 } 18} 19