reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3079 LLVM_DEBUG(dbgs() << "Processing instruction " << *I << "\n"); 3080 if (!I->isTerminator()) { 3084 Symbolized = performSymbolicEvaluation(I, Visited); 3087 !isa<VariableExpression>(Symbolized) && PHINodeUses.count(I)) { 3088 auto *PHIE = makePossiblePHIOfOps(I, Visited); 3093 } else if (auto *Op = RealToTemp.lookup(I)) { 3094 removePhiOfOps(I, Op); 3099 InstrDFS[I] = 0; 3104 Symbolized = createUnknownExpression(I); 3105 performCongruenceFinding(I, Symbolized); 3110 if (!I->getType()->isVoidTy()) { 3111 auto *Symbolized = createUnknownExpression(I); 3112 performCongruenceFinding(I, Symbolized); 3114 processOutgoingEdges(I, I->getParent()); 3114 processOutgoingEdges(I, I->getParent());