diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/tobi.pip')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/tobi.pip | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/tobi.pip b/polly/lib/External/isl/test_inputs/tobi.pip new file mode 100644 index 00000000000..c31beae1b0f --- /dev/null +++ b/polly/lib/External/isl/test_inputs/tobi.pip @@ -0,0 +1,15 @@ +2 3 +1 1 -281 +1 -1 14000 + +-1 + +6 6 +0 -392 0 8 -1 0 +0 392 8 0 1 0 +1 -1 0 0 0 0 +1 1 0 0 0 35 +1 392 0 0 1 0 +1 -392 0 0 -1 280 + +Urs_unknowns |
