v8::internal::FullCodeGenerator Class Reference

#include <full-codegen.h>

Inheritance diagram for v8::internal::FullCodeGenerator:

Collaboration diagram for v8::internal::FullCodeGenerator:

Classes
class	AccumulatorValueContext
struct	BackEdgeEntry
struct	BailoutEntry
class	BASE_EMBEDDED
class	Breakable
class	EffectContext
class	Finally
class	ForIn
class	Iteration
class	NestedBlock
class	PcField
class	StackValueContext
class	StateField
class	TestContext
class	TryCatch
class	TryFinally
class	WithOrCatch

Public Types
enum	State { NO_REGISTERS , TOS_REG }

Public Member Functions
	FullCodeGenerator (MacroAssembler *masm, CompilationInfo *info)
void	Initialize ()

Static Public Member Functions
static bool	MakeCode (CompilationInfo *info)
static const char *	State2String (State state)

Static Public Attributes
static const int	kMaxBackEdgeWeight = 127

Private Types
typedef void(FullCodeGenerator::*	InlineFunctionGenerator) (CallRuntime *expr)

Private Member Functions
void	ClearAccumulator ()
bool	ShouldInlineSmiCase (Token::Value op)
void	DoTest (Expression *condition, Label *if_true, Label *if_false, Label *fall_through)
void	DoTest (const TestContext *context)
void	Split (Condition cc, Label *if_true, Label *if_false, Label *fall_through)
void	GetVar (Register destination, Variable *var)
void	SetVar (Variable *var, Register source, Register scratch0, Register scratch1)
MemOperand	StackOperand (Variable *var)
MemOperand	VarOperand (Variable *var, Register scratch)
void	VisitForEffect (Expression *expr)
void	VisitForAccumulatorValue (Expression *expr)
void	VisitForStackValue (Expression *expr)
void	VisitForControl (Expression *expr, Label *if_true, Label *if_false, Label *fall_through)
void	VisitInDuplicateContext (Expression *expr)
void	VisitDeclarations (ZoneList< Declaration * > *declarations)
void	DeclareModules (Handle< FixedArray > descriptions)
void	DeclareGlobals (Handle< FixedArray > pairs)
int	DeclareGlobalsFlags ()
void	AllocateModules (ZoneList< Declaration * > *declarations)
void	EmitCreateIteratorResult (bool done)
bool	TryLiteralCompare (CompareOperation *compare)
void	EmitLiteralCompareTypeof (Expression *expr, Expression *sub_expr, Handle< String > check)
void	EmitLiteralCompareNil (CompareOperation *expr, Expression *sub_expr, NilValue nil)
void	PrepareForBailout (Expression *node, State state)
void	PrepareForBailoutForId (BailoutId id, State state)
Handle< FixedArray >	FeedbackVector ()
void	EnsureSlotContainsAllocationSite (int slot)
void	RecordJSReturnSite (Call *call)
void	PrepareForBailoutBeforeSplit (Expression *expr, bool should_normalize, Label *if_true, Label *if_false)
void	EmitDebugCheckDeclarationContext (Variable *variable)
void	EmitBackEdgeBookkeeping (IterationStatement *stmt, Label *back_edge_target)
void	RecordBackEdge (BailoutId osr_ast_id)
unsigned	EmitBackEdgeTable ()
void	EmitProfilingCounterDecrement (int delta)
void	EmitProfilingCounterReset ()
void	EmitUnwindBeforeReturn ()
void	EmitReturnSequence ()
void	EmitCall (Call *expr, CallICState::CallType=CallICState::FUNCTION)
void	EmitCallWithLoadIC (Call *expr)
void	EmitSuperCallWithLoadIC (Call *expr)
void	EmitKeyedCallWithLoadIC (Call *expr, Expression *key)
InlineFunctionGenerator	FindInlineFunctionGenerator (Runtime::FunctionId id)
void	EmitInlineRuntimeCall (CallRuntime *expr)
void	EmitGeneratorResume (Expression *generator, Expression *value, JSGeneratorObject::ResumeMode resume_mode)
void	EmitLoadGlobalCheckExtensions (VariableProxy *proxy, TypeofState typeof_state, Label *slow)
MemOperand	ContextSlotOperandCheckExtensions (Variable *var, Label *slow)
void	EmitDynamicLookupFastCase (VariableProxy *proxy, TypeofState typeof_state, Label *slow, Label *done)
void	EmitVariableLoad (VariableProxy *proxy)
void	EmitAccessor (Expression *expression)
void	EmitResolvePossiblyDirectEval (int arg_count)
void	EmitNewClosure (Handle< SharedFunctionInfo > info, bool pretenure)
void	EmitNamedPropertyLoad (Property *expr)
void	EmitNamedSuperPropertyLoad (Property *expr)
void	EmitKeyedPropertyLoad (Property *expr)
void	EmitBinaryOp (BinaryOperation *expr, Token::Value op, OverwriteMode mode)
void	EmitInlineSmiBinaryOp (BinaryOperation *expr, Token::Value op, OverwriteMode mode, Expression *left, Expression *right)
void	EmitAssignment (Expression *expr)
void	EmitVariableAssignment (Variable *var, Token::Value op)
void	EmitStoreToStackLocalOrContextSlot (Variable *var, MemOperand location)
void	EmitNamedPropertyAssignment (Assignment *expr)
void	EmitNamedSuperPropertyAssignment (Assignment *expr)
void	EmitKeyedPropertyAssignment (Assignment *expr)
void	EmitLoadHomeObject (SuperReference *expr)
void	CallIC (Handle< Code > code, TypeFeedbackId id=TypeFeedbackId::None())
void	CallLoadIC (ContextualMode mode, TypeFeedbackId id=TypeFeedbackId::None())
void	CallStoreIC (TypeFeedbackId id=TypeFeedbackId::None())
void	SetFunctionPosition (FunctionLiteral *fun)
void	SetReturnPosition (FunctionLiteral *fun)
void	SetStatementPosition (Statement *stmt)
void	SetExpressionPosition (Expression *expr)
void	SetSourcePosition (int pos)
void	EnterFinallyBlock ()
void	ExitFinallyBlock ()
int	loop_depth ()
void	increment_loop_depth ()
void	decrement_loop_depth ()
MacroAssembler *	masm ()
const ExpressionContext *	context ()
void	set_new_context (const ExpressionContext *context)
Handle< Script >	script ()
bool	is_eval ()
bool	is_native ()
StrictMode	strict_mode ()
FunctionLiteral *	function ()
Scope *	scope ()
void	StoreToFrameField (int frame_offset, Register value)
void	LoadContextField (Register dst, int context_index)
void	PushFunctionArgumentForContextAllocation ()
void	VisitComma (BinaryOperation *expr)
void	VisitLogicalExpression (BinaryOperation *expr)
void	VisitArithmeticExpression (BinaryOperation *expr)
void	VisitForTypeofValue (Expression *expr)
void	Generate ()
void	PopulateDeoptimizationData (Handle< Code > code)
void	PopulateTypeFeedbackInfo (Handle< Code > code)
Handle< FixedArray >	handler_table ()
	DEFINE_AST_VISITOR_SUBCLASS_MEMBERS ()
	DISALLOW_COPY_AND_ASSIGN (FullCodeGenerator)

Static Private Member Functions
static Register	result_register ()
static Register	context_register ()

Private Attributes
MacroAssembler *	masm_
CompilationInfo *	info_
Scope *	scope_
Label	return_label_
NestedStatement *	nesting_stack_
int	loop_depth_
ZoneList< Handle< Object > > *	globals_
Handle< FixedArray >	modules_
int	module_index_
const ExpressionContext *	context_
ZoneList< BailoutEntry >	bailout_entries_
ZoneList< BackEdgeEntry >	back_edges_
int	ic_total_count_
Handle< FixedArray >	handler_table_
Handle< Cell >	profiling_counter_
bool	generate_debug_code_

