v8::internal::TypeImpl< Config > Class Template Reference

#include <types.h>

Inheritance diagram for v8::internal::TypeImpl< Config >:

Collaboration diagram for v8::internal::TypeImpl< Config >:

Classes
class	ArrayType
class	BitsetType
class	ClassType
class	ConstantType
class	ContextType
class	FunctionType
class	Iterator
struct	Limits
class	RangeType
class	StructuralType
class	UnionType

Public Types
enum	PrintDimension { BOTH_DIMS , SEMANTIC_DIM , REPRESENTATION_DIM }
typedef uint32_t	bitset
typedef Config::template Handle< TypeImpl >::type	TypeHandle
typedef Config::template Handle< ClassType >::type	ClassHandle
typedef Config::template Handle< ConstantType >::type	ConstantHandle
typedef Config::template Handle< RangeType >::type	RangeHandle
typedef Config::template Handle< ContextType >::type	ContextHandle
typedef Config::template Handle< ArrayType >::type	ArrayHandle
typedef Config::template Handle< FunctionType >::type	FunctionHandle
typedef Config::template Handle< UnionType >::type	UnionHandle
typedef Config::Region	Region

Public Member Functions
bool	IsInhabited ()
bool	Is (TypeImpl *that)
template<class TypeHandle >
bool	Is (TypeHandle that)
bool	Maybe (TypeImpl *that)
template<class TypeHandle >
bool	Maybe (TypeHandle that)
bool	Equals (TypeImpl *that)
template<class TypeHandle >
bool	Equals (TypeHandle that)
bool	Contains (i::Object *val)
bool	Contains (i::Handle< i::Object > val)
bool	NowIs (TypeImpl *that)
template<class TypeHandle >
bool	NowIs (TypeHandle that)
bool	NowContains (i::Object *val)
bool	NowContains (i::Handle< i::Object > val)
bool	NowStable ()
bool	IsClass ()
bool	IsConstant ()
bool	IsRange ()
bool	IsContext ()
bool	IsArray ()
bool	IsFunction ()
ClassType *	AsClass ()
ConstantType *	AsConstant ()
RangeType *	AsRange ()
ContextType *	AsContext ()
ArrayType *	AsArray ()
FunctionType *	AsFunction ()
double	Min ()
double	Max ()
int	NumClasses ()
int	NumConstants ()
Iterator< i::Map >	Classes ()
Iterator< i::Object >	Constants ()
void	PrintTo (OStream &os, PrintDimension dim=BOTH_DIMS)
template<class OtherType >
TypeImpl< Config >::TypeHandle	Convert (typename OtherType::TypeHandle type, Region *region)

Static Public Member Functions
static TypeHandle	Class (i::Handle< i::Map > map, Region *region)
static TypeHandle	Constant (i::Handle< i::Object > value, Region *region)
static TypeHandle	Range (i::Handle< i::Object > min, i::Handle< i::Object > max, Region *region)
static TypeHandle	Context (TypeHandle outer, Region *region)
static TypeHandle	Array (TypeHandle element, Region *region)
static FunctionHandle	Function (TypeHandle result, TypeHandle receiver, int arity, Region *region)
static TypeHandle	Function (TypeHandle result, Region *region)
static TypeHandle	Function (TypeHandle result, TypeHandle param0, Region *region)
static TypeHandle	Function (TypeHandle result, TypeHandle param0, TypeHandle param1, Region *region)
static TypeHandle	Function (TypeHandle result, TypeHandle param0, TypeHandle param1, TypeHandle param2, Region *region)
static TypeHandle	Union (TypeHandle type1, TypeHandle type2, Region *reg)
static TypeHandle	Intersect (TypeHandle type1, TypeHandle type2, Region *reg)
static TypeHandle	Of (double value, Region *region)
static TypeHandle	Of (i::Object *value, Region *region)
static TypeHandle	Of (i::Handle< i::Object > value, Region *region)
static TypeHandle	NowOf (i::Object *value, Region *region)
static TypeHandle	NowOf (i::Handle< i::Object > value, Region *region)
static TypeImpl *	cast (typename Config::Base *object)
template<class OtherTypeImpl >
static TypeHandle	Convert (typename OtherTypeImpl::TypeHandle type, Region *region)

Protected Member Functions
TypeImpl *	unhandle ()
bool	IsNone ()
bool	IsAny ()
bool	IsBitset ()
bool	IsUnion ()
bitset	AsBitset ()
UnionType *	AsUnion ()
bitset	BitsetGlb ()
bitset	BitsetLub ()
bool	SlowIs (TypeImpl *that)
RangeType *	GetRange ()
bool	SimplyEquals (TypeImpl *that)
template<class TypeHandle >
bool	SimplyEquals (TypeHandle that)

Static Protected Member Functions
template<class T >
static Config::template Handle< T >::type	handle (T *type)
static bool	IsInteger (double x)
static bool	IsInteger (i::Object *x)
static Limits	Intersect (Limits lhs, Limits rhs)
static Limits	Union (Limits lhs, Limits rhs)
static bool	Overlap (RangeType *lhs, RangeType *rhs)
static bool	Contains (RangeType *lhs, RangeType *rhs)
static bool	Contains (RangeType *range, i::Object *val)
static int	UpdateRange (RangeHandle type, UnionHandle result, int size, Region *region)
static int	AddToUnion (TypeHandle type, UnionHandle result, int size, Region *region)
static int	IntersectAux (TypeHandle type, TypeHandle other, UnionHandle result, int size, Region *region)
static TypeHandle	NormalizeUnion (UnionHandle unioned, int size)

Friends
template<class >
class	Iterator
template<class >
class	TypeImpl

Detailed Description

template<class Config>
class v8::internal::TypeImpl< Config >

Definition at line 289 of file types.h.

Member Typedef Documentation

ArrayHandle

template<class Config >

typedef Config::template Handle<ArrayType>::type v8::internal::TypeImpl< Config >::ArrayHandle

Definition at line 310 of file types.h.

bitset

template<class Config >

typedef uint32_t v8::internal::TypeImpl< Config >::bitset

Definition at line 293 of file types.h.

ClassHandle

template<class Config >

typedef Config::template Handle<ClassType>::type v8::internal::TypeImpl< Config >::ClassHandle

Definition at line 306 of file types.h.

ConstantHandle

template<class Config >

typedef Config::template Handle<ConstantType>::type v8::internal::TypeImpl< Config >::ConstantHandle

Definition at line 307 of file types.h.

ContextHandle

template<class Config >

typedef Config::template Handle<ContextType>::type v8::internal::TypeImpl< Config >::ContextHandle

Definition at line 309 of file types.h.

FunctionHandle

template<class Config >

typedef Config::template Handle<FunctionType>::type v8::internal::TypeImpl< Config >::FunctionHandle

Definition at line 311 of file types.h.

RangeHandle

template<class Config >

typedef Config::template Handle<RangeType>::type v8::internal::TypeImpl< Config >::RangeHandle

Definition at line 308 of file types.h.

Region

template<class Config >

typedef Config::Region v8::internal::TypeImpl< Config >::Region

Definition at line 313 of file types.h.

TypeHandle

template<class Config >

typedef Config::template Handle<TypeImpl>::type v8::internal::TypeImpl< Config >::TypeHandle

Definition at line 305 of file types.h.

UnionHandle

template<class Config >

typedef Config::template Handle<UnionType>::type v8::internal::TypeImpl< Config >::UnionHandle

Definition at line 312 of file types.h.

Member Enumeration Documentation

PrintDimension

template<class Config >

enum v8::internal::TypeImpl::PrintDimension

Enumerator
BOTH_DIMS
SEMANTIC_DIM
REPRESENTATION_DIM

Definition at line 479 of file types.h.

{ BOTH_DIMS, SEMANTIC_DIM, REPRESENTATION_DIM };

Member Function Documentation

AddToUnion()

template<class Config >

int v8::internal::TypeImpl< Config >::AddToUnion ( TypeHandle  type, UnionHandle  result, int  size, Region *  region  )

staticprotected

Definition at line 790 of file types.cc.

                                                                   {
  if (type->IsBitset() || type->IsRange()) return size;
  if (type->IsUnion()) {
    for (int i = 0, n = type->AsUnion()->Length(); i < n; ++i) {
      size = AddToUnion(type->AsUnion()->Get(i), result, size, region);
    }
    return size;
  }
  for (int i = 0; i < size; ++i) {
    if (type->Is(result->Get(i))) return size;
  }
  result->Set(size++, type);
  return size;
}

