| commit | 5ddfdbdcfdb36c6a80f0932a70dfdecc02f700d8 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 14 Mar 2014 17:58:43 +0000 (14 18:58 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 25 Mar 2014 13:36:29 +0000 (25 14:36 +0100) | ||
| tree | b16e2adf862720ef19bfdbf26750fb2f94e4859b | treesnapshot (tar.gz zip) |
| parent | 1bcd2f8689dfd2cabfb52c827b377b27db8c27ed | commitdiff |
tree2scop.c: scop_from_block: collect affine continue conditions
In the previous commit, we would only add the latest affine skip
conditions derived from continue statements. We did this mainly
to avoid any changes in the test cases.
We now switch to collecting all such conditions such that we
can exploit any previous such conditions as well.
This has an effect on the continue5 test case, which now produces
a __pet_test_1 virtual array that is identical to the __pet_test_0
virtual array. Although this is somewhat suboptimal, it is no
worse than the situation before this commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In the previous commit, we would only add the latest affine skip
conditions derived from continue statements. We did this mainly
to avoid any changes in the test cases.
We now switch to collecting all such conditions such that we
can exploit any previous such conditions as well.
This has an effect on the continue5 test case, which now produces
a __pet_test_1 virtual array that is identical to the __pet_test_0
virtual array. Although this is somewhat suboptimal, it is no
worse than the situation before this commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tests/continue5.scop | diffblobblamehistory | |
| tree2scop.c | diffblobblamehistory |