Lines Matching refs:DT
30 DominatorTree *DT =
60 EXPECT_TRUE(DT->isReachableFromEntry(BB0));
61 EXPECT_TRUE(DT->isReachableFromEntry(BB1));
62 EXPECT_TRUE(DT->isReachableFromEntry(BB2));
63 EXPECT_FALSE(DT->isReachableFromEntry(BB3));
64 EXPECT_TRUE(DT->isReachableFromEntry(BB4));
67 EXPECT_TRUE(DT->dominates(BB0, BB0));
68 EXPECT_TRUE(DT->dominates(BB0, BB1));
69 EXPECT_TRUE(DT->dominates(BB0, BB2));
70 EXPECT_TRUE(DT->dominates(BB0, BB3));
71 EXPECT_TRUE(DT->dominates(BB0, BB4));
73 EXPECT_FALSE(DT->dominates(BB1, BB0));
74 EXPECT_TRUE(DT->dominates(BB1, BB1));
75 EXPECT_FALSE(DT->dominates(BB1, BB2));
76 EXPECT_TRUE(DT->dominates(BB1, BB3));
77 EXPECT_FALSE(DT->dominates(BB1, BB4));
79 EXPECT_FALSE(DT->dominates(BB2, BB0));
80 EXPECT_FALSE(DT->dominates(BB2, BB1));
81 EXPECT_TRUE(DT->dominates(BB2, BB2));
82 EXPECT_TRUE(DT->dominates(BB2, BB3));
83 EXPECT_FALSE(DT->dominates(BB2, BB4));
85 EXPECT_FALSE(DT->dominates(BB3, BB0));
86 EXPECT_FALSE(DT->dominates(BB3, BB1));
87 EXPECT_FALSE(DT->dominates(BB3, BB2));
88 EXPECT_TRUE(DT->dominates(BB3, BB3));
89 EXPECT_FALSE(DT->dominates(BB3, BB4));
92 EXPECT_FALSE(DT->properlyDominates(BB0, BB0));
93 EXPECT_TRUE(DT->properlyDominates(BB0, BB1));
94 EXPECT_TRUE(DT->properlyDominates(BB0, BB2));
95 EXPECT_TRUE(DT->properlyDominates(BB0, BB3));
97 EXPECT_FALSE(DT->properlyDominates(BB1, BB0));
98 EXPECT_FALSE(DT->properlyDominates(BB1, BB1));
99 EXPECT_FALSE(DT->properlyDominates(BB1, BB2));
100 EXPECT_TRUE(DT->properlyDominates(BB1, BB3));
102 EXPECT_FALSE(DT->properlyDominates(BB2, BB0));
103 EXPECT_FALSE(DT->properlyDominates(BB2, BB1));
104 EXPECT_FALSE(DT->properlyDominates(BB2, BB2));
105 EXPECT_TRUE(DT->properlyDominates(BB2, BB3));
107 EXPECT_FALSE(DT->properlyDominates(BB3, BB0));
108 EXPECT_FALSE(DT->properlyDominates(BB3, BB1));
109 EXPECT_FALSE(DT->properlyDominates(BB3, BB2));
110 EXPECT_FALSE(DT->properlyDominates(BB3, BB3));
113 EXPECT_FALSE(DT->dominates(Y1, Y1));
114 EXPECT_TRUE(DT->dominates(Y1, Y2));
115 EXPECT_FALSE(DT->dominates(Y2, Y1));
116 EXPECT_FALSE(DT->dominates(Y2, Y2));
119 EXPECT_TRUE(DT->dominates(Y6, Y6));
120 EXPECT_TRUE(DT->dominates(Y6, Y7));
121 EXPECT_TRUE(DT->dominates(Y7, Y6));
122 EXPECT_TRUE(DT->dominates(Y7, Y7));
125 EXPECT_TRUE(DT->dominates(Y3, Y4));
126 EXPECT_FALSE(DT->dominates(Y3, Y5));
129 EXPECT_TRUE(DT->dominates(Y2, Y9));
130 EXPECT_FALSE(DT->dominates(Y3, Y9));
131 EXPECT_FALSE(DT->dominates(Y8, Y9));
134 EXPECT_TRUE(DT->dominates(Y1, Y6));
135 EXPECT_TRUE(DT->dominates(Y3, Y6));
138 EXPECT_FALSE(DT->dominates(Y6, Y1));
141 EXPECT_FALSE(DT->dominates(Y1, BB0));
142 EXPECT_TRUE(DT->dominates(Y1, BB1));
143 EXPECT_TRUE(DT->dominates(Y1, BB2));
144 EXPECT_TRUE(DT->dominates(Y1, BB3));
145 EXPECT_TRUE(DT->dominates(Y1, BB4));
147 EXPECT_FALSE(DT->dominates(Y3, BB0));
148 EXPECT_TRUE(DT->dominates(Y3, BB1));
149 EXPECT_FALSE(DT->dominates(Y3, BB2));
150 EXPECT_TRUE(DT->dominates(Y3, BB3));
151 EXPECT_FALSE(DT->dominates(Y3, BB4));
153 EXPECT_TRUE(DT->dominates(Y6, BB3));
165 DT->getDescendants(BB0, DominatedBBs);
173 DT->getDescendants(BB3, DominatedBBs);
174 DT->getDescendants(BB3, PostDominatedBBs);
179 EXPECT_EQ(DT->getNode(BB0)->getDFSNumIn(), 0UL);
180 EXPECT_EQ(DT->getNode(BB0)->getDFSNumOut(), 7UL);
181 EXPECT_EQ(DT->getNode(BB1)->getDFSNumIn(), 1UL);
182 EXPECT_EQ(DT->getNode(BB1)->getDFSNumOut(), 2UL);
183 EXPECT_EQ(DT->getNode(BB2)->getDFSNumIn(), 5UL);
184 EXPECT_EQ(DT->getNode(BB2)->getDFSNumOut(), 6UL);
185 EXPECT_EQ(DT->getNode(BB4)->getDFSNumIn(), 3UL);
186 EXPECT_EQ(DT->getNode(BB4)->getDFSNumOut(), 4UL);
191 DT->recalculate(F);
194 EXPECT_EQ(DT->getNode(BB0)->getDFSNumIn(), 0UL);
195 EXPECT_EQ(DT->getNode(BB0)->getDFSNumOut(), 9UL);
196 EXPECT_EQ(DT->getNode(BB1)->getDFSNumIn(), 1UL);
197 EXPECT_EQ(DT->getNode(BB1)->getDFSNumOut(), 4UL);
198 EXPECT_EQ(DT->getNode(BB2)->getDFSNumIn(), 7UL);
199 EXPECT_EQ(DT->getNode(BB2)->getDFSNumOut(), 8UL);
200 EXPECT_EQ(DT->getNode(BB3)->getDFSNumIn(), 2UL);
201 EXPECT_EQ(DT->getNode(BB3)->getDFSNumOut(), 3UL);
202 EXPECT_EQ(DT->getNode(BB4)->getDFSNumIn(), 5UL);
203 EXPECT_EQ(DT->getNode(BB4)->getDFSNumOut(), 6UL);
