| commit | 2622e2a0e2b5edd1bf0e23ef8047b0a93686ed43 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 4 Jan 2011 10:46:50 +0000 (4 11:46 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 6 Jan 2011 12:35:10 +0000 (6 13:35 +0100) | ||
| tree | d5b6ff23e9fc09c6dfd945730b18dd3c8b320539 | treesnapshot (tar.gz zip) |
| parent | a9733e1858970f41ec49ad4676281292bdc14ed3 | commitdiff |
clast.c: don't construct set for reduction for local variables
There is no need to perform any reduction on existentially quantified
variables and, more importantly, the position of the variable may
change in the set that is created for performing the reduction,
possibly producing incorrect results.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
There is no need to perform any reduction on existentially quantified
variables and, more importantly, the position of the variable may
change in the set that is created for performing the reduction,
possibly producing incorrect results.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| include/cloog/constraints.h | diffblobblamehistory | |
| source/clast.c | diffblobblamehistory | |
| source/isl/constraints.c | diffblobblamehistory | |
| source/matrix/constraintset.c | diffblobblamehistory | |
| test/Makefile.am | diffblobblamehistory | |
| test/isl/mod4.c | [new file with mode: 0644] | blob |
| test/isl/mod4.cloog | [new file with mode: 0644] | blob |