Lines Matching defs:checks
67 EffectPathChecks const* checks) {
68 return zone->New<EffectPathChecks>(*checks);
193 // {a} subsumes {b} if the modes are either the same, or {a} checks
257 Node* node, EffectPathChecks const* checks) {
260 info_for_node_[id] = checks;
265 EffectPathChecks const* checks = node_checks_.Get(effect);
268 if (checks == nullptr) return NoChange();
270 if (Node* check = checks->LookupCheck(node)) {
276 return UpdateChecks(node, checks->AddCheck(zone(), node));
296 // Make a copy of the first input's checks and merge with the checks
298 EffectPathChecks* checks = EffectPathChecks::Copy(
302 checks->Merge(node_checks_.Get(input));
304 return UpdateChecks(node, checks);
314 EffectPathChecks const* checks = node_checks_.Get(effect);
318 if (checks == nullptr) return NoChange();
330 if (Node* check = checks->LookupBoundsCheckFor(first)) {
348 if (Node* check = checks->LookupBoundsCheckFor(second)) {
362 return UpdateChecks(node, checks);
376 EffectPathChecks const* checks = node_checks_.Get(effect);
379 if (checks == nullptr) return NoChange();
385 if (Node* check = checks->LookupBoundsCheckFor(first)) {
395 return UpdateChecks(node, checks);
419 EffectPathChecks const* checks = node_checks_.Get(effect);
422 if (checks == nullptr) return NoChange();
425 return UpdateChecks(node, checks);
429 EffectPathChecks const* checks) {
431 // Only signal that the {node} has Changed, if the information about {checks}
433 if (checks != original) {
434 if (original == nullptr || !checks->Equals(original)) {
435 node_checks_.Set(node, checks);