Lines Matching refs:EClass
2307 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local
2309 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()
2357 assert(!EClass->isDead() && "We accidentally looked up a dead class"); in performCongruenceFinding()
2360 bool ClassChanged = IClass != EClass; in performCongruenceFinding()
2363 LLVM_DEBUG(dbgs() << "New class " << EClass->getID() << " for expression " in performCongruenceFinding()
2366 moveValueToNewCongruenceClass(I, E, IClass, EClass); in performCongruenceFinding()