v8::internal::BoundsImpl< Config > Struct Template Reference

#include <types.h>

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

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

Public Types
typedef TypeImpl< Config >	Type
typedef Type::TypeHandle	TypeHandle
typedef Type::Region	Region

Public Member Functions
	BoundsImpl ()
	BoundsImpl (TypeHandle t)
	BoundsImpl (TypeHandle l, TypeHandle u)
bool	Narrows (BoundsImpl that)

Static Public Member Functions
static BoundsImpl	Unbounded (Region *region)
static BoundsImpl	Both (BoundsImpl b1, BoundsImpl b2, Region *region)
static BoundsImpl	Either (BoundsImpl b1, BoundsImpl b2, Region *region)
static BoundsImpl	NarrowLower (BoundsImpl b, TypeHandle t, Region *region)
static BoundsImpl	NarrowUpper (BoundsImpl b, TypeHandle t, Region *region)

Public Attributes
TypeHandle	lower
TypeHandle	upper

Detailed Description

template<class Config>
struct v8::internal::BoundsImpl< Config >

Definition at line 995 of file types.h.

Member Typedef Documentation

Region

template<class Config >

typedef Type::Region v8::internal::BoundsImpl< Config >::Region

Definition at line 998 of file types.h.

Type

template<class Config >

typedef TypeImpl<Config> v8::internal::BoundsImpl< Config >::Type

Definition at line 996 of file types.h.

TypeHandle

template<class Config >

typedef Type::TypeHandle v8::internal::BoundsImpl< Config >::TypeHandle

Definition at line 997 of file types.h.

Constructor & Destructor Documentation

BoundsImpl() [1/3]

template<class Config >

v8::internal::BoundsImpl< Config >::BoundsImpl ( )

inline

Definition at line 1003 of file types.h.

{}

BoundsImpl() [2/3]

template<class Config >

v8::internal::BoundsImpl< Config >::BoundsImpl ( TypeHandle  t )

inlineexplicit

Definition at line 1004 of file types.h.

: lower(t), upper(t) {}

BoundsImpl() [3/3]

template<class Config >

v8::internal::BoundsImpl< Config >::BoundsImpl ( TypeHandle  l, TypeHandle  u  )

inline

Definition at line 1005 of file types.h.

                                         : lower(l), upper(u) {
    DCHECK(lower->Is(upper));
  }

References DCHECK.

Member Function Documentation

Both()

template<class Config >

static BoundsImpl v8::internal::BoundsImpl< Config >::Both ( BoundsImpl< Config >  b1, BoundsImpl< Config >  b2, Region *  region  )

inlinestatic

Definition at line 1015 of file types.h.

                                                                       {
    TypeHandle lower = Type::Union(b1.lower, b2.lower, region);
    TypeHandle upper = Type::Intersect(b1.upper, b2.upper, region);
    // Lower bounds are considered approximate, correct as necessary.
    lower = Type::Intersect(lower, upper, region);
    return BoundsImpl(lower, upper);
  }

References v8::internal::TypeImpl< ZoneTypeConfig >::Intersect(), v8::internal::BoundsImpl< Config >::lower, v8::internal::TypeImpl< ZoneTypeConfig >::Union(), and v8::internal::BoundsImpl< Config >::upper.

Here is the call graph for this function:

Either()

template<class Config >

static BoundsImpl v8::internal::BoundsImpl< Config >::Either ( BoundsImpl< Config >  b1, BoundsImpl< Config >  b2, Region *  region  )

inlinestatic

Definition at line 1024 of file types.h.

                                                                         {
    TypeHandle lower = Type::Intersect(b1.lower, b2.lower, region);
    TypeHandle upper = Type::Union(b1.upper, b2.upper, region);
    return BoundsImpl(lower, upper);
  }

References v8::internal::TypeImpl< ZoneTypeConfig >::Intersect(), v8::internal::BoundsImpl< Config >::lower, v8::internal::TypeImpl< ZoneTypeConfig >::Union(), and v8::internal::BoundsImpl< Config >::upper.

Here is the call graph for this function:

NarrowLower()

template<class Config >

