Lines Matching full:d0
13 // CHECK: Composed map: (d0) -> (d0)
14 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
15 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 + 1)> } : () -> ()
22 // CHECK: Composed map: (d0)[s0, s1] -> (d0 - s0 + s1)
23 "test_affine_map"() { affine_map = affine_map<(d0)[s0] -> (d0 + s0 - 1)> } : () -> ()
24 "test_affine_map"() { affine_map = affine_map<(d0)[s0] -> (d0 - s0 + 1)> } : () -> ()
31 // CHECK: Composed map: (d0, d1)[s0, s1, s2, s3] -> ((d0 ceildiv s2) * s0, (d1 ceildiv s3) * s1)
32 …"test_affine_map"() { affine_map = affine_map<(d0, d1)[s0, s1] -> (d0 ceildiv s0, d1 ceildiv s1)> …
33 "test_affine_map"() { affine_map = affine_map<(d0, d1)[s0, s1] -> (d0 * s0, d1 * s1)> } : () -> ()
40 // CHECK: Composed map: (d0, d1)[s0, s1] -> (d0 mod s0, d1 mod s1)
41 …"test_affine_map"() { affine_map = affine_map<(d0, d1)[s0, s1] -> (d0 mod s0, d1 mod s1)> } : () -…
48 …// CHECK: Composed map: (d0, d1)[s0, s1, s2, s3, s4, s5] -> ((d0 ceildiv s4) * s4 + d0 mod s2, (d1…
49 …t_affine_map"() { affine_map = affine_map<(d0, d1)[s0, s1] -> ((d0 ceildiv s0) * s0, (d1 ceildiv s…
50 …"test_affine_map"() { affine_map = affine_map<(d0, d1, d2, d3)[s0, s1, s2, s3] -> (d0 + d2 mod s2,…
57 // CHECK: Composed map: (d0, d1)[s0, s1] -> (d1 * s1, d0 ceildiv s0)
58 "test_affine_map"() { affine_map = affine_map<(d0, d1) -> (d1, d0)> } : () -> ()
59 …"test_affine_map"() { affine_map = affine_map<(d0, d1)[s0, s1] -> (d0 * s1, d1 ceildiv s0)> } : ()…
66 // CHECK: Composed map: (d0) -> (d0 * 3 + 18)
67 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
68 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 + 7)> } : () -> ()
69 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 * 24)> } : () -> ()
70 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 ceildiv 8)> } : () -> ()
77 // CHECK: Composed map: (d0) -> ((d0 + 6) ceildiv 2)
78 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
79 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 + 7)> } : () -> ()
80 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 * 4)> } : () -> ()
81 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 ceildiv 8)> } : () -> ()
88 // CHECK: Composed map: (d0) -> (d0 * 8 + 48)
89 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
90 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 + 7)> } : () -> ()
91 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 * 24)> } : () -> ()
92 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 floordiv 3)> } : () -> ()
99 // CHECK: Composed map: (d0) -> ((d0 * 4) floordiv 3 + 8)
100 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
101 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 + 7)> } : () -> ()
102 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 * 4)> } : () -> ()
103 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 floordiv 3)> } : () -> ()
110 // CHECK: Composed map: (d0) -> ((d0 + 6) ceildiv 8)
111 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
112 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 + 7)> } : () -> ()
113 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 ceildiv 8)> } : () -> ()
120 // CHECK: Composed map: (d0) -> ((d0 * 4 - 4) floordiv 3)
121 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 - 1)> } : () -> ()
122 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 * 4)> } : () -> ()
123 "test_affine_map"() { affine_map = affine_map<(d0) -> (d0 floordiv 3)> } : () -> ()
130 // CHECK: Composed map: (d0, d1, d2, d3) -> (d1, d3, d0)
131 "test_affine_map"() { affine_map = affine_map<(d0, d1, d2, d3) -> (d3, d1, d2, d0)> } : () -> ()
132 "test_affine_map"() { affine_map = affine_map<(d0, d1, d2, d3) -> (d1, d0, d3)> } : () -> ()
139 // CHECK: Composed map: (d0)[s0] -> (d0 + s0 + 1, d0 - s0 - 1)
140 "test_affine_map"() { affine_map = affine_map<(d0)[s0] -> (d0 + s0, d0 - s0)> } : () -> ()
141 "test_affine_map"() { affine_map = affine_map<(d0, d1) -> (d0 + 1, d1 - 1)> } : () -> ()
148 // CHECK: Composed map: (d0, d1, d2)[s0, s1] -> (d0 * 2 + d1 + d2 + s1)
149 …"test_affine_map"() { affine_map = affine_map<(d0, d1, d2)[s0, s1] -> (d0 + s1, d1 + s0, d0 + d1 +…
150 "test_affine_map"() { affine_map = affine_map<(d0, d1, d2) -> (d0 + d2)> } : () -> ()
157 // CHECK: Composed map: (d0)[s0, s1, s2] -> (d0 + s1 + s2 + 1, d0 - s0 - s2 - 1)
158 "test_affine_map"() { affine_map = affine_map<(d0)[s0] -> (d0 + s0, d0 - s0)> } : () -> ()
159 …"test_affine_map"() { affine_map = affine_map<(d0, d1)[s0, s1] -> (d0 + 1 + s1, d1 - 1 - s0)> } : …