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();