1 /*
2 * Copyright 2017 Sven Verdoolaege
3 *
4 * Use of this software is governed by the MIT license
5 *
6 * Written by Sven Verdoolaege
7 */
8
9 #define xCAT(A,B) A ## B
10 #define CAT(A,B) xCAT(A,B)
11 #undef TYPE
12 #define TYPE CAT(isl_,BASE)
13 #define xBFN(BASE,NAME) isl_ ## BASE ## _ ## NAME
14 #define BFN(BASE,NAME) xBFN(BASE,NAME)
15
16 /* Return the minimal (maximal if "max" is set) value attained
17 * by the given set dimension,
18 * independently of the parameter values and of any other dimensions.
19 *
20 * Return infinity or negative infinity if the optimal value is unbounded and
21 * NaN if "set" is empty.
22 */
BFN(BASE,dim_opt_val)23 static __isl_give isl_val *BFN(BASE,dim_opt_val)(__isl_take TYPE *set, int max,
24 int pos)
25 {
26 isl_local_space *ls;
27 isl_aff *obj;
28 isl_val *v;
29
30 if (BFN(BASE,check_range)(set, isl_dim_set, pos, 1) < 0)
31 goto error;
32 ls = isl_local_space_from_space(BFN(BASE,get_space)(set));
33 obj = isl_aff_var_on_domain(ls, isl_dim_set, pos);
34 v = BFN(BASE,opt_val)(set, max, obj);
35 isl_aff_free(obj);
36 BFN(BASE,free)(set);
37
38 return v;
39 error:
40 BFN(BASE,free)(set);
41 return NULL;
42 }
43