Lines Matching refs:properlyDominates
93 EXPECT_FALSE(DT->properlyDominates(BB0, BB0)); in runOnFunction()
94 EXPECT_TRUE(DT->properlyDominates(BB0, BB1)); in runOnFunction()
95 EXPECT_TRUE(DT->properlyDominates(BB0, BB2)); in runOnFunction()
96 EXPECT_TRUE(DT->properlyDominates(BB0, BB3)); in runOnFunction()
98 EXPECT_FALSE(DT->properlyDominates(BB1, BB0)); in runOnFunction()
99 EXPECT_FALSE(DT->properlyDominates(BB1, BB1)); in runOnFunction()
100 EXPECT_FALSE(DT->properlyDominates(BB1, BB2)); in runOnFunction()
101 EXPECT_TRUE(DT->properlyDominates(BB1, BB3)); in runOnFunction()
103 EXPECT_FALSE(DT->properlyDominates(BB2, BB0)); in runOnFunction()
104 EXPECT_FALSE(DT->properlyDominates(BB2, BB1)); in runOnFunction()
105 EXPECT_FALSE(DT->properlyDominates(BB2, BB2)); in runOnFunction()
106 EXPECT_TRUE(DT->properlyDominates(BB2, BB3)); in runOnFunction()
108 EXPECT_FALSE(DT->properlyDominates(BB3, BB0)); in runOnFunction()
109 EXPECT_FALSE(DT->properlyDominates(BB3, BB1)); in runOnFunction()
110 EXPECT_FALSE(DT->properlyDominates(BB3, BB2)); in runOnFunction()
111 EXPECT_FALSE(DT->properlyDominates(BB3, BB3)); in runOnFunction()