blob: 1bcfb0b8e20be220ac5b2a6f270a5da3fa4ed6f6 (
plain)
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
|
// RUN: mlir-opt %s | mlir-opt | FileCheck %s
module {
// CHECK-LABEL: irdl.dialect @testd {
irdl.dialect @testd {
// CHECK: irdl.type @singleton
irdl.type @singleton
// CHECK: irdl.type @parametrized {
// CHECK: %[[v0:[^ ]*]] = irdl.any
// CHECK: %[[v1:[^ ]*]] = irdl.is i32
// CHECK: %[[v2:[^ ]*]] = irdl.is i64
// CHECK: %[[v3:[^ ]*]] = irdl.any_of(%[[v1]], %[[v2]])
// CHECK: irdl.parameters(%[[v0]], %[[v3]])
// CHECK: }
irdl.type @parametrized {
%0 = irdl.any
%1 = irdl.is i32
%2 = irdl.is i64
%3 = irdl.any_of(%1, %2)
irdl.parameters(%0, %3)
}
// CHECK: irdl.operation @any {
// CHECK: %[[v0:[^ ]*]] = irdl.any
// CHECK: irdl.results(%[[v0]])
// CHECK: }
irdl.operation @any {
%0 = irdl.any
irdl.results(%0)
}
}
}
|