Lines Matching refs:ConsequenceCondSet

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