Lines Matching defs:ConditionSets

395     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {
403   ConditionSets.resize(NumSuccessors);
413     ConditionSets[Idx] = isl_set_coalesce(
417   assert(ConditionSets[0] == nullptr && "Default condition set was set");
418   isl_set *ConditionSetUnion = isl_set_copy(ConditionSets[1]);
421         isl_set_union(ConditionSetUnion, isl_set_copy(ConditionSets[u]));
422   ConditionSets[0] = isl_set_subtract(isl_set_copy(Domain), ConditionSetUnion);
433     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {
466                                     InvalidDomainMap, ConditionSets) &&
468                                     InvalidDomainMap, ConditionSets);
470       while (!ConditionSets.empty())
471         isl_set_free(ConditionSets.pop_back_val());
475     isl_set_free(ConditionSets.pop_back_val());
476     isl_set *ConsCondPart0 = ConditionSets.pop_back_val();
477     isl_set_free(ConditionSets.pop_back_val());
478     isl_set *ConsCondPart1 = ConditionSets.pop_back_val();
560   ConditionSets.push_back(ConsequenceCondSet);
561   ConditionSets.push_back(isl_set_coalesce(AlternativeCondSet));
569     SmallVectorImpl<__isl_give isl_set *> &ConditionSets) {
572                               ConditionSets);
577     ConditionSets.push_back(isl_set_copy(Domain));
585                             ConditionSets);
763       SmallVector<isl_set *, 8> ConditionSets;
766                               InvalidDomainMap, ConditionSets))
770       isl_set_free(ConditionSets[1 - idx]);
772       BackedgeCondition = isl::manage(ConditionSets[idx]);
935     SmallVector<isl_set *, 8> ConditionSets;
937       ConditionSets.push_back(Domain.copy());
939                                  ConditionSets))
946     assert(RN->isSubRegion() || TI->getNumSuccessors() == ConditionSets.size());
947     for (unsigned u = 0, e = ConditionSets.size(); u < e; u++) {
948       isl::set CondSet = isl::manage(ConditionSets[u]);
990       while (++u < ConditionSets.size())
991         isl_set_free(ConditionSets[u]);
1397     SmallVector<isl_set *, 2> ConditionSets;
1404                                     ConditionSets);
1412       AssumptionCtx = isl_set_complement(isl_set_params(ConditionSets[1]));
1413       isl_set_free(ConditionSets[0]);
1415       AssumptionCtx = isl_set_complement(ConditionSets[1]);
1416       AssumptionCtx = isl_set_intersect(AssumptionCtx, ConditionSets[0]);