Lines Matching defs:div
135 __isl_take isl_basic_map *bmap, int div, int pos) in reduce_coefficient_in_div()
160 static isl_bool needs_reduction(__isl_keep isl_basic_map *bmap, int div, in needs_reduction()
183 __isl_take isl_basic_map *bmap, int div) in reduce_div_coefficients_of_div()
247 __isl_take isl_basic_map *bmap, int div) in normalize_div_expression()
367 isl_int *eq, unsigned div, int keep_divs) in eliminate_div()
387 unsigned div) in ok_to_eliminate_div()
546 int div, int eq, int *progress) in set_div_from_eq()
1118 __isl_take isl_basic_map *bmap, int div, int ineq) in set_div_from_lower_bound()
1138 int div, int ineq) in ok_to_set_div_from_bound()
1175 int div, int ineq) in better_div_constraint()
1361 __isl_take isl_basic_map *bmap, int div, int *progress) in eliminate_unit_div()
1424 isl_bool (*select)(__isl_keep isl_basic_map *bmap, int div), in eliminate_selected_unit_divs()
1455 static isl_bool is_any_div(__isl_keep isl_basic_map *bmap, int div) in is_any_div()
1476 static isl_bool is_pure_unit_div(__isl_keep isl_basic_map *bmap, int div) in is_pure_unit_div()
1556 isl_int *constraint, unsigned div) in isl_basic_map_is_div_constraint()
1599 static isl_bool div_is_redundant(__isl_keep isl_basic_map *bmap, int div) in div_is_redundant()
3169 int div; in reduce_stride_constraints() local
4151 unsigned div, unsigned l, unsigned u) in div_find_coalesce()
4691 int div) in single_unknown()
4725 static isl_bool has_coef_one(__isl_keep isl_basic_map *bmap, int div, int ineq) in has_coef_one()
4756 __isl_take isl_basic_map *bmap, int div, int ineq1, int ineq2, in drop_div_and_try_again()
4845 static int lower_bound_is_cst(__isl_keep isl_basic_map *bmap, int div, int ineq) in lower_bound_is_cst()
4916 int div, int ineq, int lower, int *pairs) in fix_cst_lower()
4938 static isl_bool any_div_involves_div(__isl_keep isl_basic_map *bmap, int div) in any_div_involves_div()
5507 __isl_take isl_basic_map *bmap, int div, int pos, isl_int shift) in isl_basic_map_shift_div()