canonicalize.mlir - OpenGrok cross reference for /external/llvm-project/mlir/test/Dialect/Affine/canonicalize.mlir

Lines Matching refs:apply
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)
56     // CHECK: [[I0A:%[0-9]+]] = affine.apply [[$MAP0]](%{{.*}})
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)
65     // CHECK-NEXT: [[I1A:%[0-9]+]] = affine.apply [[$MAP1]](%{{.*}})
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]
94     // CHECK: [[I0:%[0-9]+]] = affine.apply [[$MAP4]](%{{.*}})
99     %x1 = affine.apply affine_map<(d0) -> (d0 + 1)> (%i0)
100     %y1 = affine.apply affine_map<(d0, d1) -> (d0+d1)> (%x0, %x1)
101     // CHECK-NEXT: [[I1:%[0-9]+]] = affine.apply [[$MAP7]](%{{.*}})
106     %y2 = affine.apply affine_map<(d0, d1) -> (d0 + d1)> (%x1, %x0)
107     // CHECK-NEXT: [[I2:%[0-9]+]] = affine.apply [[$MAP7]](%{{.*}})
113     %x2 = affine.apply affine_map<(d0)[s0] -> (d0 + s0)> (%i0)[%c5]
114     %y3 = affine.apply affine_map<(d0, d1) -> (d0 + d1)> (%x2, %x0)
115     // CHECK: [[I3:%[0-9]+]] = affine.apply [[$MAP7a]](%{{.*}})
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] ->
143           // CHECK: [[I0:%[0-9]+]] = affine.apply [[$MAP8]](%{{.*}}, %{{.*}})
144           // CHECK: [[I1:%[0-9]+]] = affine.apply [[$MAP8a]](%{{.*}}, %{{.*}})
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)>
175         // CHECK: [[I0:%[0-9]+]] = affine.apply [[$MAP9]](%{{.*}})
176         // CHECK: [[I1:%[0-9]+]] = affine.apply [[$MAP4b]](%{{.*}})
177         // CHECK: [[I2:%[0-9]+]] = affine.apply [[$MAP10]](%{{.*}})
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)>
194         // CHECK-NEXT: [[I2A:%[0-9]+]] = affine.apply [[$MAP12]](%{{.*}})
195         // CHECK-NEXT: [[I2B:%[0-9]+]] = affine.apply [[$MAP11]](%{{.*}})
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)
212     // CHECK: [[I0:%[0-9]+]] = affine.apply [[$MAP13A]](%{{.*}})
213     // CHECK: [[I1:%[0-9]+]] = affine.apply [[$MAP13B]](%{{.*}})
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))>
241   // CHECK-NOT: affine.apply
247     %1 = affine.apply affine_map<()[s0] -> (s0)>()[%c0]
251     %3 = affine.apply affine_map<()[] -> (0)>()[]
260   // TODO: Constant fold one index into affine.apply
262   %2 = affine.apply affine_map<(d0, d1) -> (d0 - d1)> (%arg1, %c42)
263   // CHECK: [[X:%[0-9]+]] = affine.apply [[$MAP15]]()[%{{.*}}]
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]
272   // CHECK: %{{.*}} = affine.apply [[$MAP_symbolic_composition_a]]()[%{{.*}}]
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]
280   // CHECK: %{{.*}} = affine.apply [[$MAP_symbolic_composition_b]]()[%{{.*}}]
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]
289   // CHECK: %{{.*}} = affine.apply [[$MAP_symbolic_composition_c]]()[%{{.*}}, %{{.*}}]
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]
298   // CHECK: %{{.*}} = affine.apply [[$MAP_symbolic_composition_d]]()[%{{.*}}, %{{.*}}]
305   %a = affine.apply affine_map<(d0)[s0] -> (d0 - 1 + 42 * s0)> (%arg0)[%arg1]
306   %b = affine.apply affine_map<(d0) -> (d0 + 7)> (%a)
307   // CHECK: {{.*}} = affine.apply [[$MAP_mix_dims_and_symbols_b]]()[%{{.*}}, %{{.*}}]
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)
317   // CHECK: {{.*}} = affine.apply [[$MAP_mix_dims_and_symbols_c]]()[%{{.*}}, %{{.*}}]
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]
327   // CHECK: {{.*}} = affine.apply [[$MAP_mix_dims_and_symbols_d]]()[%{{.*}}, %{{.*}}]
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)
338   // CHECK: {{.*}} = affine.apply [[$MAP_mix_dims_and_symbols_e]]()[%{{.*}}, %{{.*}}]
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]
362   // CHECK-DAG: {{.*}} = affine.apply [[$MAP_symbolic_composition_b]]()[%{{.*}}]
363   // CHECK-DAG: {{.*}} = affine.apply [[$MAP_symbolic_composition_b]]()[%{{.*}}]
371     %1 = affine.apply affine_map<()[s0] -> (s0 + 1)> ()[%M]
372     %2 = affine.apply affine_map<(d0)[s0] -> (d0 floordiv s0)> (%i0)[%1]
373     // CHECK-DAG: {{.*}} = affine.apply [[$symbolic_semi_affine]](%{{.*}})[%{{.*}}]
391   %c3 = affine.apply affine_map<(d0, d1) -> (d0 + d1)> (%c1, %c2)
485     %idx = affine.apply affine_map<(d0, d1) -> (d0 + 1)> (%i, %u)
492     %copy = affine.apply affine_map<(d0) -> (d0)> (%i)
586   // CHECK-NOT: affine.apply
587   %0 = affine.apply #map1(%arg0)[%c1024, %c0]
620     %1 = affine.apply #map3(%i)