Static Private Attributes
static const InlineFunctionGenerator	kInlineFunctionGenerators []

Friends
class	NestedStatement

Detailed Description

Definition at line 57 of file full-codegen.h.

Member Typedef Documentation

InlineFunctionGenerator

typedef void(FullCodeGenerator::* v8::internal::FullCodeGenerator::InlineFunctionGenerator) (CallRuntime *expr)

private

Definition at line 296 of file full-codegen.h.

Member Enumeration Documentation

State

enum v8::internal::FullCodeGenerator::State

Enumerator
NO_REGISTERS
TOS_REG

Definition at line 59 of file full-codegen.h.

             {
    NO_REGISTERS,
    TOS_REG
  };

Constructor & Destructor Documentation

FullCodeGenerator()

v8::internal::FullCodeGenerator::FullCodeGenerator ( MacroAssembler *  masm, CompilationInfo *  info  )

inline

Definition at line 64 of file full-codegen.h.

      : masm_(masm),
        info_(info),
        scope_(info->scope()),
        nesting_stack_(NULL),
        loop_depth_(0),
        globals_(NULL),
        context_(NULL),
        bailout_entries_(info->HasDeoptimizationSupport()
                         ? info->function()->ast_node_count() : 0,
                         info->zone()),
        back_edges_(2, info->zone()),
        ic_total_count_(0) {
    DCHECK(!info->IsStub());
    Initialize();
  }

References DCHECK, Initialize(), and v8::internal::CompilationInfo::IsStub().

Here is the call graph for this function:

Member Function Documentation

AllocateModules()

void v8::internal::FullCodeGenerator::AllocateModules ( ZoneList< Declaration * > *  declarations )

private

Definition at line 586 of file full-codegen.cc.

                                                                            {
  DCHECK(scope_->is_global_scope());
 
  for (int i = 0; i < declarations->length(); i++) {
    ModuleDeclaration* declaration = declarations->at(i)->AsModuleDeclaration();
    if (declaration != NULL) {
      ModuleLiteral* module = declaration->module()->AsModuleLiteral();
      if (module != NULL) {
        Comment cmnt(masm_, "[ Link nested modules");
        Scope* scope = module->body()->scope();
        Interface* interface = scope->interface();
        DCHECK(interface->IsModule() && interface->IsFrozen());
 
        interface->Allocate(scope->module_var()->index());
 
        // Set up module context.
        DCHECK(scope->interface()->Index() >= 0);
        __ Push(Smi::FromInt(scope->interface()->Index()));
        __ Push(scope->GetScopeInfo());
        __ CallRuntime(Runtime::kPushModuleContext, 2);
        StoreToFrameField(StandardFrameConstants::kContextOffset,
                          context_register());
 
        AllocateModules(scope->declarations());
 
        // Pop module context.
        LoadContextField(context_register(), Context::PREVIOUS_INDEX);
        // Update local stack frame context field.
        StoreToFrameField(StandardFrameConstants::kContextOffset,
                          context_register());
      }
    }
  }
}

References __, v8::internal::List< T, AllocationPolicy >::at(), context_register(), DCHECK, v8::internal::Scope::declarations(), v8::internal::Smi::FromInt(), v8::internal::Scope::GetScopeInfo(), v8::internal::Interface::Index(), v8::internal::Variable::index(), v8::internal::Scope::interface(), v8::internal::Scope::is_global_scope(), v8::internal::StandardFrameConstants::kContextOffset, LoadContextField(), masm_, v8::internal::Scope::module_var(), NULL, v8::internal::Context::PREVIOUS_INDEX, v8::internal::compiler::Push(), scope(), scope_, and StoreToFrameField().

Referenced by VisitDeclarations().

Here is the call graph for this function:

Here is the caller graph for this function:

CallIC()

void v8::internal::FullCodeGenerator::CallIC ( Handle< Code >  code, TypeFeedbackId  id = TypeFeedbackId::None()  )

private

Referenced by CallLoadIC(), and CallStoreIC().

Here is the caller graph for this function:

CallLoadIC()

void v8::internal::FullCodeGenerator::CallLoadIC ( ContextualMode  mode, TypeFeedbackId  id = TypeFeedbackId::None()  )

private

Definition at line 421 of file full-codegen.cc.

                                                      {
  Handle<Code> ic = CodeFactory::LoadIC(isolate(), contextual_mode).code();
  CallIC(ic, id);
}

References CallIC().

Here is the call graph for this function:

CallStoreIC()

void v8::internal::FullCodeGenerator::CallStoreIC ( TypeFeedbackId  id = TypeFeedbackId::None() )

private

Definition at line 428 of file full-codegen.cc.

                                                     {
  Handle<Code> ic = CodeFactory::StoreIC(isolate(), strict_mode()).code();
  CallIC(ic, id);
}

References CallIC(), and strict_mode().

Here is the call graph for this function:

ClearAccumulator()

void v8::internal::FullCodeGenerator::ClearAccumulator ( )

private

context()

const ExpressionContext* v8::internal::FullCodeGenerator::context ( )

inlineprivate

Definition at line 602 of file full-codegen.h.

{ return context_; }

References context_.

Referenced by v8::internal::FullCodeGenerator::TestContext::cast(), DoTest(), set_new_context(), VisitForAccumulatorValue(), VisitForControl(), VisitForEffect(), VisitForStackValue(), VisitInDuplicateContext(), and VisitLogicalExpression().

Here is the caller graph for this function:

context_register()

static Register v8::internal::FullCodeGenerator::context_register ( )

staticprivate

Referenced by AllocateModules().

Here is the caller graph for this function:

ContextSlotOperandCheckExtensions()

MemOperand v8::internal::FullCodeGenerator::ContextSlotOperandCheckExtensions ( Variable *  var, Label *  slow  )

private

DeclareGlobals()

void v8::internal::FullCodeGenerator::DeclareGlobals ( Handle< FixedArray >  pairs )

private

Referenced by VisitDeclarations().

Here is the caller graph for this function:

DeclareGlobalsFlags()

int v8::internal::FullCodeGenerator::DeclareGlobalsFlags ( )

private

Definition at line 795 of file full-codegen.cc.

                                           {
  DCHECK(DeclareGlobalsStrictMode::is_valid(strict_mode()));
  return DeclareGlobalsEvalFlag::encode(is_eval()) |
      DeclareGlobalsNativeFlag::encode(is_native()) |
      DeclareGlobalsStrictMode::encode(strict_mode());
}

References DCHECK, v8::internal::BitFieldBase< T, shift, size, U >::encode(), is_eval(), is_native(), v8::internal::BitFieldBase< T, shift, size, U >::is_valid(), and strict_mode().

Here is the call graph for this function:

DeclareModules()

void v8::internal::FullCodeGenerator::DeclareModules ( Handle< FixedArray >  descriptions )

private

Referenced by VisitDeclarations().

Here is the caller graph for this function:

decrement_loop_depth()

void v8::internal::FullCodeGenerator::decrement_loop_depth ( )

inlineprivate

Definition at line 594 of file full-codegen.h.

                              {
    DCHECK(loop_depth_ > 0);
    loop_depth_--;
  }

References DCHECK, and loop_depth_.

DEFINE_AST_VISITOR_SUBCLASS_MEMBERS()

v8::internal::FullCodeGenerator::DEFINE_AST_VISITOR_SUBCLASS_MEMBERS ( )

private

DISALLOW_COPY_AND_ASSIGN()

v8::internal::FullCodeGenerator::DISALLOW_COPY_AND_ASSIGN ( FullCodeGenerator  )

