Lines Matching refs:EClass
2340 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local
2342 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()
2344 EClass = TOPClass; in performCongruenceFinding()
2346 if (!EClass) { in performCongruenceFinding()
2370 EClass = NewClass; in performCongruenceFinding()
2380 EClass = lookupResult.first->second; in performCongruenceFinding()
2382 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()
2383 (EClass->getStoredValue() && in performCongruenceFinding()
2384 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()
2388 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()
2390 assert(!EClass->isDead() && "We accidentally looked up a dead class"); in performCongruenceFinding()
2393 bool ClassChanged = IClass != EClass; in performCongruenceFinding()
2396 LLVM_DEBUG(dbgs() << "New class " << EClass->getID() << " for expression " in performCongruenceFinding()
2399 moveValueToNewCongruenceClass(I, E, IClass, EClass); in performCongruenceFinding()