Lines Matching refs:read
45 void testWriteAndReadEffects(SideEffects write, SideEffects read) { in testWriteAndReadEffects() argument
47 EXPECT_FALSE(read.DoesNothing()); in testWriteAndReadEffects()
51 EXPECT_FALSE(read.DoesAnyWrite()); in testWriteAndReadEffects()
52 EXPECT_TRUE(read.DoesAnyRead()); in testWriteAndReadEffects()
58 EXPECT_FALSE(all.MayDependOn(read)); in testWriteAndReadEffects()
59 EXPECT_TRUE(read.MayDependOn(all)); in testWriteAndReadEffects()
65 EXPECT_FALSE(none.MayDependOn(read)); in testWriteAndReadEffects()
66 EXPECT_FALSE(read.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()