Searched refs:EClass (Results 1 – 1 of 1) sorted by relevance
2383 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local2385 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()2387 EClass = TOPClass; in performCongruenceFinding()2389 if (!EClass) { in performCongruenceFinding()2413 EClass = NewClass; in performCongruenceFinding()2423 EClass = lookupResult.first->second; in performCongruenceFinding()2425 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()2426 (EClass->getStoredValue() && in performCongruenceFinding()2427 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()2431 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()[all …]