Lines Matching refs:dominates
67 EXPECT_TRUE(DT->dominates(BB0, BB0));
68 EXPECT_TRUE(DT->dominates(BB0, BB1));
69 EXPECT_TRUE(DT->dominates(BB0, BB2));
70 EXPECT_TRUE(DT->dominates(BB0, BB3));
71 EXPECT_TRUE(DT->dominates(BB0, BB4));
73 EXPECT_FALSE(DT->dominates(BB1, BB0));
74 EXPECT_TRUE(DT->dominates(BB1, BB1));
75 EXPECT_FALSE(DT->dominates(BB1, BB2));
76 EXPECT_TRUE(DT->dominates(BB1, BB3));
77 EXPECT_FALSE(DT->dominates(BB1, BB4));
79 EXPECT_FALSE(DT->dominates(BB2, BB0));
80 EXPECT_FALSE(DT->dominates(BB2, BB1));
81 EXPECT_TRUE(DT->dominates(BB2, BB2));
82 EXPECT_TRUE(DT->dominates(BB2, BB3));
83 EXPECT_FALSE(DT->dominates(BB2, BB4));
85 EXPECT_FALSE(DT->dominates(BB3, BB0));
86 EXPECT_FALSE(DT->dominates(BB3, BB1));
87 EXPECT_FALSE(DT->dominates(BB3, BB2));
88 EXPECT_TRUE(DT->dominates(BB3, BB3));
89 EXPECT_FALSE(DT->dominates(BB3, BB4));
113 EXPECT_FALSE(DT->dominates(Y1, Y1));
114 EXPECT_TRUE(DT->dominates(Y1, Y2));
115 EXPECT_FALSE(DT->dominates(Y2, Y1));
116 EXPECT_FALSE(DT->dominates(Y2, Y2));
119 EXPECT_TRUE(DT->dominates(Y6, Y6));
120 EXPECT_TRUE(DT->dominates(Y6, Y7));
121 EXPECT_TRUE(DT->dominates(Y7, Y6));
122 EXPECT_TRUE(DT->dominates(Y7, Y7));
125 EXPECT_TRUE(DT->dominates(Y3, Y4));
126 EXPECT_FALSE(DT->dominates(Y3, Y5));
129 EXPECT_TRUE(DT->dominates(Y2, Y9));
130 EXPECT_FALSE(DT->dominates(Y3, Y9));
131 EXPECT_FALSE(DT->dominates(Y8, Y9));
133 // Anything dominates unreachable
134 EXPECT_TRUE(DT->dominates(Y1, Y6));
135 EXPECT_TRUE(DT->dominates(Y3, Y6));
138 EXPECT_FALSE(DT->dominates(Y6, Y1));
141 EXPECT_FALSE(DT->dominates(Y1, BB0));
142 EXPECT_TRUE(DT->dominates(Y1, BB1));
143 EXPECT_TRUE(DT->dominates(Y1, BB2));
144 EXPECT_TRUE(DT->dominates(Y1, BB3));
145 EXPECT_TRUE(DT->dominates(Y1, BB4));
147 EXPECT_FALSE(DT->dominates(Y3, BB0));
148 EXPECT_TRUE(DT->dominates(Y3, BB1));
149 EXPECT_FALSE(DT->dominates(Y3, BB2));
150 EXPECT_TRUE(DT->dominates(Y3, BB3));
151 EXPECT_FALSE(DT->dominates(Y3, BB4));
153 EXPECT_TRUE(DT->dominates(Y6, BB3));
156 EXPECT_TRUE(PDT->dominates(BB0, BB0));
157 EXPECT_FALSE(PDT->dominates(BB1, BB0));
158 EXPECT_FALSE(PDT->dominates(BB2, BB0));
159 EXPECT_FALSE(PDT->dominates(BB3, BB0));
160 EXPECT_TRUE(PDT->dominates(BB4, BB1));
