Lines Matching refs:DT
30 DominatorTree *DT = in runOnFunction() local
61 EXPECT_TRUE(DT->isReachableFromEntry(BB0)); in runOnFunction()
62 EXPECT_TRUE(DT->isReachableFromEntry(BB1)); in runOnFunction()
63 EXPECT_TRUE(DT->isReachableFromEntry(BB2)); in runOnFunction()
64 EXPECT_FALSE(DT->isReachableFromEntry(BB3)); in runOnFunction()
65 EXPECT_TRUE(DT->isReachableFromEntry(BB4)); in runOnFunction()
68 EXPECT_TRUE(DT->dominates(BB0, BB0)); in runOnFunction()
69 EXPECT_TRUE(DT->dominates(BB0, BB1)); in runOnFunction()
70 EXPECT_TRUE(DT->dominates(BB0, BB2)); in runOnFunction()
71 EXPECT_TRUE(DT->dominates(BB0, BB3)); in runOnFunction()
72 EXPECT_TRUE(DT->dominates(BB0, BB4)); in runOnFunction()
74 EXPECT_FALSE(DT->dominates(BB1, BB0)); in runOnFunction()
75 EXPECT_TRUE(DT->dominates(BB1, BB1)); in runOnFunction()
76 EXPECT_FALSE(DT->dominates(BB1, BB2)); in runOnFunction()
77 EXPECT_TRUE(DT->dominates(BB1, BB3)); in runOnFunction()
78 EXPECT_FALSE(DT->dominates(BB1, BB4)); in runOnFunction()
80 EXPECT_FALSE(DT->dominates(BB2, BB0)); in runOnFunction()
81 EXPECT_FALSE(DT->dominates(BB2, BB1)); in runOnFunction()
82 EXPECT_TRUE(DT->dominates(BB2, BB2)); in runOnFunction()
83 EXPECT_TRUE(DT->dominates(BB2, BB3)); in runOnFunction()
84 EXPECT_FALSE(DT->dominates(BB2, BB4)); in runOnFunction()
86 EXPECT_FALSE(DT->dominates(BB3, BB0)); in runOnFunction()
87 EXPECT_FALSE(DT->dominates(BB3, BB1)); in runOnFunction()
88 EXPECT_FALSE(DT->dominates(BB3, BB2)); in runOnFunction()
89 EXPECT_TRUE(DT->dominates(BB3, BB3)); in runOnFunction()
90 EXPECT_FALSE(DT->dominates(BB3, BB4)); in runOnFunction()
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()
114 EXPECT_FALSE(DT->dominates(Y1, Y1)); in runOnFunction()
115 EXPECT_TRUE(DT->dominates(Y1, Y2)); in runOnFunction()
116 EXPECT_FALSE(DT->dominates(Y2, Y1)); in runOnFunction()
117 EXPECT_FALSE(DT->dominates(Y2, Y2)); in runOnFunction()
120 EXPECT_TRUE(DT->dominates(Y6, Y6)); in runOnFunction()
121 EXPECT_TRUE(DT->dominates(Y6, Y7)); in runOnFunction()
122 EXPECT_TRUE(DT->dominates(Y7, Y6)); in runOnFunction()
123 EXPECT_TRUE(DT->dominates(Y7, Y7)); in runOnFunction()
126 EXPECT_TRUE(DT->dominates(Y3, Y4)); in runOnFunction()
127 EXPECT_FALSE(DT->dominates(Y3, Y5)); in runOnFunction()
130 EXPECT_TRUE(DT->dominates(Y2, Y9)); in runOnFunction()
131 EXPECT_FALSE(DT->dominates(Y3, Y9)); in runOnFunction()
132 EXPECT_FALSE(DT->dominates(Y8, Y9)); in runOnFunction()
135 EXPECT_TRUE(DT->dominates(Y1, Y6)); in runOnFunction()
136 EXPECT_TRUE(DT->dominates(Y3, Y6)); in runOnFunction()
139 EXPECT_FALSE(DT->dominates(Y6, Y1)); in runOnFunction()
142 EXPECT_FALSE(DT->dominates(Y1, BB0)); in runOnFunction()
143 EXPECT_TRUE(DT->dominates(Y1, BB1)); in runOnFunction()
144 EXPECT_TRUE(DT->dominates(Y1, BB2)); in runOnFunction()
145 EXPECT_TRUE(DT->dominates(Y1, BB3)); in runOnFunction()
146 EXPECT_TRUE(DT->dominates(Y1, BB4)); in runOnFunction()
148 EXPECT_FALSE(DT->dominates(Y3, BB0)); in runOnFunction()
149 EXPECT_TRUE(DT->dominates(Y3, BB1)); in runOnFunction()
150 EXPECT_FALSE(DT->dominates(Y3, BB2)); in runOnFunction()
151 EXPECT_TRUE(DT->dominates(Y3, BB3)); in runOnFunction()
152 EXPECT_FALSE(DT->dominates(Y3, BB4)); in runOnFunction()
154 EXPECT_TRUE(DT->dominates(Y6, BB3)); in runOnFunction()
166 DT->getDescendants(BB0, DominatedBBs); in runOnFunction()
174 DT->getDescendants(BB3, DominatedBBs); in runOnFunction()
175 DT->getDescendants(BB3, PostDominatedBBs); in runOnFunction()
180 EXPECT_EQ(DT->getNode(BB0)->getDFSNumIn(), 0UL); in runOnFunction()
181 EXPECT_EQ(DT->getNode(BB0)->getDFSNumOut(), 7UL); in runOnFunction()
182 EXPECT_EQ(DT->getNode(BB1)->getDFSNumIn(), 1UL); in runOnFunction()
183 EXPECT_EQ(DT->getNode(BB1)->getDFSNumOut(), 2UL); in runOnFunction()
184 EXPECT_EQ(DT->getNode(BB2)->getDFSNumIn(), 5UL); in runOnFunction()
185 EXPECT_EQ(DT->getNode(BB2)->getDFSNumOut(), 6UL); in runOnFunction()
186 EXPECT_EQ(DT->getNode(BB4)->getDFSNumIn(), 3UL); in runOnFunction()
187 EXPECT_EQ(DT->getNode(BB4)->getDFSNumOut(), 4UL); in runOnFunction()
192 DT->recalculate(F); in runOnFunction()
195 EXPECT_EQ(DT->getNode(BB0)->getDFSNumIn(), 0UL); in runOnFunction()
196 EXPECT_EQ(DT->getNode(BB0)->getDFSNumOut(), 9UL); in runOnFunction()
197 EXPECT_EQ(DT->getNode(BB1)->getDFSNumIn(), 1UL); in runOnFunction()
198 EXPECT_EQ(DT->getNode(BB1)->getDFSNumOut(), 4UL); in runOnFunction()
199 EXPECT_EQ(DT->getNode(BB2)->getDFSNumIn(), 7UL); in runOnFunction()
200 EXPECT_EQ(DT->getNode(BB2)->getDFSNumOut(), 8UL); in runOnFunction()
201 EXPECT_EQ(DT->getNode(BB3)->getDFSNumIn(), 2UL); in runOnFunction()
202 EXPECT_EQ(DT->getNode(BB3)->getDFSNumOut(), 3UL); in runOnFunction()
203 EXPECT_EQ(DT->getNode(BB4)->getDFSNumIn(), 5UL); in runOnFunction()
204 EXPECT_EQ(DT->getNode(BB4)->getDFSNumOut(), 6UL); in runOnFunction()