Lines Matching refs:d1
4 // CHECK-DAG: #[[$SET_2D:.*]] = affine_set<(d0, d1) : (d0 - 100 == 0, d1 - 10 == 0, -d0 + 100 >= 0,…
5 …11:.*]] = affine_set<(d0, d1) : (d0 * 7 + d1 * 5 + 88 == 0, d0 * 5 - d1 * 11 + 60 == 0, d0 * 11 + …
15 affine.if affine_set<(d0, d1) : (2 == 0)>(%arg0, %arg1) {
28 affine.if affine_set<(d0, d1) : (1 >= 0, -1 >= 0)> (%arg0, %arg1) {
41 …affine.if affine_set<(d0, d1) : (d0 - 100 == 0, d1 - 10 == 0, -d0 + 100 >= 0, d1 >= 0, d1 + 101 >=…
56 …affine.if affine_set<(d0, d1)[s0, s1] : (d0 - s0 == 0, d0 + s0 == 0, s0 - 1 == 0)>(%arg0, %arg1)[%…
65 #set_2d_non_empty = affine_set<(d0, d1)[s0, s1] : (d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0,
66 d0 * 5 - d1 * 11 + s0 * 7 + s1 == 0,
67 d0 * 11 + d1 * 7 - s0 * 5 + s1 == 0,
68 d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0)>
86 #set_2d_empty = affine_set<(d0, d1)[s0, s1] : (d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0,
87 d0 * 5 - d1 * 11 + s0 * 7 + s1 == 0,
88 d0 * 11 + d1 * 7 - s0 * 5 + s1 == 0,
89 d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0,
110 #set_fuzz_virus = affine_set<(d0, d1, d2, d3, d4, d5) : (
111 1089234*d0 + 203472*d1 + 82342 >= 0,
112 -55*d0 + 24*d1 + 238*d2 - 234*d3 - 9743 >= 0,
113 -5445*d0 - 284*d1 + 23*d2 + 34*d3 - 5943 >= 0,
114 -5445*d0 + 284*d1 + 238*d2 - 34*d3 >= 0,
115 445*d0 + 284*d1 + 238*d2 + 39*d3 >= 0,
116 -545*d0 + 214*d1 + 218*d2 - 94*d3 >= 0,
117 44*d0 - 184*d1 - 231*d2 + 14*d3 >= 0,
118 -45*d0 + 284*d1 + 138*d2 - 39*d3 >= 0,
119 154*d0 - 84*d1 + 238*d2 - 34*d3 >= 0,
120 54*d0 - 284*d1 - 223*d2 + 384*d3 >= 0,
121 -55*d0 + 284*d1 + 23*d2 + 34*d3 >= 0,
122 54*d0 - 84*d1 + 28*d2 - 34*d3 >= 0,
123 54*d0 - 24*d1 - 23*d2 + 34*d3 >= 0,
124 -55*d0 + 24*d1 + 23*d2 + 4*d3 >= 0,
125 15*d0 - 84*d1 + 238*d2 - 3*d3 >= 0,
126 5*d0 - 24*d1 - 223*d2 + 84*d3 >= 0,
127 -5*d0 + 284*d1 + 23*d2 - 4*d3 >= 0,
166 affine.if affine_set<(d0, d1) : (d0 - d1 >= 0, d1 - d0 - 1 >= 0)>(%i, %j) {
182 // The set below implies d0 = d1; so d1 >= d0, but d0 >= d1 + 1.
183 … affine.if affine_set<(d0, d1, d2) : (d0 - d1 == 0, d2 - d0 >= 0, d0 - d1 - 1 >= 0)>(%i, %j, %N) {
188 …affine.if affine_set<(d0, d1) : (d0*2 -d1*2 - 1 == 0, d0 >= 0, -d0 + 100 >= 0, d1 >= 0, -d1 + 100 …
192 affine.if affine_set<(d0, d1) : (d1 == 0, d0 - 1 >= 0, - d0 - 1 >= 0)>(%i, %j) {
207 affine.if affine_set<(d0, d1) : (d0 - 4*d1 == 0, 4*d1 - 5 >= 0, -4*d1 + 7 >= 0)>(%k, %l) {
211 // 8*d1 here is a multiple of 4, and so can't lie between 9 and 11. GCD
212 // tightening will tighten constraints to 4*d0 + 8*d1 >= 12 and 4*d0 +
213 // 8*d1 <= 8; hence infeasible.
215 affine.if affine_set<(d0, d1) : (4*d0 + 8*d1 - 9 >= 0, -4*d0 - 8*d1 + 11 >= 0)>(%k, %l) {
220 …affine.if affine_set<(d0, d1, d2) : (d0 - 4*d2 == 0, d0 + 8*d1 - 9 >= 0, -d0 - 8*d1 + 11 >= 0)>(%k…
248 …affine.if affine_set<(d0, d1) : (d0 - d1 + d1 + d0 >= 0, 2 >= 0, d0 >= 0, -d0 + 50 >= 0, -d0 + 100…
252 affine.if affine_set<(d0, d1) : (d0 mod 2 - 1 == 0, d0 - 2 * (d0 floordiv 2) == 0)>(%a, %b) {
256 affine.if affine_set<(d0, d1) : (1 >= 0, 3 >= 0)>(%a, %b) {
268 %v = affine.apply affine_map<(d0, d1) -> (d0 + d1 + 1)>(%N, %N)