add isl_pw_aff_union_opt

diff --git a/isl_aff.c b/isl_aff.c
index 0712f2d..7c46d34 100644 (file)
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -1260,8 +1260,16 @@ static __isl_give isl_pw_aff *pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
 __isl_give isl_pw_aff *isl_pw_aff_union_min(__isl_take isl_pw_aff *pwaff1,
        __isl_take isl_pw_aff *pwaff2)
 {
-       return isl_pw_aff_align_params_pw_pw_and(pwaff1, pwaff2,
-                                                       &pw_aff_union_min);
+       return align_params_pw_pw_and(pwaff1, pwaff2, &pw_aff_union_min);
+}
+
+__isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
+       __isl_take isl_pw_aff *pwaff2, int max)
+{
+       if (max)
+               return isl_pw_aff_union_max(pwaff1, pwaff2);
+       else
+               return isl_pw_aff_union_min(pwaff1, pwaff2);
 }
 
 /* Construct a map with as domain the domain of pwaff and

diff --git a/isl_aff_private.h b/isl_aff_private.h
index f3bd469..624f121 100644 (file)
--- a/isl_aff_private.h
+++ b/isl_aff_private.h
@@ -44,4 +44,7 @@ __isl_give isl_pw_aff *isl_pw_aff_reset_dim(__isl_take isl_pw_aff *pwaff,
 __isl_give isl_pw_aff *isl_pw_aff_add_disjoint(
        __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2);
 
+__isl_give isl_pw_aff *isl_pw_aff_union_opt(__isl_take isl_pw_aff *pwaff1,
+       __isl_take isl_pw_aff *pwaff2, int max);
+
 #endif