1// RUN: mlir-opt %s -split-input-file -verify-diagnostics
2
3// -----
4
5func.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
18func.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}}
29module attributes {attr} {
30}
31
32