tree2scop.c: scop_add_inc: take into account affine break conditions
commit109b1535fdbfab0ae1ea214241ec7a56331b7dab
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 24 Apr 2014 12:39:51 +0000 (24 14:39 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 24 Apr 2014 12:39:51 +0000 (24 14:39 +0200)
tree3f2b2a2148bee5889c052ad76d84c6bb31db1baf
parente5bb7b901035f4b2e8e15a80bea8c5c8ef38c779
tree2scop.c: scop_add_inc: take into account affine break conditions

Ever since 1bcd2f8 (pet_scop_from_pet_tree: extract pet_scop from the
root down to the leaves, Wed Jan 1 14:32:37 2014 +0100) the affine
continue conditions are applied to the pet_context beforehand
rather than applying them afterwards in pet_scop_restrict.
However, this commit failed to adjust the handling of skip
conditions on loop increments accordingly, resulting in the affine
break conditions getting dropped from the loop increment statements.
Add them back.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
tests/break7.c [new file with mode: 0644]
tests/break7.scop [new file with mode: 0644]
tree2scop.c