Lines Matching defs:check
5 #include "src/crankshaft/hydrogen-check-elimination.h"
29 // We have seen a map check (i.e. an HCheckMaps) for these maps, so we can
38 // or elements kind), and we need a stability check for them in order to use
39 // this information for check elimination (which turns them back to
66 HInstruction* check_; // The last check instruction.
72 // The main data structure used during check elimination, which stores a
185 // Keep the check if the existing check's block dominates the successor.
190 // Leave it NULL till we meet a new check instruction for this object
368 // The first check is more strict; the second is redundant.
377 TRACE(("Marking redundant CheckMaps #%d at B%d as stability check\n",
385 // Mark check as dead but leave it in the graph as a checkpoint for
409 // Narrow set of maps in the second check maps instruction.
413 // There is a check in the same block so replace it with a more
414 // strict check and eliminate the second check entirely.
415 HCheckMaps* check = HCheckMaps::cast(entry->check_);
416 DCHECK(!check->IsStabilityCheck());
417 TRACE(("CheckMaps #%d at B%d narrowed\n", check->id(),
418 check->block()->block_id()));
419 // Update map set and ensure that the check is alive.
420 check->set_maps(intersection);
421 check->ClearFlag(HValue::kIsDead);
443 HCheckMaps* check = instr->IsStabilityCheck() ? NULL : instr;
444 Insert(object, check, instr->maps(), state);
452 if (instr->check() == HCheckInstanceType::IS_STRING) {
495 // Check if we introduce field maps here.
547 CHECK(!instr->CheckChangesFlag(kMaps));
660 HCheckMaps* check = HCheckMaps::CreateAndInsertBefore(
662 check->MarkAsStabilityCheck();
750 PrintF("check #%d ", entry->check_->id());
774 HInstruction* check,
777 Insert(object, check, new(zone()) UniqueSet<Map>(map, zone()), state);
781 HInstruction* check,
784 DCHECK(state != HCheckTableEntry::UNCHECKED_STABLE || check == NULL);
787 entry->check_ = check;
810 // needed for check elimination.
839 // Apply these effects to the given check elimination table.
