| commit | 504654ad4c2882097567efe359155982d88c6f92 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 28 Dec 2013 09:24:55 +0000 (28 10:24 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 10 Feb 2014 12:47:08 +0000 (10 13:47 +0100) | ||
| tree | 8ee4b4b096e1b7295b02b120dabc837c793058ac | treesnapshot (tar.gz zip) |
| parent | 36f6eccc12aa3ad5df68ad1066e35cf18f5f4248 | commitdiff |
isl_map_preimage_multi_pw_aff: special case universe set
If the input map does not involve any dimensions in the space that we are
computing the preimage of and if at least one of the isl_pw_aff
in the isl_multi_pw_aff involves more than one piece, then the default
implementation needlessly splits the map along those pieces.
Avoid this splitting by checking for this special case.
The check could be refined by checking individual dimensions
where the corresponding isl_pw_aff involves more than one piece.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If the input map does not involve any dimensions in the space that we are
computing the preimage of and if at least one of the isl_pw_aff
in the isl_multi_pw_aff involves more than one piece, then the default
implementation needlessly splits the map along those pieces.
Avoid this splitting by checking for this special case.
The check could be refined by checking individual dimensions
where the corresponding isl_pw_aff involves more than one piece.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory |