diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/jacobi_kernel4.c')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/jacobi_kernel4.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/jacobi_kernel4.c b/polly/lib/External/isl/test_inputs/codegen/jacobi_kernel4.c new file mode 100644 index 00000000000..97b45448ae1 --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/jacobi_kernel4.c @@ -0,0 +1,2 @@ +if (8 * a + 64 * b >= t0 + 2 * t + 512 * floord(-t0 - 8 * a + 64 * b + 2 * t - 1, 512) + 512 && t0 + 512 * floord(-t0 - 8 * a + 64 * b + 2 * t - 1, 512) >= -511 && t0 + 512 * floord(-t0 - 8 * a + 64 * b + 2 * t - 1, 512) <= 1310206) + S_0(t, -((-t0 - 8 * a + 64 * b + 2 * t + 511) % 512) - 8 * a + 64 * b + 2 * t + 511); |
