Lines Matching refs:EClass
2361 CongruenceClass *EClass = nullptr; in performCongruenceFinding() local
2363 EClass = ValueToClass.lookup(VE->getVariableValue()); in performCongruenceFinding()
2365 EClass = TOPClass; in performCongruenceFinding()
2367 if (!EClass) { in performCongruenceFinding()
2391 EClass = NewClass; in performCongruenceFinding()
2401 EClass = lookupResult.first->second; in performCongruenceFinding()
2403 assert((isa<Constant>(EClass->getLeader()) || in performCongruenceFinding()
2404 (EClass->getStoredValue() && in performCongruenceFinding()
2405 isa<Constant>(EClass->getStoredValue()))) && in performCongruenceFinding()
2409 assert(EClass && "Somehow don't have an eclass"); in performCongruenceFinding()
2411 assert(!EClass->isDead() && "We accidentally looked up a dead class"); in performCongruenceFinding()
2414 bool ClassChanged = IClass != EClass; in performCongruenceFinding()
2417 LLVM_DEBUG(dbgs() << "New class " << EClass->getID() << " for expression " in performCongruenceFinding()
2420 moveValueToNewCongruenceClass(I, E, IClass, EClass); in performCongruenceFinding()