References size.

Referenced by v8::internal::TypeImpl< Config >::Union().

Here is the caller graph for this function:

Array()

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Array ( TypeHandle  element, Region *  region  )

inlinestatic

Definition at line 340 of file types.h.

                                                              {
    return ArrayType::New(element, region);
  }

References v8::internal::TypeImpl< Config >::ArrayType::New().

Here is the call graph for this function:

AsArray()

template<class Config >

ArrayType* v8::internal::TypeImpl< Config >::AsArray ( )

inline

Definition at line 446 of file types.h.

{ return ArrayType::cast(this); }

References v8::internal::TypeImpl< Config >::ArrayType::cast().

Referenced by v8::internal::TypeImpl< Config >::PrintTo().

Here is the call graph for this function:

Here is the caller graph for this function:

AsBitset()

template<class Config >

bitset v8::internal::TypeImpl< Config >::AsBitset ( )

inlineprotected

Definition at line 508 of file types.h.

                    {
    DCHECK(this->IsBitset());
    return static_cast<BitsetType*>(this)->Bitset();
  }

References DCHECK, and v8::internal::TypeImpl< Config >::IsBitset().

Referenced by v8::internal::TypeImpl< Config >::BitsetType::Glb(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::PrintTo(), and v8::internal::TypeImpl< Config >::SlowIs().

Here is the call graph for this function:

Here is the caller graph for this function:

AsClass()

template<class Config >

ClassType* v8::internal::TypeImpl< Config >::AsClass ( )

inline

Definition at line 442 of file types.h.

{ return ClassType::cast(this); }

References v8::internal::TypeImpl< Config >::ClassType::cast().

Referenced by v8::internal::TypeImpl< ZoneTypeConfig >::Iterator::Advance(), v8::internal::HOptimizedGraphBuilder::BuildCompareInstruction(), v8::internal::CanInlinePropertyAccess(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::PrintTo(), v8::internal::TypeImpl< Config >::SimplyEquals(), and v8::internal::IC::TypeToMap().

Here is the call graph for this function:

Here is the caller graph for this function:

AsConstant()

template<class Config >

ConstantType* v8::internal::TypeImpl< Config >::AsConstant ( )

inline

Definition at line 443 of file types.h.

{ return ConstantType::cast(this); }

References v8::internal::TypeImpl< Config >::ConstantType::cast().

Referenced by v8::internal::TypeImpl< ZoneTypeConfig >::Iterator::get_type(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::NowIs(), v8::internal::TypeImpl< Config >::PrintTo(), and v8::internal::IC::TypeToMap().

Here is the call graph for this function:

Here is the caller graph for this function:

AsContext()

template<class Config >

ContextType* v8::internal::TypeImpl< Config >::AsContext ( )

inline

Definition at line 445 of file types.h.

{ return ContextType::cast(this); }

References v8::internal::TypeImpl< Config >::ContextType::cast().

Referenced by v8::internal::TypeImpl< Config >::PrintTo().

Here is the call graph for this function:

Here is the caller graph for this function:

AsFunction()

template<class Config >

FunctionType* v8::internal::TypeImpl< Config >::AsFunction ( )

inline

Definition at line 447 of file types.h.

{ return FunctionType::cast(this); }

References v8::internal::TypeImpl< Config >::FunctionType::cast().

Referenced by v8::internal::TypeImpl< Config >::PrintTo().

Here is the call graph for this function:

Here is the caller graph for this function:

AsRange()

template<class Config >

RangeType* v8::internal::TypeImpl< Config >::AsRange ( )

inline

Definition at line 444 of file types.h.

{ return RangeType::cast(this); }

References v8::internal::TypeImpl< Config >::RangeType::cast().

Referenced by v8::internal::TypeImpl< Config >::GetRange(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), and v8::internal::TypeImpl< Config >::PrintTo().

Here is the call graph for this function:

Here is the caller graph for this function:

AsUnion()

template<class Config >

UnionType* v8::internal::TypeImpl< Config >::AsUnion ( )

inlineprotected

Definition at line 512 of file types.h.

{ return UnionType::cast(this); }

References v8::internal::TypeImpl< Config >::UnionType::cast().

Referenced by v8::internal::TypeImpl< ZoneTypeConfig >::AddToUnion(), v8::internal::TypeImpl< Config >::BitsetType::Glb(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< ZoneTypeConfig >::Max(), v8::internal::TypeImpl< Config >::Maybe(), v8::internal::TypeImpl< Config >::NumClasses(), v8::internal::TypeImpl< Config >::NumConstants(), v8::internal::TypeImpl< Config >::PrintTo(), and v8::internal::TypeImpl< Config >::SlowIs().

Here is the call graph for this function:

Here is the caller graph for this function:

BitsetGlb()

template<class Config >

bitset v8::internal::TypeImpl< Config >::BitsetGlb ( )

inlineprotected

Definition at line 516 of file types.h.

{ return BitsetType::Glb(this); }

References v8::internal::TypeImpl< Config >::BitsetType::Glb().

Referenced by v8::internal::TypeImpl< Config >::SlowIs().

Here is the call graph for this function:

Here is the caller graph for this function:

BitsetLub()

template<class Config >

bitset v8::internal::TypeImpl< Config >::BitsetLub ( )

inlineprotected

Definition at line 517 of file types.h.

{ return BitsetType::Lub(this); }

References v8::internal::TypeImpl< Config >::BitsetType::Lub().

Referenced by v8::internal::TypeImpl< Config >::IsInhabited(), v8::internal::TypeImpl< Config >::PrintTo(), and v8::internal::TypeImpl< Config >::SlowIs().

Here is the call graph for this function:

Here is the caller graph for this function:

cast()

template<class Config >

TypeImpl< Config > * v8::internal::TypeImpl< Config >::cast ( typename Config::Base *  object )

inlinestatic

Definition at line 20 of file types-inl.h.

                                                                    {
  TypeImpl* t = static_cast<TypeImpl*>(object);
  DCHECK(t->IsBitset() || t->IsClass() || t->IsConstant() || t->IsRange() ||
         t->IsUnion() || t->IsArray() || t->IsFunction() || t->IsContext());
  return t;
}

References DCHECK, v8::internal::TypeImpl< Config >::IsArray(), v8::internal::TypeImpl< Config >::IsBitset(), v8::internal::TypeImpl< Config >::IsClass(), v8::internal::TypeImpl< Config >::IsConstant(), v8::internal::TypeImpl< Config >::IsContext(), v8::internal::TypeImpl< Config >::IsFunction(), v8::internal::TypeImpl< Config >::IsRange(), and v8::internal::TypeImpl< Config >::IsUnion().

Referenced by v8::internal::DescriptorArray::GetFieldType(), and v8::internal::Map::TryUpdateInternal().

Here is the call graph for this function:

Here is the caller graph for this function:

Class()

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Class ( i::Handle< i::Map >  map, Region *  region  )

inlinestatic

Definition at line 327 of file types.h.

                                                             {
    return ClassType::New(map, region);
  }

References map, and v8::internal::TypeImpl< Config >::ClassType::New().

Referenced by v8::internal::PropertyICCompiler::ComputeKeyedLoadMonomorphic(), v8::internal::PropertyICCompiler::ComputeKeyedLoadPolymorphic(), and v8::internal::Object::OptimalType().

Here is the call graph for this function:

Here is the caller graph for this function:

Classes()

template<class Config >

Iterator<i::Map> v8::internal::TypeImpl< Config >::Classes ( )

inline

Definition at line 460 of file types.h.

                           {
    if (this->IsBitset()) return Iterator<i::Map>();
    return Iterator<i::Map>(Config::handle(this));
  }

References v8::internal::handle(), and v8::internal::TypeImpl< Config >::IsBitset().

Referenced by v8::internal::HGraphBuilder::BuildCompareNil(), and v8::internal::TypeImpl< Config >::NowStable().

Here is the call graph for this function:

Here is the caller graph for this function:

Constant()

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Constant ( i::Handle< i::Object >  value, Region *  region  )

inlinestatic

Definition at line 330 of file types.h.

                                                                     {
    return ConstantType::New(value, region);
  }

References v8::internal::TypeImpl< Config >::ConstantType::New().

Referenced by v8::internal::IC::CurrentTypeOf(), v8::internal::Map::GeneralizeRepresentation(), and v8::internal::PropertyCell::UpdatedType().

Here is the call graph for this function:

Here is the caller graph for this function:

Constants()

template<class Config >

Iterator<i::Object> v8::internal::TypeImpl< Config >::Constants ( )

inline

Definition at line 464 of file types.h.

                                {
    if (this->IsBitset()) return Iterator<i::Object>();
    return Iterator<i::Object>(Config::handle(this));
  }

References v8::internal::handle(), and v8::internal::TypeImpl< Config >::IsBitset().

Referenced by v8::internal::TypeImpl< Config >::Contains().

Here is the call graph for this function:

Here is the caller graph for this function:

Contains() [1/4]

template<class Config >

bool v8::internal::TypeImpl< Config >::Contains ( i::Handle< i::Object >  val )

inline

Definition at line 404 of file types.h.

{ return this->Contains(*val); }

References v8::internal::TypeImpl< Config >::Contains().

Referenced by v8::internal::TypeImpl< Config >::Contains().

Here is the call graph for this function:

Here is the caller graph for this function:

Contains() [2/4]

template<class Config >

bool v8::internal::TypeImpl< Config >::Contains

(

i::Object *

val

)

Definition at line 559 of file types.cc.

                                              {
  DisallowHeapAllocation no_allocation;
  for (Iterator<i::Object> it = this->Constants(); !it.Done(); it.Advance()) {
    if (*it.Current() == value) return true;
  }
  if (IsInteger(value)) {
    RangeType* range = this->GetRange();
    if (range != NULL && Contains(range, value)) return true;
  }
  return BitsetType::New(BitsetType::Lub(value))->Is(this);
}

References v8::internal::TypeImpl< Config >::Constants(), v8::internal::TypeImpl< Config >::GetRange(), v8::internal::TypeImpl< Config >::Is(), v8::internal::TypeImpl< Config >::IsInteger(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::BitsetType::New(), and NULL.

Here is the call graph for this function:

Contains() [3/4]

template<class Config >

static bool v8::internal::TypeImpl< Config >::Contains ( RangeType *  lhs, RangeType *  rhs  )

staticprotected

Contains() [4/4]

template<class Config >

static bool v8::internal::TypeImpl< Config >::Contains ( RangeType *  range, i::Object *  val  )

staticprotected

Context()

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Context ( TypeHandle  outer, Region *  region  )

inlinestatic

Definition at line 337 of file types.h.

                                                              {
    return ContextType::New(outer, region);
  }

References v8::internal::TypeImpl< Config >::ContextType::New().

Here is the call graph for this function:

Convert() [1/2]

template<class Config >

template<class OtherType >

TypeImpl<Config>::TypeHandle v8::internal::TypeImpl< Config >::Convert	(	typename OtherType::TypeHandle	type,
		Region *	region
	)

Definition at line 931 of file types.cc.

                                                       {
  if (type->IsBitset()) {
    return BitsetType::New(type->AsBitset(), region);
  } else if (type->IsClass()) {
    return ClassType::New(type->AsClass()->Map(), region);
  } else if (type->IsConstant()) {
    return ConstantType::New(type->AsConstant()->Value(), region);
  } else if (type->IsRange()) {
    return RangeType::New(
        type->AsRange()->Min(), type->AsRange()->Max(), region);
  } else if (type->IsContext()) {
    TypeHandle outer = Convert<OtherType>(type->AsContext()->Outer(), region);
    return ContextType::New(outer, region);
  } else if (type->IsUnion()) {
    int length = type->AsUnion()->Length();
    UnionHandle unioned = UnionType::New(length, region);
    for (int i = 0; i < length; ++i) {
      TypeHandle t = Convert<OtherType>(type->AsUnion()->Get(i), region);
      unioned->Set(i, t);
    }
    return unioned;
  } else if (type->IsArray()) {
    TypeHandle element = Convert<OtherType>(type->AsArray()->Element(), region);
    return ArrayType::New(element, region);
  } else if (type->IsFunction()) {
    TypeHandle res = Convert<OtherType>(type->AsFunction()->Result(), region);
    TypeHandle rcv = Convert<OtherType>(type->AsFunction()->Receiver(), region);
    FunctionHandle function = FunctionType::New(
        res, rcv, type->AsFunction()->Arity(), region);
    for (int i = 0; i < function->Arity(); ++i) {
      TypeHandle param = Convert<OtherType>(
          type->AsFunction()->Parameter(i), region);
      function->InitParameter(i, param);
    }
    return function;
  } else {
    UNREACHABLE();
    return None(region);
  }
}

References v8::internal::TypeImpl< Config >::BitsetType::New(), v8::internal::TypeImpl< Config >::ClassType::New(), v8::internal::TypeImpl< Config >::RangeType::New(), v8::internal::TypeImpl< Config >::ConstantType::New(), v8::internal::TypeImpl< Config >::UnionType::New(), v8::internal::TypeImpl< Config >::ArrayType::New(), v8::internal::TypeImpl< Config >::ContextType::New(), v8::internal::TypeImpl< Config >::FunctionType::New(), v8::None, and UNREACHABLE.

Here is the call graph for this function:

Convert() [2/2]

template<class Config >

template<class OtherTypeImpl >

static TypeHandle v8::internal::TypeImpl< Config >::Convert ( typename OtherTypeImpl< Config >::TypeHandle  type, Region *  region  )

static

Equals() [1/2]

template<class Config >

template<class TypeHandle >

bool v8::internal::TypeImpl< Config >::Equals ( TypeHandle  that )

inline

Definition at line 400 of file types.h.

{ return this->Equals(*that); }

References v8::internal::TypeImpl< Config >::Equals().

Referenced by v8::internal::TypeImpl< Config >::Equals().

Here is the call graph for this function:

Here is the caller graph for this function:

Equals() [2/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::Equals ( TypeImpl< Config > *  that )

inline

Definition at line 398 of file types.h.

{ return this->Is(that) && that->Is(this); }

References v8::internal::TypeImpl< Config >::Is().

Here is the call graph for this function:

Function() [1/5]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Function ( TypeHandle  result, Region *  region  )

inlinestatic

Definition at line 347 of file types.h.

                                                                {
    return Function(result, Any(region), 0, region);
  }

References v8::internal::TypeImpl< Config >::Function().

Here is the call graph for this function:

Function() [2/5]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Function ( TypeHandle  result, TypeHandle  param0, Region *  region  )

inlinestatic

Definition at line 350 of file types.h.

                                                            {
    FunctionHandle function = Function(result, Any(region), 1, region);
    function->InitParameter(0, param0);
    return function;
  }

References v8::internal::TypeImpl< Config >::Function().

Here is the call graph for this function:

Function() [3/5]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Function ( TypeHandle  result, TypeHandle  param0, TypeHandle  param1, Region *  region  )

inlinestatic

Definition at line 356 of file types.h.

                                                                               {
    FunctionHandle function = Function(result, Any(region), 2, region);
    function->InitParameter(0, param0);
    function->InitParameter(1, param1);
    return function;
  }

References v8::internal::TypeImpl< Config >::Function().

Here is the call graph for this function:

Function() [4/5]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Function ( TypeHandle  result, TypeHandle  param0, TypeHandle  param1, TypeHandle  param2, Region *  region  )

inlinestatic

Definition at line 363 of file types.h.

                                         {
    FunctionHandle function = Function(result, Any(region), 3, region);
    function->InitParameter(0, param0);
    function->InitParameter(1, param1);
    function->InitParameter(2, param2);
    return function;
  }

References v8::internal::TypeImpl< Config >::Function().

Here is the call graph for this function:

Function() [5/5]

template<class Config >

static FunctionHandle v8::internal::TypeImpl< Config >::Function ( TypeHandle  result, TypeHandle  receiver, int  arity, Region *  region  )

inlinestatic

Definition at line 343 of file types.h.

                                                                         {
    return FunctionType::New(result, receiver, arity, region);
  }

References v8::internal::TypeImpl< Config >::FunctionType::New().

Referenced by v8::internal::TypeImpl< Config >::Function().

Here is the call graph for this function:

Here is the caller graph for this function:

GetRange()

template<class Config >

TypeImpl< Config >::RangeType * v8::internal::TypeImpl< Config >::GetRange

protected

Definition at line 548 of file types.cc.

                                                               {
  DisallowHeapAllocation no_allocation;
  if (this->IsRange()) return this->AsRange();
  if (this->IsUnion() && this->AsUnion()->Get(1)->IsRange()) {
    return this->AsUnion()->Get(1)->AsRange();
  }
  return NULL;
}

References v8::internal::TypeImpl< Config >::AsRange(), and v8::internal::TypeImpl< Config >::IsRange().

Referenced by v8::internal::TypeImpl< Config >::Contains(), and v8::internal::TypeImpl< Config >::Union().

Here is the call graph for this function:

Here is the caller graph for this function:

handle()

template<class Config >

template<class T >

static Config::template Handle<T>::type v8::internal::TypeImpl< Config >::handle ( T *  type )

inlinestaticprotected

Definition at line 496 of file types.h.

                                                               {
    return Config::handle(type);
  }

References v8::internal::handle().

Referenced by v8::internal::TypeImpl< Config >::Union().

Here is the call graph for this function:

Here is the caller graph for this function:

Intersect() [1/2]

template<class Config >

TypeImpl< Config >::Limits v8::internal::TypeImpl< Config >::Intersect ( Limits  lhs, Limits  rhs  )

staticprotected

Definition at line 23 of file types.cc.

                            {
  DisallowHeapAllocation no_allocation;
  Limits result(lhs);
  if (lhs.min->Number() < rhs.min->Number()) result.min = rhs.min;
  if (lhs.max->Number() > rhs.max->Number()) result.max = rhs.max;
  return result;
}

References v8::internal::TypeImpl< Config >::Limits::max, and v8::internal::TypeImpl< Config >::Limits::min.

Intersect() [2/2]

template<class Config >

TypeImpl< Config >::TypeHandle v8::internal::TypeImpl< Config >::Intersect ( TypeHandle  type1, TypeHandle  type2, Region *  reg  )

static

Definition at line 607 of file types.cc.

                                                        {
  bitset bits = type1->BitsetGlb() & type2->BitsetGlb();
  if (!BitsetType::IsInhabited(bits)) bits = BitsetType::kNone;
 
  // Fast case: bit sets.
  if (type1->IsBitset() && type2->IsBitset()) {
    return BitsetType::New(bits, region);
  }
 
  // Fast case: top or bottom types.
  if (type1->IsNone() || type2->IsAny()) return type1;  // Shortcut.
  if (type2->IsNone() || type1->IsAny()) return type2;  // Shortcut.
 
  // Semi-fast case.
  if (type1->Is(type2)) return type1;
  if (type2->Is(type1)) return type2;
 
  // Slow case: create union.
  int size1 = type1->IsUnion() ? type1->AsUnion()->Length() : 1;
  int size2 = type2->IsUnion() ? type2->AsUnion()->Length() : 1;
  if (!AddIsSafe(size1, size2)) return Any(region);
  int size = size1 + size2;
  if (!AddIsSafe(size, 2)) return Any(region);
  size += 2;
  UnionHandle result = UnionType::New(size, region);
  size = 0;
 
  // Deal with bitsets.
  result->Set(size++, BitsetType::New(bits, region));
 
  // Deal with ranges.
  TypeHandle range = None(region);
  RangeType* range1 = type1->GetRange();
  RangeType* range2 = type2->GetRange();
  if (range1 != NULL && range2 != NULL) {
    Limits lim = Intersect(Limits(range1), Limits(range2));
    if (lim.min->Number() <= lim.max->Number()) {
      range = RangeType::New(lim, region);
    }
  }
  result->Set(size++, range);
 
  size = IntersectAux(type1, type2, result, size, region);
  return NormalizeUnion(result, size);
}

IntersectAux()

template<class Config >

int v8::internal::TypeImpl< Config >::IntersectAux ( TypeHandle  type, TypeHandle  other, UnionHandle  result, int  size, Region *  region  )

staticprotected

Definition at line 680 of file types.cc.

                                                  {
  if (lhs->IsUnion()) {
    for (int i = 0, n = lhs->AsUnion()->Length(); i < n; ++i) {
      size = IntersectAux(lhs->AsUnion()->Get(i), rhs, result, size, region);
    }
    return size;
  }
  if (rhs->IsUnion()) {
    for (int i = 0, n = rhs->AsUnion()->Length(); i < n; ++i) {
      size = IntersectAux(lhs, rhs->AsUnion()->Get(i), result, size, region);
    }
    return size;
  }
 
  if (!BitsetType::IsInhabited(lhs->BitsetLub() & rhs->BitsetLub())) {
    return size;
  }
 
  if (lhs->IsRange()) {
    if (rhs->IsBitset() || rhs->IsClass()) {
      return UpdateRange(
          Config::template cast<RangeType>(lhs), result, size, region);
    }
    if (rhs->IsConstant() &&
        Contains(lhs->AsRange(), *rhs->AsConstant()->Value())) {
      return AddToUnion(rhs, result, size, region);
    }
    return size;
  }
  if (rhs->IsRange()) {
    if (lhs->IsBitset() || lhs->IsClass()) {
      return UpdateRange(
          Config::template cast<RangeType>(rhs), result, size, region);
    }
    if (lhs->IsConstant() &&
        Contains(rhs->AsRange(), *lhs->AsConstant()->Value())) {
      return AddToUnion(lhs, result, size, region);
    }
    return size;
  }
 
  if (lhs->IsBitset() || rhs->IsBitset()) {
    return AddToUnion(lhs->IsBitset() ? rhs : lhs, result, size, region);
  }
  if (lhs->IsClass() != rhs->IsClass()) {
    return AddToUnion(lhs->IsClass() ? rhs : lhs, result, size, region);
  }
  if (lhs->SimplyEquals(rhs->unhandle())) {
    return AddToUnion(lhs, result, size, region);
  }
  return size;
}

References v8::internal::TypeImpl< Config >::IsInhabited(), size, and v8::internal::TypeImpl< Config >::UpdateRange().

Here is the call graph for this function:

Is() [1/2]

template<class Config >

template<class TypeHandle >

bool v8::internal::TypeImpl< Config >::Is ( TypeHandle  that )

inline

Definition at line 392 of file types.h.

{ return this->Is(*that); }

References v8::internal::TypeImpl< Config >::Is().

Referenced by v8::internal::TypeImpl< Config >::Is().

Here is the call graph for this function:

Here is the caller graph for this function:

Is() [2/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::Is ( TypeImpl< Config > *  that )

inline

Definition at line 390 of file types.h.

{ return this == that || this->SlowIs(that); }

References v8::internal::TypeImpl< Config >::SlowIs().

Referenced by v8::internal::compiler::JSBinopReduction::BothInputsAre(), v8::internal::HGraphBuilder::BuildBinaryOperation(), v8::internal::CodeStubGraphBuilder< Stub >::BuildCodeInitializedStub(), v8::internal::HOptimizedGraphBuilder::BuildCompareInstruction(), v8::internal::HOptimizedGraphBuilder::BuildNamedAccess(), v8::internal::HGraphBuilder::BuildNumberToString(), v8::internal::CanInlinePropertyAccess(), v8::internal::TypeImpl< Config >::Contains(), v8::internal::compiler::JSBinopReduction::ConvertToI32(), v8::internal::HGraphBuilder::EnforceNumberType(), v8::internal::compiler::StaticParameterTraits< ElementAccess >::Equals(), v8::internal::compiler::StaticParameterTraits< FieldAccess >::Equals(), v8::internal::TypeImpl< Config >::Equals(), v8::internal::Representation::FromType(), v8::internal::HOptimizedGraphBuilder::PropertyAccessInfo::GetJSObjectFieldAccess(), v8::internal::HOptimizedGraphBuilder::HandleLiteralCompareNil(), v8::internal::HOptimizedGraphBuilder::HandlePolymorphicCallNamed(), v8::internal::HOptimizedGraphBuilder::HandlePolymorphicNamedFieldAccess(), v8::internal::HOptimizedGraphBuilder::PropertyAccessInfo::IsCompatible(), v8::internal::TypeImpl< ZoneTypeConfig >::Max(), v8::internal::TypeImpl< Config >::BitsetType::Min(), v8::internal::NeedsWrappingFor(), v8::internal::compiler::JSBinopReduction::OneInputIs(), v8::internal::TypeImpl< Config >::SlowIs(), v8::internal::HGraphBuilder::TruncateToNumber(), v8::internal::compiler::RepresentationChanger::TypeFromUpperBound(), v8::internal::IC::TypeToMap(), and v8::internal::TypeImpl< Config >::UnionType::Wellformed().

Here is the call graph for this function:

Here is the caller graph for this function:

IsAny()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsAny ( )

inlineprotected

Definition at line 504 of file types.h.

{ return this == Any(); }

Referenced by v8::internal::TypeImpl< Config >::PrintTo().

Here is the caller graph for this function:

IsArray()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsArray ( )

inline

Definition at line 435 of file types.h.

                 {
    return Config::is_struct(this, StructuralType::kArrayTag);
  }

References v8::internal::TypeImpl< Config >::StructuralType::kArrayTag.

Referenced by v8::internal::TypeImpl< Config >::ArrayType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), and v8::internal::TypeImpl< Config >::PrintTo().

Here is the caller graph for this function:

IsBitset()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsBitset ( )

inlineprotected

Definition at line 505 of file types.h.

{ return Config::is_bitset(this); }

Referenced by v8::internal::TypeImpl< Config >::AsBitset(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::Classes(), v8::internal::TypeImpl< Config >::Constants(), v8::internal::TypeImpl< Config >::BitsetType::Glb(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::PrintTo(), v8::internal::TypeImpl< Config >::SlowIs(), and v8::internal::TypeImpl< Config >::UnionType::Wellformed().

Here is the caller graph for this function:

IsClass()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsClass ( )

inline

Definition at line 422 of file types.h.

                 {
    return Config::is_class(this)
        || Config::is_struct(this, StructuralType::kClassTag);
  }

References v8::internal::TypeImpl< Config >::StructuralType::kClassTag.

Referenced by v8::internal::HOptimizedGraphBuilder::BuildCompareInstruction(), v8::internal::CanInlinePropertyAccess(), v8::internal::TypeImpl< Config >::ClassType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImplIteratorAux< Config, i::Map >::matches(), v8::internal::TypeImpl< Config >::NumClasses(), v8::internal::TypeImpl< Config >::PrintTo(), v8::internal::TypeImpl< Config >::SimplyEquals(), and v8::internal::IC::TypeToMap().

Here is the caller graph for this function:

IsConstant()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsConstant ( )

inline

Definition at line 426 of file types.h.

                    {
    return Config::is_struct(this, StructuralType::kConstantTag);
  }

References v8::internal::TypeImpl< Config >::StructuralType::kConstantTag.

Referenced by v8::internal::TypeImpl< Config >::ConstantType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImplIteratorAux< Config, i::Object >::matches(), v8::internal::TypeImpl< Config >::NowIs(), v8::internal::TypeImpl< Config >::NumConstants(), v8::internal::TypeImpl< Config >::PrintTo(), v8::internal::TypeImpl< Config >::SimplyEquals(), and v8::internal::IC::TypeToMap().

Here is the caller graph for this function:

IsContext()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsContext ( )

inline

Definition at line 432 of file types.h.

                   {
    return Config::is_struct(this, StructuralType::kContextTag);
  }

References v8::internal::TypeImpl< Config >::StructuralType::kContextTag.

Referenced by v8::internal::TypeImpl< Config >::ContextType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), and v8::internal::TypeImpl< Config >::PrintTo().

Here is the caller graph for this function:

IsFunction()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsFunction ( )

inline

Definition at line 438 of file types.h.

                    {
    return Config::is_struct(this, StructuralType::kFunctionTag);
  }

References v8::internal::TypeImpl< Config >::StructuralType::kFunctionTag.

Referenced by v8::internal::TypeImpl< Config >::FunctionType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), and v8::internal::TypeImpl< Config >::PrintTo().

Here is the caller graph for this function:

IsInhabited()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsInhabited ( )

inline

Definition at line 388 of file types.h.

{ return BitsetType::IsInhabited(this->BitsetLub()); }

References v8::internal::TypeImpl< Config >::BitsetLub().

Referenced by v8::internal::HGraphBuilder::BuildBinaryOperation(), v8::internal::HOptimizedGraphBuilder::BuildCompareInstruction(), v8::internal::TypeImpl< Config >::IntersectAux(), and v8::internal::TypeImpl< Config >::BitsetType::New().

Here is the call graph for this function:

Here is the caller graph for this function:

IsInteger() [1/2]

template<class Config >

static bool v8::internal::TypeImpl< Config >::IsInteger ( double  x )

inlinestaticprotected

Definition at line 521 of file types.h.

                                  {
    return nearbyint(x) == x && !i::IsMinusZero(x);  // Allows for infinities.
  }

References v8::internal::IsMinusZero().

Referenced by v8::internal::TypeImpl< Config >::Contains(), and v8::internal::TypeImpl< Config >::IsInteger().

Here is the call graph for this function:

Here is the caller graph for this function:

IsInteger() [2/2]

template<class Config >

static bool v8::internal::TypeImpl< Config >::IsInteger ( i::Object *  x )

inlinestaticprotected

Definition at line 524 of file types.h.

                                    {
    return x->IsNumber() && IsInteger(x->Number());
  }

References v8::internal::TypeImpl< Config >::IsInteger(), and v8::internal::Object::Number().

Here is the call graph for this function:

IsNone()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsNone ( )

inlineprotected

Definition at line 503 of file types.h.

{ return this == None(); }

References v8::None.

IsRange()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsRange ( )

inline

Definition at line 429 of file types.h.

                 {
    return Config::is_struct(this, StructuralType::kRangeTag);
  }

References v8::internal::TypeImpl< Config >::StructuralType::kRangeTag.

Referenced by v8::internal::TypeImpl< Config >::RangeType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::GetRange(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::PrintTo(), and v8::internal::TypeImpl< Config >::UnionType::Wellformed().

Here is the caller graph for this function:

IsUnion()

template<class Config >

bool v8::internal::TypeImpl< Config >::IsUnion ( )

inlineprotected

Definition at line 506 of file types.h.

{ return Config::is_struct(this, StructuralType::kUnionTag); }

References v8::internal::TypeImpl< Config >::StructuralType::kUnionTag.

Referenced by v8::internal::TypeImpl< Config >::UnionType::cast(), v8::internal::TypeImpl< Config >::cast(), v8::internal::TypeImpl< Config >::BitsetType::Glb(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::Maybe(), v8::internal::TypeImpl< Config >::NumClasses(), v8::internal::TypeImpl< Config >::NumConstants(), v8::internal::TypeImpl< Config >::PrintTo(), v8::internal::TypeImpl< Config >::SlowIs(), and v8::internal::TypeImpl< Config >::UnionType::Wellformed().

Here is the caller graph for this function:

Max()

template<class Config >

double v8::internal::TypeImpl< Config >::Max

Definition at line 96 of file types.cc.

                             {
  DCHECK(this->Is(Number()));
  if (this->IsBitset()) return BitsetType::Max(this->AsBitset());
  if (this->IsUnion()) {
    double max = -V8_INFINITY;
    for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
      max = std::max(max, this->AsUnion()->Get(i)->Max());
    }
    return max;
  }
  if (this->IsRange()) return this->AsRange()->Max()->Number();
  if (this->IsConstant()) return this->AsConstant()->Value()->Number();
  UNREACHABLE();
  return 0;
}

References DCHECK, v8::internal::Is(), v8::internal::compiler::Max(), v8::internal::Max(), UNREACHABLE, and V8_INFINITY.

Here is the call graph for this function:

Maybe() [1/2]

template<class Config >

template<class TypeHandle >

bool v8::internal::TypeImpl< Config >::Maybe ( TypeHandle  that )

inline

Definition at line 396 of file types.h.

{ return this->Maybe(*that); }

References v8::internal::TypeImpl< Config >::Maybe().

Referenced by v8::internal::TypeImpl< Config >::Maybe().

Here is the call graph for this function:

Here is the caller graph for this function:

Maybe() [2/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::Maybe

(

TypeImpl< Config > *

that

)

Definition at line 504 of file types.cc.

                                           {
  DisallowHeapAllocation no_allocation;
 
  // (T1 \/ ... \/ Tn) overlaps T  if  (T1 overlaps T) \/ ... \/ (Tn overlaps T)
  if (this->IsUnion()) {
    for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
      if (this->AsUnion()->Get(i)->Maybe(that)) return true;
    }
    return false;
  }
 
  // T overlaps (T1 \/ ... \/ Tn)  if  (T overlaps T1) \/ ... \/ (T overlaps Tn)
  if (that->IsUnion()) {
    for (int i = 0, n = that->AsUnion()->Length(); i < n; ++i) {
      if (this->Maybe(that->AsUnion()->Get(i))) return true;
    }
    return false;
  }
 
  if (!BitsetType::IsInhabited(this->BitsetLub() & that->BitsetLub()))
    return false;
  if (this->IsBitset() || that->IsBitset()) return true;
 
  if (this->IsClass() != that->IsClass()) return true;
 
  if (this->IsRange()) {
    if (that->IsConstant()) {
      return Contains(this->AsRange(), *that->AsConstant()->Value());
    }
    return that->IsRange() && Overlap(this->AsRange(), that->AsRange());
  }
  if (that->IsRange()) {
    if (this->IsConstant()) {
      return Contains(that->AsRange(), *this->AsConstant()->Value());
    }
    return this->IsRange() && Overlap(this->AsRange(), that->AsRange());
  }
 
  return this->SimplyEquals(that);
}

References v8::internal::TypeImpl< Config >::AsUnion(), v8::internal::TypeImpl< Config >::StructuralType::Get(), v8::internal::TypeImpl< Config >::IsUnion(), and v8::internal::TypeImpl< Config >::StructuralType::Length().

Referenced by v8::internal::HGraphBuilder::BuildBinaryOperation(), v8::internal::CodeStubGraphBuilder< Stub >::BuildCodeInitializedStub(), v8::internal::HGraphBuilder::BuildCompareNil(), v8::internal::compiler::JSBinopReduction::NeitherInputCanBe(), and v8::internal::compiler::JSBinopReduction::OneInputCannotBe().

Here is the call graph for this function:

Here is the caller graph for this function:

Min()

template<class Config >

double v8::internal::TypeImpl< Config >::Min

Definition at line 78 of file types.cc.

                             {
  DCHECK(this->Is(Number()));
  if (this->IsBitset()) return BitsetType::Min(this->AsBitset());
  if (this->IsUnion()) {
    double min = +V8_INFINITY;
    for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
      min = std::min(min, this->AsUnion()->Get(i)->Min());
    }
    return min;
  }
  if (this->IsRange()) return this->AsRange()->Min()->Number();
  if (this->IsConstant()) return this->AsConstant()->Value()->Number();
  UNREACHABLE();
  return 0;
}

References DCHECK, v8::internal::Is(), v8::internal::min(), v8::internal::compiler::Min(), v8::internal::Min(), UNREACHABLE, and V8_INFINITY.

Here is the call graph for this function:

NormalizeUnion()

template<class Config >

TypeImpl< Config >::TypeHandle v8::internal::TypeImpl< Config >::NormalizeUnion ( UnionHandle  unioned, int  size  )

staticprotected

Definition at line 808 of file types.cc.

                                   {
  DCHECK(size >= 2);
  // If range is subsumed by bitset, use its place for a different type.
  if (unioned->Get(1)->Is(unioned->Get(0))) {
    unioned->Set(1, unioned->Get(--size));
  }
  // If bitset is None, use its place for a different type.
  if (size >= 2 && unioned->Get(0)->IsNone()) {
    unioned->Set(0, unioned->Get(--size));
  }
  if (size == 1) return unioned->Get(0);
  unioned->Shrink(size);
  SLOW_DCHECK(unioned->Wellformed());
  return unioned;
}

References DCHECK, size, and SLOW_DCHECK.

Referenced by v8::internal::TypeImpl< Config >::Union().

Here is the caller graph for this function:

NowContains() [1/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::NowContains ( i::Handle< i::Object >  val )

inline

Definition at line 416 of file types.h.

{ return this->NowContains(*val); }

References v8::internal::TypeImpl< Config >::NowContains().

Referenced by v8::internal::TypeImpl< Config >::NowContains().

Here is the call graph for this function:

Here is the caller graph for this function:

NowContains() [2/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::NowContains ( i::Object *  val )

inline

Definition at line 41 of file types-inl.h.

                                                 {
  DisallowHeapAllocation no_allocation;
  if (this->IsAny()) return true;
  if (value->IsHeapObject()) {
    i::Map* map = i::HeapObject::cast(value)->map();
    for (Iterator<i::Map> it = this->Classes(); !it.Done(); it.Advance()) {
      if (*it.Current() == map) return true;
    }
  }
  return this->Contains(value);
}

References v8::internal::TypeImpl< Config >::Iterator< T >::Done(), and map.

Here is the call graph for this function:

NowIs() [1/2]

template<class Config >

template<class TypeHandle >

bool v8::internal::TypeImpl< Config >::NowIs ( TypeHandle  that )

inline

Definition at line 414 of file types.h.

{ return this->NowIs(*that); }

References v8::internal::TypeImpl< Config >::NowIs().

Referenced by v8::internal::TypeImpl< Config >::NowIs().

Here is the call graph for this function:

Here is the caller graph for this function:

NowIs() [2/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::NowIs

(

TypeImpl< Config > *

that

)

Definition at line 472 of file types.cc.

                                           {
  DisallowHeapAllocation no_allocation;
 
  // TODO(rossberg): this is incorrect for
  //   Union(Constant(V), T)->NowIs(Class(M))
  // but fuzzing does not cover that!
  if (this->IsConstant()) {
    i::Object* object = *this->AsConstant()->Value();
    if (object->IsHeapObject()) {
      i::Map* map = i::HeapObject::cast(object)->map();
      for (Iterator<i::Map> it = that->Classes(); !it.Done(); it.Advance()) {
        if (*it.Current() == map) return true;
      }
    }
  }
  return this->Is(that);
}

References v8::internal::TypeImpl< Config >::AsConstant(), v8::internal::TypeImpl< Config >::IsConstant(), and v8::internal::TypeImpl< Config >::ConstantType::Value().

Referenced by v8::internal::Map::FindLastMatchMap().

Here is the call graph for this function:

Here is the caller graph for this function:

NowOf() [1/2]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::NowOf ( i::Handle< i::Object >  value, Region *  region  )

inlinestatic

Definition at line 409 of file types.h.

                                                                  {
    return NowOf(*value, region);
  }

References v8::internal::TypeImpl< Config >::NowOf().

Here is the call graph for this function:

NowOf() [2/2]

template<class Config >

TypeImpl< Config >::TypeHandle v8::internal::TypeImpl< Config >::NowOf ( i::Object *  value, Region *  region  )

inlinestatic

Definition at line 30 of file types-inl.h.

                                    {
  if (value->IsSmi() ||
      i::HeapObject::cast(value)->map()->instance_type() == HEAP_NUMBER_TYPE) {
    return Of(value, region);
  }
  return Class(i::handle(i::HeapObject::cast(value)->map()), region);
}

References v8::internal::handle(), v8::internal::HEAP_NUMBER_TYPE, and map.

Referenced by v8::internal::IC::CurrentTypeOf(), and v8::internal::TypeImpl< Config >::NowOf().

Here is the call graph for this function:

Here is the caller graph for this function:

NowStable()

template<class Config >

bool v8::internal::TypeImpl< Config >::NowStable

Definition at line 493 of file types.cc.

                                 {
  DisallowHeapAllocation no_allocation;
  for (Iterator<i::Map> it = this->Classes(); !it.Done(); it.Advance()) {
    if (!it.Current()->is_stable()) return false;
  }
  return true;
}

References v8::internal::TypeImpl< Config >::Classes().

Here is the call graph for this function:

NumClasses()

template<class Config >

int v8::internal::TypeImpl< Config >::NumClasses

Definition at line 830 of file types.cc.

                                 {
  DisallowHeapAllocation no_allocation;
  if (this->IsClass()) {
    return 1;
  } else if (this->IsUnion()) {
    int result = 0;
    for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
      if (this->AsUnion()->Get(i)->IsClass()) ++result;
    }
    return result;
  } else {
    return 0;
  }
}

References v8::internal::TypeImpl< Config >::AsUnion(), v8::internal::TypeImpl< Config >::IsClass(), and v8::internal::TypeImpl< Config >::IsUnion().

Referenced by v8::internal::HGraphBuilder::BuildCompareNil().

Here is the call graph for this function:

Here is the caller graph for this function:

NumConstants()

template<class Config >

int v8::internal::TypeImpl< Config >::NumConstants

Definition at line 847 of file types.cc.

                                   {
  DisallowHeapAllocation no_allocation;
  if (this->IsConstant()) {
    return 1;
  } else if (this->IsUnion()) {
    int result = 0;
    for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
      if (this->AsUnion()->Get(i)->IsConstant()) ++result;
    }
    return result;
  } else {
    return 0;
  }
}

References v8::internal::TypeImpl< Config >::AsUnion(), v8::internal::TypeImpl< Config >::IsConstant(), and v8::internal::TypeImpl< Config >::IsUnion().

Here is the call graph for this function:

Of() [1/3]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Of ( double  value, Region *  region  )

inlinestatic

Definition at line 376 of file types.h.

                                                     {
    return Config::from_bitset(BitsetType::Lub(value), region);
  }

References v8::internal::TypeImpl< Config >::BitsetType::Lub().

Referenced by v8::internal::TypeImpl< Config >::Of().

Here is the call graph for this function:

Here is the caller graph for this function:

Of() [2/3]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Of ( i::Handle< i::Object >  value, Region *  region  )

inlinestatic

Definition at line 382 of file types.h.

                                                               {
    return Of(*value, region);
  }

References v8::internal::TypeImpl< Config >::Of().

Here is the call graph for this function:

Of() [3/3]

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Of ( i::Object *  value, Region *  region  )

inlinestatic

Definition at line 379 of file types.h.

                                                       {
    return Config::from_bitset(BitsetType::Lub(value), region);
  }

References v8::internal::TypeImpl< Config >::BitsetType::Lub().

Here is the call graph for this function:

Overlap()

template<class Config >

bool v8::internal::TypeImpl< Config >::Overlap ( RangeType *  lhs, RangeType *  rhs  )

staticprotected

Definition at line 45 of file types.cc.

                                             {
  DisallowHeapAllocation no_allocation;
  typename TypeImpl<Config>::Limits lim = Intersect(Limits(lhs), Limits(rhs));
  return lim.min->Number() <= lim.max->Number();
}

References v8::internal::TypeImpl< Config >::Limits::max, and v8::internal::TypeImpl< Config >::Limits::min.

PrintTo()

template<class Config >

void v8::internal::TypeImpl< Config >::PrintTo	(	OStream &	os,
		PrintDimension	dim = BOTH_DIMS
	)

Definition at line 1034 of file types.cc.

                                                              {  // NOLINT
  DisallowHeapAllocation no_allocation;
  if (dim != REPRESENTATION_DIM) {
    if (this->IsBitset()) {
      BitsetType::Print(os, SEMANTIC(this->AsBitset()));
    } else if (this->IsClass()) {
      os << "Class(" << static_cast<void*>(*this->AsClass()->Map()) << " < ";
      BitsetType::New(BitsetType::Lub(this))->PrintTo(os, dim);
      os << ")";
    } else if (this->IsConstant()) {
      os << "Constant(" << Brief(*this->AsConstant()->Value()) << ")";
    } else if (this->IsRange()) {
      os << "Range(" << this->AsRange()->Min()->Number()
         << ", " << this->AsRange()->Max()->Number() << ")";
    } else if (this->IsContext()) {
      os << "Context(";
      this->AsContext()->Outer()->PrintTo(os, dim);
      os << ")";
    } else if (this->IsUnion()) {
      os << "(";
      for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
        TypeHandle type_i = this->AsUnion()->Get(i);
        if (i > 0) os << " | ";
        type_i->PrintTo(os, dim);
      }
      os << ")";
    } else if (this->IsArray()) {
      os << "Array(";
      AsArray()->Element()->PrintTo(os, dim);
      os << ")";
    } else if (this->IsFunction()) {
      if (!this->AsFunction()->Receiver()->IsAny()) {
        this->AsFunction()->Receiver()->PrintTo(os, dim);
        os << ".";
      }
      os << "(";
      for (int i = 0; i < this->AsFunction()->Arity(); ++i) {
        if (i > 0) os << ", ";
        this->AsFunction()->Parameter(i)->PrintTo(os, dim);
      }
      os << ")->";
      this->AsFunction()->Result()->PrintTo(os, dim);
    } else {
      UNREACHABLE();
    }
  }
  if (dim == BOTH_DIMS) os << "/";
  if (dim != SEMANTIC_DIM) {
    BitsetType::Print(os, REPRESENTATION(this->BitsetLub()));
  }
}

References v8::internal::TypeImpl< Config >::FunctionType::Arity(), v8::internal::TypeImpl< Config >::AsArray(), v8::internal::TypeImpl< Config >::AsBitset(), v8::internal::TypeImpl< Config >::AsClass(), v8::internal::TypeImpl< Config >::AsConstant(), v8::internal::TypeImpl< Config >::AsContext(), v8::internal::TypeImpl< Config >::AsFunction(), v8::internal::TypeImpl< Config >::AsRange(), v8::internal::TypeImpl< Config >::AsUnion(), v8::internal::TypeImpl< Config >::BitsetLub(), v8::internal::TypeImpl< Config >::BOTH_DIMS, v8::internal::TypeImpl< Config >::ArrayType::Element(), v8::internal::TypeImpl< Config >::StructuralType::Get(), v8::internal::TypeImpl< Config >::IsAny(), v8::internal::TypeImpl< Config >::IsArray(), v8::internal::TypeImpl< Config >::IsBitset(), v8::internal::TypeImpl< Config >::IsClass(), v8::internal::TypeImpl< Config >::IsConstant(), v8::internal::TypeImpl< Config >::IsContext(), v8::internal::TypeImpl< Config >::IsFunction(), v8::internal::TypeImpl< Config >::IsRange(), v8::internal::TypeImpl< Config >::IsUnion(), v8::internal::TypeImpl< Config >::BitsetType::Lub(), v8::internal::TypeImpl< Config >::ClassType::Map(), v8::internal::TypeImpl< Config >::RangeType::Max(), v8::internal::TypeImpl< Config >::RangeType::Min(), v8::internal::TypeImpl< Config >::BitsetType::New(), v8::internal::TypeImpl< Config >::ContextType::Outer(), v8::internal::TypeImpl< Config >::FunctionType::Parameter(), v8::internal::TypeImpl< Config >::BitsetType::Print(), v8::internal::TypeImpl< Config >::PrintTo(), v8::internal::TypeImpl< Config >::FunctionType::Receiver(), REPRESENTATION, v8::internal::TypeImpl< Config >::REPRESENTATION_DIM, v8::internal::TypeImpl< Config >::FunctionType::Result(), SEMANTIC, v8::internal::TypeImpl< Config >::SEMANTIC_DIM, and UNREACHABLE.

Referenced by v8::internal::compiler::operator<<(), v8::internal::Map::PrintGeneralization(), and v8::internal::TypeImpl< Config >::PrintTo().

Here is the call graph for this function:

Here is the caller graph for this function:

Range()

template<class Config >

static TypeHandle v8::internal::TypeImpl< Config >::Range ( i::Handle< i::Object >  min, i::Handle< i::Object >  max, Region *  region  )

inlinestatic

Definition at line 333 of file types.h.

                                                                  {
    return RangeType::New(min, max, region);
  }

References v8::internal::min(), and v8::internal::TypeImpl< Config >::RangeType::New().

Here is the call graph for this function:

SimplyEquals() [1/2]

template<class Config >

template<class TypeHandle >

bool v8::internal::TypeImpl< Config >::SimplyEquals ( TypeHandle  that )

inlineprotected

Definition at line 549 of file types.h.

{ return this->SimplyEquals(*that); }

References v8::internal::TypeImpl< Config >::SimplyEquals().

Referenced by v8::internal::TypeImpl< Config >::SimplyEquals().

Here is the call graph for this function:

Here is the caller graph for this function:

SimplyEquals() [2/2]

template<class Config >

bool v8::internal::TypeImpl< Config >::SimplyEquals ( TypeImpl< Config > *  that )

protected

Definition at line 395 of file types.cc.

                                                  {
  DisallowHeapAllocation no_allocation;
  if (this->IsClass()) {
    return that->IsClass()
        && *this->AsClass()->Map() == *that->AsClass()->Map();
  }
  if (this->IsConstant()) {
    return that->IsConstant()
        && *this->AsConstant()->Value() == *that->AsConstant()->Value();
  }
  if (this->IsContext()) {
    return that->IsContext()
        && this->AsContext()->Outer()->Equals(that->AsContext()->Outer());
  }
  if (this->IsArray()) {
    return that->IsArray()
        && this->AsArray()->Element()->Equals(that->AsArray()->Element());
  }
  if (this->IsFunction()) {
    if (!that->IsFunction()) return false;
    FunctionType* this_fun = this->AsFunction();
    FunctionType* that_fun = that->AsFunction();
    if (this_fun->Arity() != that_fun->Arity() ||
        !this_fun->Result()->Equals(that_fun->Result()) ||
        !this_fun->Receiver()->Equals(that_fun->Receiver())) {
      return false;
    }
    for (int i = 0, n = this_fun->Arity(); i < n; ++i) {
      if (!this_fun->Parameter(i)->Equals(that_fun->Parameter(i))) return false;
    }
    return true;
  }
  UNREACHABLE();
  return false;
}

References v8::internal::TypeImpl< Config >::AsClass(), v8::internal::TypeImpl< Config >::IsClass(), v8::internal::TypeImpl< Config >::IsConstant(), and v8::internal::TypeImpl< Config >::ClassType::Map().

Here is the call graph for this function:

SlowIs()

template<class Config >

bool v8::internal::TypeImpl< Config >::SlowIs ( TypeImpl< Config > *  that )

protected

Definition at line 434 of file types.cc.

                                            {
  DisallowHeapAllocation no_allocation;
 
  if (that->IsBitset()) {
    return BitsetType::Is(this->BitsetLub(), that->AsBitset());
  }
  if (this->IsBitset()) {
    return BitsetType::Is(this->AsBitset(), that->BitsetGlb());
  }
 
  // (T1 \/ ... \/ Tn) <= T  if  (T1 <= T) /\ ... /\ (Tn <= T)
  if (this->IsUnion()) {
    for (int i = 0, n = this->AsUnion()->Length(); i < n; ++i) {
      if (!this->AsUnion()->Get(i)->Is(that)) return false;
    }
    return true;
  }
 
  // T <= (T1 \/ ... \/ Tn)  if  (T <= T1) \/ ... \/ (T <= Tn)
  if (that->IsUnion()) {
    for (int i = 0, n = that->AsUnion()->Length(); i < n; ++i) {
      if (this->Is(that->AsUnion()->Get(i))) return true;
      if (i > 1 && this->IsRange()) return false;  // Shortcut.
    }
    return false;
  }
 
  if (that->IsRange()) {
    return (this->IsRange() && Contains(that->AsRange(), this->AsRange()))
        || (this->IsConstant() &&
            Contains(that->AsRange(), *this->AsConstant()->Value()));
  }
  if (this->IsRange()) return false;
  return this->SimplyEquals(that);
}

References v8::internal::TypeImpl< Config >::AsBitset(), v8::internal::TypeImpl< Config >::AsUnion(), v8::internal::TypeImpl< Config >::BitsetGlb(), v8::internal::TypeImpl< Config >::BitsetLub(), v8::internal::TypeImpl< Config >::BitsetType::Is(), v8::internal::TypeImpl< Config >::Is(), v8::internal::TypeImpl< Config >::IsBitset(), and v8::internal::TypeImpl< Config >::IsUnion().

Referenced by v8::internal::TypeImpl< Config >::Is().

Here is the call graph for this function:

Here is the caller graph for this function:

unhandle()

template<class Config >

TypeImpl* v8::internal::TypeImpl< Config >::unhandle ( )

inlineprotected

Definition at line 499 of file types.h.

{ return this; }

Union() [1/2]

template<class Config >

TypeImpl< Config >::Limits v8::internal::TypeImpl< Config >::Union ( Limits  lhs, Limits  rhs  )

staticprotected

Definition at line 34 of file types.cc.

                            {
  DisallowHeapAllocation no_allocation;
  Limits result(lhs);
  if (lhs.min->Number() > rhs.min->Number()) result.min = rhs.min;
  if (lhs.max->Number() < rhs.max->Number()) result.max = rhs.max;
  return result;
}

References v8::internal::TypeImpl< Config >::Limits::max, and v8::internal::TypeImpl< Config >::Limits::min.

Union() [2/2]

template<class Config >

TypeImpl< Config >::TypeHandle v8::internal::TypeImpl< Config >::Union ( TypeHandle  type1, TypeHandle  type2, Region *  reg  )

static

Definition at line 737 of file types.cc.

                                                        {
 
  // Fast case: bit sets.
  if (type1->IsBitset() && type2->IsBitset()) {
    return BitsetType::New(type1->AsBitset() | type2->AsBitset(), region);
  }
 
  // Fast case: top or bottom types.
  if (type1->IsAny() || type2->IsNone()) return type1;
  if (type2->IsAny() || type1->IsNone()) return type2;
 
  // Semi-fast case.
  if (type1->Is(type2)) return type2;
  if (type2->Is(type1)) return type1;
 
  // Slow case: create union.
  int size1 = type1->IsUnion() ? type1->AsUnion()->Length() : 1;
  int size2 = type2->IsUnion() ? type2->AsUnion()->Length() : 1;
  if (!AddIsSafe(size1, size2)) return Any(region);
  int size = size1 + size2;
  if (!AddIsSafe(size, 2)) return Any(region);
  size += 2;
  UnionHandle result = UnionType::New(size, region);
  size = 0;
 
  // Deal with bitsets.
  TypeHandle bits = BitsetType::New(
      type1->BitsetGlb() | type2->BitsetGlb(), region);
  result->Set(size++, bits);
 
  // Deal with ranges.
  TypeHandle range = None(region);
  RangeType* range1 = type1->GetRange();
  RangeType* range2 = type2->GetRange();
  if (range1 != NULL && range2 != NULL) {
    range = RangeType::New(Union(Limits(range1), Limits(range2)), region);
  } else if (range1 != NULL) {
    range = handle(range1);
  } else if (range2 != NULL) {
    range = handle(range2);
  }
  result->Set(size++, range);
 
  size = AddToUnion(type1, result, size, region);
  size = AddToUnion(type2, result, size, region);
  return NormalizeUnion(result, size);
}

References v8::internal::AddIsSafe(), v8::internal::TypeImpl< Config >::AddToUnion(), v8::internal::TypeImpl< Config >::GetRange(), v8::internal::TypeImpl< Config >::handle(), v8::internal::TypeImpl< Config >::BitsetType::New(), v8::internal::TypeImpl< Config >::RangeType::New(), v8::internal::TypeImpl< Config >::UnionType::New(), v8::None, v8::internal::TypeImpl< Config >::NormalizeUnion(), NULL, and size.

Referenced by v8::internal::Map::GeneralizeFieldType(), and v8::internal::TypeImpl< Config >::UpdateRange().

Here is the call graph for this function:

Here is the caller graph for this function:

UpdateRange()

template<class Config >

int v8::internal::TypeImpl< Config >::UpdateRange ( RangeHandle  type, UnionHandle  result, int  size, Region *  region  )

staticprotected

Definition at line 656 of file types.cc.

                                                                     {
  TypeHandle old_range = result->Get(1);
  DCHECK(old_range->IsRange() || old_range->IsNone());
  if (range->Is(old_range)) return size;
  if (!old_range->Is(range->unhandle())) {
    range = RangeType::New(
        Union(Limits(range->AsRange()), Limits(old_range->AsRange())), region);
  }
  result->Set(1, range);
 
  // Remove any components that just got subsumed.
  for (int i = 2; i < size; ) {
    if (result->Get(i)->Is(range->unhandle())) {
      result->Set(i, result->Get(--size));
    } else {
      ++i;
    }
  }
  return size;
}

References DCHECK, v8::internal::TypeImpl< Config >::RangeType::New(), size, and v8::internal::TypeImpl< Config >::Union().

Referenced by v8::internal::TypeImpl< Config >::IntersectAux().

Here is the call graph for this function:

Here is the caller graph for this function:

Friends And Related Function Documentation

Iterator

template<class Config >

template<class >

friend class Iterator

friend

Definition at line 490 of file types.h.

TypeImpl

template<class Config >

template<class >

friend class TypeImpl

friend

Definition at line 491 of file types.h.

---

The documentation for this class was generated from the following files:

• /mnt/V8SourceCode/src/compiler/simplified-operator.h
• /mnt/V8SourceCode/src/types.h
• /mnt/V8SourceCode/src/types-inl.h
• /mnt/V8SourceCode/src/types.cc