reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
63 EXPECT_TRUE(VPDT.isReachableFromEntry(Exit)); 71 EXPECT_TRUE(VPDT.dominates(PH, Exit)); 78 EXPECT_TRUE(VPDT.dominates(H, Exit)); 85 EXPECT_FALSE(VPDT.dominates(IfThen, Exit)); 92 EXPECT_FALSE(VPDT.dominates(IfElse, Exit)); 99 EXPECT_TRUE(VPDT.dominates(Latch, Exit)); 101 EXPECT_FALSE(VPDT.dominates(Exit, PH)); 102 EXPECT_FALSE(VPDT.dominates(Exit, H)); 103 EXPECT_FALSE(VPDT.dominates(Exit, IfThen)); 104 EXPECT_FALSE(VPDT.dominates(Exit, IfElse)); 105 EXPECT_FALSE(VPDT.dominates(Exit, Latch)); 106 EXPECT_TRUE(VPDT.dominates(Exit, Exit)); 106 EXPECT_TRUE(VPDT.dominates(Exit, Exit)); 114 EXPECT_TRUE(VPDT.properlyDominates(PH, Exit)); 121 EXPECT_TRUE(VPDT.properlyDominates(H, Exit)); 128 EXPECT_FALSE(VPDT.properlyDominates(IfThen, Exit)); 135 EXPECT_FALSE(VPDT.properlyDominates(IfElse, Exit)); 142 EXPECT_TRUE(VPDT.properlyDominates(Latch, Exit)); 144 EXPECT_FALSE(VPDT.properlyDominates(Exit, PH)); 145 EXPECT_FALSE(VPDT.properlyDominates(Exit, H)); 146 EXPECT_FALSE(VPDT.properlyDominates(Exit, IfThen)); 147 EXPECT_FALSE(VPDT.properlyDominates(Exit, IfElse)); 148 EXPECT_FALSE(VPDT.properlyDominates(Exit, Latch)); 149 EXPECT_FALSE(VPDT.properlyDominates(Exit, Exit)); 149 EXPECT_FALSE(VPDT.properlyDominates(Exit, Exit)); 157 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, Exit)); 164 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Exit)); 171 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, Exit)); 178 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Exit)); 185 EXPECT_EQ(Latch, VPDT.findNearestCommonDominator(Latch, Exit)); 187 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(Exit, PH)); 188 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, H)); 189 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, IfThen)); 190 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, IfElse)); 191 EXPECT_EQ(Latch, VPDT.findNearestCommonDominator(Exit, Latch)); 192 EXPECT_EQ(Exit, VPDT.findNearestCommonDominator(Exit, Exit)); 192 EXPECT_EQ(Exit, VPDT.findNearestCommonDominator(Exit, Exit)); 192 EXPECT_EQ(Exit, VPDT.findNearestCommonDominator(Exit, Exit));