Lines Matching refs:write
45 void testWriteAndReadEffects(SideEffects write, SideEffects read) { in testWriteAndReadEffects() argument
46 EXPECT_FALSE(write.DoesNothing()); in testWriteAndReadEffects()
49 EXPECT_TRUE(write.DoesAnyWrite()); in testWriteAndReadEffects()
50 EXPECT_FALSE(write.DoesAnyRead()); in testWriteAndReadEffects()
56 EXPECT_TRUE(all.MayDependOn(write)); in testWriteAndReadEffects()
57 EXPECT_FALSE(write.MayDependOn(all)); in testWriteAndReadEffects()
63 EXPECT_FALSE(none.MayDependOn(write)); in testWriteAndReadEffects()
64 EXPECT_FALSE(write.MayDependOn(none)); in testWriteAndReadEffects()
69 void testWriteAndReadDependence(SideEffects write, SideEffects read) { in testWriteAndReadDependence() argument
70 testWriteAndReadEffects(write, read); in testWriteAndReadDependence()
73 EXPECT_FALSE(write.MayDependOn(read)); in testWriteAndReadDependence()
74 EXPECT_TRUE(read.MayDependOn(write)); in testWriteAndReadDependence()
77 void testNoWriteAndReadDependence(SideEffects write, SideEffects read) { in testNoWriteAndReadDependence() argument
78 testWriteAndReadEffects(write, read); in testNoWriteAndReadDependence()
81 EXPECT_FALSE(write.MayDependOn(read)); in testNoWriteAndReadDependence()
82 EXPECT_FALSE(read.MayDependOn(write)); in testNoWriteAndReadDependence()