| commit | 4df401386117b430c358ec39d69c781e8f98cea7 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 9 Aug 2011 15:29:13 +0000 (9 17:29 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 26 Sep 2011 16:23:48 +0000 (26 18:23 +0200) | ||
| tree | c44c4e63b67f143211931109c880fc1815e2fa24 | treesnapshot (tar.gz zip) |
| parent | 1232f590ff4e6fd55dceae1997f8d4bd2cf7f78f | commitdiff |
accept non-affine conditions in if statements
If the condition is non-affine, an extra statement is constructed
that evaluates the conditions and writes the result to a virtual
scalar. This scalar is then added to the list of arguments of
each statement depending on the condition and the domains of the
statements are adjusted to have a value of 1 (in the then branch)
or 0 (in the else branch) for this argument.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the condition is non-affine, an extra statement is constructed
that evaluates the conditions and writes the result to a virtual
scalar. This scalar is then added to the list of arguments of
each statement depending on the condition and the domains of the
statements are adjusted to have a value of 1 (in the then branch)
or 0 (in the else branch) for this argument.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| include/pet.h | diffblobblamehistory | |
| scan.cc | diffblobblamehistory | |
| scan.h | diffblobblamehistory | |
| scop.c | diffblobblamehistory | |
| scop.h | diffblobblamehistory | |
| scop_plus.cc | diffblobblamehistory | |
| tests/wdp.c | [new file with mode: 0644] | blob |
| tests/wdp.scop | [new file with mode: 0644] | blob |