Fredrik Holmqvist c8db99d323 Redo Update to ISL 0.22.1
GCC had a horrible .gitignore, untracked files were not applied
2020-07-22 10:07:48 +02:00

4 lines
180 B
Scala

# Check that a fixed value of one dimension in terms of the others
# does not cause loop coalescing avoidance to break down.
domain: { S[a, floor(a/2), floor(a/4)] : 0 <= a <= 9 }