Home
last modified time | relevance | path

Searched refs:isl_set_intersect (Results 1 – 24 of 24) sorted by relevance

/llvm-project/polly/lib/External/isl/
H A Disl_ast_build.c755 return isl_set_intersect(set, stride); in intersect_stride_constraint()
786 set = isl_set_intersect(set, isl_set_copy(build->domain)); in update_values()
866 build->pending = isl_set_intersect(build->pending, in isl_ast_build_set_loop_bounds()
868 build->domain = isl_set_intersect(build->domain, set); in isl_ast_build_set_loop_bounds()
870 build->domain = isl_set_intersect(build->domain, set); in isl_ast_build_set_loop_bounds()
912 build->pending = isl_set_intersect(build->pending, in isl_ast_build_set_pending_generated()
917 build->generated = isl_set_intersect(build->generated, in isl_ast_build_set_pending_generated()
941 build->domain = isl_set_intersect(build->domain, set); in isl_ast_build_restrict_internal()
966 build->generated = isl_set_intersect(build->generated, set); in isl_ast_build_restrict_generated()
1419 build->domain = isl_set_intersect(build->domain, isl_set_copy(set)); in isl_ast_build_include_stride()
[all …]
H A Disl_multi_domain_templ.c37 dom = isl_set_intersect(dom, dom_i); in FN()
H A Disl_ast_codegen.c492 domain = isl_set_intersect(domain, stride); in exact_bound()
563 domain_i = isl_set_intersect(domain_i, better); in remove_redundant_lower_bounds()
758 dom = isl_set_intersect(dom, set); in add_implied_guards()
763 dom = isl_set_intersect(dom, set); in add_implied_guards()
768 guard = isl_set_intersect(guard, dom); in add_implied_guards()
1392 context = isl_set_intersect(context, in extract_pending()
1530 guard = isl_set_intersect(guard, hoisted); in create_node_scaled()
2303 data->domain = isl_set_intersect(data->domain, domain); in separate_domain()
2650 domain = isl_set_intersect(domain, isl_ast_build_get_domain(build)); in foreach_iteration()
2757 set = isl_set_intersect(set, isl_set_copy(data->class_domain)); in do_unroll_iteration()
[all …]
H A Disl_pw_union_opt.c53 set_better = isl_set_intersect(isl_set_copy(set), isl_set_copy(better)); in FN()
69 set_out = isl_set_subtract(isl_set_intersect(set, better), out); in FN()
H A Disl_ast_graft.c278 guard_i = isl_set_intersect(guard_i, in isl_ast_graft_list_extract_hoistable_guard()
280 guard_i = isl_set_intersect(guard_i, in isl_ast_graft_list_extract_hoistable_guard()
631 test = isl_set_intersect(test, in insert_pending_guard_nodes()
829 graft->guard = isl_set_intersect(graft->guard, guard); in store_guard()
H A Dbound.c48 return isl_set_intersect(set, box); in ISL_ARGS_START()
H A Disl_pw_templ.c715 common = isl_set_intersect(isl_set_copy(pw1->p[i].set), in FN()
797 common = isl_set_intersect( in FN()
952 return FN(PW,restrict_domain)(pw, context, &isl_set_intersect); in FN()
1194 &isl_set_intersect); in FN()
H A Disl_aff.c2904 set_i = isl_set_intersect(set_i, locus); in pw_aff_locus()
3014 set1 = isl_set_intersect(set1, set2); in pw_aff_gte_set()
3183 set = isl_set_intersect(set, set_ij); in pw_aff_list_set()
3633 dom = isl_set_intersect(isl_pw_aff_domain(pa1), isl_pw_aff_domain(pa2)); in replace_by_nan()
3643 dom = isl_set_intersect(isl_pw_aff_domain(isl_pw_aff_copy(pwaff1)), in pw_aff_min()
3657 dom = isl_set_intersect(isl_pw_aff_domain(isl_pw_aff_copy(pwaff1)), in pw_aff_max()
3738 dom = isl_set_intersect(dom, dom_i); in replace_list_by_nan()
4536 gt = isl_set_intersect(gt, isl_set_copy(equal_set)); in isl_multi_aff_lex_gte_set()
4539 equal_set = isl_set_intersect(equal_set, eq); in isl_multi_aff_lex_gte_set()
4553 gte = isl_set_intersect(gte, equal_set); in isl_multi_aff_lex_gte_set()
[all …]
H A Disl_ast_build_expr.c1772 domain = isl_set_intersect(domain, rest); in isl_ast_build_expr_from_set_internal()
2302 set = isl_set_intersect(dom, isl_set_copy(set)); in extends()
2314 required = isl_set_intersect(dom, required); in extends()
H A Disl_morph.c699 set = isl_set_intersect(set, isl_set_from_basic_set(ran)); in isl_morph_set()
H A Disl_fold.c1153 common = isl_set_intersect(isl_set_copy(pw1->p[i].set), in isl_pw_qpolynomial_fold_fold()
1574 common = isl_set_intersect(isl_set_copy(pwf1->p[j].set), in isl_pw_qpolynomial_fold_covers()
H A Disl_test.c1983 set1 = isl_set_intersect(set1, isl_set_copy(context)); in test_gist()
1984 set2 = isl_set_intersect(set2, context); in test_gist()
2563 set1 = isl_set_intersect(set1, set2); in test_coalesce_intersection()
3117 set = isl_set_intersect(set, set2); in test_lexmin()
4380 set = isl_set_intersect(set, isl_set_copy(set)); in test_intersect_2()
H A Disl_local_space.c1092 set = isl_set_intersect(set, isl_set_from_basic_set(bset)); in isl_local_space_lift_set()
H A Disl_polynomial.c3194 common = isl_set_intersect(isl_set_copy(pwqp1->p[i].set), in isl_pw_qpolynomial_mul()
4584 set = isl_set_intersect(set, slice); in set_div()
H A Disl_map.c3965 __isl_give isl_set *isl_set_intersect(__isl_take isl_set *set1, in isl_set_intersect() function
7263 todo = isl_set_intersect(todo, *empty); in isl_map_partial_lexopt_aligned_pw_multi_aff()
9010 set = isl_set_intersect(set, isl_basic_set_union(nonneg, neg)); in isl_set_split_dims()
9035 half = isl_set_intersect(half, isl_set_copy(set)); in foreach_orthant()
9042 half = isl_set_intersect(half, set); in foreach_orthant()
H A Disl_flow.c610 sink = isl_set_intersect(sink, sink_restr); in restricted_partial_lexmax()
H A Disl_input.c1966 return isl_set_intersect(set, cond); in construct_constraints()
H A Disl_scheduler.c805 node->hull = isl_set_intersect(node->hull, hull); in compress_node()
/llvm-project/polly/lib/Analysis/
H A DScopBuilder.cpp388 isl_set *ConsequenceCondSet = isl_set_intersect(First, Second); in buildUnsignedConditionSets()
414 isl_set_intersect(CaseConditionSet, isl_set_copy(Domain))); in buildConditionSets()
481 ConsequenceCondSet = isl_set_intersect(ConsCondPart0, ConsCondPart1); in buildConditionSets()
539 isl_set_intersect(ConsequenceCondSet, isl_set_copy(Domain))); in buildConditionSets()
1356 S = isl_set_params(isl_set_intersect(S, Dom)); in addRecordedAssumptions()
1416 AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]); in addUserAssumptions()
H A DDependenceInfo.cpp741 Distance = isl_set_intersect(Distance, Deltas); in isParallel()
/llvm-project/polly/lib/Exchange/
H A DJSONExporter.cpp512 isl_set_intersect(CurrentAccessDomain, Stmt.getDomain().release()); in importAccesses()
/llvm-project/polly/lib/External/isl/include/isl/
H A Dset.h326 __isl_give isl_set *isl_set_intersect(
H A Disl-noexceptions.h18824 auto res = isl_set_intersect(copy(), set2.release()); in intersect()
/llvm-project/polly/lib/External/isl/doc/
H A Duser.pod7401 __isl_give isl_set *isl_set_intersect(