Searched refs:AlternativeCondSet (Results 1 – 1 of 1) sorted by relevance
540 isl_set *AlternativeCondSet = nullptr; in buildConditionSets() local545 AlternativeCondSet = isl_set_subtract(isl_set_copy(Domain), in buildConditionSets()548 isl_set_n_basic_set(AlternativeCondSet) >= (int)MaxDisjunctsInDomain; in buildConditionSets()554 isl_set_free(AlternativeCondSet); in buildConditionSets()560 ConditionSets.push_back(isl_set_coalesce(AlternativeCondSet)); in buildConditionSets()