Commit 98c994c
1 parent 054f9c5 commit 98c994c
File tree
15 files changed
+127
-163
lines changed- mlir
- include/mlir/Analysis/Presburger
- lib/Analysis
- Presburger
- unittests/Analysis/Presburger
15 files changed
+127
-163
lines changedLines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
366 | 366 |
| |
367 | 367 |
| |
368 | 368 |
| |
369 |
| - | |
| 369 | + | |
370 | 370 |
| |
371 | 371 |
| |
372 | 372 |
| |
| |||
792 | 792 |
| |
793 | 793 |
| |
794 | 794 |
| |
795 |
| - | |
| 795 | + | |
796 | 796 |
| |
797 | 797 |
| |
798 |
| - | |
| 798 | + | |
799 | 799 |
| |
800 | 800 |
| |
801 | 801 |
| |
|
Lines changed: 4 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 |
| - | |
26 |
| - | |
| 25 | + | |
| 26 | + | |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 |
| - | |
| 35 | + | |
36 | 36 |
| |
37 | 37 |
| |
38 | 38 |
| |
| |||
50 | 50 |
| |
51 | 51 |
| |
52 | 52 |
| |
53 |
| - | |
54 |
| - | |
55 |
| - | |
56 |
| - | |
57 | 53 |
| |
58 |
| - | |
| 54 | + | |
59 | 55 |
| |
60 | 56 |
| |
61 | 57 |
| |
|
Lines changed: 22 additions & 29 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 |
| - | |
| 10 | + | |
12 | 11 |
| |
13 | 12 |
| |
14 | 13 |
| |
15 | 14 |
| |
16 | 15 |
| |
17 | 16 |
| |
| 17 | + | |
18 | 18 |
| |
19 |
| - | |
20 |
| - | |
21 | 19 |
| |
22 | 20 |
| |
23 | 21 |
| |
| |||
34 | 32 |
| |
35 | 33 |
| |
36 | 34 |
| |
37 |
| - | |
38 |
| - | |
39 |
| - | |
40 |
| - | |
41 | 35 |
| |
42 |
| - | |
43 | 36 |
| |
44 | 37 |
| |
45 | 38 |
| |
| |||
56 | 49 |
| |
57 | 50 |
| |
58 | 51 |
| |
59 |
| - | |
| 52 | + | |
60 | 53 |
| |
61 | 54 |
| |
62 | 55 |
| |
63 | 56 |
| |
64 | 57 |
| |
65 |
| - | |
| 58 | + | |
66 | 59 |
| |
67 | 60 |
| |
68 | 61 |
| |
69 | 62 |
| |
70 | 63 |
| |
71 |
| - | |
| 64 | + | |
72 | 65 |
| |
73 |
| - | |
| 66 | + | |
74 | 67 |
| |
75 | 68 |
| |
76 | 69 |
| |
| |||
94 | 87 |
| |
95 | 88 |
| |
96 | 89 |
| |
97 |
| - | |
98 |
| - | |
| 90 | + | |
| 91 | + | |
99 | 92 |
| |
100 | 93 |
| |
101 |
| - | |
| 94 | + | |
102 | 95 |
| |
103 | 96 |
| |
104 | 97 |
| |
| |||
132 | 125 |
| |
133 | 126 |
| |
134 | 127 |
| |
135 |
| - | |
136 |
| - | |
| 128 | + | |
| 129 | + | |
137 | 130 |
| |
138 | 131 |
| |
139 |
| - | |
| 132 | + | |
140 | 133 |
| |
141 |
| - | |
| 134 | + | |
142 | 135 |
| |
143 | 136 |
| |
144 |
| - | |
| 137 | + | |
145 | 138 |
| |
146 | 139 |
| |
147 | 140 |
| |
148 |
| - | |
| 141 | + | |
149 | 142 |
| |
150 | 143 |
| |
151 |
| - | |
| 144 | + | |
152 | 145 |
| |
153 | 146 |
| |
154 | 147 |
| |
| |||
159 | 152 |
| |
160 | 153 |
| |
161 | 154 |
| |
162 |
| - | |
| 155 | + | |
163 | 156 |
| |
164 | 157 |
| |
165 |
| - | |
| 158 | + | |
166 | 159 |
| |
167 | 160 |
| |
168 | 161 |
| |
169 |
| - | |
| 162 | + | |
170 | 163 |
| |
171 | 164 |
| |
172 | 165 |
| |
173 |
| - | |
| 166 | + | |
174 | 167 |
| |
175 | 168 |
| |
176 | 169 |
| |
| |||
199 | 192 |
| |
200 | 193 |
| |
201 | 194 |
| |
202 |
| - | |
| 195 | + | |
203 | 196 |
| |
204 | 197 |
| |
205 | 198 |
| |
| |||
218 | 211 |
| |
219 | 212 |
| |
220 | 213 |
| |
221 |
| - | |
| 214 | + | |
222 | 215 |
| |
223 | 216 |
| |
224 | 217 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
43 |
| - | |
| 43 | + | |
44 | 44 |
| |
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
49 |
| - | |
| 49 | + | |
50 | 50 |
| |
51 | 51 |
| |
52 | 52 |
| |
| |||
65 | 65 |
| |
66 | 66 |
| |
67 | 67 |
| |
68 |
| - | |
| 68 | + | |
69 | 69 |
| |
70 | 70 |
| |
71 | 71 |
| |
| |||
124 | 124 |
| |
125 | 125 |
| |
126 | 126 |
| |
127 |
| - | |
| 127 | + | |
128 | 128 |
| |
129 | 129 |
| |
130 | 130 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
338 | 338 |
| |
339 | 339 |
| |
340 | 340 |
| |
341 |
| - | |
| 341 | + | |
342 | 342 |
| |
343 | 343 |
| |
344 | 344 |
| |
| |||
861 | 861 |
| |
862 | 862 |
| |
863 | 863 |
| |
864 |
| - | |
| 864 | + | |
865 | 865 |
| |
866 | 866 |
| |
867 | 867 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
182 | 182 |
| |
183 | 183 |
| |
184 | 184 |
| |
185 |
| - | |
| 185 | + | |
186 | 186 |
| |
187 | 187 |
| |
188 | 188 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1292 | 1292 |
| |
1293 | 1293 |
| |
1294 | 1294 |
| |
1295 |
| - | |
| 1295 | + | |
1296 | 1296 |
| |
1297 | 1297 |
| |
1298 | 1298 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
304 | 304 |
| |
305 | 305 |
| |
306 | 306 |
| |
307 |
| - | |
| 307 | + | |
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
| |||
738 | 738 |
| |
739 | 739 |
| |
740 | 740 |
| |
741 |
| - | |
| 741 | + | |
742 | 742 |
| |
743 | 743 |
| |
744 | 744 |
| |
| |||
759 | 759 |
| |
760 | 760 |
| |
761 | 761 |
| |
762 |
| - | |
| 762 | + | |
763 | 763 |
| |
764 | 764 |
| |
765 | 765 |
| |
| |||
845 | 845 |
| |
846 | 846 |
| |
847 | 847 |
| |
848 |
| - | |
| 848 | + | |
849 | 849 |
| |
850 | 850 |
| |
851 | 851 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 |
| - | |
16 |
| - | |
| 15 | + | |
| 16 | + | |
17 | 17 |
| |
18 | 18 |
| |
19 |
| - | |
| 19 | + | |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
|
Lines changed: 48 additions & 58 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 | 10 |
| |
12 | 11 |
| |
13 | 12 |
| |
14 | 13 |
| |
15 | 14 |
| |
16 | 15 |
| |
17 |
| - | |
| 16 | + | |
18 | 17 |
| |
19 | 18 |
| |
20 | 19 |
| |
21 | 20 |
| |
22 | 21 |
| |
23 | 22 |
| |
24 | 23 |
| |
25 |
| - | |
| 24 | + | |
26 | 25 |
| |
27 | 26 |
| |
28 | 27 |
| |
29 | 28 |
| |
30 | 29 |
| |
31 | 30 |
| |
32 |
| - | |
| 31 | + | |
33 | 32 |
| |
34 | 33 |
| |
35 | 34 |
| |
36 |
| - | |
| 35 | + | |
37 | 36 |
| |
38 | 37 |
| |
39 | 38 |
| |
40 |
| - | |
| 39 | + | |
41 | 40 |
| |
42 | 41 |
| |
43 | 42 |
| |
44 | 43 |
| |
45 |
| - | |
| 44 | + | |
46 | 45 |
| |
47 | 46 |
| |
48 | 47 |
| |
49 | 48 |
| |
50 | 49 |
| |
51 | 50 |
| |
52 | 51 |
| |
53 |
| - | |
| 52 | + | |
54 | 53 |
| |
55 | 54 |
| |
56 | 55 |
| |
57 | 56 |
| |
58 | 57 |
| |
59 | 58 |
| |
60 |
| - | |
| 59 | + | |
61 | 60 |
| |
62 | 61 |
| |
63 | 62 |
| |
64 | 63 |
| |
65 |
| - | |
| 64 | + | |
66 | 65 |
| |
67 | 66 |
| |
68 | 67 |
| |
69 | 68 |
| |
70 |
| - | |
| 69 | + | |
71 | 70 |
| |
72 | 71 |
| |
73 | 72 |
| |
| |||
76 | 75 |
| |
77 | 76 |
| |
78 | 77 |
| |
79 |
| - | |
| 78 | + | |
80 | 79 |
| |
81 | 80 |
| |
82 | 81 |
| |
| |||
85 | 84 |
| |
86 | 85 |
| |
87 | 86 |
| |
88 |
| - | |
| 87 | + | |
89 | 88 |
| |
90 | 89 |
| |
91 | 90 |
| |
92 |
| - | |
| 91 | + | |
93 | 92 |
| |
94 | 93 |
| |
95 | 94 |
| |
96 |
| - | |
| 95 | + | |
97 | 96 |
| |
98 | 97 |
| |
99 | 98 |
| |
100 | 99 |
| |
101 | 100 |
| |
102 | 101 |
| |
103 |
| - | |
104 |
| - | |
| 102 | + | |
| 103 | + | |
105 | 104 |
| |
106 | 105 |
| |
107 | 106 |
| |
| |||
116 | 115 |
| |
117 | 116 |
| |
118 | 117 |
| |
119 |
| - | |
| 118 | + | |
120 | 119 |
| |
121 | 120 |
| |
122 | 121 |
| |
| |||
142 | 141 |
| |
143 | 142 |
| |
144 | 143 |
| |
145 |
| - | |
146 |
| - | |
| 144 | + | |
| 145 | + | |
147 | 146 |
| |
148 | 147 |
| |
149 | 148 |
| |
| |||
156 | 155 |
| |
157 | 156 |
| |
158 | 157 |
| |
159 |
| - | |
160 |
| - | |
| 158 | + | |
| 159 | + | |
161 | 160 |
| |
162 | 161 |
| |
163 | 162 |
| |
| |||
170 | 169 |
| |
171 | 170 |
| |
172 | 171 |
| |
173 |
| - | |
174 |
| - | |
| 172 | + | |
| 173 | + | |
175 | 174 |
| |
176 | 175 |
| |
177 | 176 |
| |
| |||
180 | 179 |
| |
181 | 180 |
| |
182 | 181 |
| |
183 |
| - | |
| 182 | + | |
184 | 183 |
| |
185 | 184 |
| |
186 | 185 |
| |
187 | 186 |
| |
188 | 187 |
| |
189 | 188 |
| |
190 |
| - | |
| 189 | + | |
191 | 190 |
| |
192 | 191 |
| |
193 | 192 |
| |
194 | 193 |
| |
195 |
| - | |
196 |
| - | |
| 194 | + | |
| 195 | + | |
197 | 196 |
| |
198 | 197 |
| |
199 | 198 |
| |
200 |
| - | |
201 |
| - | |
| 199 | + | |
| 200 | + | |
202 | 201 |
| |
203 | 202 |
| |
204 | 203 |
| |
205 | 204 |
| |
206 | 205 |
| |
207 | 206 |
| |
208 |
| - | |
209 |
| - | |
| 207 | + | |
| 208 | + | |
210 | 209 |
| |
211 | 210 |
| |
212 | 211 |
| |
213 | 212 |
| |
214 | 213 |
| |
215 | 214 |
| |
216 |
| - | |
| 215 | + | |
217 | 216 |
| |
218 | 217 |
| |
219 | 218 |
| |
220 | 219 |
| |
221 |
| - | |
| 220 | + | |
222 | 221 |
| |
223 | 222 |
| |
224 | 223 |
| |
225 | 224 |
| |
226 |
| - | |
| 225 | + | |
227 | 226 |
| |
228 | 227 |
| |
229 | 228 |
| |
230 |
| - | |
| 229 | + | |
231 | 230 |
| |
232 | 231 |
| |
233 | 232 |
| |
234 |
| - | |
| 233 | + | |
235 | 234 |
| |
236 | 235 |
| |
237 |
| - | |
| 236 | + | |
238 | 237 |
| |
239 | 238 |
| |
240 | 239 |
| |
241 | 240 |
| |
242 | 241 |
| |
243 | 242 |
| |
244 |
| - | |
245 |
| - | |
| 243 | + | |
| 244 | + | |
246 | 245 |
| |
247 | 246 |
| |
248 | 247 |
| |
249 |
| - | |
| 248 | + | |
250 | 249 |
| |
251 | 250 |
| |
252 | 251 |
| |
| |||
258 | 257 |
| |
259 | 258 |
| |
260 | 259 |
| |
261 |
| - | |
262 |
| - | |
| 260 | + | |
| 261 | + | |
263 | 262 |
| |
264 | 263 |
| |
265 | 264 |
| |
266 | 265 |
| |
267 | 266 |
| |
268 | 267 |
| |
269 | 268 |
| |
270 |
| - | |
| 269 | + | |
271 | 270 |
| |
272 | 271 |
| |
273 | 272 |
| |
274 |
| - | |
275 |
| - | |
| 273 | + | |
| 274 | + | |
276 | 275 |
| |
277 | 276 |
| |
278 | 277 |
| |
| |||
353 | 352 |
| |
354 | 353 |
| |
355 | 354 |
| |
356 |
| - | |
| 355 | + | |
357 | 356 |
| |
358 | 357 |
| |
359 | 358 |
| |
360 | 359 |
| |
361 | 360 |
| |
362 | 361 |
| |
363 | 362 |
| |
364 |
| - | |
| 363 | + | |
365 | 364 |
| |
366 |
| - | |
| 365 | + | |
367 | 366 |
| |
368 | 367 |
| |
369 | 368 |
| |
| |||
376 | 375 |
| |
377 | 376 |
| |
378 | 377 |
| |
379 |
| - | |
380 |
| - | |
381 |
| - | |
382 |
| - | |
383 |
| - | |
384 |
| - | |
385 |
| - | |
386 |
| - | |
387 |
| - |
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
436 | 436 |
| |
437 | 437 |
| |
438 | 438 |
| |
439 |
| - | |
| 439 | + | |
440 | 440 |
| |
441 | 441 |
| |
442 | 442 |
| |
| |||
1801 | 1801 |
| |
1802 | 1802 |
| |
1803 | 1803 |
| |
1804 |
| - | |
| 1804 | + | |
1805 | 1805 |
| |
1806 | 1806 |
| |
1807 | 1807 |
| |
| |||
1975 | 1975 |
| |
1976 | 1976 |
| |
1977 | 1977 |
| |
1978 |
| - | |
| 1978 | + | |
1979 | 1979 |
| |
1980 | 1980 |
| |
1981 | 1981 |
| |
|
Lines changed: 7 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
| |||
42 | 42 |
| |
43 | 43 |
| |
44 | 44 |
| |
45 |
| - | |
| 45 | + | |
46 | 46 |
| |
47 | 47 |
| |
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 | 51 |
| |
52 |
| - | |
| 52 | + | |
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
59 |
| - | |
| 59 | + | |
60 | 60 |
| |
61 | 61 |
| |
62 | 62 |
| |
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
66 | 66 |
| |
67 |
| - | |
| 67 | + | |
68 | 68 |
| |
69 | 69 |
| |
70 | 70 |
| |
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
74 |
| - | |
| 74 | + | |
75 | 75 |
| |
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
81 |
| - | |
| 81 | + | |
82 | 82 |
| |
83 | 83 |
| |
84 | 84 |
| |
|
Lines changed: 21 additions & 22 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
11 | 10 |
| |
12 | 11 |
| |
13 | 12 |
| |
| |||
16 | 15 |
| |
17 | 16 |
| |
18 | 17 |
| |
19 |
| - | |
| 18 | + | |
20 | 19 |
| |
21 | 20 |
| |
22 | 21 |
| |
| |||
26 | 25 |
| |
27 | 26 |
| |
28 | 27 |
| |
29 |
| - | |
| 28 | + | |
30 | 29 |
| |
31 | 30 |
| |
32 | 31 |
| |
| |||
48 | 47 |
| |
49 | 48 |
| |
50 | 49 |
| |
51 |
| - | |
| 50 | + | |
52 | 51 |
| |
53 | 52 |
| |
54 | 53 |
| |
| |||
70 | 69 |
| |
71 | 70 |
| |
72 | 71 |
| |
73 |
| - | |
| 72 | + | |
74 | 73 |
| |
75 | 74 |
| |
76 | 75 |
| |
| |||
95 | 94 |
| |
96 | 95 |
| |
97 | 96 |
| |
98 |
| - | |
| 97 | + | |
99 | 98 |
| |
100 | 99 |
| |
101 | 100 |
| |
| |||
132 | 131 |
| |
133 | 132 |
| |
134 | 133 |
| |
135 |
| - | |
| 134 | + | |
136 | 135 |
| |
137 | 136 |
| |
138 | 137 |
| |
| |||
170 | 169 |
| |
171 | 170 |
| |
172 | 171 |
| |
173 |
| - | |
| 172 | + | |
174 | 173 |
| |
175 | 174 |
| |
176 | 175 |
| |
| |||
194 | 193 |
| |
195 | 194 |
| |
196 | 195 |
| |
197 |
| - | |
198 |
| - | |
| 196 | + | |
| 197 | + | |
199 | 198 |
| |
200 | 199 |
| |
201 | 200 |
| |
| |||
209 | 208 |
| |
210 | 209 |
| |
211 | 210 |
| |
212 |
| - | |
213 |
| - | |
| 211 | + | |
| 212 | + | |
214 | 213 |
| |
215 | 214 |
| |
216 | 215 |
| |
217 | 216 |
| |
218 | 217 |
| |
219 |
| - | |
| 218 | + | |
220 | 219 |
| |
221 | 220 |
| |
222 |
| - | |
| 221 | + | |
223 | 222 |
| |
224 | 223 |
| |
225 | 224 |
| |
226 | 225 |
| |
227 | 226 |
| |
228 |
| - | |
| 227 | + | |
229 | 228 |
| |
230 |
| - | |
| 229 | + | |
231 | 230 |
| |
232 | 231 |
| |
233 | 232 |
| |
234 | 233 |
| |
235 | 234 |
| |
236 |
| - | |
| 235 | + | |
237 | 236 |
| |
238 |
| - | |
| 237 | + | |
239 | 238 |
| |
240 | 239 |
| |
241 | 240 |
| |
242 | 241 |
| |
243 | 242 |
| |
244 |
| - | |
245 |
| - | |
246 |
| - | |
247 |
| - | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
248 | 247 |
| |
249 | 248 |
| |
250 | 249 |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
55 |
| - | |
| 55 | + | |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
|
Lines changed: 3 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
20 |
| - | |
21 | 20 |
| |
22 | 21 |
| |
23 | 22 |
| |
| |||
27 | 26 |
| |
28 | 27 |
| |
29 | 28 |
| |
30 |
| - | |
31 |
| - | |
32 |
| - | |
33 |
| - | |
34 |
| - | |
35 |
| - | |
36 |
| - | |
37 |
| - | |
38 |
| - | |
39 |
| - | |
40 |
| - | |
41 |
| - | |
42 |
| - | |
43 |
| - | |
44 |
| - | |
45 |
| - | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
46 | 32 |
| |
47 | 33 |
| |
48 | 34 |
| |
|
0 commit comments