| commit | 8c8a45520550f1814b5988b9fb0c734c1d632ff3 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 17 Jan 2015 14:25:04 +0000 (17 15:25 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 17 Jan 2015 14:25:04 +0000 (17 15:25 +0100) | ||
| tree | c3870659d98efa971756b0d6bc2b6bcc4f249dac | treesnapshot (tar.gz zip) |
| parent | 5e4ba71609797f70ceea86fa1d986f43ae542a3b | commitdiff |
tree2scop.c: scop_from_affine_if: check condition of conditional assignment
Although the condition of the special case of a conditional assignment
is allowed not to be static-affine, the condition should still convert
to an affine expression when nested accesses are allowed in the expression.
We used to test for this condition, but it got dropped by mistake
in 2422264 (construct pet_scop from intermediate pet_tree data structure,
Tue Dec 31 12:00:45 2013 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Although the condition of the special case of a conditional assignment
is allowed not to be static-affine, the condition should still convert
to an affine expression when nested accesses are allowed in the expression.
We used to test for this condition, but it got dropped by mistake
in 2422264 (construct pet_scop from intermediate pet_tree data structure,
Tue Dec 31 12:00:45 2013 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tests/conditional_assignment3.c | [new file with mode: 0644] | blob |
| tests/conditional_assignment3.scop | [new file with mode: 0644] | blob |
| tree2scop.c | diffblobblamehistory |