summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: 6dff4a1)
isl_tab_basic_map_partial_lexopt*: drop redundant check
authorSven Verdoolaege <sven@cerebras.net>
Fri, 17 Mar 2023 09:35:10 +0000 (17 10:35 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sat, 25 May 2024 15:31:27 +0000 (25 17:31 +0200)
Either ISL_OPT_FULL is set, in which case the domain is derived
from the map and is therefore necessarily compatible, or
it is not set, in which case isl_basic_map_intersect_domain
gets called, which performs the same check.

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

diff --git a/isl_tab_lexopt_templ.c b/isl_tab_lexopt_templ.c
index 9293915..774b185 100644 (file)
--- a/isl_tab_lexopt_templ.c
+++ b/isl_tab_lexopt_templ.c
@@ -259,7 +259,6 @@ __isl_give TYPE *SF(isl_tab_basic_map_partial_lexopt,SUFFIX)(
        __isl_give isl_set **empty, unsigned flags)
 {
        int max, full;
-       isl_bool compatible;
 
        if (empty)
                *empty = NULL;
@@ -267,12 +266,6 @@ __isl_give TYPE *SF(isl_tab_basic_map_partial_lexopt,SUFFIX)(
        full = ISL_FL_ISSET(flags, ISL_OPT_FULL);
        if (full)
                dom = extract_domain(bmap, flags);
-       compatible = isl_basic_map_compatible_domain(bmap, dom);
-       if (compatible < 0)
-               goto error;
-       if (!compatible)
-               isl_die(isl_basic_map_get_ctx(bmap), isl_error_invalid,
-                       "domain does not match input", goto error);
 
        max = ISL_FL_ISSET(flags, ISL_OPT_MAX);
        if (isl_basic_set_dim(dom, isl_dim_all) == 0)
@@ -286,8 +279,4 @@ __isl_give TYPE *SF(isl_tab_basic_map_partial_lexopt,SUFFIX)(
        bmap = isl_basic_map_remove_redundancies(bmap);
 
        return SF(basic_map_partial_lexopt,SUFFIX)(bmap, dom, empty, max);
-error:
-       isl_basic_set_free(dom);
-       isl_basic_map_free(bmap);
-       return NULL;
 }