Lines Matching defs:DT
28 DominatorTree *DT = &getAnalysis<DominatorTree>();
56 EXPECT_TRUE(DT->isReachableFromEntry(BB0));
57 EXPECT_TRUE(DT->isReachableFromEntry(BB1));
58 EXPECT_TRUE(DT->isReachableFromEntry(BB2));
59 EXPECT_FALSE(DT->isReachableFromEntry(BB3));
60 EXPECT_TRUE(DT->isReachableFromEntry(BB4));
63 EXPECT_TRUE(DT->dominates(BB0, BB0));
64 EXPECT_TRUE(DT->dominates(BB0, BB1));
65 EXPECT_TRUE(DT->dominates(BB0, BB2));
66 EXPECT_TRUE(DT->dominates(BB0, BB3));
67 EXPECT_TRUE(DT->dominates(BB0, BB4));
69 EXPECT_FALSE(DT->dominates(BB1, BB0));
70 EXPECT_TRUE(DT->dominates(BB1, BB1));
71 EXPECT_FALSE(DT->dominates(BB1, BB2));
72 EXPECT_TRUE(DT->dominates(BB1, BB3));
73 EXPECT_FALSE(DT->dominates(BB1, BB4));
75 EXPECT_FALSE(DT->dominates(BB2, BB0));
76 EXPECT_FALSE(DT->dominates(BB2, BB1));
77 EXPECT_TRUE(DT->dominates(BB2, BB2));
78 EXPECT_TRUE(DT->dominates(BB2, BB3));
79 EXPECT_FALSE(DT->dominates(BB2, BB4));
81 EXPECT_FALSE(DT->dominates(BB3, BB0));
82 EXPECT_FALSE(DT->dominates(BB3, BB1));
83 EXPECT_FALSE(DT->dominates(BB3, BB2));
84 EXPECT_TRUE(DT->dominates(BB3, BB3));
85 EXPECT_FALSE(DT->dominates(BB3, BB4));
88 EXPECT_FALSE(DT->properlyDominates(BB0, BB0));
89 EXPECT_TRUE(DT->properlyDominates(BB0, BB1));
90 EXPECT_TRUE(DT->properlyDominates(BB0, BB2));
91 EXPECT_TRUE(DT->properlyDominates(BB0, BB3));
93 EXPECT_FALSE(DT->properlyDominates(BB1, BB0));
94 EXPECT_FALSE(DT->properlyDominates(BB1, BB1));
95 EXPECT_FALSE(DT->properlyDominates(BB1, BB2));
96 EXPECT_TRUE(DT->properlyDominates(BB1, BB3));
98 EXPECT_FALSE(DT->properlyDominates(BB2, BB0));
99 EXPECT_FALSE(DT->properlyDominates(BB2, BB1));
100 EXPECT_FALSE(DT->properlyDominates(BB2, BB2));
101 EXPECT_TRUE(DT->properlyDominates(BB2, BB3));
103 EXPECT_FALSE(DT->properlyDominates(BB3, BB0));
104 EXPECT_FALSE(DT->properlyDominates(BB3, BB1));
105 EXPECT_FALSE(DT->properlyDominates(BB3, BB2));
106 EXPECT_FALSE(DT->properlyDominates(BB3, BB3));
109 EXPECT_FALSE(DT->dominates(Y1, Y1));
110 EXPECT_TRUE(DT->dominates(Y1, Y2));
111 EXPECT_FALSE(DT->dominates(Y2, Y1));
112 EXPECT_FALSE(DT->dominates(Y2, Y2));
115 EXPECT_TRUE(DT->dominates(Y6, Y6));
116 EXPECT_TRUE(DT->dominates(Y6, Y7));
117 EXPECT_TRUE(DT->dominates(Y7, Y6));
118 EXPECT_TRUE(DT->dominates(Y7, Y7));
121 EXPECT_TRUE(DT->dominates(Y3, Y4));
122 EXPECT_FALSE(DT->dominates(Y3, Y5));
125 EXPECT_TRUE(DT->dominates(Y2, Y9));
126 EXPECT_FALSE(DT->dominates(Y3, Y9));
127 EXPECT_FALSE(DT->dominates(Y8, Y9));
130 EXPECT_TRUE(DT->dominates(Y1, Y6));
131 EXPECT_TRUE(DT->dominates(Y3, Y6));
134 EXPECT_FALSE(DT->dominates(Y6, Y1));
137 EXPECT_FALSE(DT->dominates(Y1, BB0));
138 EXPECT_TRUE(DT->dominates(Y1, BB1));
139 EXPECT_TRUE(DT->dominates(Y1, BB2));
140 EXPECT_TRUE(DT->dominates(Y1, BB3));
141 EXPECT_TRUE(DT->dominates(Y1, BB4));
143 EXPECT_FALSE(DT->dominates(Y3, BB0));
144 EXPECT_TRUE(DT->dominates(Y3, BB1));
145 EXPECT_FALSE(DT->dominates(Y3, BB2));
146 EXPECT_TRUE(DT->dominates(Y3, BB3));
147 EXPECT_FALSE(DT->dominates(Y3, BB4));
149 EXPECT_TRUE(DT->dominates(Y6, BB3));
