| commit | f9211c76158252339d0fa2753d30ae2f271bfe6e | |
| author | Sven Verdoolaege <sven@cerebras.net> | |
| Fri, 17 Mar 2023 09:54:30 +0000 (17 10:54 +0100) | ||
| committer | Sven Verdoolaege <sven@cerebras.net> | |
| Sat, 25 May 2024 15:31:27 +0000 (25 17:31 +0200) | ||
| tree | a35e49d7c6b5deed691d0f1c39ba663db94d0804 | treesnapshot (tar.gz zip) |
| parent | 6b1b23b35ac608cb7e839bae83222692398fbbb7 | commitdiff |
isl_tab_basic_map_partial_lexopt*: intersect with domain first
There is only one case where the intersection with the domain
would not be performed before and that is when the total dimensionality
of the domain is zero, but in that case the domain is either empty or
it has no constraints and then the intersection is trivial.
Performing the intersection first allows the remainder of the function
to be extracted out in the next commit.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
There is only one case where the intersection with the domain
would not be performed before and that is when the total dimensionality
of the domain is zero, but in that case the domain is either empty or
it has no constraints and then the intersection is trivial.
Performing the intersection first allows the remainder of the function
to be extracted out in the next commit.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
| isl_tab_lexopt_templ.c | diffblobblamehistory |