mlir/test/IR/top-level.mlir

   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}}