reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
51 VPBlockBase *IfThen = H->getSuccessors()[0]; 52 VPBlockBase *IfElse = H->getSuccessors()[1]; 54 VPBlockBase *Exit = Latch->getSuccessors()[0] != H 59 EXPECT_TRUE(VPDT.isReachableFromEntry(H)); 67 EXPECT_TRUE(VPDT.dominates(PH, H)); 73 EXPECT_FALSE(VPDT.dominates(H, PH)); 74 EXPECT_TRUE(VPDT.dominates(H, H)); 74 EXPECT_TRUE(VPDT.dominates(H, H)); 75 EXPECT_TRUE(VPDT.dominates(H, IfThen)); 76 EXPECT_TRUE(VPDT.dominates(H, IfElse)); 77 EXPECT_TRUE(VPDT.dominates(H, Latch)); 78 EXPECT_TRUE(VPDT.dominates(H, Exit)); 81 EXPECT_FALSE(VPDT.dominates(IfThen, H)); 88 EXPECT_FALSE(VPDT.dominates(IfElse, H)); 95 EXPECT_FALSE(VPDT.dominates(Latch, H)); 102 EXPECT_FALSE(VPDT.dominates(Exit, H)); 110 EXPECT_TRUE(VPDT.properlyDominates(PH, H)); 116 EXPECT_FALSE(VPDT.properlyDominates(H, PH)); 117 EXPECT_FALSE(VPDT.properlyDominates(H, H)); 117 EXPECT_FALSE(VPDT.properlyDominates(H, H)); 118 EXPECT_TRUE(VPDT.properlyDominates(H, IfThen)); 119 EXPECT_TRUE(VPDT.properlyDominates(H, IfElse)); 120 EXPECT_TRUE(VPDT.properlyDominates(H, Latch)); 121 EXPECT_TRUE(VPDT.properlyDominates(H, Exit)); 124 EXPECT_FALSE(VPDT.properlyDominates(IfThen, H)); 131 EXPECT_FALSE(VPDT.properlyDominates(IfElse, H)); 138 EXPECT_FALSE(VPDT.properlyDominates(Latch, H)); 145 EXPECT_FALSE(VPDT.properlyDominates(Exit, H)); 153 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, H)); 159 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(H, PH)); 160 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, H)); 160 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, H)); 160 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, H)); 161 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfThen)); 161 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfThen)); 162 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfElse)); 162 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfElse)); 163 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Latch)); 163 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Latch)); 164 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Exit)); 164 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Exit)); 167 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, H)); 167 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, H)); 169 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, IfElse)); 170 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, Latch)); 171 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, Exit)); 174 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, H)); 174 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, H)); 175 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, IfThen)); 177 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Latch)); 178 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Exit)); 181 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, H)); 181 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, H)); 182 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, IfThen)); 183 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, IfElse)); 188 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, H)); 188 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, H)); 189 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, IfThen)); 190 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Exit, IfElse));