Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_multi_explicit_domain.c166 DOM *dom1, *dom2; in FN() local
173 dom2 = FN(MULTI(BASE),get_explicit_domain)(multi2); in FN()
174 equal = FN(DOM,is_equal)(dom1, dom2); in FN()
176 FN(DOM,free)(dom2); in FN()
H A Disl_union_multi.c329 isl_set *dom1, *dom2; in FN() local
335 dom2 = FN(PART,domain)(FN(PART,copy)(part2)); in FN()
336 disjoint = isl_set_is_disjoint(dom1, dom2); in FN()
338 isl_set_free(dom2); in FN()
H A Disl_schedule_band.c1041 isl_union_set *dom1, *dom2; in isl_schedule_band_shift() local
1049 dom2 = isl_multi_union_pw_aff_domain( in isl_schedule_band_shift()
1051 subset = isl_union_set_is_subset(dom1, dom2); in isl_schedule_band_shift()
1053 isl_union_set_free(dom2); in isl_schedule_band_shift()
H A Disl_space.c1556 isl_space *dom1, *dom2, *nest1, *nest2; in isl_space_product() local
1574 dom2 = isl_space_domain(isl_space_copy(right)); in isl_space_product()
1575 nest1 = isl_space_wrap(isl_space_join(isl_space_reverse(dom1), dom2)); in isl_space_product()
1578 dom2 = isl_space_range(right); in isl_space_product()
1579 nest2 = isl_space_wrap(isl_space_join(isl_space_reverse(dom1), dom2)); in isl_space_product()
1594 isl_space *ran, *dom1, *dom2, *nest; in isl_space_domain_product() local
1606 dom2 = isl_space_domain(right); in isl_space_domain_product()
1607 nest = isl_space_wrap(isl_space_join(isl_space_reverse(dom1), dom2)); in isl_space_domain_product()
H A Disl_fold.c1547 isl_set *dom1, *dom2; in isl_pw_qpolynomial_fold_covers() local
1559 dom2 = isl_pw_qpolynomial_fold_domain(isl_pw_qpolynomial_fold_copy(pwf2)); in isl_pw_qpolynomial_fold_covers()
1560 is_subset = isl_set_is_subset(dom2, dom1); in isl_pw_qpolynomial_fold_covers()
1562 isl_set_free(dom2); in isl_pw_qpolynomial_fold_covers()
H A Disl_test.c9939 isl_set *dom, *dom2; in test_multi_pw_aff_1() local
9958 dom2 = isl_pw_aff_domain(pa); in test_multi_pw_aff_1()
9959 equal_domain = isl_set_is_equal(dom, dom2); in test_multi_pw_aff_1()
9962 isl_set_free(dom2); in test_multi_pw_aff_1()