Searched refs:EClass (Results 1 – 1 of 1) sorted by relevance
2344 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local2346 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()2348 EClass = TOPClass; in performCongruenceFinding()2350 if (!EClass) { in performCongruenceFinding()2374 EClass = NewClass; in performCongruenceFinding()2384 EClass = lookupResult.first->second; in performCongruenceFinding()2386 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()2387 (EClass->getStoredValue() && in performCongruenceFinding()2388 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()2392 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()[all …]