| rkayaith | 4b27825 | 2022-09-28 01:09:34 | [diff] [blame] | 1 | // RUN: mlir-opt --no-implicit-module --verify-diagnostics --split-input-file %s | FileCheck %s |
| 2 | |||||
| 3 | // CHECK-NOT: module | ||||
| 4 | // CHECK: func.func | ||||
| 5 | func.func private @foo() | ||||
| 6 | |||||
| 7 | // ----- | ||||
| 8 | |||||
| 9 | // expected-error@-3 {{source must contain a single top-level operation, found: 2}} | ||||
| 10 | func.func private @bar() | ||||
| 11 | func.func private @baz() | ||||
| 12 | |||||
| 13 | // ----- | ||||
| 14 | |||||
| 15 | // expected-error@-3 {{source must contain a single top-level operation, found: 0}} | ||||