Lines Matching refs:write
31 void testWriteAndReadSanity(SideEffects write, SideEffects read) { in testWriteAndReadSanity() argument
32 EXPECT_FALSE(write.DoesNothing()); in testWriteAndReadSanity()
35 EXPECT_TRUE(write.DoesAnyWrite()); in testWriteAndReadSanity()
36 EXPECT_FALSE(write.DoesAnyRead()); in testWriteAndReadSanity()
42 EXPECT_TRUE(all.MayDependOn(write)); in testWriteAndReadSanity()
43 EXPECT_FALSE(write.MayDependOn(all)); in testWriteAndReadSanity()
49 EXPECT_FALSE(none.MayDependOn(write)); in testWriteAndReadSanity()
50 EXPECT_FALSE(write.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()