Lines Matching refs:Solver
230 SparseSolver<TestLatticeKey, TestLatticeVal> Solver; member in __anona7d1fd010211::SparsePropagationTest
234 : M("", Context), Builder(Context), Solver(&Lattice) {} in SparsePropagationTest()
268 Solver.MarkBlockExecutable(FEntry); in TEST_F()
269 Solver.Solve(); in TEST_F()
271 EXPECT_TRUE(Solver.isBlockExecutable(GEntry)); in TEST_F()
307 Solver.MarkBlockExecutable(FEntry); in TEST_F()
308 Solver.MarkBlockExecutable(GEntry); in TEST_F()
309 Solver.Solve(); in TEST_F()
312 EXPECT_TRUE(Solver.getExistingValueState(MemGV).isConstant()); in TEST_F()
348 Solver.MarkBlockExecutable(FEntry); in TEST_F()
349 Solver.MarkBlockExecutable(GEntry); in TEST_F()
350 Solver.Solve(); in TEST_F()
353 EXPECT_TRUE(Solver.getExistingValueState(MemGV).isOverdefined()); in TEST_F()
389 Solver.MarkBlockExecutable(If); in TEST_F()
390 Solver.Solve(); in TEST_F()
393 EXPECT_TRUE(Solver.getExistingValueState(RetF).isConstant()); in TEST_F()
429 Solver.MarkBlockExecutable(If); in TEST_F()
430 Solver.Solve(); in TEST_F()
433 EXPECT_TRUE(Solver.getExistingValueState(RetF).isOverdefined()); in TEST_F()
476 Solver.MarkBlockExecutable(FEntry); in TEST_F()
477 Solver.Solve(); in TEST_F()
481 EXPECT_TRUE(Solver.getExistingValueState(RegA).isOverdefined()); in TEST_F()
482 EXPECT_TRUE(Solver.getExistingValueState(RegB).isConstant()); in TEST_F()
535 Solver.MarkBlockExecutable(Entry); in TEST_F()
536 Solver.Solve(); in TEST_F()
538 EXPECT_TRUE(Solver.isBlockExecutable(Pad)); in TEST_F()
539 EXPECT_TRUE(Solver.isBlockExecutable(Body)); in TEST_F()
540 EXPECT_TRUE(Solver.isBlockExecutable(Exit)); in TEST_F()