private

DoTest() [1/2]

void v8::internal::FullCodeGenerator::DoTest ( const TestContext *  context )

private

Definition at line 578 of file full-codegen.cc.

                                                         {
  DoTest(context->condition(),
         context->true_label(),
         context->false_label(),
         context->fall_through());
}

References context(), and DoTest().

Here is the call graph for this function:

DoTest() [2/2]

void v8::internal::FullCodeGenerator::DoTest ( Expression *  condition, Label *  if_true, Label *  if_false, Label *  fall_through  )

private

Referenced by DoTest(), and VisitLogicalExpression().

Here is the caller graph for this function:

EmitAccessor()

void v8::internal::FullCodeGenerator::EmitAccessor ( Expression *  expression )

private

EmitAssignment()

void v8::internal::FullCodeGenerator::EmitAssignment ( Expression *  expr )

private

EmitBackEdgeBookkeeping()

void v8::internal::FullCodeGenerator::EmitBackEdgeBookkeeping ( IterationStatement *  stmt, Label *  back_edge_target  )

private

EmitBackEdgeTable()

unsigned v8::internal::FullCodeGenerator::EmitBackEdgeTable ( )

private

Definition at line 351 of file full-codegen.cc.

                                              {
  // The back edge table consists of a length (in number of entries)
  // field, and then a sequence of entries.  Each entry is a pair of AST id
  // and code-relative pc offset.
  masm()->Align(kPointerSize);
  unsigned offset = masm()->pc_offset();
  unsigned length = back_edges_.length();
  __ dd(length);
  for (unsigned i = 0; i < length; ++i) {
    __ dd(back_edges_[i].id.ToInt());
    __ dd(back_edges_[i].pc);
    __ dd(back_edges_[i].loop_depth);
  }
  return offset;
}

References __, v8::internal::Assembler::Align(), back_edges_, v8::internal::kPointerSize, loop_depth(), masm(), v8::internal::pc, and v8::internal::AssemblerBase::pc_offset().

Referenced by MakeCode().

Here is the call graph for this function:

Here is the caller graph for this function:

EmitBinaryOp()

void v8::internal::FullCodeGenerator::EmitBinaryOp ( BinaryOperation *  expr, Token::Value  op, OverwriteMode  mode  )

private

Referenced by VisitArithmeticExpression().

Here is the caller graph for this function:

EmitCall()

void v8::internal::FullCodeGenerator::EmitCall ( Call *  expr, CallICState::CallType  = CallICState::FUNCTION  )

private

EmitCallWithLoadIC()

void v8::internal::FullCodeGenerator::EmitCallWithLoadIC ( Call *  expr )

private

EmitCreateIteratorResult()

void v8::internal::FullCodeGenerator::EmitCreateIteratorResult ( bool  done )

private

EmitDebugCheckDeclarationContext()

void v8::internal::FullCodeGenerator::EmitDebugCheckDeclarationContext ( Variable *  variable )

private

EmitDynamicLookupFastCase()

void v8::internal::FullCodeGenerator::EmitDynamicLookupFastCase ( VariableProxy *  proxy, TypeofState  typeof_state, Label *  slow, Label *  done  )

private

EmitGeneratorResume()

void v8::internal::FullCodeGenerator::EmitGeneratorResume ( Expression *  generator, Expression *  value, JSGeneratorObject::ResumeMode  resume_mode  )

private

EmitInlineRuntimeCall()

void v8::internal::FullCodeGenerator::EmitInlineRuntimeCall ( CallRuntime *  expr )

private

Definition at line 896 of file full-codegen.cc.

                                                               {
  const Runtime::Function* function = expr->function();
  DCHECK(function != NULL);
  DCHECK(function->intrinsic_type == Runtime::INLINE);
  InlineFunctionGenerator generator =
      FindInlineFunctionGenerator(function->function_id);
  ((*this).*(generator))(expr);
}

References DCHECK, FindInlineFunctionGenerator(), function(), v8::internal::Runtime::INLINE, and NULL.

Here is the call graph for this function:

EmitInlineSmiBinaryOp()

void v8::internal::FullCodeGenerator::EmitInlineSmiBinaryOp ( BinaryOperation *  expr, Token::Value  op, OverwriteMode  mode, Expression *  left, Expression *  right  )

private

Referenced by VisitArithmeticExpression().

Here is the caller graph for this function:

EmitKeyedCallWithLoadIC()

void v8::internal::FullCodeGenerator::EmitKeyedCallWithLoadIC ( Call *  expr, Expression *  key  )

private

EmitKeyedPropertyAssignment()

void v8::internal::FullCodeGenerator::EmitKeyedPropertyAssignment ( Assignment *  expr )

private

EmitKeyedPropertyLoad()

void v8::internal::FullCodeGenerator::EmitKeyedPropertyLoad ( Property *  expr )

private

EmitLiteralCompareNil()

void v8::internal::FullCodeGenerator::EmitLiteralCompareNil ( CompareOperation *  expr, Expression *  sub_expr, NilValue  nil  )

private

Referenced by TryLiteralCompare().

Here is the caller graph for this function:

EmitLiteralCompareTypeof()

void v8::internal::FullCodeGenerator::EmitLiteralCompareTypeof ( Expression *  expr, Expression *  sub_expr, Handle< String >  check  )

private

Referenced by TryLiteralCompare().

Here is the caller graph for this function:

EmitLoadGlobalCheckExtensions()

void v8::internal::FullCodeGenerator::EmitLoadGlobalCheckExtensions ( VariableProxy *  proxy, TypeofState  typeof_state, Label *  slow  )

private

EmitLoadHomeObject()

void v8::internal::FullCodeGenerator::EmitLoadHomeObject ( SuperReference *  expr )

private

EmitNamedPropertyAssignment()

void v8::internal::FullCodeGenerator::EmitNamedPropertyAssignment ( Assignment *  expr )

private

EmitNamedPropertyLoad()

void v8::internal::FullCodeGenerator::EmitNamedPropertyLoad ( Property *  expr )

private

EmitNamedSuperPropertyAssignment()

void v8::internal::FullCodeGenerator::EmitNamedSuperPropertyAssignment ( Assignment *  expr )

private

EmitNamedSuperPropertyLoad()

void v8::internal::FullCodeGenerator::EmitNamedSuperPropertyLoad ( Property *  expr )

private

EmitNewClosure()

void v8::internal::FullCodeGenerator::EmitNewClosure ( Handle< SharedFunctionInfo >  info, bool  pretenure  )

private

EmitProfilingCounterDecrement()

void v8::internal::FullCodeGenerator::EmitProfilingCounterDecrement ( int  delta )

private

EmitProfilingCounterReset()

void v8::internal::FullCodeGenerator::EmitProfilingCounterReset ( )

private

EmitResolvePossiblyDirectEval()

void v8::internal::FullCodeGenerator::EmitResolvePossiblyDirectEval ( int  arg_count )

private

EmitReturnSequence()

void v8::internal::FullCodeGenerator::EmitReturnSequence ( )

private

EmitStoreToStackLocalOrContextSlot()

void v8::internal::FullCodeGenerator::EmitStoreToStackLocalOrContextSlot ( Variable *  var, MemOperand  location  )

private

EmitSuperCallWithLoadIC()

void v8::internal::FullCodeGenerator::EmitSuperCallWithLoadIC ( Call *  expr )

private

EmitUnwindBeforeReturn()

void v8::internal::FullCodeGenerator::EmitUnwindBeforeReturn ( )

private

Definition at line 1211 of file full-codegen.cc.

                                               {
  NestedStatement* current = nesting_stack_;
  int stack_depth = 0;
  int context_length = 0;
  while (current != NULL) {
    current = current->Exit(&stack_depth, &context_length);
  }
  __ Drop(stack_depth);
}

