Lines Matching refs:affine_map
4 // CHECK-DAG: [[$MAP0:#map[0-9]+]] = affine_map<(d0) -> (d0 - 1)>
5 // CHECK-DAG: [[$MAP1:#map[0-9]+]] = affine_map<(d0) -> (d0 + 1)>
8 // CHECK-DAG: [[$MAP4:#map[0-9]+]] = affine_map<(d0) -> (d0 - 4)>
9 // CHECK-DAG: [[$MAP4b:#map[0-9]+]] = affine_map<(d0) -> (d0 - 7)>
10 // CHECK-DAG: [[$MAP7:#map[0-9]+]] = affine_map<(d0) -> (d0 * 2 - 3)>
11 // CHECK-DAG: [[$MAP7a:#map[0-9]+]] = affine_map<(d0) -> (d0 * 2 + 1)>
14 // CHECK-DAG: [[$MAP8:#map[0-9]+]] = affine_map<(d0, d1) -> (d1 + (d0 ceildiv 4) * 4 - (d1 floordiv…
15 // CHECK-DAG: [[$MAP8a:#map[0-9]+]] = affine_map<(d0, d1) -> (d1 + (d0 ceildiv 8) * 8 - (d1 floordi…
18 // CHECK-DAG: [[$MAP9:#map[0-9]+]] = affine_map<(d0) -> (d0 + 3)>
19 // CHECK-DAG: [[$MAP10:#map[0-9]+]] = affine_map<(d0) -> (d0 * 3)>
20 // CHECK-DAG: [[$MAP11:#map[0-9]+]] = affine_map<(d0) -> ((d0 + 3) ceildiv 3)>
21 // CHECK-DAG: [[$MAP12:#map[0-9]+]] = affine_map<(d0) -> (d0 * 7 - 49)>
24 // CHECK-DAG: [[$MAP13A:#map[0-9]+]] = affine_map<(d0) -> ((d0 + 6) ceildiv 8)>
25 // CHECK-DAG: [[$MAP13B:#map[0-9]+]] = affine_map<(d0) -> ((d0 * 4 - 4) floordiv 3)>
28 // CHECK-DAG: [[$MAP15:#map[0-9]+]] = affine_map<()[s0] -> (s0 - 42)>
31 // CHECK-DAG: [[$MAP_symbolic_composition_a:#map[0-9]+]] = affine_map<()[s0] -> (s0 * 512)>
32 // CHECK-DAG: [[$MAP_symbolic_composition_b:#map[0-9]+]] = affine_map<()[s0] -> (s0 * 4)>
33 // CHECK-DAG: [[$MAP_symbolic_composition_c:#map[0-9]+]] = affine_map<()[s0, s1] -> (s0 * 3 + s1)>
34 // CHECK-DAG: [[$MAP_symbolic_composition_d:#map[0-9]+]] = affine_map<()[s0, s1] -> (s1 * 3 + s0)>
37 // CHECK-DAG: [[$MAP_mix_dims_and_symbols_b:#map[0-9]+]] = affine_map<()[s0, s1] -> (s1 + s0 * 42 +…
38 // CHECK-DAG: [[$MAP_mix_dims_and_symbols_c:#map[0-9]+]] = affine_map<()[s0, s1] -> (s1 * 4 + s0 * …
39 // CHECK-DAG: [[$MAP_mix_dims_and_symbols_d:#map[0-9]+]] = affine_map<()[s0, s1] -> ((s1 + s0 * 42 …
40 // CHECK-DAG: [[$MAP_mix_dims_and_symbols_e:#map[0-9]+]] = affine_map<()[s0, s1] -> ((s1 * 4 + s0 *…
43 // CHECK-DAG: [[$symbolic_semi_affine:#map[0-9]+]] = affine_map<(d0)[s0] -> (d0 floordiv (s0 + 1))>
52 %x0 = affine.apply affine_map<(d0) -> (d0 - 1)> (%i0)
53 %x1_0 = affine.apply affine_map<(d0, d1) -> (d0)> (%x0, %x0)
54 %x1_1 = affine.apply affine_map<(d0, d1) -> (d1)> (%x0, %x0)
61 %y0 = affine.apply affine_map<(d0) -> (d0 + 1)> (%i0)
62 %y1_0 = affine.apply affine_map<(d0, d1) -> (d0)> (%y0, %y0)
63 %y1_1 = affine.apply affine_map<(d0, d1) -> (d1)> (%y0, %y0)
70 %xy_0 = affine.apply affine_map<(d0, d1) -> (d0)> (%x0, %y0)
71 %xy_1 = affine.apply affine_map<(d0, d1) -> (d1)> (%x0, %y0)
77 %yx_0 = affine.apply affine_map<(d0, d1) -> (d0)> (%y0, %x0)
78 %yx_1 = affine.apply affine_map<(d0, d1) -> (d1)> (%y0, %x0)
92 %x0 = affine.apply affine_map<(d0)[s0] -> (d0 - s0)> (%i0)[%c4]
99 %x1 = affine.apply affine_map<(d0) -> (d0 + 1)> (%i0)
100 %y1 = affine.apply affine_map<(d0, d1) -> (d0+d1)> (%x0, %x1)
106 %y2 = affine.apply affine_map<(d0, d1) -> (d0 + d1)> (%x1, %x0)
113 %x2 = affine.apply affine_map<(d0)[s0] -> (d0 + s0)> (%i0)[%c5]
114 %y3 = affine.apply affine_map<(d0, d1) -> (d0 + d1)> (%x2, %x0)
131 %x0 = affine.apply affine_map<(d0)[s0] -> (d0 ceildiv s0)> (%i0)[%c4]
133 %x1 = affine.apply affine_map<(d0)[s0] -> (d0 ceildiv s0)> (%i1)[%c8]
135 %x2 = affine.apply affine_map<(d0)[s0] -> (d0 mod s0)> (%i2)[%c4]
137 %x3 = affine.apply affine_map<(d0)[s0] -> (d0 mod s0)> (%i3)[%c8]
139 %x40 = affine.apply affine_map<(d0, d1, d2, d3)[s0, s1] ->
141 %x41 = affine.apply affine_map<(d0, d1, d2, d3)[s0, s1] ->
168 %x00 = affine.apply affine_map<(d0, d1, d2)[s0, s1] -> (d0 + s0)>
170 %x01 = affine.apply affine_map<(d0, d1, d2)[s0, s1] -> (d1 - s1)>
172 %x02 = affine.apply affine_map<(d0, d1, d2)[s0, s1] -> (d2 * s0)>
189 %x10 = affine.apply affine_map<(d0, d1)[s0, s1] -> (d0 * s1)>
191 %x11 = affine.apply affine_map<(d0, d1)[s0, s1] -> (d1 ceildiv s0)>
207 %a = affine.apply affine_map<(d0) -> (d0 - 1)> (%i0)
208 %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
209 %c = affine.apply affine_map<(d0) -> (d0 * 4)> (%a)
210 %d0 = affine.apply affine_map<(d0, d1) -> (d0 ceildiv 8)> (%b, %c)
211 %d1 = affine.apply affine_map<(d0, d1) -> (d1 floordiv 3)> (%b, %c)
228 %3 = affine.apply affine_map<(d0, d1)[s0, s1] -> (d1 + s0 + s1)>
230 %4 = affine.apply affine_map<(d0, d1, d3) -> (d3 - (d0 + d1))>
247 %1 = affine.apply affine_map<()[s0] -> (s0)>()[%c0]
251 %3 = affine.apply affine_map<()[] -> (0)>()[]
262 %2 = affine.apply affine_map<(d0, d1) -> (d0 - d1)> (%arg1, %c42)
269 %0 = affine.apply affine_map<(d0) -> (d0 * 4)>(%arg0)
270 %1 = affine.apply affine_map<()[s0, s1] -> (8 * s0)>()[%0, %arg0]
271 %2 = affine.apply affine_map<()[s0, s1] -> (16 * s1)>()[%arg1, %1]
278 %0 = affine.apply affine_map<(d0) -> (d0)>(%arg0)
279 %1 = affine.apply affine_map<()[s0, s1, s2, s3] -> (s0 + s1 + s2 + s3)>()[%0, %0, %0, %0]
286 %0 = affine.apply affine_map<(d0) -> (d0)>(%arg0)
287 %1 = affine.apply affine_map<(d0) -> (d0)>(%arg1)
288 %2 = affine.apply affine_map<()[s0, s1, s2, s3] -> (s0 + s1 + s2 + s3)>()[%0, %0, %0, %1]
295 %0 = affine.apply affine_map<(d0) -> (d0)>(%arg0)
296 %1 = affine.apply affine_map<()[s0] -> (s0)>()[%arg1]
297 %2 = affine.apply affine_map<()[s0, s1, s2, s3] -> (s0 + s1 + s2 + s3)>()[%0, %0, %0, %1]
305 %a = affine.apply affine_map<(d0)[s0] -> (d0 - 1 + 42 * s0)> (%arg0)[%arg1]
306 %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
314 %a = affine.apply affine_map<(d0)[s0] -> (d0 - 1 + 42 * s0)> (%arg0)[%arg1]
315 %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
316 %c = affine.apply affine_map<(d0) -> (d0 * 4)> (%a)
323 %a = affine.apply affine_map<(d0)[s0] -> (d0 - 1 + 42 * s0)> (%arg0)[%arg1]
324 %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
325 %c = affine.apply affine_map<(d0) -> (d0 * 4)> (%a)
326 %d = affine.apply affine_map<()[s0] -> (s0 ceildiv 8)> ()[%b]
333 %a = affine.apply affine_map<(d0)[s0] -> (d0 - 1 + 42 * s0)> (%arg0)[%arg1]
334 %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
335 %c = affine.apply affine_map<(d0) -> (d0 * 4)> (%a)
336 %d = affine.apply affine_map<()[s0] -> (s0 ceildiv 8)> ()[%b]
337 %e = affine.apply affine_map<(d0) -> (d0 floordiv 3)> (%c)
344 %a = affine.apply affine_map<(d0)[s0] -> (d0 - 1 + 42 * s0)> (%arg0)[%arg1]
345 %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
346 %c = affine.apply affine_map<(d0) -> (d0 * 4)> (%a)
347 %d = affine.apply affine_map<()[s0] -> (s0 ceildiv 8)> ()[%b]
348 %e = affine.apply affine_map<(d0) -> (d0 floordiv 3)> (%c)
349 %f = affine.apply affine_map<(d0, d1)[s0, s1] -> (d0 - s1 + d1 - s0)> (%d, %e)[%e, %d]
357 %K = affine.apply affine_map<(d0) -> (4*d0)> (%M)
358 %res1 = affine.apply affine_map<()[s0, s1] -> (4 * s0)>()[%N, %K]
359 %res2 = affine.apply affine_map<()[s0, s1] -> (s1)>()[%N, %K]
360 %res3 = affine.apply affine_map<()[s0, s1] -> (1024)>()[%N, %K]
371 %1 = affine.apply affine_map<()[s0] -> (s0 + 1)> ()[%M]
372 %2 = affine.apply affine_map<(d0)[s0] -> (d0 floordiv s0)> (%i0)[%1]
381 // CHECK: [[$MAP0:#map[0-9]+]] = affine_map<()[s0] -> (0, s0)>
382 // CHECK: [[$MAP1:#map[0-9]+]] = affine_map<()[s0] -> (100, s0)>
391 %c3 = affine.apply affine_map<(d0, d1) -> (d0 + d1)> (%c1, %c2)
395 …affine.for %i = max affine_map<(d0, d1) -> (0, d0 + d1)> (%c2, %c3) to min affine_map<(d0, d1) -> …
401 …affine.for %j = max affine_map<(d0) -> (0, 1)> (%N) to min affine_map<(d0, d1) -> (7, 9)> (%N, %l)…
407 …affine.for %k = max affine_map<()[s0] -> (0, s0)> ()[%l] to min affine_map<()[s0] -> (100, s0)> ()…
448 // CHECK-DAG: [[$LBMAP:#map[0-9]+]] = affine_map<()[s0] -> (0, s0)>
449 // CHECK-DAG: [[$UBMAP:#map[0-9]+]] = affine_map<()[s0] -> (1024, s0 * 2)>
460 affine.for %i = 0 to min affine_map<(d0, d1, d2, d3) -> (d0, d1 + d2)> (%c1024, %M, %M, %N) {
465 affine.for %i = 0 to affine_map<(d0) -> (4 * d0)> (%M) {
470 affine.for %i = max affine_map<(d0, d1) -> (d0, d1)> (%c0, %N) to %M {
485 %idx = affine.apply affine_map<(d0, d1) -> (d0 + 1)> (%i, %u)
492 %copy = affine.apply affine_map<(d0) -> (d0)> (%i)
505 %0 = affine.min affine_map<(d0)[s0] -> (1000, d0 + 512, s0 + 1)> (%c1)[%c511]
518 %0 = affine.min affine_map<(d0)[s0] -> (1000, d0 floordiv 4, (s0 mod 5) + 1)> (%c20)[%c3]
531 %0 = affine.max affine_map<(d0)[s0] -> (1000, d0 + 512, s0 + 1)> (%c1)[%c511]
544 %0 = affine.max affine_map<(d0)[s0] -> (1000, d0 floordiv 4, (s0 mod 5) + 1)> (%c20)[%c3]
554 // CHECK: #[[$MAP:.*]] = affine_map<(d0, d1) -> (d0, d1 - 2)>
561 %0 = affine.min affine_map<(d0,d1,d2)->(d0, d1 - d2)>(%i, %j, %c2)
576 #map1 = affine_map<(d0)[s0, s1] -> (d0 * s0 + s1)>
577 #map2 = affine_map<(d0)[s0] -> (1024, -d0 + s0)>
579 // CHECK: #[[$MAP:.*]] = affine_map<()[s0, s1] -> (1024, s1 * -1024 + s0)>
596 // CHECK-DAG: #[[ub:.*]] = affine_map<()[s0] -> (s0 + 2)>
600 …affine.for %i = max affine_map<(d0) -> (d0, d0)>(%N) to min affine_map<(d0) -> (d0 + 2, d0 + 2)>(%…
610 #map3 = affine_map<(d0) -> (d0 * 5)>