Searched refs:EClass (Results 1 – 1 of 1) sorted by relevance
2358 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local2360 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()2362 EClass = TOPClass; in performCongruenceFinding()2364 if (!EClass) { in performCongruenceFinding()2388 EClass = NewClass; in performCongruenceFinding()2398 EClass = lookupResult.first->second; in performCongruenceFinding()2400 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()2401 (EClass->getStoredValue() && in performCongruenceFinding()2402 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()2406 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()[all …]