Lines Matching defs:Solver
58 SCCPSolver Solver(
65 Solver.addTrackedFunction(&F);
68 Solver.markBlockExecutable(&F.front());
72 Solver.trackValueOfArgument(&AI);
77 Solver.solve();
79 ResolvedUndefs = Solver.resolvedUndefsIn(F);
91 if (!Solver.isBlockExecutable(&BB)) {
99 MadeChanges |= Solver.simplifyInstsInBlock(BB, InsertedValues,
110 MadeChanges |= Solver.removeNonFeasibleEdges(&BB, DTU, NewUnreachableBB);
116 Solver.inferReturnAttributes();