| commit | 662ee9b7d45ebeb7629b239d3ed43442e25bf87c | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 25 Jan 2016 15:59:32 +0000 (25 16:59 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 25 Jan 2016 16:13:57 +0000 (25 17:13 +0100) | ||
| tree | 117d5d90e91b4d20780e487e1938d76400706189 | treesnapshot (tar.gz zip) |
| parent | ff4cab69aa8127e54d7f6835660fa73fa49a78bd | commitdiff |
isl_basic_map_realign: perform Gaussian elimination on result
Many parts of isl assume that Gaussian elimination has been
applied to the equality constraints. In particular singleton_extract_point
makes this assumption. The input to singleton_extract_point
may have undergone parameter alignment. This parameter alignment
(ultimately performed by isl_basic_map_realign) therefore
needs to make sure the result preserves this property.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Many parts of isl assume that Gaussian elimination has been
applied to the equality constraints. In particular singleton_extract_point
makes this assumption. The input to singleton_extract_point
may have undergone parameter alignment. This parameter alignment
(ultimately performed by isl_basic_map_realign) therefore
needs to make sure the result preserves this property.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |