diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/redundant.c')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/redundant.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/redundant.c b/polly/lib/External/isl/test_inputs/codegen/redundant.c index 57ec5a738a0..057416e88ba 100644 --- a/polly/lib/External/isl/test_inputs/codegen/redundant.c +++ b/polly/lib/External/isl/test_inputs/codegen/redundant.c @@ -5,7 +5,7 @@ for (int c0 = 0; c0 <= 2; c0 += 1) for (int c3 = 1; c3 <= 14; c3 += 1) write(c0, c1, 8 * b0 + c2 - 5, c3); for (int c2 = max(max(3, -8 * b0 + 6), 8 * c0 - 12); c2 <= min(min(7, -8 * b0 + 17), 8 * c0 + 6); c2 += 1) - if (4 * c0 + c1 >= 2 * floord(2 * c1 + c2 - 5, 4) + 1 && 2 * ((2 * c1 + c2 - 1) / 4) + 7 >= 4 * c0 + c1 && 2 * c1 + c2 >= 4 * ((2 * c1 + c2 - 1) / 4) + 2 && ((-2 * c1 - c2 + 8) % 4) + 2 * c2 <= 14) + if (4 * c0 + c1 + 1 >= 2 * ((2 * c1 + c2 - 1) / 4) && 2 * ((2 * c1 + c2 - 1) / 4) + 7 >= 4 * c0 + c1 && (2 * c1 + c2 - 1) % 4 >= 1 && ((2 * c1 + c2 - 1) % 4) + 11 >= 2 * c2) for (int c3 = 1; c3 <= 14; c3 += 1) write(c0, c1, 8 * b0 + c2 - 5, c3); } |
