| commit | 37a2370ded8702b06174f88f5221448284ec6cd4 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 1 Jan 2012 15:25:26 +0000 (1 16:25 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 14 May 2012 08:50:20 +0000 (14 10:50 +0200) | ||
| tree | 306869f5ef8a57f3f950c408f1b3e42b566b1ece | treesnapshot (tar.gz zip) |
| parent | e012da5c91d965c138ba99382aff98bc5e886941 | commitdiff |
support any affine condition in a while
The affine expresssion cannot depend on the loop iteration, so
the result will always be either an infinite or an empty loop,
but it allows for more general ways of specifying such infinite loops.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
The affine expresssion cannot depend on the loop iteration, so
the result will always be either an infinite or an empty loop,
but it allows for more general ways of specifying such infinite loops.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory | |
| tests/while_affine.c | [new file with mode: 0644] | blob |
| tests/while_affine.scop | [new file with mode: 0644] | blob |