Lines Matching defs:ConsequenceCondSet

388   isl_set *ConsequenceCondSet = isl_set_intersect(First, Second);
389   return ConsequenceCondSet;
434   isl_set *ConsequenceCondSet = nullptr;
442     ConsequenceCondSet = buildConditionSet(ICmpInst::ICMP_SLE, isl::manage(LHS),
453       ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain));
455       ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain));
458       ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain));
460       ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain));
481       ConsequenceCondSet = isl_set_intersect(ConsCondPart0, ConsCondPart1);
483       ConsequenceCondSet = isl_set_union(ConsCondPart0, ConsCondPart1);
504       ConsequenceCondSet =
509       ConsequenceCondSet =
514       ConsequenceCondSet =
519       ConsequenceCondSet =
526       ConsequenceCondSet = buildConditionSet(ICond->getPredicate(),
536     ConsequenceCondSet = isl_set_params(ConsequenceCondSet);
537   assert(ConsequenceCondSet);
538   ConsequenceCondSet = isl_set_coalesce(
539       isl_set_intersect(ConsequenceCondSet, isl_set_copy(Domain)));
543       isl_set_n_basic_set(ConsequenceCondSet) >= (int)MaxDisjunctsInDomain;
547                                           isl_set_copy(ConsequenceCondSet));
556     isl_set_free(ConsequenceCondSet);
560   ConditionSets.push_back(ConsequenceCondSet);