References __, nesting_stack_, and NULL.

EmitVariableAssignment()

void v8::internal::FullCodeGenerator::EmitVariableAssignment ( Variable *  var, Token::Value  op  )

private

EmitVariableLoad()

void v8::internal::FullCodeGenerator::EmitVariableLoad ( VariableProxy *  proxy )

private

EnsureSlotContainsAllocationSite()

void v8::internal::FullCodeGenerator::EnsureSlotContainsAllocationSite ( int  slot )

private

Definition at line 368 of file full-codegen.cc.

                                                                 {
  Handle<FixedArray> vector = FeedbackVector();
  if (!vector->get(slot)->IsAllocationSite()) {
    Handle<AllocationSite> allocation_site =
        isolate()->factory()->NewAllocationSite();
    vector->set(slot, *allocation_site);
  }
}

References FeedbackVector().

Here is the call graph for this function:

EnterFinallyBlock()

void v8::internal::FullCodeGenerator::EnterFinallyBlock ( )

private

ExitFinallyBlock()

void v8::internal::FullCodeGenerator::ExitFinallyBlock ( )

private

FeedbackVector()

Handle<FixedArray> v8::internal::FullCodeGenerator::FeedbackVector ( )

inlineprivate

Definition at line 432 of file full-codegen.h.

                                      {
    return info_->feedback_vector();
  }

References v8::internal::CompilationInfo::feedback_vector(), and info_.

Referenced by EnsureSlotContainsAllocationSite().

Here is the call graph for this function:

Here is the caller graph for this function:

FindInlineFunctionGenerator()

FullCodeGenerator::InlineFunctionGenerator v8::internal::FullCodeGenerator::FindInlineFunctionGenerator ( Runtime::FunctionId  id )

private

Definition at line 886 of file full-codegen.cc.

                                                                     {
    int lookup_index =
        static_cast<int>(id) - static_cast<int>(Runtime::kFirstInlineFunction);
    DCHECK(lookup_index >= 0);
    DCHECK(static_cast<size_t>(lookup_index) <
           arraysize(kInlineFunctionGenerators));
    return kInlineFunctionGenerators[lookup_index];
}

References arraysize, DCHECK, v8::internal::Runtime::kFirstInlineFunction, and kInlineFunctionGenerators.

Referenced by EmitInlineRuntimeCall().

Here is the caller graph for this function:

function()

FunctionLiteral* v8::internal::FullCodeGenerator::function ( )

inlineprivate

Definition at line 609 of file full-codegen.h.

{ return info_->function(); }

References v8::internal::CompilationInfo::function(), and info_.

Referenced by EmitInlineRuntimeCall().

Here is the call graph for this function:

Here is the caller graph for this function:

Generate()

void v8::internal::FullCodeGenerator::Generate ( )

private

Referenced by MakeCode().

Here is the caller graph for this function:

GetVar()

void v8::internal::FullCodeGenerator::GetVar ( Register  destination, Variable *  var  )

private

handler_table()

Handle<FixedArray> v8::internal::FullCodeGenerator::handler_table ( )

inlineprivate

Definition at line 642 of file full-codegen.h.

{ return handler_table_; }

References handler_table_.

Referenced by MakeCode().

Here is the caller graph for this function:

increment_loop_depth()

void v8::internal::FullCodeGenerator::increment_loop_depth ( )

inlineprivate

Definition at line 593 of file full-codegen.h.

{ loop_depth_++; }

References loop_depth_.

Initialize()

void v8::internal::FullCodeGenerator::Initialize

(

)

Definition at line 401 of file full-codegen.cc.

                                   {
  InitializeAstVisitor(info_->zone());
  // The generation of debug code must match between the snapshot code and the
  // code that is generated later.  This is assumed by the debugger when it is
  // calculating PC offsets after generating a debug version of code.  Therefore
  // we disable the production of debug code in the full compiler if we are
  // either generating a snapshot or we booted from a snapshot.
  generate_debug_code_ = FLAG_debug_code &&
                         !masm_->serializer_enabled() &&
                         !Snapshot::HaveASnapshotToStartFrom();
  masm_->set_emit_debug_code(generate_debug_code_);
  masm_->set_predictable_code_size(true);
}

References generate_debug_code_, v8::internal::Snapshot::HaveASnapshotToStartFrom(), info_, masm_, v8::internal::AssemblerBase::serializer_enabled(), v8::internal::AssemblerBase::set_emit_debug_code(), v8::internal::AssemblerBase::set_predictable_code_size(), and v8::internal::CompilationInfo::zone().

Referenced by FullCodeGenerator().

Here is the call graph for this function:

Here is the caller graph for this function:

is_eval()

bool v8::internal::FullCodeGenerator::is_eval ( )

inlineprivate

Definition at line 606 of file full-codegen.h.

{ return info_->is_eval(); }

References info_, and v8::internal::CompilationInfo::is_eval().

Referenced by DeclareGlobalsFlags().

Here is the call graph for this function:

Here is the caller graph for this function:

is_native()

bool v8::internal::FullCodeGenerator::is_native ( )

inlineprivate

Definition at line 607 of file full-codegen.h.

{ return info_->is_native(); }

References info_, and v8::internal::CompilationInfo::is_native().

Referenced by DeclareGlobalsFlags().

Here is the call graph for this function:

Here is the caller graph for this function:

LoadContextField()

void v8::internal::FullCodeGenerator::LoadContextField ( Register  dst, int  context_index  )

private

Referenced by AllocateModules().

Here is the caller graph for this function:

loop_depth()

int v8::internal::FullCodeGenerator::loop_depth ( )

inlineprivate

Definition at line 592 of file full-codegen.h.

{ return loop_depth_; }

References loop_depth_.

Referenced by EmitBackEdgeTable(), and RecordBackEdge().

Here is the caller graph for this function:

MakeCode()

bool v8::internal::FullCodeGenerator::MakeCode ( CompilationInfo *  info )

static

Definition at line 304 of file full-codegen.cc.

                                                      {
  Isolate* isolate = info->isolate();
 
  TimerEventScope<TimerEventCompileFullCode> timer(info->isolate());
 
  Handle<Script> script = info->script();
  if (!script->IsUndefined() && !script->source()->IsUndefined()) {
    int len = String::cast(script->source())->length();
    isolate->counters()->total_full_codegen_source_size()->Increment(len);
  }
  CodeGenerator::MakeCodePrologue(info, "full");
  const int kInitialBufferSize = 4 * KB;
  MacroAssembler masm(info->isolate(), NULL, kInitialBufferSize);
  if (info->will_serialize()) masm.enable_serializer();
 
  LOG_CODE_EVENT(isolate,
                 CodeStartLinePosInfoRecordEvent(masm.positions_recorder()));
 
  FullCodeGenerator cgen(&masm, info);
  cgen.Generate();
  if (cgen.HasStackOverflow()) {
    DCHECK(!isolate->has_pending_exception());
    return false;
  }
  unsigned table_offset = cgen.EmitBackEdgeTable();
 
  Code::Flags flags = Code::ComputeFlags(Code::FUNCTION);
  Handle<Code> code = CodeGenerator::MakeCodeEpilogue(&masm, flags, info);
  code->set_optimizable(info->IsOptimizable() &&
                        !info->function()->dont_optimize() &&
                        info->function()->scope()->AllowsLazyCompilation());
  cgen.PopulateDeoptimizationData(code);
  cgen.PopulateTypeFeedbackInfo(code);
  code->set_has_deoptimization_support(info->HasDeoptimizationSupport());
  code->set_handler_table(*cgen.handler_table());
  code->set_compiled_optimizable(info->IsOptimizable());
  code->set_allow_osr_at_loop_nesting_level(0);
  code->set_profiler_ticks(0);
  code->set_back_edge_table_offset(table_offset);
  CodeGenerator::PrintCode(code, info);
  info->SetCode(code);
  void* line_info = masm.positions_recorder()->DetachJITHandlerData();
  LOG_CODE_EVENT(isolate, CodeEndLinePosInfoRecordEvent(*code, line_info));
  return true;
}

