1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// RUN: mlir-opt -allow-unregistered-dialect %s -split-input-file -mlir-print-debuginfo -mlir-print-local-scope | FileCheck %s
// CHECK: module {
module {
}
// -----
// CHECK: module attributes {foo.attr = true} {
module attributes {foo.attr = true} {
}
// -----
// CHECK: module {
module {
// CHECK-NEXT: "foo.result_op"() : () -> i32
%result = "foo.result_op"() : () -> i32
}
// -----
// Check that a top-level module is always created, with location info.
// CHECK: module {
// CHECK-NEXT: } loc({{.*}}module-op.mlir{{.*}})
// -----
// Check that the top-level module can be defined via a single module operation.
// CHECK: module {
// CHECK-NOT: module {
module {
}
// -----
// Check that the implicit top-level module is also a name scope for SSA
// values. This should not crash.
// CHECK: module {
// CHECK: %{{.*}} = "op"
// CHECK: }
%0 = "op"() : () -> i32
// -----
// CHECK-LABEL: module @foo
// CHECK-NOT: attributes
module @foo {
// CHECK: module
module {
// CHECK: module @bar attributes
module @bar attributes {foo.bar} {
}
}
}
// -----
// expected-error@below {{expects at most one data layout attribute}}
// expected-note@below {{'test.another_attribute' is a data layout attribute}}
// expected-note@below {{'test.random_attribute' is a data layout attribute}}
module attributes { test.random_attribute = #dlti.dl_spec<>,
test.another_attribute = #dlti.dl_spec<>} {
}
|
