Lines Matching refs:ConditionSets

394     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {  in buildConditionSets()  argument
402 ConditionSets.resize(NumSuccessors); in buildConditionSets()
412 ConditionSets[Idx] = isl_set_coalesce( in buildConditionSets()
416 assert(ConditionSets[0] == nullptr && "Default condition set was set"); in buildConditionSets()
417 isl_set *ConditionSetUnion = isl_set_copy(ConditionSets[1]); in buildConditionSets()
420 isl_set_union(ConditionSetUnion, isl_set_copy(ConditionSets[u])); in buildConditionSets()
421 ConditionSets[0] = isl_set_subtract(isl_set_copy(Domain), ConditionSetUnion); in buildConditionSets()
432 SmallVectorImpl<__isl_give isl_set *> &ConditionSets) { in buildConditionSets() argument
465 InvalidDomainMap, ConditionSets) && in buildConditionSets()
467 InvalidDomainMap, ConditionSets); in buildConditionSets()
469 while (!ConditionSets.empty()) in buildConditionSets()
470 isl_set_free(ConditionSets.pop_back_val()); in buildConditionSets()
474 isl_set_free(ConditionSets.pop_back_val()); in buildConditionSets()
475 isl_set *ConsCondPart0 = ConditionSets.pop_back_val(); in buildConditionSets()
476 isl_set_free(ConditionSets.pop_back_val()); in buildConditionSets()
477 isl_set *ConsCondPart1 = ConditionSets.pop_back_val(); in buildConditionSets()
559 ConditionSets.push_back(ConsequenceCondSet); in buildConditionSets()
560 ConditionSets.push_back(isl_set_coalesce(AlternativeCondSet)); in buildConditionSets()
568 SmallVectorImpl<__isl_give isl_set *> &ConditionSets) { in buildConditionSets() argument
571 ConditionSets); in buildConditionSets()
576 ConditionSets.push_back(isl_set_copy(Domain)); in buildConditionSets()
584 ConditionSets); in buildConditionSets()
762 SmallVector<isl_set *, 8> ConditionSets; in addLoopBoundsToHeaderDomain() local
765 InvalidDomainMap, ConditionSets)) in addLoopBoundsToHeaderDomain()
769 isl_set_free(ConditionSets[1 - idx]); in addLoopBoundsToHeaderDomain()
771 BackedgeCondition = isl::manage(ConditionSets[idx]); in addLoopBoundsToHeaderDomain()
934 SmallVector<isl_set *, 8> ConditionSets; in buildDomainsWithBranchConstraints() local
936 ConditionSets.push_back(Domain.copy()); in buildDomainsWithBranchConstraints()
938 ConditionSets)) in buildDomainsWithBranchConstraints()
945 assert(RN->isSubRegion() || TI->getNumSuccessors() == ConditionSets.size()); in buildDomainsWithBranchConstraints()
946 for (unsigned u = 0, e = ConditionSets.size(); u < e; u++) { in buildDomainsWithBranchConstraints()
947 isl::set CondSet = isl::manage(ConditionSets[u]); in buildDomainsWithBranchConstraints()
989 while (++u < ConditionSets.size()) in buildDomainsWithBranchConstraints()
990 isl_set_free(ConditionSets[u]); in buildDomainsWithBranchConstraints()
1396 SmallVector<isl_set *, 2> ConditionSets; in addUserAssumptions() local
1403 ConditionSets); in addUserAssumptions()
1411 AssumptionCtx = isl_set_complement(isl_set_params(ConditionSets[1])); in addUserAssumptions()
1412 isl_set_free(ConditionSets[0]); in addUserAssumptions()
1414 AssumptionCtx = isl_set_complement(ConditionSets[1]); in addUserAssumptions()
1415 AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]); in addUserAssumptions()