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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
|
// RUN: cir-opt -cir-canonicalize -cir-simplify -o %t.cir %s
// RUN: FileCheck --input-file=%t.cir %s
!s32i = !cir.int<s, 32>
module {
cir.func @foldCascade(%arg0: !s32i) {
%0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
cir.store %arg0, %0 : !s32i, !cir.ptr<!s32i>
cir.scope {
%1 = cir.load %0 : !cir.ptr<!s32i>, !s32i
cir.switch (%1 : !s32i) {
cir.case(equal, [#cir.int<1> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<2> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<3> : !s32i]) {
%2 = cir.const #cir.int<2> : !s32i
cir.store %2, %0 : !s32i, !cir.ptr<!s32i>
cir.break
}
cir.yield
}
}
cir.return
}
//CHECK: cir.func @foldCascade
//CHECK: cir.switch (%[[COND:.*]] : !s32i) {
//CHECK-NEXT: cir.case(anyof, [#cir.int<1> : !s32i, #cir.int<2> : !s32i, #cir.int<3> : !s32i]) {
//CHECK-NEXT: %[[TWO:.*]] = cir.const #cir.int<2> : !s32i
//CHECK-NEXT: cir.store %[[TWO]], %[[ARG0:.*]] : !s32i, !cir.ptr<!s32i>
//CHECK-NEXT: cir.break
//CHECK-NEXT: }
//CHECK-NEXT: cir.yield
//CHECK-NEXT: }
cir.func @foldCascade2(%arg0: !s32i) {
%0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
cir.store %arg0, %0 : !s32i, !cir.ptr<!s32i>
cir.scope {
%1 = cir.load %0 : !cir.ptr<!s32i>, !s32i
cir.switch (%1 : !s32i) {
cir.case(equal, [#cir.int<0> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<2> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<4> : !s32i]) {
cir.break
}
cir.case(equal, [#cir.int<1> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<3> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<5> : !s32i]) {
cir.break
}
cir.yield
}
}
cir.return
}
//CHECK: @foldCascade2
//CHECK: cir.switch (%[[COND2:.*]] : !s32i) {
//CHECK: cir.case(anyof, [#cir.int<0> : !s32i, #cir.int<2> : !s32i, #cir.int<4> : !s32i]) {
//CHECK: cir.break
//cehck: }
//CHECK: cir.case(anyof, [#cir.int<1> : !s32i, #cir.int<3> : !s32i, #cir.int<5> : !s32i]) {
//CHECK: cir.break
//CHECK: }
//CHECK: cir.yield
//CHECK: }
cir.func @foldCascade3(%arg0: !s32i ) {
%0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
cir.store %arg0, %0 : !s32i, !cir.ptr<!s32i>
cir.scope {
%1 = cir.alloca !s32i, !cir.ptr<!s32i>, ["x"] {alignment = 4 : i64}
%2 = cir.load %0 : !cir.ptr<!s32i>, !s32i
cir.switch (%2 : !s32i) {
cir.case(equal, [#cir.int<0> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<1> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<2> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<3> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<4> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<5> : !s32i]) {
cir.break
}
cir.yield
}
}
cir.return
}
//CHECK: cir.func @foldCascade3
//CHECK: cir.switch (%[[COND3:.*]] : !s32i) {
//CHECK: cir.case(anyof, [#cir.int<0> : !s32i, #cir.int<1> : !s32i, #cir.int<2> : !s32i, #cir.int<3> : !s32i, #cir.int<4> : !s32i, #cir.int<5> : !s32i]) {
//CHECK: cir.break
//CHECK: }
//CHECK: cir.yield
//CHECK: }
cir.func @foldCascadeWithDefault(%arg0: !s32i ) {
%0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
cir.store %arg0, %0 : !s32i, !cir.ptr<!s32i>
cir.scope {
%1 = cir.load %0 : !cir.ptr<!s32i>, !s32i
cir.switch (%1 : !s32i) {
cir.case(equal, [#cir.int<3> : !s32i]) {
cir.break
}
cir.case(equal, [#cir.int<4> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<5> : !s32i]) {
cir.yield
}
cir.case(default, []) {
cir.yield
}
cir.case(equal, [#cir.int<6> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<7> : !s32i]) {
cir.break
}
cir.yield
}
}
cir.return
}
//CHECK: cir.func @foldCascadeWithDefault
//CHECK: cir.switch (%[[COND:.*]] : !s32i) {
//CHECK: cir.case(equal, [#cir.int<3> : !s32i]) {
//CHECK: cir.break
//CHECK: }
//CHECK: cir.case(anyof, [#cir.int<4> : !s32i, #cir.int<5> : !s32i]) {
//CHECK: cir.yield
//CHECK: }
//CHECK: cir.case(default, []) {
//CHECK: cir.yield
//CHECK: }
//CHECK: cir.case(anyof, [#cir.int<6> : !s32i, #cir.int<7> : !s32i]) {
//CHECK: cir.break
//CHECK: }
//CHECK: cir.yield
//CHECK: }
cir.func @foldAllCascade(%arg0: !s32i ) {
%0 = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
cir.store %arg0, %0 : !s32i, !cir.ptr<!s32i>
cir.scope {
%1 = cir.load %0 : !cir.ptr<!s32i>, !s32i
cir.switch (%1 : !s32i) {
cir.case(equal, [#cir.int<0> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<1> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<2> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<3> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<4> : !s32i]) {
cir.yield
}
cir.case(equal, [#cir.int<5> : !s32i]) {
cir.yield
}
cir.yield
}
}
cir.return
}
//CHECK: cir.func @foldAllCascade
//CHECK: cir.switch (%[[COND:.*]] : !s32i) {
//CHECK: cir.case(anyof, [#cir.int<0> : !s32i, #cir.int<1> : !s32i, #cir.int<2> : !s32i, #cir.int<3> : !s32i, #cir.int<4> : !s32i, #cir.int<5> : !s32i]) {
//CHECK: cir.yield
//CHECK: }
//CHECK: cir.yield
//CHECK: }
}
|
