isl_tab_pip.c: extract out shared sol_init
[isl.git] / test_inputs / codegen / stride7.in
blobcac9caca480f0e8890288fab323c6ba4f36f7207
1 # Check that no redundant guards are introduced
2 { s4[a, b] -> [a, 2, b] : exists (e0 = floor((-2 + a)/64):
3     64e0 = -2 + a and a <= 200 and b <= 62 + a and b >= 122);
4   s2[a, b] -> [a, 2, b] : exists (e0 = floor((-2 + a)/64):
5     64e0 = -2 + a and a >= 2 and b <= 120 and b >= -1 + a and a <= 100) }
6 { : }
7 { }