v8::internal::compiler::Typer Class Reference

#include <typer.h>

Collaboration diagram for v8::internal::compiler::Typer:

Classes
class	NarrowVisitor
class	RunVisitor
class	Visitor
class	WidenVisitor

Public Member Functions
	Typer (Zone *zone)
void	Init (Node *node)
void	Run (Graph *graph, MaybeHandle< Context > context)
void	Narrow (Graph *graph, Node *node, MaybeHandle< Context > context)
void	Widen (Graph *graph, Node *node, MaybeHandle< Context > context)
void	DecorateGraph (Graph *graph)
Zone *	zone ()
Isolate *	isolate ()

Private Attributes
Zone *	zone_
Type *	number_fun0_
Type *	number_fun1_
Type *	number_fun2_
Type *	weakint_fun1_
Type *	imul_fun_
Type *	random_fun_
Type *	array_buffer_fun_
Type *	int8_array_fun_
Type *	int16_array_fun_
Type *	int32_array_fun_
Type *	uint8_array_fun_
Type *	uint16_array_fun_
Type *	uint32_array_fun_
Type *	float32_array_fun_
Type *	float64_array_fun_

Detailed Description

Definition at line 18 of file typer.h.

Constructor & Destructor Documentation

Typer()

v8::internal::compiler::Typer::Typer ( Zone *  zone )

explicit

Definition at line 17 of file typer.cc.

                       : zone_(zone) {
  Factory* f = zone->isolate()->factory();
 
  Type* number = Type::Number();
  Type* signed32 = Type::Signed32();
  Type* unsigned32 = Type::Unsigned32();
  Type* integral32 = Type::Integral32();
  Type* object = Type::Object();
  Type* undefined = Type::Undefined();
  Type* weakint = Type::Union(
      Type::Range(f->NewNumber(-V8_INFINITY), f->NewNumber(+V8_INFINITY), zone),
      Type::Union(Type::NaN(), Type::MinusZero(), zone), zone);
 
  number_fun0_ = Type::Function(number, zone);
  number_fun1_ = Type::Function(number, number, zone);
  number_fun2_ = Type::Function(number, number, number, zone);
  weakint_fun1_ = Type::Function(weakint, number, zone);
  imul_fun_ = Type::Function(signed32, integral32, integral32, zone);
  random_fun_ = Type::Function(Type::Union(
      Type::UnsignedSmall(), Type::OtherNumber(), zone), zone);
 
 
#define NATIVE_TYPE(sem, rep) \
  Type::Intersect(Type::sem(zone), Type::rep(zone), zone)
  // TODO(rossberg): Use range types for more precision, once we have them.
  Type* int8 = NATIVE_TYPE(SignedSmall, UntaggedInt8);
  Type* int16 = NATIVE_TYPE(SignedSmall, UntaggedInt16);
  Type* int32 = NATIVE_TYPE(Signed32, UntaggedInt32);
  Type* uint8 = NATIVE_TYPE(UnsignedSmall, UntaggedInt8);
  Type* uint16 = NATIVE_TYPE(UnsignedSmall, UntaggedInt16);
  Type* uint32 = NATIVE_TYPE(Unsigned32, UntaggedInt32);
  Type* float32 = NATIVE_TYPE(Number, UntaggedFloat32);
  Type* float64 = NATIVE_TYPE(Number, UntaggedFloat64);
#undef NATIVE_TYPE
  Type* buffer = Type::Buffer(zone);
  Type* int8_array = Type::Array(int8, zone);
  Type* int16_array = Type::Array(int16, zone);
  Type* int32_array = Type::Array(int32, zone);
  Type* uint8_array = Type::Array(uint8, zone);
  Type* uint16_array = Type::Array(uint16, zone);
  Type* uint32_array = Type::Array(uint32, zone);
  Type* float32_array = Type::Array(float32, zone);
  Type* float64_array = Type::Array(float64, zone);
  Type* arg1 = Type::Union(unsigned32, object, zone);
  Type* arg2 = Type::Union(unsigned32, undefined, zone);
  Type* arg3 = arg2;
  array_buffer_fun_ = Type::Function(buffer, unsigned32, zone);
  int8_array_fun_ = Type::Function(int8_array, arg1, arg2, arg3, zone);
  int16_array_fun_ = Type::Function(int16_array, arg1, arg2, arg3, zone);
  int32_array_fun_ = Type::Function(int32_array, arg1, arg2, arg3, zone);
  uint8_array_fun_ = Type::Function(uint8_array, arg1, arg2, arg3, zone);
  uint16_array_fun_ = Type::Function(uint16_array, arg1, arg2, arg3, zone);
  uint32_array_fun_ = Type::Function(uint32_array, arg1, arg2, arg3, zone);
  float32_array_fun_ = Type::Function(float32_array, arg1, arg2, arg3, zone);
  float64_array_fun_ = Type::Function(float64_array, arg1, arg2, arg3, zone);
}

