Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_lp.c84 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()
158 } else if (!opt_denom) { in isl_map_solve_lp()
164 isl_int_mul(t, opt_i, *opt_denom); in isl_map_solve_lp()
175 if (opt_denom) in isl_map_solve_lp()
187 if (map->n > 0 && opt_denom) { in isl_map_solve_lp()
200 isl_int *opt_denom, in isl_set_solve_lp() argument
[all …]
H A 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,
H A 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()
H A 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()
H A Disl_tab.h207 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom,
H A Disl_tab.c3349 isl_int *f, isl_int denom, isl_int *opt, isl_int *opt_denom, in isl_tab_min() argument
3406 if (opt_denom) { in isl_tab_min()
3408 isl_int_set(*opt_denom, tab->mat->row[var->index][0]); in isl_tab_min()