| commit | b27aa037aa55e1c7c49a2eb0fef085f76911b7a6 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 9 Nov 2013 21:44:11 +0000 (9 22:44 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 5 Aug 2014 13:12:41 +0000 (5 15:12 +0200) | ||
| tree | 5ab2d695311be502918fdf87a068cda8088aef38 | treesnapshot (tar.gz zip) |
| parent | 8a7d843e1066b1b26188279a63b9842238a38aa3 | commitdiff |
isl_ast_build_expr_from_basic_set: sort constraints
This should make the AST generation output slightly less sensitive
to the internal representation of core isl.
Moreover, by placing constraints that do not involve integer division
before those that do, we can more easily exploit the earlier constraints
to try and simplify the later constraints in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This should make the AST generation output slightly less sensitive
to the internal representation of core isl.
Moreover, by placing constraints that do not involve integer division
before those that do, we can more easily exploit the earlier constraints
to try and simplify the later constraints in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
28 files changed: