Lines Matching refs:ConditionSets

398     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {  in buildConditionSets()  argument
406 ConditionSets.resize(NumSuccessors); in buildConditionSets()
416 ConditionSets[Idx] = isl_set_coalesce( in buildConditionSets()
420 assert(ConditionSets[0] == nullptr && "Default condition set was set"); in buildConditionSets()
421 isl_set *ConditionSetUnion = isl_set_copy(ConditionSets[1]); in buildConditionSets()
424 isl_set_union(ConditionSetUnion, isl_set_copy(ConditionSets[u])); in buildConditionSets()
425 ConditionSets[0] = isl_set_subtract(isl_set_copy(Domain), ConditionSetUnion); in buildConditionSets()
436 SmallVectorImpl<__isl_give isl_set *> &ConditionSets) { in buildConditionSets() argument
466 InvalidDomainMap, ConditionSets) && in buildConditionSets()
468 InvalidDomainMap, ConditionSets); in buildConditionSets()
470 while (!ConditionSets.empty()) in buildConditionSets()
471 isl_set_free(ConditionSets.pop_back_val()); in buildConditionSets()
475 isl_set_free(ConditionSets.pop_back_val()); in buildConditionSets()
476 isl_set *ConsCondPart0 = ConditionSets.pop_back_val(); in buildConditionSets()
477 isl_set_free(ConditionSets.pop_back_val()); in buildConditionSets()
478 isl_set *ConsCondPart1 = ConditionSets.pop_back_val(); in buildConditionSets()
560 ConditionSets.push_back(ConsequenceCondSet); in buildConditionSets()
561 ConditionSets.push_back(isl_set_coalesce(AlternativeCondSet)); in buildConditionSets()
569 SmallVectorImpl<__isl_give isl_set *> &ConditionSets) { in buildConditionSets() argument
572 ConditionSets); in buildConditionSets()
577 ConditionSets.push_back(isl_set_copy(Domain)); in buildConditionSets()
585 ConditionSets); in buildConditionSets()
761 SmallVector<isl_set *, 8> ConditionSets; in addLoopBoundsToHeaderDomain() local
764 InvalidDomainMap, ConditionSets)) in addLoopBoundsToHeaderDomain()
768 isl_set_free(ConditionSets[1 - idx]); in addLoopBoundsToHeaderDomain()
770 BackedgeCondition = isl::manage(ConditionSets[idx]); in addLoopBoundsToHeaderDomain()
933 SmallVector<isl_set *, 8> ConditionSets; in buildDomainsWithBranchConstraints() local
935 ConditionSets.push_back(Domain.copy()); in buildDomainsWithBranchConstraints()
937 ConditionSets)) in buildDomainsWithBranchConstraints()
944 assert(RN->isSubRegion() || TI->getNumSuccessors() == ConditionSets.size()); in buildDomainsWithBranchConstraints()
945 for (unsigned u = 0, e = ConditionSets.size(); u < e; u++) { in buildDomainsWithBranchConstraints()
946 isl::set CondSet = isl::manage(ConditionSets[u]); in buildDomainsWithBranchConstraints()
988 while (++u < ConditionSets.size()) in buildDomainsWithBranchConstraints()
989 isl_set_free(ConditionSets[u]); in buildDomainsWithBranchConstraints()
1558 SmallVector<isl_set *, 2> ConditionSets; in addUserAssumptions() local
1565 ConditionSets); in addUserAssumptions()
1573 AssumptionCtx = isl_set_complement(isl_set_params(ConditionSets[1])); in addUserAssumptions()
1574 isl_set_free(ConditionSets[0]); in addUserAssumptions()
1576 AssumptionCtx = isl_set_complement(ConditionSets[1]); in addUserAssumptions()
1577 AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]); in addUserAssumptions()