mlir/test/IR/invalid-module-op.mlir

   1 // RUN: mlir-opt %s -split-input-file -verify-diagnostics
   2
   3 // -----
   4
   5 func.func @module_op() {
   6   // expected-error@+1 {{'builtin.module' op expects region #0 to have 0 or 1 blocks}}
   7   builtin.module {
   8   ^bb1:
   9     "test.dummy"() : () -> ()
  10   ^bb2:
  11     "test.dummy"() : () -> ()
  12   }
  13   return
  14 }
  15
  16 // -----
  17
  18 func.func @module_op() {
  19   // expected-error@+1 {{region should have no arguments}}
  20   builtin.module {
  21   ^bb1(%arg: i32):
  22   }
  23   return
  24 }
  25
  26 // -----
  27
  28 // expected-error@+1 {{can only contain attributes with dialect-prefixed names}}
  29 module attributes {attr} {
  30 }
  31