Searched refs:EClass (Results 1 – 1 of 1) sorted by relevance
2307 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local2309 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()2311 EClass = TOPClass; in performCongruenceFinding()2313 if (!EClass) { in performCongruenceFinding()2337 EClass = NewClass; in performCongruenceFinding()2347 EClass = lookupResult.first->second; in performCongruenceFinding()2349 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()2350 (EClass->getStoredValue() && in performCongruenceFinding()2351 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()2355 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()[all …]