Lines Matching refs:EClass
2330 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local
2332 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()
2334 EClass = TOPClass; in performCongruenceFinding()
2336 if (!EClass) { in performCongruenceFinding()
2360 EClass = NewClass; in performCongruenceFinding()
2370 EClass = lookupResult.first->second; in performCongruenceFinding()
2372 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()
2373 (EClass->getStoredValue() && in performCongruenceFinding()
2374 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()
2378 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()
2380 assert(!EClass->isDead() && "We accidentally looked up a dead class"); in performCongruenceFinding()
2383 bool ClassChanged = IClass != EClass; in performCongruenceFinding()
2386 LLVM_DEBUG(dbgs() << "New class " << EClass->getID() << " for expression " in performCongruenceFinding()
2389 moveValueToNewCongruenceClass(I, E, IClass, EClass); in performCongruenceFinding()