Lines Matching refs:if_true
29 EXPECT_THAT(d.if_true, IsIfTrue(d.branch)); in TEST_F()
31 EXPECT_THAT(d.merge, IsMerge(d.if_true, d.if_false)); in TEST_F()
80 EXPECT_THAT(d0.if_true, IsIfTrue(d0.branch)); in TEST_F()
84 EXPECT_THAT(d1.branch, IsBranch(p1, d0.if_true)); in TEST_F()
85 EXPECT_THAT(d1.if_true, IsIfTrue(d1.branch)); in TEST_F()
87 EXPECT_THAT(d1.merge, IsMerge(d1.if_true, d1.if_false)); in TEST_F()
100 EXPECT_THAT(d0.if_true, IsIfTrue(d0.branch)); in TEST_F()
102 EXPECT_THAT(d0.merge, IsMerge(d0.if_true, d1.merge)); in TEST_F()
105 EXPECT_THAT(d1.if_true, IsIfTrue(d1.branch)); in TEST_F()
107 EXPECT_THAT(d1.merge, IsMerge(d1.if_true, d1.if_false)); in TEST_F()
124 EXPECT_THAT(d.if_true, IsIfTrue(d.branch)); in TEST_F()
126 EXPECT_THAT(d.merge, IsMerge(d.if_true, d.if_false)); in TEST_F()