References v8::internal::TypeImpl< ZoneTypeConfig >::Array(), array_buffer_fun_, v8::internal::Isolate::factory(), float32_array_fun_, float64_array_fun_, v8::internal::TypeImpl< ZoneTypeConfig >::Function(), imul_fun_, int16_array_fun_, int32_array_fun_, int8_array_fun_, v8::internal::Zone::isolate(), NATIVE_TYPE, number_fun0_, number_fun1_, number_fun2_, v8::internal::Object, random_fun_, v8::internal::TypeImpl< ZoneTypeConfig >::Range(), uint16_array_fun_, uint32_array_fun_, uint8_array_fun_, v8::Undefined(), v8::internal::TypeImpl< ZoneTypeConfig >::Union(), V8_INFINITY, weakint_fun1_, and zone().

Here is the call graph for this function:

Member Function Documentation

DecorateGraph()

void v8::internal::compiler::Typer::DecorateGraph

(

Graph *

graph

)

Definition at line 908 of file typer.cc.

                                      {
  graph->AddDecorator(new (zone()) TyperDecorator(this));
}

References v8::internal::compiler::Graph::AddDecorator(), and zone().

Referenced by v8::internal::compiler::Pipeline::GenerateCode().

Here is the call graph for this function:

Here is the caller graph for this function:

Init()

void v8::internal::compiler::Typer::Init

(

Node *

node

)

Definition at line 229 of file typer.cc.

                           {
  if (OperatorProperties::HasValueOutput(node->op())) {
    Visitor typing(this, MaybeHandle<Context>());
    Bounds bounds = typing.TypeNode(node);
    NodeProperties::SetBounds(node, bounds);
  }
}

References v8::internal::compiler::OperatorProperties::HasValueOutput(), v8::internal::compiler::NodeProperties::SetBounds(), and v8::internal::compiler::Typer::Visitor::TypeNode().

Referenced by v8::internal::compiler::JSGraph::NewNode().

Here is the call graph for this function:

Here is the caller graph for this function:

isolate()

Isolate* v8::internal::compiler::Typer::isolate ( )

inline

Definition at line 30 of file typer.h.

{ return zone_->isolate(); }

References v8::internal::Zone::isolate(), and zone_.

Referenced by v8::internal::compiler::Typer::Visitor::isolate(), and v8::internal::compiler::Typer::Visitor::TypeConstant().

Here is the call graph for this function:

Here is the caller graph for this function:

Narrow()

void v8::internal::compiler::Typer::Narrow	(	Graph *	graph,
		Node *	node,
		MaybeHandle< Context >	context
	)

Definition at line 217 of file typer.cc.

                                                                          {
  NarrowVisitor typing(this, context);
  graph->VisitNodeUsesFrom(start, &typing);
}

References v8::internal::compiler::Graph::VisitNodeUsesFrom().

Here is the call graph for this function:

Run()

void v8::internal::compiler::Typer::Run	(	Graph *	graph,
		MaybeHandle< Context >	context
	)

