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