aboutsummaryrefslogtreecommitdiff
path: root/mlir/test/IR/top-level.mlir
blob: b571d944928c8b5e94707d282acb132f1b122398 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
// RUN: mlir-opt --no-implicit-module --verify-diagnostics --split-input-file %s | FileCheck %s

// CHECK-NOT: module
//     CHECK: func.func
func.func private @foo()

// -----

// expected-error@-3 {{source must contain a single top-level operation, found: 2}}
func.func private @bar()
func.func private @baz()

// -----

// expected-error@-3 {{source must contain a single top-level operation, found: 0}}