Lines Matching refs:Solver
553 if (!Solver.isBlockExecutable(Call->getParent())) in promoteConstantStackValues()
744 Solver.solveWhileResolvedUndefsIn(Clones); in run()
759 if (!Solver.isStructLatticeConstant(F, STy)) in run()
762 auto It = Solver.getTrackedRetVals().find(F); in run()
763 assert(It != Solver.getTrackedRetVals().end() && in run()
773 Solver.resetLatticeValueFor(CS); in run()
779 Solver.solveWhileResolvedUndefs(); in run()
842 if (!Solver.isBlockExecutable(CS.getParent())) in findSpecializations()
948 if (!Solver.isBlockExecutable(&F->getEntryBlock())) in isCandidateFunction()
971 Solver.setLatticeValueForSpecializationArguments(Clone, S.Args); in createSpecialization()
972 Solver.markBlockExecutable(&Clone->front()); in createSpecialization()
973 Solver.addArgumentTrackedFunction(Clone); in createSpecialization()
974 Solver.addTrackedFunction(Clone); in createSpecialization()
1056 if (!Solver.isArgumentTrackedFunction(A->getParent())) in isArgumentInteresting()
1063 ? any_of(Solver.getStructLatticeValueFor(A), SCCPSolver::isOverdefined) in isArgumentInteresting()
1064 : SCCPSolver::isOverdefined(Solver.getLatticeValueFor(A)); in isArgumentInteresting()
1087 C = Solver.getConstantOrNull(V); in getCandidateConstant()
1106 Solver.isBlockExecutable(CS->getParent())) in updateCallSites()
1141 if (NCallsLeft == 0 && Solver.isArgumentTrackedFunction(F)) { in updateCallSites()
1142 Solver.markFunctionUnreachable(F); in updateCallSites()