xref: /llvm-project/polly/lib/External/isl/test_inputs/codegen/stride5.in (revision 52a25237d894fd5736a90f11df2c5c9391d13fd5)

[n] -> { S[t] -> [t] : exists e : 2 t - n = 4e and 0 <= t <= 100 }
[n] -> { : }
{ }