Lines Matching refs:dominates

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));
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));
120 // Anything dominates unreachable
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));