static BoundsImpl v8::internal::BoundsImpl< Config >::NarrowLower ( BoundsImpl< Config >  b, TypeHandle  t, Region *  region  )

inlinestatic

Definition at line 1030 of file types.h.

                                                                            {
    // Lower bounds are considered approximate, correct as necessary.
    t = Type::Intersect(t, b.upper, region);
    TypeHandle lower = Type::Union(b.lower, t, region);
    return BoundsImpl(lower, b.upper);
  }

References v8::internal::TypeImpl< ZoneTypeConfig >::Intersect(), v8::internal::BoundsImpl< Config >::lower, v8::internal::TypeImpl< ZoneTypeConfig >::Union(), and v8::internal::BoundsImpl< Config >::upper.

Here is the call graph for this function:

Narrows()

template<class Config >

bool v8::internal::BoundsImpl< Config >::Narrows ( BoundsImpl< Config >  that )

inline

Definition at line 1042 of file types.h.

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

References v8::internal::BoundsImpl< Config >::lower, and v8::internal::BoundsImpl< Config >::upper.

Referenced by v8::internal::compiler::Typer::NarrowVisitor::Pre(), and v8::internal::compiler::Typer::WidenVisitor::Pre().

Here is the caller graph for this function:

NarrowUpper()

template<class Config >

static BoundsImpl v8::internal::BoundsImpl< Config >::NarrowUpper ( BoundsImpl< Config >  b, TypeHandle  t, Region *  region  )

inlinestatic

Definition at line 1036 of file types.h.

                                                                            {
    TypeHandle lower = Type::Intersect(b.lower, t, region);
    TypeHandle upper = Type::Intersect(b.upper, t, region);
    return BoundsImpl(lower, upper);
  }

References v8::internal::TypeImpl< ZoneTypeConfig >::Intersect(), v8::internal::BoundsImpl< Config >::lower, and v8::internal::BoundsImpl< Config >::upper.

Here is the call graph for this function:

Unbounded()

template<class Config >

static BoundsImpl v8::internal::BoundsImpl< Config >::Unbounded ( Region *  region )

inlinestatic

Definition at line 1010 of file types.h.

                                              {
    return BoundsImpl(Type::None(region), Type::Any(region));
  }

References v8::None.

Member Data Documentation

lower

template<class Config >

TypeHandle v8::internal::BoundsImpl< Config >::lower

Definition at line 1000 of file types.h.

Referenced by v8::internal::compiler::GraphVisualizer::AnnotateNode(), v8::internal::BoundsImpl< Config >::Both(), v8::internal::BoundsImpl< Config >::Either(), v8::internal::BoundsImpl< Config >::NarrowLower(), v8::internal::BoundsImpl< Config >::Narrows(), v8::internal::BoundsImpl< Config >::NarrowUpper(), v8::internal::compiler::operator<<(), and v8::internal::compiler::Typer::WidenVisitor::Pre().

upper

template<class Config >

TypeHandle v8::internal::BoundsImpl< Config >::upper

Definition at line 1001 of file types.h.

Referenced by v8::internal::compiler::GraphVisualizer::AnnotateNode(), v8::internal::BoundsImpl< Config >::Both(), v8::internal::compiler::RepresentationSelector::BothInputsAre(), v8::internal::compiler::Typer::Visitor::ContextType(), v8::internal::compiler::JSBinopReduction::ConvertToI32(), v8::internal::BoundsImpl< Config >::Either(), v8::internal::compiler::JSCallReduction::InputsMatchAll(), v8::internal::compiler::JSCallReduction::InputsMatchOne(), v8::internal::compiler::JSCallReduction::InputsMatchTwo(), v8::internal::BoundsImpl< Config >::NarrowLower(), v8::internal::BoundsImpl< Config >::Narrows(), v8::internal::BoundsImpl< Config >::NarrowUpper(), v8::internal::compiler::operator<<(), v8::internal::compiler::Typer::WidenVisitor::Pre(), v8::internal::compiler::RepresentationSelector::VisitNode(), and v8::internal::compiler::RepresentationSelector::VisitPhi().

---

The documentation for this struct was generated from the following file:

• /mnt/V8SourceCode/src/types.h