Lines Matching refs:ConsequenceCondSet

387   isl_set *ConsequenceCondSet = isl_set_intersect(First, Second);  in buildUnsignedConditionSets()  local
388 return ConsequenceCondSet; in buildUnsignedConditionSets()
433 isl_set *ConsequenceCondSet = nullptr; in buildConditionSets() local
441 ConsequenceCondSet = buildConditionSet(ICmpInst::ICMP_SLE, isl::manage(LHS), in buildConditionSets()
452 ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain)); in buildConditionSets()
454 ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain)); in buildConditionSets()
457 ConsequenceCondSet = isl_set_empty(isl_set_get_space(Domain)); in buildConditionSets()
459 ConsequenceCondSet = isl_set_universe(isl_set_get_space(Domain)); in buildConditionSets()
480 ConsequenceCondSet = isl_set_intersect(ConsCondPart0, ConsCondPart1); in buildConditionSets()
482 ConsequenceCondSet = isl_set_union(ConsCondPart0, ConsCondPart1); in buildConditionSets()
503 ConsequenceCondSet = in buildConditionSets()
508 ConsequenceCondSet = in buildConditionSets()
513 ConsequenceCondSet = in buildConditionSets()
518 ConsequenceCondSet = in buildConditionSets()
525 ConsequenceCondSet = buildConditionSet(ICond->getPredicate(), in buildConditionSets()
535 ConsequenceCondSet = isl_set_params(ConsequenceCondSet); in buildConditionSets()
536 assert(ConsequenceCondSet); in buildConditionSets()
537 ConsequenceCondSet = isl_set_coalesce( in buildConditionSets()
538 isl_set_intersect(ConsequenceCondSet, isl_set_copy(Domain))); in buildConditionSets()
542 isl_set_n_basic_set(ConsequenceCondSet) >= (int)MaxDisjunctsInDomain; in buildConditionSets()
546 isl_set_copy(ConsequenceCondSet)); in buildConditionSets()
555 isl_set_free(ConsequenceCondSet); in buildConditionSets()
559 ConditionSets.push_back(ConsequenceCondSet); in buildConditionSets()