negative.pip « test_inputs « isl « cloog-0.17.0 - cloog.git - Linaro component

summary refs log tree commit diff

path: root/cloog-0.17.0/isl/test_inputs/negative.pip

blob: 45090a59230fbecddb05fe8ec767d3a01060f96f (plain)

1 3
#  n  1
1  1 -1 # n >= 1
-1

2 4
#  i  n  1
1  1  0  1 # i >= -1
1 -1  1  0 # i <= n