References v8::internal::Code::ComputeFlags(), v8::internal::Isolate::counters(), DCHECK, EmitBackEdgeTable(), v8::internal::AssemblerBase::enable_serializer(), v8::internal::anonymous_namespace{flags.cc}::flags, v8::internal::CompilationInfo::function(), Generate(), handler_table(), v8::internal::Isolate::has_pending_exception(), v8::internal::CompilationInfo::HasDeoptimizationSupport(), v8::internal::CompilationInfo::isolate(), v8::internal::CompilationInfo::IsOptimizable(), v8::internal::KB, LOG_CODE_EVENT, v8::internal::CodeGenerator::MakeCodeEpilogue(), v8::internal::CodeGenerator::MakeCodePrologue(), masm(), NULL, PopulateDeoptimizationData(), PopulateTypeFeedbackInfo(), v8::internal::Assembler::positions_recorder(), v8::internal::CodeGenerator::PrintCode(), script(), v8::internal::CompilationInfo::script(), v8::internal::CompilationInfo::SetCode(), and v8::internal::CompilationInfo::will_serialize().

Referenced by v8::internal::Compiler::BuildFunctionInfo(), v8::internal::CompileUnoptimizedCode(), and v8::internal::Compiler::EnsureDeoptimizationSupport().

Here is the call graph for this function:

Here is the caller graph for this function:

masm()

MacroAssembler* v8::internal::FullCodeGenerator::masm ( )

inlineprivate

Definition at line 599 of file full-codegen.h.

{ return masm_; }

References masm_.

Referenced by EmitBackEdgeTable(), and MakeCode().

Here is the caller graph for this function:

PopulateDeoptimizationData()

void v8::internal::FullCodeGenerator::PopulateDeoptimizationData ( Handle< Code >  code )

private

Definition at line 378 of file full-codegen.cc.

                                                                    {
  // Fill in the deoptimization information.
  DCHECK(info_->HasDeoptimizationSupport() || bailout_entries_.is_empty());
  if (!info_->HasDeoptimizationSupport()) return;
  int length = bailout_entries_.length();
  Handle<DeoptimizationOutputData> data =
      DeoptimizationOutputData::New(isolate(), length, TENURED);
  for (int i = 0; i < length; i++) {
    data->SetAstId(i, bailout_entries_[i].id);
    data->SetPcAndState(i, Smi::FromInt(bailout_entries_[i].pc_and_state));
  }
  code->set_deoptimization_data(*data);
}

References bailout_entries_, DCHECK, v8::internal::Smi::FromInt(), v8::internal::CompilationInfo::HasDeoptimizationSupport(), info_, v8::internal::DeoptimizationOutputData::New(), and v8::internal::TENURED.

Referenced by MakeCode().

Here is the call graph for this function:

Here is the caller graph for this function:

PopulateTypeFeedbackInfo()

void v8::internal::FullCodeGenerator::PopulateTypeFeedbackInfo ( Handle< Code >  code )

private

Definition at line 393 of file full-codegen.cc.

                                                                  {
  Handle<TypeFeedbackInfo> info = isolate()->factory()->NewTypeFeedbackInfo();
  info->set_ic_total_count(ic_total_count_);
  DCHECK(!isolate()->heap()->InNewSpace(*info));
  code->set_type_feedback_info(*info);
}

References DCHECK, and ic_total_count_.

Referenced by MakeCode().

Here is the caller graph for this function:

PrepareForBailout()

void v8::internal::FullCodeGenerator::PrepareForBailout ( Expression *  node, State  state  )

private

Definition at line 416 of file full-codegen.cc.

                                                                       {
  PrepareForBailoutForId(node->id(), state);
}

References v8::internal::Expression::id(), and PrepareForBailoutForId().

Referenced by VisitForAccumulatorValue(), VisitForEffect(), and VisitForStackValue().

Here is the call graph for this function:

Here is the caller graph for this function:

PrepareForBailoutBeforeSplit()

void v8::internal::FullCodeGenerator::PrepareForBailoutBeforeSplit ( Expression *  expr, bool  should_normalize, Label *  if_true, Label *  if_false  )

private

PrepareForBailoutForId()

void v8::internal::FullCodeGenerator::PrepareForBailoutForId ( BailoutId  id, State  state  )

private

Definition at line 451 of file full-codegen.cc.

                                                                        {
  // There's no need to prepare this code for bailouts from already optimized
  // code or code that can't be optimized.
  if (!info_->HasDeoptimizationSupport()) return;
  unsigned pc_and_state =
      StateField::encode(state) | PcField::encode(masm_->pc_offset());
  DCHECK(Smi::IsValid(pc_and_state));
#ifdef DEBUG
  for (int i = 0; i < bailout_entries_.length(); ++i) {
    DCHECK(bailout_entries_[i].id != id);
  }
#endif
  BailoutEntry entry = { id, pc_and_state };
  bailout_entries_.Add(entry, zone());
}

References bailout_entries_, DCHECK, v8::internal::BitFieldBase< T, shift, size, U >::encode(), v8::internal::CompilationInfo::HasDeoptimizationSupport(), info_, v8::internal::Smi::IsValid(), masm_, and v8::internal::AssemblerBase::pc_offset().

Referenced by PrepareForBailout(), RecordJSReturnSite(), and VisitLogicalExpression().

Here is the call graph for this function:

Here is the caller graph for this function:

PushFunctionArgumentForContextAllocation()

void v8::internal::FullCodeGenerator::PushFunctionArgumentForContextAllocation ( )

private

RecordBackEdge()

void v8::internal::FullCodeGenerator::RecordBackEdge ( BailoutId  osr_ast_id )

private

Definition at line 468 of file full-codegen.cc.

                                                       {
  // The pc offset does not need to be encoded and packed together with a state.
  DCHECK(masm_->pc_offset() > 0);
  DCHECK(loop_depth() > 0);
  uint8_t depth = Min(loop_depth(), Code::kMaxLoopNestingMarker);
  BackEdgeEntry entry =
      { ast_id, static_cast<unsigned>(masm_->pc_offset()), depth };
  back_edges_.Add(entry, zone());
}

References back_edges_, DCHECK, v8::internal::Code::kMaxLoopNestingMarker, loop_depth(), masm_, v8::internal::Min(), and v8::internal::AssemblerBase::pc_offset().

Here is the call graph for this function:

RecordJSReturnSite()

void v8::internal::FullCodeGenerator::RecordJSReturnSite ( Call *  call )

private

Definition at line 434 of file full-codegen.cc.

                                                     {
  // We record the offset of the function return so we can rebuild the frame
  // if the function was inlined, i.e., this is the return address in the
  // inlined function's frame.
  //
  // The state is ignored.  We defensively set it to TOS_REG, which is the
  // real state of the unoptimized code at the return site.
  PrepareForBailoutForId(call->ReturnId(), TOS_REG);
#ifdef DEBUG
  // In debug builds, mark the return so we can verify that this function
  // was called.
  DCHECK(!call->return_is_recorded_);
  call->return_is_recorded_ = true;
#endif
}

References DCHECK, PrepareForBailoutForId(), and TOS_REG.

Here is the call graph for this function:

result_register()

static Register v8::internal::FullCodeGenerator::result_register ( )

