Lines Matching refs:Solver
110 // the \p Solver found they were executable prior to specialization, and only
120 // is concerned. They haven't been proven dead yet by the Solver,
553 if (!Solver.isBlockExecutable(Call->getParent()))
742 Solver.solveWhileResolvedUndefsIn(Clones);
757 if (!Solver.isStructLatticeConstant(F, STy))
760 auto It = Solver.getTrackedRetVals().find(F);
761 assert(It != Solver.getTrackedRetVals().end() &&
771 Solver.resetLatticeValueFor(CS);
777 Solver.solveWhileResolvedUndefs();
840 if (!Solver.isBlockExecutable(CS.getParent()))
946 if (!Solver.isBlockExecutable(&F->getEntryBlock()))
969 Solver.setLatticeValueForSpecializationArguments(Clone, S.Args);
970 Solver.markBlockExecutable(&Clone->front());
971 Solver.addArgumentTrackedFunction(Clone);
972 Solver.addTrackedFunction(Clone);
1054 if (!Solver.isArgumentTrackedFunction(A->getParent()))
1061 ? any_of(Solver.getStructLatticeValueFor(A), SCCPSolver::isOverdefined)
1062 : SCCPSolver::isOverdefined(Solver.getLatticeValueFor(A));
1085 C = Solver.getConstantOrNull(V);
1104 Solver.isBlockExecutable(CS->getParent()))
1139 if (NCallsLeft == 0 && Solver.isArgumentTrackedFunction(F)) {
1140 Solver.markFunctionUnreachable(F);