Searched refs:ConsequenceCondSet (Results 1 – 1 of 1) sorted by relevance
391 isl_set *ConsequenceCondSet = isl_set_intersect(First, Second); in buildUnsignedConditionSets() local392 return ConsequenceCondSet; in buildUnsignedConditionSets()437 isl_set *ConsequenceCondSet = nullptr; in buildConditionSets() local445 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()[all …]