staticprivate

Referenced by v8::internal::FullCodeGenerator::AccumulatorValueContext::Plug(), v8::internal::FullCodeGenerator::TestContext::Plug(), v8::internal::FullCodeGenerator::AccumulatorValueContext::PlugTOS(), v8::internal::FullCodeGenerator::TestContext::PlugTOS(), and VisitLogicalExpression().

Here is the caller graph for this function:

scope()

Scope* v8::internal::FullCodeGenerator::scope ( )

inlineprivate

Definition at line 610 of file full-codegen.h.

{ return scope_; }

References scope_.

Referenced by AllocateModules(), and v8::internal::FullCodeGenerator::NestedBlock::Exit().

Here is the caller graph for this function:

script()

Handle<Script> v8::internal::FullCodeGenerator::script ( )

inlineprivate

Definition at line 605 of file full-codegen.h.

{ return info_->script(); }

References info_, and v8::internal::CompilationInfo::script().

Referenced by MakeCode().

Here is the call graph for this function:

Here is the caller graph for this function:

set_new_context()

void v8::internal::FullCodeGenerator::set_new_context ( const ExpressionContext *  context )

inlineprivate

Definition at line 603 of file full-codegen.h.

{ context_ = context; }

References context(), and context_.

Referenced by v8::internal::FullCodeGenerator::BASE_EMBEDDED::ExpressionContext().

Here is the call graph for this function:

Here is the caller graph for this function:

SetExpressionPosition()

void v8::internal::FullCodeGenerator::SetExpressionPosition ( Expression *  expr )

private

Definition at line 840 of file full-codegen.cc.

                                                              {
  if (!info_->is_debug()) {
    CodeGenerator::RecordPositions(masm_, expr->position());
  } else {
    // Check if the expression will be breakable without adding a debug break
    // slot.
    BreakableStatementChecker checker(zone());
    checker.Check(expr);
    // Record a statement position right here if the expression is not
    // breakable. For breakable expressions the actual recording of the
    // position will be postponed to the breakable code (typically an IC).
    // NOTE this will record a statement position for something which might
    // not be a statement. As stepping in the debugger will only stop at
    // statement positions this is used for e.g. the condition expression of
    // a do while loop.
    bool position_recorded = CodeGenerator::RecordPositions(
        masm_, expr->position(), !checker.is_breakable());
    // If the position recording did record a new position generate a debug
    // break slot to make the statement breakable.
    if (position_recorded) {
      DebugCodegen::GenerateSlot(masm_);
    }
  }
}

References v8::internal::BreakableStatementChecker::Check(), v8::internal::DebugCodegen::GenerateSlot(), info_, v8::internal::BreakableStatementChecker::is_breakable(), v8::internal::CompilationInfo::is_debug(), masm_, v8::internal::AstNode::position(), and v8::internal::CodeGenerator::RecordPositions().

Here is the call graph for this function:

SetFunctionPosition()

void v8::internal::FullCodeGenerator::SetFunctionPosition ( FunctionLiteral *  fun )

private

Definition at line 803 of file full-codegen.cc.

                                                                {
  CodeGenerator::RecordPositions(masm_, fun->start_position());
}

References masm_, and v8::internal::CodeGenerator::RecordPositions().

Here is the call graph for this function:

SetReturnPosition()

void v8::internal::FullCodeGenerator::SetReturnPosition ( FunctionLiteral *  fun )

private

Definition at line 808 of file full-codegen.cc.

                                                              {
  CodeGenerator::RecordPositions(masm_, fun->end_position() - 1);
}

References masm_, and v8::internal::CodeGenerator::RecordPositions().

Here is the call graph for this function:

SetSourcePosition()

void v8::internal::FullCodeGenerator::SetSourcePosition ( int  pos )

private

Definition at line 866 of file full-codegen.cc.

                                                 {
  if (pos != RelocInfo::kNoPosition) {
    masm_->positions_recorder()->RecordPosition(pos);
  }
}

References v8::internal::RelocInfo::kNoPosition, masm_, and v8::internal::Assembler::positions_recorder().

Referenced by VisitArithmeticExpression().

Here is the call graph for this function:

Here is the caller graph for this function:

SetStatementPosition()

void v8::internal::FullCodeGenerator::SetStatementPosition ( Statement *  stmt )

private

Definition at line 813 of file full-codegen.cc.

                                                            {
  if (!info_->is_debug()) {
    CodeGenerator::RecordPositions(masm_, stmt->position());
  } else {
    // Check if the statement will be breakable without adding a debug break
    // slot.
    BreakableStatementChecker checker(zone());
    checker.Check(stmt);
    // Record the statement position right here if the statement is not
    // breakable. For breakable statements the actual recording of the
    // position will be postponed to the breakable code (typically an IC).
    bool position_recorded = CodeGenerator::RecordPositions(
        masm_, stmt->position(), !checker.is_breakable());
    // If the position recording did record a new position generate a debug
    // break slot to make the statement breakable.
    if (position_recorded) {
      DebugCodegen::GenerateSlot(masm_);
    }
  }
}

References v8::internal::BreakableStatementChecker::Check(), v8::internal::DebugCodegen::GenerateSlot(), info_, v8::internal::BreakableStatementChecker::is_breakable(), v8::internal::CompilationInfo::is_debug(), masm_, v8::internal::AstNode::position(), and v8::internal::CodeGenerator::RecordPositions().

Here is the call graph for this function:

SetVar()

void v8::internal::FullCodeGenerator::SetVar ( Variable *  var, Register  source, Register  scratch0, Register  scratch1  )

private

ShouldInlineSmiCase()

bool v8::internal::FullCodeGenerator::ShouldInlineSmiCase ( Token::Value  op )

private

Definition at line 479 of file full-codegen.cc.

                                                         {
  // Inline smi case inside loops, but not division and modulo which
  // are too complicated and take up too much space.
  if (op == Token::DIV ||op == Token::MOD) return false;
  if (FLAG_always_inline_smi_code) return true;
  return loop_depth_ > 0;
}

References v8::internal::DIV, and loop_depth_.

Referenced by VisitArithmeticExpression().

Here is the caller graph for this function:

Split()

void v8::internal::FullCodeGenerator::Split ( Condition  cc, Label *  if_true, Label *  if_false, Label *  fall_through  )

private

StackOperand()

MemOperand v8::internal::FullCodeGenerator::StackOperand ( Variable *  var )

private

State2String()

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

inlinestatic

Definition at line 90 of file full-codegen.h.

                                               {
    switch (state) {
      case NO_REGISTERS: return "NO_REGISTERS";
      case TOS_REG: return "TOS_REG";
    }
    UNREACHABLE();
    return NULL;
  }

References NO_REGISTERS, NULL, TOS_REG, and UNREACHABLE.

Referenced by v8::internal::Deoptimizer::DoComputeOutputFrames().

Here is the caller graph for this function:

StoreToFrameField()

void v8::internal::FullCodeGenerator::StoreToFrameField ( int  frame_offset, Register  value  )

private

Referenced by AllocateModules().

Here is the caller graph for this function:

strict_mode()

StrictMode v8::internal::FullCodeGenerator::strict_mode ( )

inlineprivate

Definition at line 608 of file full-codegen.h.

{ return function()->strict_mode(); }

References strict_mode().

Referenced by CallStoreIC(), DeclareGlobalsFlags(), and strict_mode().

Here is the call graph for this function:

Here is the caller graph for this function:

TryLiteralCompare()

bool v8::internal::FullCodeGenerator::TryLiteralCompare ( CompareOperation *  compare )

private

