45 void testWriteAndReadEffects(SideEffects write, SideEffects read) {  in testWriteAndReadEffects()
55   SideEffects all = SideEffects::All();  in testWriteAndReadEffects()
62   SideEffects none = SideEffects::None();  in testWriteAndReadEffects()
69 void testWriteAndReadDependence(SideEffects write, SideEffects read) {  in testWriteAndReadDependence()
77 void testNoWriteAndReadDependence(SideEffects write, SideEffects read) {  in testNoWriteAndReadDependence()
90   SideEffects all = SideEffects::All();  in TEST()
98   SideEffects none = SideEffects::None();  in TEST()
110         SideEffects::FieldWriteOfType(type, false),  in TEST()
111         SideEffects::FieldReadOfType(type, false));  in TEST()
113         SideEffects::ArrayWriteOfType(type),  in TEST()
114         SideEffects::ArrayReadOfType(type));  in TEST()
117         SideEffects::FieldWriteOfType(type, false),  in TEST()
118         SideEffects::ArrayReadOfType(type));  in TEST()
120         SideEffects::ArrayWriteOfType(type),  in TEST()
121         SideEffects::FieldReadOfType(type, false));  in TEST()
128       SideEffects::FieldWriteOfType(DataType::Type::kInt32, false),  in TEST()
129       SideEffects::FieldReadOfType(DataType::Type::kFloat64, false));  in TEST()
131       SideEffects::ArrayWriteOfType(DataType::Type::kInt32),  in TEST()
132       SideEffects::ArrayReadOfType(DataType::Type::kFloat64));  in TEST()
135       SideEffects::FieldWriteOfType(DataType::Type::kInt32, false),  in TEST()
136       SideEffects::ArrayReadOfType(DataType::Type::kFloat64));  in TEST()
138       SideEffects::ArrayWriteOfType(DataType::Type::kInt32),  in TEST()
139       SideEffects::FieldReadOfType(DataType::Type::kFloat64, false));  in TEST()
143   SideEffects volatile_write =  in TEST()
144       SideEffects::FieldWriteOfType(DataType::Type::kInt32, /* is_volatile= */ true);  in TEST()
145   SideEffects any_write =  in TEST()
146       SideEffects::FieldWriteOfType(DataType::Type::kInt32, /* is_volatile= */ false);  in TEST()
147   SideEffects volatile_read =  in TEST()
148       SideEffects::FieldReadOfType(DataType::Type::kInt8, /* is_volatile= */ true);  in TEST()
149   SideEffects any_read =  in TEST()
150       SideEffects::FieldReadOfType(DataType::Type::kInt8, /* is_volatile= */ false);  in TEST()
166       SideEffects::FieldWriteOfType(DataType::Type::kInt32, /* is_volatile= */ false),  in TEST()
167       SideEffects::FieldReadOfType(DataType::Type::kFloat32, /* is_volatile= */ false));  in TEST()
169       SideEffects::ArrayWriteOfType(DataType::Type::kInt32),  in TEST()
170       SideEffects::ArrayReadOfType(DataType::Type::kFloat32));  in TEST()
173       SideEffects::FieldWriteOfType(DataType::Type::kInt64, /* is_volatile= */ false),  in TEST()
174       SideEffects::FieldReadOfType(DataType::Type::kFloat64, /* is_volatile= */ false));  in TEST()
176       SideEffects::ArrayWriteOfType(DataType::Type::kInt64),  in TEST()
177       SideEffects::ArrayReadOfType(DataType::Type::kFloat64));  in TEST()
181   SideEffects s = SideEffects::None();  in TEST()
184     s = s.Union(SideEffects::FieldWriteOfType(type, /* is_volatile= */ false));  in TEST()
185     s = s.Union(SideEffects::ArrayWriteOfType(type));  in TEST()
186     s = s.Union(SideEffects::FieldReadOfType(type, /* is_volatile= */ false));  in TEST()
187     s = s.Union(SideEffects::ArrayReadOfType(type));  in TEST()
193   SideEffects can_trigger_gc = SideEffects::CanTriggerGC();  in TEST()
194   SideEffects depends_on_gc = SideEffects::DependsOnGC();  in TEST()
195   SideEffects all_changes = SideEffects::AllChanges();  in TEST()
196   SideEffects all_dependencies = SideEffects::AllDependencies();  in TEST()
216       SideEffects::None().ToString().c_str());  in TEST()
219       SideEffects::All().ToString().c_str());  in TEST()
222       SideEffects::AllWrites().ToString().c_str());  in TEST()
225       SideEffects::AllReads().ToString().c_str());  in TEST()
228       SideEffects::FieldWriteOfType(DataType::Type::kReference, false).ToString().c_str());  in TEST()
231       SideEffects::FieldWriteOfType(DataType::Type::kReference, true).ToString().c_str());  in TEST()
234       SideEffects::ArrayWriteOfType(DataType::Type::kBool).ToString().c_str());  in TEST()
237       SideEffects::ArrayWriteOfType(DataType::Type::kUint16).ToString().c_str());  in TEST()
240       SideEffects::ArrayWriteOfType(DataType::Type::kInt16).ToString().c_str());  in TEST()
243       SideEffects::FieldReadOfType(DataType::Type::kInt8, false).ToString().c_str());  in TEST()
246       SideEffects::ArrayReadOfType(DataType::Type::kFloat64).ToString().c_str());  in TEST()
249       SideEffects::ArrayReadOfType(DataType::Type::kInt64).ToString().c_str());  in TEST()
252       SideEffects::ArrayReadOfType(DataType::Type::kFloat32).ToString().c_str());  in TEST()
255       SideEffects::ArrayReadOfType(DataType::Type::kInt32).ToString().c_str());  in TEST()
256   SideEffects s = SideEffects::None();  in TEST()
257   s = s.Union(SideEffects::FieldWriteOfType(DataType::Type::kUint16, /* is_volatile= */ false));  in TEST()
258   s = s.Union(SideEffects::FieldWriteOfType(DataType::Type::kInt64, /* is_volatile= */ false));  in TEST()
259   s = s.Union(SideEffects::ArrayWriteOfType(DataType::Type::kInt16));  in TEST()
260   s = s.Union(SideEffects::FieldReadOfType(DataType::Type::kInt32, /* is_volatile= */ false));  in TEST()
261   s = s.Union(SideEffects::ArrayReadOfType(DataType::Type::kFloat32));  in TEST()
262   s = s.Union(SideEffects::ArrayReadOfType(DataType::Type::kFloat64));  in TEST()