Lines Matching defs:check
14 // If in the dominator tree we check "exp + v1" and later (dominated)
15 // "exp + v2", if v2 <= v1 we can safely remove the second check, and if
16 // v2 > v1 we can use v2 in the 1st check and again remove the second.
30 HBoundsCheck* check,
32 if (!check->index()->representation().IsSmiOrInteger32()) return NULL;
38 if (check->index()->IsAdd()) {
39 HAdd* index = HAdd::cast(check->index());
47 } else if (check->index()->IsSub()) {
48 HSub* index = HSub::cast(check->index());
54 } else if (check->index()->IsConstant()) {
55 index_base = check->block()->graph()->GetConstant0();
56 constant = HConstant::cast(check->index());
65 index_base = check->index();
68 return new(zone) BoundsCheckKey(index_base, check->length());
88 // linked list) of "data" for each basic block that contains a relevant check
93 // Doing this each dictionary entry always directly points to the check that
96 // decide if any check is already "covered" (so it can be removed) or not.
114 void UpdateUpperOffsets(HBoundsCheck* check, int32_t offset) {
116 while (data != NULL && data->UpperCheck() == check) {
123 void UpdateLowerOffsets(HBoundsCheck* check, int32_t offset) {
125 while (data != NULL && data->LowerCheck() == check) {
140 // If HasSingleCheck() is true then new_check is added as "second check"
174 base::OS::Print("Eliminating check #%d after tightening\n",
184 base::OS::Print("Moving second check #%d after first check #%d\n",
295 base::OS::Print("Tightened check #%d with offset %d from #%d\n",
346 // Also replace the results of check instructions with the original value, if
349 // by check instructions is really a copy of the original value.
392 HBoundsCheck* check = HBoundsCheck::cast(i);
395 BoundsCheckKey::Create(zone(), check, &offset);
404 check,
405 check,
410 base::OS::Print("Fresh bounds check data for block #%d: [%d]\n",
417 base::OS::Print("Eliminating bounds check #%d, offset %d is covered\n",
418 check->id(), offset);
420 check->DeleteAndReplaceWith(check->ActualValue());
426 // data->CoverCheck(check, offset)
432 check in a dominated
435 data->CoverCheck(check, offset);
453 base::OS::Print("Updated bounds check data for block #%d: [%d - %d]\n",
