Lines Matching refs:dominates

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