Collaboration diagram for v8::internal::HCheckTableEntry:

Public Types
enum	State { CHECKED , CHECKED_STABLE , UNCHECKED_STABLE }

Static Public Member Functions
static const char *	State2String (State state)

static State	StateMerge (State state1, State state2)

Public Attributes
HValue *	object_

HInstruction *	check_

MapSet	maps_

State	state_

Detailed Description

Definition at line 27 of file hydrogen-check-elimination.cc.

Member Enumeration Documentation

◆ State

enum v8::internal::HCheckTableEntry::State

Enumerator
CHECKED
CHECKED_STABLE
UNCHECKED_STABLE

Definition at line 28 of file hydrogen-check-elimination.cc.

              {
     // We have seen a map check (i.e. an HCheckMaps) for these maps, so we can
     // use this information to eliminate further map checks, elements kind
     // transitions, etc.
     CHECKED,
     // Same as CHECKED, but we also know that these maps are stable.
     CHECKED_STABLE,
     // These maps are stable, but not checked (i.e. we learned this via field
     // type tracking or from a constant, or they were initially CHECKED_STABLE,
     // but became UNCHECKED_STABLE because of an instruction that changes maps
     // or elements kind), and we need a stability check for them in order to use
     // this information for check elimination (which turns them back to
     // CHECKED_STABLE).
     UNCHECKED_STABLE
   };

Member Function Documentation

◆ State2String()

static const char* v8::internal::HCheckTableEntry::State2String ( State state )

inlinestatic

Definition at line 44 of file hydrogen-check-elimination.cc.

                                                {
     switch (state) {
       case CHECKED: return "checked";
       case CHECKED_STABLE: return "checked stable";
       case UNCHECKED_STABLE: return "unchecked stable";
     }
     UNREACHABLE();
     return NULL;
   }

References CHECKED, CHECKED_STABLE, NULL, UNCHECKED_STABLE, and UNREACHABLE.

Referenced by v8::internal::HCheckTable::Print().

Here is the caller graph for this function:

◆ StateMerge()

static State v8::internal::HCheckTableEntry::StateMerge	(	State	state1,
		State	state2
	)

inlinestatic

Definition at line 54 of file hydrogen-check-elimination.cc.

                                                       {
     if (state1 == state2) return state1;
     if ((state1 == CHECKED && state2 == CHECKED_STABLE) ||
         (state2 == CHECKED && state1 == CHECKED_STABLE)) {
       return CHECKED;
     }
     DCHECK((state1 == CHECKED_STABLE && state2 == UNCHECKED_STABLE) ||
            (state2 == CHECKED_STABLE && state1 == UNCHECKED_STABLE));
     return UNCHECKED_STABLE;
   }