Lines Matching refs:inter
4181 isl_basic_set_list *inter; member
4190 isl_basic_set_list_free(carry->inter); in isl_carry_clear()
4322 __isl_keep isl_basic_set_list *inter, int carry_inter) in add_all_constraints() argument
4329 if (isl_basic_set_list_foreach(inter, &lp_add_inter, &data) < 0) in add_all_constraints()
4359 __isl_keep isl_basic_set_list *inter, int *n_eq, int *n_ineq) in count_all_constraints() argument
4364 if (isl_basic_set_list_foreach(inter, &bset_update_count, &data) < 0) in count_all_constraints()
4410 __isl_keep isl_basic_set_list *inter, int carry_inter) in setup_carry_lp() argument
4425 if (count_all_constraints(intra, inter, &n_eq, &n_ineq) < 0) in setup_carry_lp()
4458 if (add_all_constraints(ctx, graph, intra, inter, carry_inter) < 0) in setup_carry_lp()
5092 __isl_take isl_union_map *inter, in exploit_inter_lineality() argument
5098 return isl_union_map_free(inter); in exploit_inter_lineality()
5100 return inter; in exploit_inter_lineality()
5102 umap = isl_union_map_copy(inter); in exploit_inter_lineality()
5103 inter = isl_union_map_subtract_range(inter, in exploit_inter_lineality()
5107 inter = isl_union_map_union(inter, umap); in exploit_inter_lineality()
5108 umap = isl_union_map_copy(inter); in exploit_inter_lineality()
5109 inter = isl_union_map_subtract_domain(inter, in exploit_inter_lineality()
5113 inter = isl_union_map_union(inter, umap); in exploit_inter_lineality()
5115 inter = isl_union_map_remove_divs(inter); in exploit_inter_lineality()
5117 return inter; in exploit_inter_lineality()
5239 isl_union_map *inter; in collect_inter_validity() local
5243 inter = collect_validity(graph, &add_inter, coincidence); in collect_inter_validity()
5244 inter = exploit_inter_lineality(inter, data); in collect_inter_validity()
5245 inter = isl_union_map_remove_divs(inter); in collect_inter_validity()
5246 wrap = isl_union_map_wrap(inter); in collect_inter_validity()
5270 __isl_keep isl_basic_set_list *inter, int want_integral, in compute_carrying_sol_coef() argument
5275 if (setup_carry_lp(ctx, graph, n_edge, intra, inter, carry_inter) < 0) in compute_carrying_sol_coef()
5316 carry.inter = collect_inter_validity(graph, coincidence, in compute_carrying_sol()
5319 n_inter = isl_basic_set_list_n_basic_set(carry.inter); in compute_carrying_sol()
5326 carry.intra, carry.inter, fallback, 0); in compute_carrying_sol()
5341 carry.intra, carry.inter, fallback, 1); in compute_carrying_sol()