Lines Matching refs:read
31 void testWriteAndReadSanity(SideEffects write, SideEffects read) { in testWriteAndReadSanity() argument
33 EXPECT_FALSE(read.DoesNothing()); in testWriteAndReadSanity()
37 EXPECT_FALSE(read.DoesAnyWrite()); in testWriteAndReadSanity()
38 EXPECT_TRUE(read.DoesAnyRead()); in testWriteAndReadSanity()
44 EXPECT_FALSE(all.MayDependOn(read)); in testWriteAndReadSanity()
45 EXPECT_TRUE(read.MayDependOn(all)); in testWriteAndReadSanity()
51 EXPECT_FALSE(none.MayDependOn(read)); in testWriteAndReadSanity()
52 EXPECT_FALSE(read.MayDependOn(none)); in testWriteAndReadSanity()
55 void testWriteAndReadDependence(SideEffects write, SideEffects read) { in testWriteAndReadDependence() argument
56 testWriteAndReadSanity(write, read); in testWriteAndReadDependence()
59 EXPECT_FALSE(write.MayDependOn(read)); in testWriteAndReadDependence()
60 EXPECT_TRUE(read.MayDependOn(write)); in testWriteAndReadDependence()
63 void testNoWriteAndReadDependence(SideEffects write, SideEffects read) { in testNoWriteAndReadDependence() argument
64 testWriteAndReadSanity(write, read); in testNoWriteAndReadDependence()
67 EXPECT_FALSE(write.MayDependOn(read)); in testNoWriteAndReadDependence()
68 EXPECT_FALSE(read.MayDependOn(write)); in testNoWriteAndReadDependence()