Home
last modified time | relevance | path

Searched refs:isl_set_is_subset (Results 1 – 13 of 13) sorted by relevance

/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_pw_union_opt.c191 is_subset = isl_set_is_subset(set_j, set_i); in FN()
203 is_subset = isl_set_is_subset(set_i, better); in FN()
H A Disl_ast_build_expr.c2055 subset = isl_set_is_subset(set_n, set); in single_is_subset()
2154 is_valid = isl_set_is_subset(required, valid); in extends()
2164 is_valid = isl_set_is_subset(set, valid); in extends()
2234 subset1 = isl_set_is_subset(set, eq); in ast_expr_from_pw_aff()
H A Disl_ast_graft.c615 subset = isl_set_is_subset(test, in insert_pending_guard_nodes()
623 subset = isl_set_is_subset(test, in insert_pending_guard_nodes()
H A Disl_transitive_closure.c990 subset = isl_set_is_subset(s, dom); in has_spurious_elements()
1000 subset = isl_set_is_subset(s, ran); in has_spurious_elements()
1067 subset = isl_set_is_subset(dom[j], C); in composability()
1090 subset = isl_set_is_subset(ran[j], C); in composability()
H A Disl_map_subtract.c883 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2) in isl_set_is_subset() function
H A Disl_test.c4118 is_subset = isl_set_is_subset(set1, set2); in test_subset_duplicate_integer_divisions()
4183 subset = isl_set_is_subset(set1, set2); in test_subset()
4473 is_tilable = isl_set_is_subset(delta_set, slice); in test_one_schedule()
4479 is_parallel = isl_set_is_subset(delta_set, slice); in test_one_schedule()
H A Disl_fold.c1560 is_subset = isl_set_is_subset(dom2, dom1); in isl_pw_qpolynomial_fold_covers()
/llvm-project-15.0.7/polly/lib/External/ppcg/
H A Dgrouping.c182 is_subset = isl_set_is_subset(set1, set2); in covers_src_and_dst()
191 is_subset = isl_set_is_subset(set1, set2); in covers_src_and_dst()
/llvm-project-15.0.7/polly/lib/Exchange/
H A DJSONExporter.cpp466 bool IsSubset = isl_set_is_subset(NewAccessSet, CurrentAccessSet); in importAccesses()
515 isl_set_is_subset(CurrentAccessDomain, NewAccessDomain) == in importAccesses()
/llvm-project-15.0.7/polly/lib/CodeGen/
H A DIslNodeBuilder.cpp902 assert(isl_set_is_subset(SchedDom, AccDom) && in createNewAccesses()
904 assert(isl_set_is_subset(Dom, AccDom) && in createNewAccesses()
/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dset.h441 isl_bool isl_set_is_subset(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
H A Disl-noexceptions.h18950 auto res = isl_set_is_subset(get(), set2.get()); in is_subset()
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Duser.pod5263 isl_bool isl_set_is_subset(__isl_keep isl_set *set1,