Cross Reference: /external/llvm/unittests/VMCore/DominatorTreeTest.cpp

Lines Matching refs:DT
19         DominatorTree *DT = &getAnalysis<DominatorTree>();
47         EXPECT_TRUE(DT->isReachableFromEntry(BB0));
48         EXPECT_TRUE(DT->isReachableFromEntry(BB1));
49         EXPECT_TRUE(DT->isReachableFromEntry(BB2));
50         EXPECT_FALSE(DT->isReachableFromEntry(BB3));
51         EXPECT_TRUE(DT->isReachableFromEntry(BB4));
54         EXPECT_TRUE(DT->dominates(BB0, BB0));
55         EXPECT_TRUE(DT->dominates(BB0, BB1));
56         EXPECT_TRUE(DT->dominates(BB0, BB2));
57         EXPECT_TRUE(DT->dominates(BB0, BB3));
58         EXPECT_TRUE(DT->dominates(BB0, BB4));
60         EXPECT_FALSE(DT->dominates(BB1, BB0));
61         EXPECT_TRUE(DT->dominates(BB1, BB1));
62         EXPECT_FALSE(DT->dominates(BB1, BB2));
63         EXPECT_TRUE(DT->dominates(BB1, BB3));
64         EXPECT_FALSE(DT->dominates(BB1, BB4));
66         EXPECT_FALSE(DT->dominates(BB2, BB0));
67         EXPECT_FALSE(DT->dominates(BB2, BB1));
68         EXPECT_TRUE(DT->dominates(BB2, BB2));
69         EXPECT_TRUE(DT->dominates(BB2, BB3));
70         EXPECT_FALSE(DT->dominates(BB2, BB4));
72         EXPECT_FALSE(DT->dominates(BB3, BB0));
73         EXPECT_FALSE(DT->dominates(BB3, BB1));
74         EXPECT_FALSE(DT->dominates(BB3, BB2));
75         EXPECT_TRUE(DT->dominates(BB3, BB3));
76         EXPECT_FALSE(DT->dominates(BB3, BB4));
79         EXPECT_FALSE(DT->properlyDominates(BB0, BB0));
80         EXPECT_TRUE(DT->properlyDominates(BB0, BB1));
81         EXPECT_TRUE(DT->properlyDominates(BB0, BB2));
82         EXPECT_TRUE(DT->properlyDominates(BB0, BB3));
84         EXPECT_FALSE(DT->properlyDominates(BB1, BB0));
85         EXPECT_FALSE(DT->properlyDominates(BB1, BB1));
86         EXPECT_FALSE(DT->properlyDominates(BB1, BB2));
87         EXPECT_TRUE(DT->properlyDominates(BB1, BB3));
89         EXPECT_FALSE(DT->properlyDominates(BB2, BB0));
90         EXPECT_FALSE(DT->properlyDominates(BB2, BB1));
91         EXPECT_FALSE(DT->properlyDominates(BB2, BB2));
92         EXPECT_TRUE(DT->properlyDominates(BB2, BB3));
94         EXPECT_FALSE(DT->properlyDominates(BB3, BB0));
95         EXPECT_FALSE(DT->properlyDominates(BB3, BB1));
96         EXPECT_FALSE(DT->properlyDominates(BB3, BB2));
97         EXPECT_FALSE(DT->properlyDominates(BB3, BB3));
100         EXPECT_FALSE(DT->dominates(Y1, Y1));
101         EXPECT_TRUE(DT->dominates(Y1, Y2));
102         EXPECT_FALSE(DT->dominates(Y2, Y1));
103         EXPECT_FALSE(DT->dominates(Y2, Y2));
106         EXPECT_TRUE(DT->dominates(Y6, Y6));
107         EXPECT_TRUE(DT->dominates(Y6, Y7));
108         EXPECT_TRUE(DT->dominates(Y7, Y6));
109         EXPECT_TRUE(DT->dominates(Y7, Y7));
112         EXPECT_TRUE(DT->dominates(Y3, Y4));
113         EXPECT_FALSE(DT->dominates(Y3, Y5));
116         EXPECT_TRUE(DT->dominates(Y2, Y9));
117         EXPECT_FALSE(DT->dominates(Y3, Y9));
118         EXPECT_FALSE(DT->dominates(Y8, Y9));
121         EXPECT_TRUE(DT->dominates(Y1, Y6));
122         EXPECT_TRUE(DT->dominates(Y3, Y6));
125         EXPECT_FALSE(DT->dominates(Y6, Y1));
128         EXPECT_FALSE(DT->dominates(Y1, BB0));
129         EXPECT_TRUE(DT->dominates(Y1, BB1));
130         EXPECT_TRUE(DT->dominates(Y1, BB2));
131         EXPECT_TRUE(DT->dominates(Y1, BB3));
132         EXPECT_TRUE(DT->dominates(Y1, BB4));
134         EXPECT_FALSE(DT->dominates(Y3, BB0));
135         EXPECT_TRUE(DT->dominates(Y3, BB1));
136         EXPECT_FALSE(DT->dominates(Y3, BB2));
137         EXPECT_TRUE(DT->dominates(Y3, BB3));
138         EXPECT_FALSE(DT->dominates(Y3, BB4));
140         EXPECT_TRUE(DT->dominates(Y6, BB3));