reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
61 EXPECT_TRUE(VPDT.isReachableFromEntry(IfElse)); 69 EXPECT_TRUE(VPDT.dominates(PH, IfElse)); 76 EXPECT_TRUE(VPDT.dominates(H, IfElse)); 83 EXPECT_FALSE(VPDT.dominates(IfThen, IfElse)); 87 EXPECT_FALSE(VPDT.dominates(IfElse, PH)); 88 EXPECT_FALSE(VPDT.dominates(IfElse, H)); 89 EXPECT_FALSE(VPDT.dominates(IfElse, IfThen)); 90 EXPECT_TRUE(VPDT.dominates(IfElse, IfElse)); 90 EXPECT_TRUE(VPDT.dominates(IfElse, IfElse)); 91 EXPECT_FALSE(VPDT.dominates(IfElse, Latch)); 92 EXPECT_FALSE(VPDT.dominates(IfElse, Exit)); 97 EXPECT_FALSE(VPDT.dominates(Latch, IfElse)); 104 EXPECT_FALSE(VPDT.dominates(Exit, IfElse)); 112 EXPECT_TRUE(VPDT.properlyDominates(PH, IfElse)); 119 EXPECT_TRUE(VPDT.properlyDominates(H, IfElse)); 126 EXPECT_FALSE(VPDT.properlyDominates(IfThen, IfElse)); 130 EXPECT_FALSE(VPDT.properlyDominates(IfElse, PH)); 131 EXPECT_FALSE(VPDT.properlyDominates(IfElse, H)); 132 EXPECT_FALSE(VPDT.properlyDominates(IfElse, IfThen)); 133 EXPECT_FALSE(VPDT.properlyDominates(IfElse, IfElse)); 133 EXPECT_FALSE(VPDT.properlyDominates(IfElse, IfElse)); 134 EXPECT_FALSE(VPDT.properlyDominates(IfElse, Latch)); 135 EXPECT_FALSE(VPDT.properlyDominates(IfElse, Exit)); 140 EXPECT_FALSE(VPDT.properlyDominates(Latch, IfElse)); 147 EXPECT_FALSE(VPDT.properlyDominates(Exit, IfElse)); 155 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, IfElse)); 162 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfElse)); 169 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, IfElse)); 173 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(IfElse, PH)); 174 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, H)); 175 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, IfThen)); 176 EXPECT_EQ(IfElse, VPDT.findNearestCommonDominator(IfElse, IfElse)); 176 EXPECT_EQ(IfElse, VPDT.findNearestCommonDominator(IfElse, IfElse)); 176 EXPECT_EQ(IfElse, VPDT.findNearestCommonDominator(IfElse, IfElse)); 177 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Latch)); 178 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Exit)); 183 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, IfElse)); 190 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, IfElse));