reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
47 VPDT.recalculate(*TopRegion); 58 EXPECT_TRUE(VPDT.isReachableFromEntry(PH)); 59 EXPECT_TRUE(VPDT.isReachableFromEntry(H)); 60 EXPECT_TRUE(VPDT.isReachableFromEntry(IfThen)); 61 EXPECT_TRUE(VPDT.isReachableFromEntry(IfElse)); 62 EXPECT_TRUE(VPDT.isReachableFromEntry(Latch)); 63 EXPECT_TRUE(VPDT.isReachableFromEntry(Exit)); 66 EXPECT_TRUE(VPDT.dominates(PH, PH)); 67 EXPECT_TRUE(VPDT.dominates(PH, H)); 68 EXPECT_TRUE(VPDT.dominates(PH, IfThen)); 69 EXPECT_TRUE(VPDT.dominates(PH, IfElse)); 70 EXPECT_TRUE(VPDT.dominates(PH, Latch)); 71 EXPECT_TRUE(VPDT.dominates(PH, Exit)); 73 EXPECT_FALSE(VPDT.dominates(H, PH)); 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)); 80 EXPECT_FALSE(VPDT.dominates(IfThen, PH)); 81 EXPECT_FALSE(VPDT.dominates(IfThen, H)); 82 EXPECT_TRUE(VPDT.dominates(IfThen, IfThen)); 83 EXPECT_FALSE(VPDT.dominates(IfThen, IfElse)); 84 EXPECT_FALSE(VPDT.dominates(IfThen, Latch)); 85 EXPECT_FALSE(VPDT.dominates(IfThen, Exit)); 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)); 91 EXPECT_FALSE(VPDT.dominates(IfElse, Latch)); 92 EXPECT_FALSE(VPDT.dominates(IfElse, Exit)); 94 EXPECT_FALSE(VPDT.dominates(Latch, PH)); 95 EXPECT_FALSE(VPDT.dominates(Latch, H)); 96 EXPECT_FALSE(VPDT.dominates(Latch, IfThen)); 97 EXPECT_FALSE(VPDT.dominates(Latch, IfElse)); 98 EXPECT_TRUE(VPDT.dominates(Latch, Latch)); 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)); 109 EXPECT_FALSE(VPDT.properlyDominates(PH, PH)); 110 EXPECT_TRUE(VPDT.properlyDominates(PH, H)); 111 EXPECT_TRUE(VPDT.properlyDominates(PH, IfThen)); 112 EXPECT_TRUE(VPDT.properlyDominates(PH, IfElse)); 113 EXPECT_TRUE(VPDT.properlyDominates(PH, Latch)); 114 EXPECT_TRUE(VPDT.properlyDominates(PH, Exit)); 116 EXPECT_FALSE(VPDT.properlyDominates(H, PH)); 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)); 123 EXPECT_FALSE(VPDT.properlyDominates(IfThen, PH)); 124 EXPECT_FALSE(VPDT.properlyDominates(IfThen, H)); 125 EXPECT_FALSE(VPDT.properlyDominates(IfThen, IfThen)); 126 EXPECT_FALSE(VPDT.properlyDominates(IfThen, IfElse)); 127 EXPECT_FALSE(VPDT.properlyDominates(IfThen, Latch)); 128 EXPECT_FALSE(VPDT.properlyDominates(IfThen, Exit)); 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)); 134 EXPECT_FALSE(VPDT.properlyDominates(IfElse, Latch)); 135 EXPECT_FALSE(VPDT.properlyDominates(IfElse, Exit)); 137 EXPECT_FALSE(VPDT.properlyDominates(Latch, PH)); 138 EXPECT_FALSE(VPDT.properlyDominates(Latch, H)); 139 EXPECT_FALSE(VPDT.properlyDominates(Latch, IfThen)); 140 EXPECT_FALSE(VPDT.properlyDominates(Latch, IfElse)); 141 EXPECT_FALSE(VPDT.properlyDominates(Latch, Latch)); 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)); 152 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, PH)); 153 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, H)); 154 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, IfThen)); 155 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, IfElse)); 156 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, Latch)); 157 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(PH, Exit)); 159 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(H, PH)); 160 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, H)); 161 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfThen)); 162 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, IfElse)); 163 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Latch)); 164 EXPECT_EQ(H, VPDT.findNearestCommonDominator(H, Exit)); 166 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(IfThen, PH)); 167 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, H)); 168 EXPECT_EQ(IfThen, VPDT.findNearestCommonDominator(IfThen, IfThen)); 169 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, IfElse)); 170 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, Latch)); 171 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfThen, Exit)); 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)); 177 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Latch)); 178 EXPECT_EQ(H, VPDT.findNearestCommonDominator(IfElse, Exit)); 180 EXPECT_EQ(PH, VPDT.findNearestCommonDominator(Latch, PH)); 181 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, H)); 182 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, IfThen)); 183 EXPECT_EQ(H, VPDT.findNearestCommonDominator(Latch, IfElse)); 184 EXPECT_EQ(Latch, VPDT.findNearestCommonDominator(Latch, Latch)); 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));