1*5971e316Smrg /*
2*5971e316Smrg * Copyright 2011 Sven Verdoolaege
3*5971e316Smrg * Copyright 2012-2013 Ecole Normale Superieure
4*5971e316Smrg *
5*5971e316Smrg * Use of this software is governed by the MIT license
6*5971e316Smrg *
7*5971e316Smrg * Written by Sven Verdoolaege,
8*5971e316Smrg * Ecole Normale Superieure, 45 rue d’Ulm, 75230 Paris, France
9*5971e316Smrg */
10*5971e316Smrg
11*5971e316Smrg #include <isl_multi_macro.h>
12*5971e316Smrg
13*5971e316Smrg /* Intersect the parameter domain "dom1" with "dom2".
14*5971e316Smrg * That is, intersect the parameters of "dom2" with "dom1".
15*5971e316Smrg *
16*5971e316Smrg * Even though "dom1" is known to only involve parameter constraints,
17*5971e316Smrg * it may be of type isl_union_set, so explicitly convert it
18*5971e316Smrg * to an isl_set first.
19*5971e316Smrg */
FN(MULTI (BASE),params_domain_intersect)20*5971e316Smrg static __isl_give DOM *FN(MULTI(BASE),params_domain_intersect)(DOM *dom1,
21*5971e316Smrg __isl_take DOM *dom2)
22*5971e316Smrg {
23*5971e316Smrg isl_set *params;
24*5971e316Smrg
25*5971e316Smrg params = FN(DOM,params)(dom1);
26*5971e316Smrg dom2 = FN(DOM,intersect_params)(dom2, params);
27*5971e316Smrg
28*5971e316Smrg return dom2;
29*5971e316Smrg }
30*5971e316Smrg
31*5971e316Smrg /* Intersect the domain of "multi" with "domain".
32*5971e316Smrg *
33*5971e316Smrg * If "multi" has an explicit domain, then only this domain
34*5971e316Smrg * needs to be intersected.
35*5971e316Smrg */
MULTI(BASE)36*5971e316Smrg __isl_give MULTI(BASE) *FN(MULTI(BASE),intersect_domain)(
37*5971e316Smrg __isl_take MULTI(BASE) *multi, __isl_take DOM *domain)
38*5971e316Smrg {
39*5971e316Smrg if (FN(MULTI(BASE),check_compatible_domain)(multi, domain) < 0)
40*5971e316Smrg domain = FN(DOM,free)(domain);
41*5971e316Smrg return FN(FN(MULTI(BASE),apply),DOMBASE)(multi, domain,
42*5971e316Smrg &FN(EL,intersect_domain),
43*5971e316Smrg &FN(DOM,intersect),
44*5971e316Smrg &FN(MULTI(BASE),params_domain_intersect));
45*5971e316Smrg }
46*5971e316Smrg
47*5971e316Smrg /* Intersect the parameter domain of "multi" with "domain".
48*5971e316Smrg *
49*5971e316Smrg * If "multi" has an explicit domain, then only this domain
50*5971e316Smrg * needs to be intersected.
51*5971e316Smrg */
MULTI(BASE)52*5971e316Smrg __isl_give MULTI(BASE) *FN(MULTI(BASE),intersect_params)(
53*5971e316Smrg __isl_take MULTI(BASE) *multi, __isl_take isl_set *domain)
54*5971e316Smrg {
55*5971e316Smrg return FN(MULTI(BASE),apply_set)(multi, domain,
56*5971e316Smrg &FN(EL,intersect_params),
57*5971e316Smrg &FN(DOM,intersect_params),
58*5971e316Smrg &FN(DOM,intersect_params));
59*5971e316Smrg }
60