Searched refs:add_ineq (Results 1 – 3 of 3) sorted by relevance
| /external/llvm-project/polly/lib/External/isl/ |
| D | isl_tab.h | 332 isl_stat (*add_ineq)(void *user, isl_int *), void *user);
|
| D | isl_tab.c | 2249 isl_stat (*add_ineq)(void *user, isl_int *), void *user) in add_div_constraints()
2264 if (add_ineq) { in add_div_constraints()
2265 if (add_ineq(user, ineq->el) < 0) in add_div_constraints()
2277 if (add_ineq) { in add_div_constraints()
2278 if (add_ineq(user, ineq->el) < 0) in add_div_constraints()
2333 isl_stat (*add_ineq)(void *user, isl_int *), void *user) in isl_tab_insert_div()
2374 if (add_div_constraints(tab, pos - o_div, add_ineq, user) < 0) in isl_tab_insert_div()
|
| D | isl_tab_pip.c | 84 void (*add_ineq)(struct isl_context *context, isl_int *ineq, member
2047 isl_stat (*add_ineq)(void *user, isl_int *), void *user) in context_tab_insert_div()
2054 r = isl_tab_insert_div(tab, pos, div, add_ineq, user); in context_tab_insert_div()
3938 sol->context->op->add_ineq(sol->context, ineq, 0, 1); in find_in_pos()
3966 sol->context->op->add_ineq(sol->context, ineq->el, 1, 0); in no_sol_in_strict()
4148 context->op->add_ineq(context, ineq->el, 0, 1); in find_solutions()
4183 context->op->add_ineq(context, ineq->el, 1, 1); in find_solutions()
|