Lines Matching defs:Solver

232   SparseSolver<TestLatticeKey, TestLatticeVal> Solver;
236       : M("", Context), Builder(Context), Solver(&Lattice) {}
270   Solver.MarkBlockExecutable(FEntry);
271   Solver.Solve();
273   EXPECT_TRUE(Solver.isBlockExecutable(GEntry));
309   Solver.MarkBlockExecutable(FEntry);
310   Solver.MarkBlockExecutable(GEntry);
311   Solver.Solve();
314   EXPECT_TRUE(Solver.getExistingValueState(MemGV).isConstant());
350   Solver.MarkBlockExecutable(FEntry);
351   Solver.MarkBlockExecutable(GEntry);
352   Solver.Solve();
355   EXPECT_TRUE(Solver.getExistingValueState(MemGV).isOverdefined());
391   Solver.MarkBlockExecutable(If);
392   Solver.Solve();
395   EXPECT_TRUE(Solver.getExistingValueState(RetF).isConstant());
431   Solver.MarkBlockExecutable(If);
432   Solver.Solve();
435   EXPECT_TRUE(Solver.getExistingValueState(RetF).isOverdefined());
478   Solver.MarkBlockExecutable(FEntry);
479   Solver.Solve();
483   EXPECT_TRUE(Solver.getExistingValueState(RegA).isOverdefined());
484   EXPECT_TRUE(Solver.getExistingValueState(RegB).isConstant());
535   Solver.MarkBlockExecutable(Entry);
536   Solver.Solve();
538   EXPECT_TRUE(Solver.isBlockExecutable(Pad));
539   EXPECT_TRUE(Solver.isBlockExecutable(Body));
540   EXPECT_TRUE(Solver.isBlockExecutable(Exit));