Definition at line 207 of file typer.cc.

                                                          {
  RunVisitor typing(this, context);
  graph->VisitNodeInputsFromEnd(&typing);
  // Find least fixpoint.
  for (NodeSetIter i = typing.redo.begin(); i != typing.redo.end(); ++i) {
    Widen(graph, *i, context);
  }
}

References v8::internal::compiler::Typer::RunVisitor::redo, v8::internal::compiler::Graph::VisitNodeInputsFromEnd(), and Widen().

Referenced by v8::internal::compiler::Pipeline::GenerateCode().

Here is the call graph for this function:

Here is the caller graph for this function:

Widen()

void v8::internal::compiler::Typer::Widen	(	Graph *	graph,
		Node *	node,
		MaybeHandle< Context >	context
	)

Definition at line 223 of file typer.cc.

                                                                         {
  WidenVisitor typing(this, context);
  graph->VisitNodeUsesFrom(start, &typing);
}

References v8::internal::compiler::Graph::VisitNodeUsesFrom().

Referenced by Run().

Here is the call graph for this function:

Here is the caller graph for this function:

zone()

Zone* v8::internal::compiler::Typer::zone ( )

inline

Definition at line 29 of file typer.h.

{ return zone_; }

References zone_.

Referenced by DecorateGraph(), v8::internal::compiler::Typer::Visitor::TypeConstant(), Typer(), and v8::internal::compiler::Typer::Visitor::zone().

Here is the caller graph for this function:

Member Data Documentation

array_buffer_fun_

Type* v8::internal::compiler::Typer::array_buffer_fun_

private

Definition at line 45 of file typer.h.

Referenced by Typer().

float32_array_fun_

Type* v8::internal::compiler::Typer::float32_array_fun_

private

Definition at line 52 of file typer.h.

Referenced by Typer().

float64_array_fun_

Type* v8::internal::compiler::Typer::float64_array_fun_

private

Definition at line 53 of file typer.h.

Referenced by Typer().

imul_fun_

Type* v8::internal::compiler::Typer::imul_fun_

private

Definition at line 43 of file typer.h.

Referenced by Typer().

int16_array_fun_

Type* v8::internal::compiler::Typer::int16_array_fun_

private

Definition at line 47 of file typer.h.

Referenced by Typer().

int32_array_fun_

Type* v8::internal::compiler::Typer::int32_array_fun_

private

Definition at line 48 of file typer.h.

Referenced by Typer().

int8_array_fun_

Type* v8::internal::compiler::Typer::int8_array_fun_

private

Definition at line 46 of file typer.h.

Referenced by Typer().

number_fun0_

Type* v8::internal::compiler::Typer::number_fun0_

private

Definition at line 39 of file typer.h.

Referenced by Typer().

number_fun1_

Type* v8::internal::compiler::Typer::number_fun1_

private

Definition at line 40 of file typer.h.

Referenced by Typer().

number_fun2_

Type* v8::internal::compiler::Typer::number_fun2_

private

Definition at line 41 of file typer.h.

Referenced by Typer().

random_fun_

Type* v8::internal::compiler::Typer::random_fun_

private

Definition at line 44 of file typer.h.

Referenced by Typer().

uint16_array_fun_

Type* v8::internal::compiler::Typer::uint16_array_fun_

private

Definition at line 50 of file typer.h.

Referenced by Typer().

uint32_array_fun_

Type* v8::internal::compiler::Typer::uint32_array_fun_

private

Definition at line 51 of file typer.h.

Referenced by Typer().

uint8_array_fun_

Type* v8::internal::compiler::Typer::uint8_array_fun_

private

Definition at line 49 of file typer.h.

Referenced by Typer().

weakint_fun1_

Type* v8::internal::compiler::Typer::weakint_fun1_

private

Definition at line 42 of file typer.h.

Referenced by Typer().

zone_

Zone* v8::internal::compiler::Typer::zone_

private

Definition at line 38 of file typer.h.

Referenced by isolate(), and zone().

---

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

• /mnt/V8SourceCode/src/compiler/typer.h
• /mnt/V8SourceCode/src/compiler/typer.cc