summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: bca1351)
isl_tab_pip.c: find_context_div: use isl_basic_set_dim
authorSven Verdoolaege <sven@cerebras.net>
Thu, 9 Feb 2023 13:00:59 +0000 (9 14:00 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sat, 30 Mar 2024 11:51:28 +0000 (30 12:51 +0100)
This reduces the dependence on the internal representation.

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 08c1f40..c8e10ce 100644 (file)
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -4344,18 +4344,19 @@ static isl_size find_context_div(__isl_keep isl_basic_map *bmap,
 {
        int i;
        isl_size b_v_div, d_v_div;
-       isl_size n_div;
+       isl_size n_div, d_n_div;
 
        b_v_div = isl_basic_map_var_offset(bmap, isl_dim_div);
        d_v_div = isl_basic_set_var_offset(dom, isl_dim_div);
        n_div = isl_basic_map_dim(bmap, isl_dim_div);
-       if (b_v_div < 0 || d_v_div < 0 || n_div < 0)
+       d_n_div = isl_basic_set_dim(dom, isl_dim_div);
+       if (b_v_div < 0 || d_v_div < 0 || n_div < 0 || d_n_div < 0)
                return isl_size_error;
 
        if (isl_int_is_zero(dom->div[div][0]))
                return n_div;
        if (isl_seq_first_non_zero(dom->div[div] + 2 + d_v_div,
-                                   dom->n_div) != -1)
+                                   d_n_div) != -1)
                return n_div;
 
        for (i = 0; i < n_div; ++i) {