Definition at line 1605 of file full-codegen.cc.

                                                                {
  Expression* sub_expr;
  Handle<String> check;
  if (expr->IsLiteralCompareTypeof(&sub_expr, &check)) {
    EmitLiteralCompareTypeof(expr, sub_expr, check);
    return true;
  }
 
  if (expr->IsLiteralCompareUndefined(&sub_expr, isolate())) {
    EmitLiteralCompareNil(expr, sub_expr, kUndefinedValue);
    return true;
  }
 
  if (expr->IsLiteralCompareNull(&sub_expr)) {
    EmitLiteralCompareNil(expr, sub_expr, kNullValue);
    return true;
  }
 
  return false;
}

References EmitLiteralCompareNil(), EmitLiteralCompareTypeof(), v8::internal::kNullValue, and v8::internal::kUndefinedValue.

Here is the call graph for this function:

VarOperand()

MemOperand v8::internal::FullCodeGenerator::VarOperand ( Variable *  var, Register  scratch  )

private

VisitArithmeticExpression()

void v8::internal::FullCodeGenerator::VisitArithmeticExpression ( BinaryOperation *  expr )

private

Definition at line 1029 of file full-codegen.cc.

                                                                       {
  Token::Value op = expr->op();
  Comment cmnt(masm_, "[ ArithmeticExpression");
  Expression* left = expr->left();
  Expression* right = expr->right();
  OverwriteMode mode =
      left->ResultOverwriteAllowed()
      ? OVERWRITE_LEFT
      : (right->ResultOverwriteAllowed() ? OVERWRITE_RIGHT : NO_OVERWRITE);
 
  VisitForStackValue(left);
  VisitForAccumulatorValue(right);
 
  SetSourcePosition(expr->position());
  if (ShouldInlineSmiCase(op)) {
    EmitInlineSmiBinaryOp(expr, op, mode, left, right);
  } else {
    EmitBinaryOp(expr, op, mode);
  }
}

References EmitBinaryOp(), EmitInlineSmiBinaryOp(), masm_, mode(), v8::internal::NO_OVERWRITE, v8::internal::OVERWRITE_LEFT, v8::internal::OVERWRITE_RIGHT, v8::internal::Expression::ResultOverwriteAllowed(), SetSourcePosition(), ShouldInlineSmiCase(), VisitForAccumulatorValue(), and VisitForStackValue().

Here is the call graph for this function:

VisitComma()

void v8::internal::FullCodeGenerator::VisitComma ( BinaryOperation *  expr )

private

Definition at line 953 of file full-codegen.cc.

                                                        {
  Comment cmnt(masm_, "[ Comma");
  VisitForEffect(expr->left());
  VisitInDuplicateContext(expr->right());
}

References masm_, VisitForEffect(), and VisitInDuplicateContext().

Here is the call graph for this function:

VisitDeclarations()

void v8::internal::FullCodeGenerator::VisitDeclarations ( ZoneList< Declaration * > *  declarations )

private

Definition at line 682 of file full-codegen.cc.

                                          {
  Handle<FixedArray> saved_modules = modules_;
  int saved_module_index = module_index_;
  ZoneList<Handle<Object> >* saved_globals = globals_;
  ZoneList<Handle<Object> > inner_globals(10, zone());
  globals_ = &inner_globals;
 
  if (scope_->num_modules() != 0) {
    // This is a scope hosting modules. Allocate a descriptor array to pass
    // to the runtime for initialization.
    Comment cmnt(masm_, "[ Allocate modules");
    DCHECK(scope_->is_global_scope());
    modules_ =
        isolate()->factory()->NewFixedArray(scope_->num_modules(), TENURED);
    module_index_ = 0;
 
    // Generate code for allocating all modules, including nested ones.
    // The allocated contexts are stored in internal variables in this scope.
    AllocateModules(declarations);
  }
 
  AstVisitor::VisitDeclarations(declarations);
 
  if (scope_->num_modules() != 0) {
    // Initialize modules from descriptor array.
    DCHECK(module_index_ == modules_->length());
    DeclareModules(modules_);
    modules_ = saved_modules;
    module_index_ = saved_module_index;
  }
 
  if (!globals_->is_empty()) {
    // Invoke the platform-dependent code generator to do the actual
    // declaration of the global functions and variables.
    Handle<FixedArray> array =
       isolate()->factory()->NewFixedArray(globals_->length(), TENURED);
    for (int i = 0; i < globals_->length(); ++i)
      array->set(i, *globals_->at(i));
    DeclareGlobals(array);
  }
 
  globals_ = saved_globals;
}

References AllocateModules(), DCHECK, DeclareGlobals(), DeclareModules(), globals_, v8::internal::Scope::is_global_scope(), masm_, module_index_, modules_, v8::internal::Scope::num_modules(), scope_, and v8::internal::TENURED.

Here is the call graph for this function:

VisitForAccumulatorValue()

void v8::internal::FullCodeGenerator::VisitForAccumulatorValue ( Expression *  expr )

inlineprivate

Definition at line 370 of file full-codegen.h.

                                                  {
    AccumulatorValueContext context(this);
    Visit(expr);
    PrepareForBailout(expr, TOS_REG);
  }

References context(), PrepareForBailout(), and TOS_REG.

Referenced by VisitArithmeticExpression(), VisitInDuplicateContext(), and VisitLogicalExpression().

Here is the call graph for this function:

Here is the caller graph for this function:

VisitForControl()

void v8::internal::FullCodeGenerator::VisitForControl ( Expression *  expr, Label *  if_true, Label *  if_false, Label *  fall_through  )

inlineprivate

Definition at line 382 of file full-codegen.h.

                                            {
    TestContext context(this, expr, if_true, if_false, fall_through);
    Visit(expr);
    // For test contexts, we prepare for bailout before branching, not at
    // the end of the entire expression.  This happens as part of visiting
    // the expression.
  }

References context().

Referenced by VisitInDuplicateContext(), and VisitLogicalExpression().

Here is the call graph for this function:

Here is the caller graph for this function:

VisitForEffect()

void v8::internal::FullCodeGenerator::VisitForEffect ( Expression *  expr )

inlineprivate

Definition at line 364 of file full-codegen.h.

                                        {
    EffectContext context(this);
    Visit(expr);
    PrepareForBailout(expr, NO_REGISTERS);
  }

References context(), NO_REGISTERS, and PrepareForBailout().

Referenced by VisitComma(), and VisitInDuplicateContext().

Here is the call graph for this function:

Here is the caller graph for this function:

VisitForStackValue()

void v8::internal::FullCodeGenerator::VisitForStackValue ( Expression *  expr )

inlineprivate

Definition at line 376 of file full-codegen.h.

                                            {
    StackValueContext context(this);
    Visit(expr);
    PrepareForBailout(expr, NO_REGISTERS);
  }

References context(), NO_REGISTERS, and PrepareForBailout().

Referenced by VisitArithmeticExpression(), and VisitInDuplicateContext().

Here is the call graph for this function:

Here is the caller graph for this function:

VisitForTypeofValue()

void v8::internal::FullCodeGenerator::VisitForTypeofValue ( Expression *  expr )

private

VisitInDuplicateContext()

void v8::internal::FullCodeGenerator::VisitInDuplicateContext ( Expression *  expr )

private

Definition at line 938 of file full-codegen.cc.

                                                                {
  if (context()->IsEffect()) {
    VisitForEffect(expr);
  } else if (context()->IsAccumulatorValue()) {
    VisitForAccumulatorValue(expr);
  } else if (context()->IsStackValue()) {
    VisitForStackValue(expr);
  } else if (context()->IsTest()) {
    const TestContext* test = TestContext::cast(context());
    VisitForControl(expr, test->true_label(), test->false_label(),
                    test->fall_through());
  }
}

