| blob | 098e5010577cb4f692c9d1e456f29df9b3de6195 |
1 # Check that the entire schedule is completely unrolled and
2 # in particular that no spurious loop is introduced.
3 [t1] -> { write_shared_A[i2] -> [1, 3, 6 + i2, 0, t1] : (exists (e0 = [(-6 + t1 - i2)/128]: 128e0 = -6 + t1 - i2 and i2 <= 122 and i2 >= 1 and t1 >= 0 and t1 <= 127)) or (exists (e0 = [(-6 + t1 - i2)/128]: 128e0 = -6 + t1 - i2 and i2 >= 123 and i2 <= 124 and t1 <= 127 and t1 >= 0 )) }
4 [t1] -> { : t1 >= 0 and t1 <= 127 }
5 [t1] -> { [i0, i1, i2, i3, i4] -> unroll[o0] }