extract isl_tab_add_div from isl_tab_pip.c

[platform/upstream/isl.git] / isl_tab.h

diff --git a/isl_tab.h b/isl_tab.h
index 6dde592..8945449 100644 (file)
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -262,4 +262,7 @@ struct isl_tab *isl_tab_detect_equalities(struct isl_tab *tab,
 int isl_tab_push_callback(struct isl_tab *tab,
        struct isl_tab_callback *callback) WARN_UNUSED;
 
+int isl_tab_add_div(struct isl_tab *tab, __isl_keep isl_vec *div,
+       int (*add_ineq)(void *user, isl_int *), void *user);
+
 #endif