Searched refs:EClass (Results 1 – 1 of 1) sorted by relevance
2337 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local2339 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()2341 EClass = TOPClass; in performCongruenceFinding()2343 if (!EClass) { in performCongruenceFinding()2367 EClass = NewClass; in performCongruenceFinding()2377 EClass = lookupResult.first->second; in performCongruenceFinding()2379 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()2380 (EClass->getStoredValue() && in performCongruenceFinding()2381 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()2385 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()[all …]