diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2013-03-12 11:09:21 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2013-03-19 11:09:27 +0100 |
commit | f5ed5dd624de53be9a13883a39baa8bd469e94a4 (patch) | |
tree | 8b5599642f31764f59e31824fff188b761b7e980 /test_inputs/codegen/hoist2.c | |
parent | bf586f0e0bc5d2ac4e7c3c50ed2178d483f25521 (diff) | |
download | isl-f5ed5dd624de53be9a13883a39baa8bd469e94a4.tar.gz isl-f5ed5dd624de53be9a13883a39baa8bd469e94a4.tar.bz2 isl-f5ed5dd624de53be9a13883a39baa8bd469e94a4.zip |
isl_basic_map_compute_divs: preserve already known divs
The purpose of isl_basic_map_compute_divs is to ensure that all divs
have an explicit representation. If we already have an explicit
representation for some of the divs, then there is no need to
recompute an explicit representation for them. Instead, we preserve
the explicit representations of the known divs and only compute
explicit representations for the currently unknown divs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'test_inputs/codegen/hoist2.c')
-rw-r--r-- | test_inputs/codegen/hoist2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test_inputs/codegen/hoist2.c b/test_inputs/codegen/hoist2.c index 26fba667..4cc0db38 100644 --- a/test_inputs/codegen/hoist2.c +++ b/test_inputs/codegen/hoist2.c @@ -1,5 +1,5 @@ for (int c0 = 1; c0 <= 5; c0 += 1) - if (c0 <= 2 || (t1 + c0 >= 8 && c0 >= 2 && c0 <= 3) || (b == 1 && t1 + c0 >= 10 && c0 >= 3) || (b == 1 && t1 <= 6 && t1 + c0 <= 9)) + if (c0 >= 3 || c0 <= 2 || (b == 1 && t1 <= 6 && t1 + c0 <= 9)) for (int c1 = max(t1, t1 - 64 * b + 64); c1 <= min(70, -((c0 + 1) % 2) - c0 + 73); c1 += 64) - if ((c0 <= 2 && c0 >= 1 && c0 + c1 <= 71 && c1 >= 7) || (c1 == t1 + 64 && c0 <= 3 && c0 >= 2 && t1 + c0 >= 8) || (c1 == t1 && b == 1 && c0 >= 3 && t1 + c0 >= 10) || (c1 == t1 && b == 1 && t1 <= 6 && t1 + c0 <= 9)) + if ((c0 >= 3 && c0 + c1 >= 10) || (c0 <= 2 && c0 >= 1 && c1 >= 7) || (c1 == t1 && b == 1 && t1 <= 6 && t1 + c0 <= 9)) A(c0, 64 * b + c1 - 8); |