Lines Matching full:d0
3 // CHECK-DAG: #[[$SET_2D:.*]] = affine_set<(d0, d1) : (d0 - 100 == 0, d1 - 10 == 0, -d0 + 100 >= 0, d1 >= 0)>
4 // CHECK-DAG: #[[$SET_7_11:.*]] = affine_set<(d0, d1) : (d0 * 7 + d1 * 5 + 88 == 0, d0 * 5 - d1 * 11 + 60 == 0, d0 * 11 + d1 * 7 - 24 == 0, d0 * 7 + d1 * 5 + 88 == 0)>
14 affine.if affine_set<(d0, d1) : (2 == 0)>(%arg0, %arg1) {
27 affine.if affine_set<(d0, d1) : (1 >= 0, -1 >= 0)> (%arg0, %arg1) {
40 affine.if affine_set<(d0, d1) : (d0 - 100 == 0, d1 - 10 == 0, -d0 + 100 >= 0, d1 >= 0, d1 + 101 >= 0)>(%arg0, %arg1) {
55 affine.if affine_set<(d0, d1)[s0, s1] : (d0 - s0 == 0, d0 + s0 == 0, s0 - 1 == 0)>(%arg0, %arg1)[%c7, %c11] {
64 #set_2d_non_empty = affine_set<(d0, d1)[s0, s1] : (d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0,
65 d0 * 5 - d1 * 11 + s0 * 7 + s1 == 0,
66 d0 * 11 + d1 * 7 - s0 * 5 + s1 == 0,
67 d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0)>
85 #set_2d_empty = affine_set<(d0, d1)[s0, s1] : (d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0,
86 d0 * 5 - d1 * 11 + s0 * 7 + s1 == 0,
87 d0 * 11 + d1 * 7 - s0 * 5 + s1 == 0,
88 d0 * 7 + d1 * 5 + s0 * 11 + s1 == 0,
89 d0 - 1 == 0, d0 + 2 == 0)>
109 #set_fuzz_virus = affine_set<(d0, d1, d2, d3, d4, d5) : (
110 1089234*d0 + 203472*d1 + 82342 >= 0,
111 -55*d0 + 24*d1 + 238*d2 - 234*d3 - 9743 >= 0,
112 -5445*d0 - 284*d1 + 23*d2 + 34*d3 - 5943 >= 0,
113 -5445*d0 + 284*d1 + 238*d2 - 34*d3 >= 0,
114 445*d0 + 284*d1 + 238*d2 + 39*d3 >= 0,
115 -545*d0 + 214*d1 + 218*d2 - 94*d3 >= 0,
116 44*d0 - 184*d1 - 231*d2 + 14*d3 >= 0,
117 -45*d0 + 284*d1 + 138*d2 - 39*d3 >= 0,
118 154*d0 - 84*d1 + 238*d2 - 34*d3 >= 0,
119 54*d0 - 284*d1 - 223*d2 + 384*d3 >= 0,
120 -55*d0 + 284*d1 + 23*d2 + 34*d3 >= 0,
121 54*d0 - 84*d1 + 28*d2 - 34*d3 >= 0,
122 54*d0 - 24*d1 - 23*d2 + 34*d3 >= 0,
123 -55*d0 + 24*d1 + 23*d2 + 4*d3 >= 0,
124 15*d0 - 84*d1 + 238*d2 - 3*d3 >= 0,
125 5*d0 - 24*d1 - 223*d2 + 84*d3 >= 0,
126 -5*d0 + 284*d1 + 23*d2 - 4*d3 >= 0,
127 14*d0 + 4*d2 + 7234 >= 0,
128 -174*d0 - 534*d2 + 9834 >= 0,
129 194*d0 - 954*d2 + 9234 >= 0,
130 47*d0 - 534*d2 + 9734 >= 0,
131 -194*d0 - 934*d2 + 984 >= 0,
132 -947*d0 - 953*d2 + 234 >= 0,
133 184*d0 - 884*d2 + 884 >= 0,
134 -174*d0 + 834*d2 + 234 >= 0,
135 844*d0 + 634*d2 + 9874 >= 0,
137 2039*d0 + 793*d2 - 99*d3 - 24*d4 + 234*d5 >= 0,
139 d3 - (d5 + 97*d0) floordiv 423 >= 0,
140 234* (d0 + d3 mod 5 floordiv 2342) mod 2309
141 + (d0 + 2038*d3) floordiv 208 >= 0,
142 239* (d0 + 2300 * d3) floordiv 2342
144 d0 + d3 mod 2642 + (d3 + 2*d0) mod 1247
165 affine.if affine_set<(d0, d1) : (d0 - d1 >= 0, d1 - d0 - 1 >= 0)>(%i, %j) {
169 affine.if affine_set<(d0) : (d0 >= 0, -d0 - 1 >= 0)>(%i) {
173 affine.if affine_set<(d0) : (d0 >= 0, -d0 - 1 >= 0)>(%i) {
177 affine.if affine_set<(d0)[s0, s1] : (d0 >= 0, -d0 + s0 - 1 >= 0, -s0 >= 0)>(%i)[%N, %N] {
181 // The set below implies d0 = d1; so d1 >= d0, but d0 >= d1 + 1.
182 affine.if affine_set<(d0, d1, d2) : (d0 - d1 == 0, d2 - d0 >= 0, d0 - d1 - 1 >= 0)>(%i, %j, %N) {
187 affine.if affine_set<(d0, d1) : (d0*2 -d1*2 - 1 == 0, d0 >= 0, -d0 + 100 >= 0, d1 >= 0, -d1 + 100 >= 0)>(%i, %j) {
191 affine.if affine_set<(d0, d1) : (d1 == 0, d0 - 1 >= 0, - d0 - 1 >= 0)>(%i, %j) {
201 affine.if affine_set<(d0) : (8*d0 - 4 >= 0, -8*d0 + 7 >= 0)>(%k) {
206 affine.if affine_set<(d0, d1) : (d0 - 4*d1 == 0, 4*d1 - 5 >= 0, -4*d1 + 7 >= 0)>(%k, %l) {
209 // Same as above but with a combination of multiple identifiers. 4*d0 +
211 // tightening will tighten constraints to 4*d0 + 8*d1 >= 12 and 4*d0 +
214 affine.if affine_set<(d0, d1) : (4*d0 + 8*d1 - 9 >= 0, -4*d0 - 8*d1 + 11 >= 0)>(%k, %l) {
219 affine.if affine_set<(d0, d1, d2) : (d0 - 4*d2 == 0, d0 + 8*d1 - 9 >= 0, -d0 - 8*d1 + 11 >= 0)>(%k, %k, %l) {
227 affine.if affine_set<(d0) : (d0 mod 2 - 3 == 0)> (%m) {
245 affine.if affine_set<(d0, d1) : (d0 - d1 + d1 + d0 >= 0, 2 >= 0, d0 >= 0, -d0 + 50 >= 0, -d0 + 100 >= 0)>(%a, %b) {
249 affine.if affine_set<(d0, d1) : (d0 mod 2 - 1 == 0, d0 - 2 * (d0 floordiv 2) == 0)>(%a, %b) {
253 affine.if affine_set<(d0, d1) : (1 >= 0, 3 >= 0)>(%a, %b) {
265 %v = affine.apply affine_map<(d0, d1) -> (d0 + d1 + 1)>(%N, %N)
289 %a = affine.apply affine_map<(d0)[s0] ->((-((d0 floordiv s0) * s0) + s0 * s0) mod s0)> (%arg0)[%arg1]
297 %a = affine.apply affine_map<(d0)[s0] ->((-((d0 floordiv s0) * s0) + ((2 * s0) mod (3 * s0))) floordiv s0)> (%arg0)[%arg1]
305 %a = affine.apply affine_map<(d0)[s0] ->((-((d0 floordiv s0) * s0) + s0 * 42 + ((5-5) floordiv s0)) ceildiv s0)> (%arg0)[%arg1]
313 %a = affine.apply affine_map<(d0)[s0] ->((((s0 * 2) ceildiv 4) + s0 * 42) ceildiv s0)> (%arg0)[%arg1]
321 %a = affine.apply affine_map<(d0)[s0] ->(((((s0 * 2) ceildiv 4) * 5) + s0 * 42) ceildiv s0)> (%arg0)[%arg1]
329 %a = affine.apply affine_map<(d0)[s0] ->(((((s0 * 2) floordiv 4) * 5) + s0 * 42) floordiv s0)> (%arg0)[%arg1]
337 %a = affine.apply affine_map<(d0)[s0] ->(s0 mod (2 * s0 - s0))> (%arg0)[%arg1]
352 affine.if affine_set<(d0, d1) : (1 >= 0)> (%arg0, %arg1) {
376 affine.if affine_set<(d0, d1) : (-1 >= 0)> (%arg0, %arg1) {
394 affine.if affine_set<(d0, d1) : (d0-1 == 0)> (%arg0, %arg1) {
430 %res:2 = affine.if affine_set<(d0, d1) : (5 >= 0, -2 >= 0)> (%c7, %c13) -> (index, index) {
455 %res:5 = affine.if affine_set<(d0, d1) : (1 >= 0, 3 >= 0)>(%c12, %c13) -> (index, index, index, index, index) {
482 %res:3 = affine.if affine_set<(d0, d1) : (d0 - 1 == 0)>(%c8, %c13) -> (index, index, index) {
506 %a = affine.apply affine_map<(d0, d1)[s0, s1, s2, s3] -> ((-(d1 * s0 - (s0 - s1) mod s2) + s3) + (d0 * s1 + d1 * s0))>(%arg0, %arg1)[%arg2, %arg3, %arg4, %arg5]
507 %b = affine.apply affine_map<(d0)[s0, s1, s2, s3] -> (d0 mod (s0 - s1 * s2 + s3 - s0))>(%arg0)[%arg0, %arg1, %arg2, %arg3]
508 %c = affine.apply affine_map<(d0)[s0, s1, s2] -> (d0 + (d0 + s0) mod s2 + s0 * s1 - (d0 + s0) mod s2 - (d0 - s0) mod s2)>(%arg0)[%arg1, %arg2, %arg3]
525 %a = affine.apply affine_map<(d0)[s0, s1, s2, s3] -> (d0 floordiv (s0 - s1 * s2 + s3 - s0))>(%arg0)[%arg0, %arg1, %arg2, %arg3]
526 %b = affine.apply affine_map<(d0)[s0, s1, s2, s3] -> ((-(d0 * s1 - (s0 - s1) floordiv s2) + s3) + (d0 * s1 + s0))>(%arg0)[%arg1, %arg2, %arg3, %arg4]
527 %c = affine.apply affine_map<(d0)[s0, s1, s2, s3] -> (d0 ceildiv (s0 - s1 * s2 + s3 - s0))>(%arg0)[%arg0, %arg1, %arg2, %arg3]
543 %a = affine.apply affine_map<(d0)[s0, s1, s2, s3] -> ((-(s0 - (s0 - s1) * s2) + s3) + (d0 + s0))>(%arg0)[%arg1, %arg2, %arg3, %arg4]
544 %b = affine.apply affine_map<(d0, d1, d2)[s0, s1] -> (d0 + d1 * s1 + d1 + d0 * s0 + d1 * s0 + d2 * s1 + d2)>(%arg0, %arg1, %arg2)[%arg3, %arg4]
557 %a = affine.apply affine_map<(d0, d1)[s0, s1] -> ((d0 + d1) - ((d0 + d1) floordiv (s0 - s1)) * (s0 - s1) - (d0 + d1) mod (s0 - s1))>(%arg0, %arg1)[%arg2, %arg3]
558 %b = affine.apply affine_map<(d0, d1)[s0, s1] -> ((d0 + d1 - s0) - ((d0 + d1 - s0) floordiv (s0 + s1)) * (s0 + s1))>(%arg0, %arg1)[%arg2, %arg3]
580 %a = affine.apply affine_map<(d0)[s0, s1] -> (((d0 floordiv 2) * s0 + s1 floordiv 2) * 2 + d0 mod 2)> (%arg0)[%arg1, %arg2]