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