summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: 25c24e9)
isl_tab_pip.c: basic_map_partial_lexopt_base_sol: remove micro-optimization
authorSven Verdoolaege <sven@cerebras.net>
Thu, 9 Feb 2023 11:08:39 +0000 (9 12:08 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sat, 30 Mar 2024 11:51:28 +0000 (30 12:51 +0100)
Both isl_basic_set_sort_divs and align_context_divs
should return fairly quickly when there are no local variables.
Removing the explicit check simplifies the code.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
isl_tab_pip.c patch | blob | blame | history

diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 0922a7e..08c1f40 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4455,10 +4455,8 @@ static struct isl_sol *basic_map_partial_lexopt_base_sol(
        struct isl_sol *sol = NULL;
        struct isl_context *context;
 
-       if (dom->n_div) {
-               dom = isl_basic_set_sort_divs(dom);
-               bmap = align_context_divs(bmap, dom);
-       }
+       dom = isl_basic_set_sort_divs(dom);
+       bmap = align_context_divs(bmap, dom);
        sol = init(bmap, dom, !!empty, max);
        if (!sol)
                goto error;