Home
last modified time | relevance | path

Searched refs:opt_denom (Results 1 – 6 of 6) sorted by relevance

/external/llvm-project/polly/lib/External/isl/
Disl_lp.c27 isl_int *opt_denom, __isl_give isl_vec **sol) in isl_tab_solve_lp() argument
40 res = isl_tab_min(tab, f, denom, opt, opt_denom, 0); in isl_tab_solve_lp()
67 int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom, in isl_basic_map_solve_lp() argument
76 return isl_tab_solve_lp(bmap, max, f, d, opt, opt_denom, sol); in isl_basic_map_solve_lp()
80 int max, isl_int *f, isl_int d, isl_int *opt, isl_int *opt_denom, in isl_basic_set_solve_lp() argument
84 f, d, opt, opt_denom, sol); in isl_basic_set_solve_lp()
89 isl_int *opt_denom, in isl_map_solve_lp() argument
128 if (map->n > 0 && opt_denom) { in isl_map_solve_lp()
134 opt, opt_denom, sol); in isl_map_solve_lp()
148 opt_denom ? &opt_denom_i : NULL, in isl_map_solve_lp()
[all …]
Disl_lp_private.h9 int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
12 int max, isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
15 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
18 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
Dbasis_reduction_tab.c24 isl_int opt_denom; member
147 isl_int_init(lp->opt_denom); in init_lp()
192 &lp->opt, &lp->opt_denom, flags); in solve_lp()
193 isl_int_mul_ui(lp->opt_denom, lp->opt_denom, 2); in solve_lp()
194 if (isl_int_abs_lt(lp->opt, lp->opt_denom)) { in solve_lp()
206 isl_int_divexact_ui(lp->opt_denom, lp->opt_denom, 2); in solve_lp()
249 GBR_set_den(F, lp->opt_denom); in get_obj_val()
258 isl_int_clear(lp->opt_denom); in delete_lp()
Disl_tab.h207 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
Disl_convex_hull.c121 isl_int opt_denom; in uset_is_bound() local
124 isl_int_init(opt_denom); in uset_is_bound()
133 0, c, set->ctx->one, &opt, &opt_denom, NULL); in uset_is_bound()
145 if (!isl_int_is_one(opt_denom)) in uset_is_bound()
146 isl_seq_scale(c, c, opt_denom, len); in uset_is_bound()
152 isl_int_clear(opt_denom); in uset_is_bound()
156 isl_int_clear(opt_denom); in uset_is_bound()
Disl_tab.c3360 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom, in isl_tab_min() argument
3417 if (opt_denom) { in isl_tab_min()
3419 isl_int_set(*opt_denom, tab->mat->row[var->index][0]); in isl_tab_min()