Lines Matching refs:dominates
66 EXPECT_TRUE(DT->dominates(BB0, BB0));
67 EXPECT_TRUE(DT->dominates(BB0, BB1));
68 EXPECT_TRUE(DT->dominates(BB0, BB2));
69 EXPECT_TRUE(DT->dominates(BB0, BB3));
70 EXPECT_TRUE(DT->dominates(BB0, BB4));
72 EXPECT_FALSE(DT->dominates(BB1, BB0));
73 EXPECT_TRUE(DT->dominates(BB1, BB1));
74 EXPECT_FALSE(DT->dominates(BB1, BB2));
75 EXPECT_TRUE(DT->dominates(BB1, BB3));
76 EXPECT_FALSE(DT->dominates(BB1, BB4));
78 EXPECT_FALSE(DT->dominates(BB2, BB0));
79 EXPECT_FALSE(DT->dominates(BB2, BB1));
80 EXPECT_TRUE(DT->dominates(BB2, BB2));
81 EXPECT_TRUE(DT->dominates(BB2, BB3));
82 EXPECT_FALSE(DT->dominates(BB2, BB4));
84 EXPECT_FALSE(DT->dominates(BB3, BB0));
85 EXPECT_FALSE(DT->dominates(BB3, BB1));
86 EXPECT_FALSE(DT->dominates(BB3, BB2));
87 EXPECT_TRUE(DT->dominates(BB3, BB3));
88 EXPECT_FALSE(DT->dominates(BB3, BB4));
112 EXPECT_FALSE(DT->dominates(Y1, Y1));
113 EXPECT_TRUE(DT->dominates(Y1, Y2));
114 EXPECT_FALSE(DT->dominates(Y2, Y1));
115 EXPECT_FALSE(DT->dominates(Y2, Y2));
118 EXPECT_TRUE(DT->dominates(Y6, Y6));
119 EXPECT_TRUE(DT->dominates(Y6, Y7));
120 EXPECT_TRUE(DT->dominates(Y7, Y6));
121 EXPECT_TRUE(DT->dominates(Y7, Y7));
124 EXPECT_TRUE(DT->dominates(Y3, Y4));
125 EXPECT_FALSE(DT->dominates(Y3, Y5));
128 EXPECT_TRUE(DT->dominates(Y2, Y9));
129 EXPECT_FALSE(DT->dominates(Y3, Y9));
130 EXPECT_FALSE(DT->dominates(Y8, Y9));
132 // Anything dominates unreachable
133 EXPECT_TRUE(DT->dominates(Y1, Y6));
134 EXPECT_TRUE(DT->dominates(Y3, Y6));
137 EXPECT_FALSE(DT->dominates(Y6, Y1));
140 EXPECT_FALSE(DT->dominates(Y1, BB0));
141 EXPECT_TRUE(DT->dominates(Y1, BB1));
142 EXPECT_TRUE(DT->dominates(Y1, BB2));
143 EXPECT_TRUE(DT->dominates(Y1, BB3));
144 EXPECT_TRUE(DT->dominates(Y1, BB4));
146 EXPECT_FALSE(DT->dominates(Y3, BB0));
147 EXPECT_TRUE(DT->dominates(Y3, BB1));
148 EXPECT_FALSE(DT->dominates(Y3, BB2));
149 EXPECT_TRUE(DT->dominates(Y3, BB3));
150 EXPECT_FALSE(DT->dominates(Y3, BB4));
152 EXPECT_TRUE(DT->dominates(Y6, BB3));
155 EXPECT_TRUE(PDT->dominates(BB0, BB0));
156 EXPECT_FALSE(PDT->dominates(BB1, BB0));
157 EXPECT_FALSE(PDT->dominates(BB2, BB0));
158 EXPECT_FALSE(PDT->dominates(BB3, BB0));
159 EXPECT_TRUE(PDT->dominates(BB4, BB1));