Lines Matching defs:EClass

2377   CongruenceClass *EClass = nullptr;
2379     EClass = ValueToClass.lookup(VE->getVariableValue());
2381     EClass = TOPClass;
2383   if (!EClass) {
2407       EClass = NewClass;
2417       EClass = lookupResult.first->second;
2419         assert((isa<Constant>(EClass->getLeader()) ||
2420                 (EClass->getStoredValue() &&
2421                  isa<Constant>(EClass->getStoredValue()))) &&
2425       assert(EClass && "Somehow don't have an eclass");
2427       assert(!EClass->isDead() && "We accidentally looked up a dead class");
2430   bool ClassChanged = IClass != EClass;
2433     LLVM_DEBUG(dbgs() << "New class " << EClass->getID() << " for expression "
2436       moveValueToNewCongruenceClass(I, E, IClass, EClass);