References v8::internal::FullCodeGenerator::TestContext::cast(), context(), v8::internal::FullCodeGenerator::TestContext::fall_through(), v8::internal::FullCodeGenerator::TestContext::false_label(), v8::internal::FullCodeGenerator::TestContext::true_label(), VisitForAccumulatorValue(), VisitForControl(), VisitForEffect(), and VisitForStackValue().

Referenced by VisitComma(), and VisitLogicalExpression().

Here is the call graph for this function:

Here is the caller graph for this function:

VisitLogicalExpression()

void v8::internal::FullCodeGenerator::VisitLogicalExpression ( BinaryOperation *  expr )

private

Definition at line 960 of file full-codegen.cc.

                                                                    {
  bool is_logical_and = expr->op() == Token::AND;
  Comment cmnt(masm_, is_logical_and ? "[ Logical AND" :  "[ Logical OR");
  Expression* left = expr->left();
  Expression* right = expr->right();
  BailoutId right_id = expr->RightId();
  Label done;
 
  if (context()->IsTest()) {
    Label eval_right;
    const TestContext* test = TestContext::cast(context());
    if (is_logical_and) {
      VisitForControl(left, &eval_right, test->false_label(), &eval_right);
    } else {
      VisitForControl(left, test->true_label(), &eval_right, &eval_right);
    }
    PrepareForBailoutForId(right_id, NO_REGISTERS);
    __ bind(&eval_right);
 
  } else if (context()->IsAccumulatorValue()) {
    VisitForAccumulatorValue(left);
    // We want the value in the accumulator for the test, and on the stack in
    // case we need it.
    __ Push(result_register());
    Label discard, restore;
    if (is_logical_and) {
      DoTest(left, &discard, &restore, &restore);
    } else {
      DoTest(left, &restore, &discard, &restore);
    }
    __ bind(&restore);
    __ Pop(result_register());
    __ jmp(&done);
    __ bind(&discard);
    __ Drop(1);
    PrepareForBailoutForId(right_id, NO_REGISTERS);
 
  } else if (context()->IsStackValue()) {
    VisitForAccumulatorValue(left);
    // We want the value in the accumulator for the test, and on the stack in
    // case we need it.
    __ Push(result_register());
    Label discard;
    if (is_logical_and) {
      DoTest(left, &discard, &done, &discard);
    } else {
      DoTest(left, &done, &discard, &discard);
    }
    __ bind(&discard);
    __ Drop(1);
    PrepareForBailoutForId(right_id, NO_REGISTERS);
 
  } else {
    DCHECK(context()->IsEffect());
    Label eval_right;
    if (is_logical_and) {
      VisitForControl(left, &eval_right, &done, &eval_right);
    } else {
      VisitForControl(left, &done, &eval_right, &eval_right);
    }
    PrepareForBailoutForId(right_id, NO_REGISTERS);
    __ bind(&eval_right);
  }
 
  VisitInDuplicateContext(right);
  __ bind(&done);
}

References __, v8::internal::AND, v8::internal::FullCodeGenerator::TestContext::cast(), context(), DCHECK, DoTest(), v8::internal::FullCodeGenerator::TestContext::false_label(), masm_, NO_REGISTERS, PrepareForBailoutForId(), v8::internal::compiler::Push(), result_register(), v8::internal::FullCodeGenerator::TestContext::true_label(), VisitForAccumulatorValue(), VisitForControl(), and VisitInDuplicateContext().

Here is the call graph for this function:

Friends And Related Function Documentation

NestedStatement

friend class NestedStatement

friend

Definition at line 848 of file full-codegen.h.

Member Data Documentation

back_edges_

ZoneList<BackEdgeEntry> v8::internal::FullCodeGenerator::back_edges_

private

Definition at line 842 of file full-codegen.h.

Referenced by EmitBackEdgeTable(), and RecordBackEdge().

bailout_entries_

ZoneList<BailoutEntry> v8::internal::FullCodeGenerator::bailout_entries_

private

Definition at line 841 of file full-codegen.h.

Referenced by PopulateDeoptimizationData(), and PrepareForBailoutForId().

context_

const ExpressionContext* v8::internal::FullCodeGenerator::context_

private

Definition at line 840 of file full-codegen.h.

Referenced by context(), and set_new_context().

generate_debug_code_

bool v8::internal::FullCodeGenerator::generate_debug_code_

private

Definition at line 846 of file full-codegen.h.

Referenced by Initialize().

globals_

ZoneList<Handle<Object> >* v8::internal::FullCodeGenerator::globals_

private

Definition at line 837 of file full-codegen.h.

Referenced by VisitDeclarations().

handler_table_

Handle<FixedArray> v8::internal::FullCodeGenerator::handler_table_

private

Definition at line 844 of file full-codegen.h.

Referenced by handler_table().

ic_total_count_

int v8::internal::FullCodeGenerator::ic_total_count_

private

Definition at line 843 of file full-codegen.h.

Referenced by PopulateTypeFeedbackInfo().

info_

CompilationInfo* v8::internal::FullCodeGenerator::info_

private

Definition at line 832 of file full-codegen.h.

Referenced by FeedbackVector(), function(), Initialize(), is_eval(), is_native(), PopulateDeoptimizationData(), PrepareForBailoutForId(), script(), SetExpressionPosition(), and SetStatementPosition().

kInlineFunctionGenerators

const FullCodeGenerator::InlineFunctionGenerator v8::internal::FullCodeGenerator::kInlineFunctionGenerators

staticprivate

Initial value:

= {
 
  }

Definition at line 298 of file full-codegen.h.

Referenced by FindInlineFunctionGenerator().

kMaxBackEdgeWeight

const int v8::internal::FullCodeGenerator::kMaxBackEdgeWeight = 127

static

Definition at line 99 of file full-codegen.h.

loop_depth_

int v8::internal::FullCodeGenerator::loop_depth_

private

Definition at line 836 of file full-codegen.h.

Referenced by decrement_loop_depth(), increment_loop_depth(), loop_depth(), and ShouldInlineSmiCase().

masm_

MacroAssembler* v8::internal::FullCodeGenerator::masm_

private

Definition at line 831 of file full-codegen.h.

Referenced by AllocateModules(), Initialize(), masm(), v8::internal::FullCodeGenerator::BASE_EMBEDDED::masm(), PrepareForBailoutForId(), RecordBackEdge(), SetExpressionPosition(), SetFunctionPosition(), SetReturnPosition(), SetSourcePosition(), SetStatementPosition(), VisitArithmeticExpression(), VisitComma(), VisitDeclarations(), and VisitLogicalExpression().

module_index_

int v8::internal::FullCodeGenerator::module_index_

private

Definition at line 839 of file full-codegen.h.

Referenced by VisitDeclarations().

modules_

Handle<FixedArray> v8::internal::FullCodeGenerator::modules_

private

Definition at line 838 of file full-codegen.h.

Referenced by VisitDeclarations().

nesting_stack_

NestedStatement* v8::internal::FullCodeGenerator::nesting_stack_

private

Definition at line 835 of file full-codegen.h.

Referenced by EmitUnwindBeforeReturn(), and v8::internal::FullCodeGenerator::BASE_EMBEDDED::NestedStatement().

profiling_counter_

Handle<Cell> v8::internal::FullCodeGenerator::profiling_counter_

private

Definition at line 845 of file full-codegen.h.

return_label_

Label v8::internal::FullCodeGenerator::return_label_

private

Definition at line 834 of file full-codegen.h.

scope_

Scope* v8::internal::FullCodeGenerator::scope_

private

Definition at line 833 of file full-codegen.h.

Referenced by AllocateModules(), scope(), and VisitDeclarations().

---

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

• /mnt/V8SourceCode/src/full-codegen.h
• /mnt/V8SourceCode/src/full-codegen.cc