Lines Matching refs:write
45 void testWriteAndReadSanity(SideEffects write, SideEffects read) { in testWriteAndReadSanity() argument
46 EXPECT_FALSE(write.DoesNothing()); in testWriteAndReadSanity()
49 EXPECT_TRUE(write.DoesAnyWrite()); in testWriteAndReadSanity()
50 EXPECT_FALSE(write.DoesAnyRead()); in testWriteAndReadSanity()
56 EXPECT_TRUE(all.MayDependOn(write)); in testWriteAndReadSanity()
57 EXPECT_FALSE(write.MayDependOn(all)); in testWriteAndReadSanity()
63 EXPECT_FALSE(none.MayDependOn(write)); in testWriteAndReadSanity()
64 EXPECT_FALSE(write.MayDependOn(none)); in testWriteAndReadSanity()
69 void testWriteAndReadDependence(SideEffects write, SideEffects read) { in testWriteAndReadDependence() argument
70 testWriteAndReadSanity(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 testWriteAndReadSanity(write, read); in testNoWriteAndReadDependence()
81 EXPECT_FALSE(write.MayDependOn(read)); in testNoWriteAndReadDependence()
82 EXPECT_FALSE(read.MayDependOn(write)); in testNoWriteAndReadDependence()