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