| commit | 35074178eda73658cda1674b8565028f62e560c3 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 10 May 2014 12:50:53 +0000 (10 14:50 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 16 Aug 2014 13:45:02 +0000 (16 15:45 +0200) | ||
| tree | 17742e8c638ff28a2d00d2fa4e2269e714cd5904 | treesnapshot (tar.gz zip) |
| parent | e6f201b87b208071a4e60648f34c1ce5f8089863 | commitdiff |
isl_ast_build_expr_from_pw_aff: exploit domain constraints of pieces
That is, for an isl_pw_aff that would be generated as
n >= 0 ? floord(n, 2) : 0
take into account that n >= 0 in the first piece and use
that to simplify the associated quasi-affine expression,
producing
n >= 0 ? n / 2 : 0
instead.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
That is, for an isl_pw_aff that would be generated as
n >= 0 ? floord(n, 2) : 0
take into account that n >= 0 in the first piece and use
that to simplify the associated quasi-affine expression,
producing
n >= 0 ? n / 2 : 0
instead.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_ast_build_expr.c | diffblobblamehistory |