summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: e42bd8a)
isl_map.c: div_involves_vars: use isl_basic_map_var_offset
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sun, 23 May 2021 11:40:42 +0000 (23 13:40 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 25 Feb 2024 14:47:35 +0000 (25 15:47 +0100)
This prepares for the next commit.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_map.c patch | blob | blame | history

diff --git a/isl_map.c b/isl_map.c
index 65db84e..6d1aaa9 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2679,8 +2679,7 @@ static isl_bool div_involves_vars(__isl_keep isl_basic_map *bmap, int div,
 {
        int i;
        isl_bool unknown;
-       isl_size n_div;
-       unsigned div_offset = isl_basic_map_offset(bmap, isl_dim_div);
+       isl_size n_div, v_div;
 
        unknown = isl_basic_map_div_is_marked_unknown(bmap, div);
        if (unknown < 0 || unknown)
@@ -2689,12 +2688,13 @@ static isl_bool div_involves_vars(__isl_keep isl_basic_map *bmap, int div,
                return isl_bool_true;
 
        n_div = isl_basic_map_dim(bmap, isl_dim_div);
-       if (n_div < 0)
+       v_div = isl_basic_map_var_offset(bmap, isl_dim_div);
+       if (n_div < 0 || v_div < 0)
                return isl_bool_error;
        for (i = n_div - 1; i >= 0; --i) {
                isl_bool involves;
 
-               if (isl_int_is_zero(bmap->div[div][1 + div_offset + i]))
+               if (isl_int_is_zero(bmap->div[div][1 + 1 + v_div + i]))
                        continue;
                involves = div_involves_vars(bmap, i, first, n);
                if (involves < 0 || involves)