Lines Matching refs:Solver
553 if (!Solver.isBlockExecutable(Call->getParent())) in promoteConstantStackValues()
742 Solver.solveWhileResolvedUndefsIn(Clones); in run()
757 if (!Solver.isStructLatticeConstant(F, STy)) in run()
760 auto It = Solver.getTrackedRetVals().find(F); in run()
761 assert(It != Solver.getTrackedRetVals().end() && in run()
771 Solver.resetLatticeValueFor(CS); in run()
777 Solver.solveWhileResolvedUndefs(); in run()
840 if (!Solver.isBlockExecutable(CS.getParent())) in findSpecializations()
946 if (!Solver.isBlockExecutable(&F->getEntryBlock())) in isCandidateFunction()
969 Solver.setLatticeValueForSpecializationArguments(Clone, S.Args); in createSpecialization()
970 Solver.markBlockExecutable(&Clone->front()); in createSpecialization()
971 Solver.addArgumentTrackedFunction(Clone); in createSpecialization()
972 Solver.addTrackedFunction(Clone); in createSpecialization()
1054 if (!Solver.isArgumentTrackedFunction(A->getParent())) in isArgumentInteresting()
1061 ? any_of(Solver.getStructLatticeValueFor(A), SCCPSolver::isOverdefined) in isArgumentInteresting()
1062 : SCCPSolver::isOverdefined(Solver.getLatticeValueFor(A)); in isArgumentInteresting()
1085 C = Solver.getConstantOrNull(V); in getCandidateConstant()
1104 Solver.isBlockExecutable(CS->getParent())) in updateCallSites()
1139 if (NCallsLeft == 0 && Solver.isArgumentTrackedFunction(F)) { in updateCallSites()
1140 Solver.markFunctionUnreachable(F); in updateCallSites()