Lines Matching refs:isl_set_intersect
3002 set_i = isl_set_intersect(set_i, locus); in pw_aff_locus()
3112 set1 = isl_set_intersect(set1, set2); in pw_aff_gte_set()
3281 set = isl_set_intersect(set, set_ij); in pw_aff_list_set()
3733 dom = isl_set_intersect(isl_pw_aff_domain(pa1), isl_pw_aff_domain(pa2)); in replace_by_nan()
3743 dom = isl_set_intersect(isl_pw_aff_domain(isl_pw_aff_copy(pwaff1)), in pw_aff_min()
3757 dom = isl_set_intersect(isl_pw_aff_domain(isl_pw_aff_copy(pwaff1)), in pw_aff_max()
3838 dom = isl_set_intersect(dom, dom_i); in replace_list_by_nan()
4639 gt = isl_set_intersect(gt, isl_set_copy(equal_set)); in isl_multi_aff_lex_gte_set()
4642 equal_set = isl_set_intersect(equal_set, eq); in isl_multi_aff_lex_gte_set()
4656 gte = isl_set_intersect(gte, equal_set); in isl_multi_aff_lex_gte_set()
5927 common = isl_set_intersect( in isl_pw_multi_aff_substitute()
6637 common = isl_set_intersect(isl_set_copy(pma->p[i].set), in pw_multi_aff_set_pw_aff()