mirror of https://github.com/lukechilds/node.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
643 lines
24 KiB
643 lines
24 KiB
// Copyright 2009 the V8 project authors. All rights reserved.
|
|
// Redistribution and use in source and binary forms, with or without
|
|
// modification, are permitted provided that the following conditions are
|
|
// met:
|
|
//
|
|
// * Redistributions of source code must retain the above copyright
|
|
// notice, this list of conditions and the following disclaimer.
|
|
// * Redistributions in binary form must reproduce the above
|
|
// copyright notice, this list of conditions and the following
|
|
// disclaimer in the documentation and/or other materials provided
|
|
// with the distribution.
|
|
// * Neither the name of Google Inc. nor the names of its
|
|
// contributors may be used to endorse or promote products derived
|
|
// from this software without specific prior written permission.
|
|
//
|
|
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
|
|
// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
|
|
// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
|
|
// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|
// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|
// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
#ifndef V8_IA32_VIRTUAL_FRAME_IA32_H_
|
|
#define V8_IA32_VIRTUAL_FRAME_IA32_H_
|
|
|
|
#include "codegen.h"
|
|
#include "register-allocator.h"
|
|
#include "scopes.h"
|
|
#include "type-info.h"
|
|
|
|
namespace v8 {
|
|
namespace internal {
|
|
|
|
// -------------------------------------------------------------------------
|
|
// Virtual frames
|
|
//
|
|
// The virtual frame is an abstraction of the physical stack frame. It
|
|
// encapsulates the parameters, frame-allocated locals, and the expression
|
|
// stack. It supports push/pop operations on the expression stack, as well
|
|
// as random access to the expression stack elements, locals, and
|
|
// parameters.
|
|
|
|
class VirtualFrame: public ZoneObject {
|
|
public:
|
|
// A utility class to introduce a scope where the virtual frame is
|
|
// expected to remain spilled. The constructor spills the code
|
|
// generator's current frame, but no attempt is made to require it
|
|
// to stay spilled. It is intended as documentation while the code
|
|
// generator is being transformed.
|
|
class SpilledScope BASE_EMBEDDED {
|
|
public:
|
|
SpilledScope() : previous_state_(cgen()->in_spilled_code()) {
|
|
ASSERT(cgen()->has_valid_frame());
|
|
cgen()->frame()->SpillAll();
|
|
cgen()->set_in_spilled_code(true);
|
|
}
|
|
|
|
~SpilledScope() {
|
|
cgen()->set_in_spilled_code(previous_state_);
|
|
}
|
|
|
|
private:
|
|
bool previous_state_;
|
|
|
|
CodeGenerator* cgen() {return CodeGeneratorScope::Current();}
|
|
};
|
|
|
|
// An illegal index into the virtual frame.
|
|
static const int kIllegalIndex = -1;
|
|
|
|
// Construct an initial virtual frame on entry to a JS function.
|
|
inline VirtualFrame();
|
|
|
|
// Construct a virtual frame as a clone of an existing one.
|
|
explicit inline VirtualFrame(VirtualFrame* original);
|
|
|
|
CodeGenerator* cgen() { return CodeGeneratorScope::Current(); }
|
|
|
|
MacroAssembler* masm() { return cgen()->masm(); }
|
|
|
|
// Create a duplicate of an existing valid frame element.
|
|
FrameElement CopyElementAt(int index,
|
|
TypeInfo info = TypeInfo::Uninitialized());
|
|
|
|
// The number of elements on the virtual frame.
|
|
int element_count() { return elements_.length(); }
|
|
|
|
// The height of the virtual expression stack.
|
|
int height() { return element_count() - expression_base_index(); }
|
|
|
|
int register_location(int num) {
|
|
ASSERT(num >= 0 && num < RegisterAllocator::kNumRegisters);
|
|
return register_locations_[num];
|
|
}
|
|
|
|
inline int register_location(Register reg);
|
|
|
|
inline void set_register_location(Register reg, int index);
|
|
|
|
bool is_used(int num) {
|
|
ASSERT(num >= 0 && num < RegisterAllocator::kNumRegisters);
|
|
return register_locations_[num] != kIllegalIndex;
|
|
}
|
|
|
|
inline bool is_used(Register reg);
|
|
|
|
// Add extra in-memory elements to the top of the frame to match an actual
|
|
// frame (eg, the frame after an exception handler is pushed). No code is
|
|
// emitted.
|
|
void Adjust(int count);
|
|
|
|
// Forget count elements from the top of the frame all in-memory
|
|
// (including synced) and adjust the stack pointer downward, to
|
|
// match an external frame effect (examples include a call removing
|
|
// its arguments, and exiting a try/catch removing an exception
|
|
// handler). No code will be emitted.
|
|
void Forget(int count) {
|
|
ASSERT(count >= 0);
|
|
ASSERT(stack_pointer_ == element_count() - 1);
|
|
stack_pointer_ -= count;
|
|
ForgetElements(count);
|
|
}
|
|
|
|
// Forget count elements from the top of the frame without adjusting
|
|
// the stack pointer downward. This is used, for example, before
|
|
// merging frames at break, continue, and return targets.
|
|
void ForgetElements(int count);
|
|
|
|
// Spill all values from the frame to memory.
|
|
inline void SpillAll();
|
|
|
|
// Spill all occurrences of a specific register from the frame.
|
|
void Spill(Register reg) {
|
|
if (is_used(reg)) SpillElementAt(register_location(reg));
|
|
}
|
|
|
|
// Make the two registers distinct and spill them. Returns the second
|
|
// register. If the registers were not distinct then it returns the new
|
|
// second register.
|
|
Result MakeDistinctAndSpilled(Result* left, Result* right) {
|
|
Spill(left->reg());
|
|
Spill(right->reg());
|
|
if (left->reg().is(right->reg())) {
|
|
RegisterAllocator* allocator = cgen()->allocator();
|
|
Result fresh = allocator->Allocate();
|
|
ASSERT(fresh.is_valid());
|
|
masm()->mov(fresh.reg(), right->reg());
|
|
return fresh;
|
|
}
|
|
return *right;
|
|
}
|
|
|
|
// Spill all occurrences of an arbitrary register if possible. Return the
|
|
// register spilled or no_reg if it was not possible to free any register
|
|
// (ie, they all have frame-external references).
|
|
Register SpillAnyRegister();
|
|
|
|
// Spill the top element of the frame.
|
|
void SpillTop() { SpillElementAt(element_count() - 1); }
|
|
|
|
// Sync the range of elements in [begin, end] with memory.
|
|
void SyncRange(int begin, int end);
|
|
|
|
// Make this frame so that an arbitrary frame of the same height can
|
|
// be merged to it. Copies and constants are removed from the frame.
|
|
void MakeMergable();
|
|
|
|
// Prepare this virtual frame for merging to an expected frame by
|
|
// performing some state changes that do not require generating
|
|
// code. It is guaranteed that no code will be generated.
|
|
void PrepareMergeTo(VirtualFrame* expected);
|
|
|
|
// Make this virtual frame have a state identical to an expected virtual
|
|
// frame. As a side effect, code may be emitted to make this frame match
|
|
// the expected one.
|
|
void MergeTo(VirtualFrame* expected);
|
|
|
|
// Detach a frame from its code generator, perhaps temporarily. This
|
|
// tells the register allocator that it is free to use frame-internal
|
|
// registers. Used when the code generator's frame is switched from this
|
|
// one to NULL by an unconditional jump.
|
|
void DetachFromCodeGenerator() {
|
|
RegisterAllocator* cgen_allocator = cgen()->allocator();
|
|
for (int i = 0; i < RegisterAllocator::kNumRegisters; i++) {
|
|
if (is_used(i)) cgen_allocator->Unuse(i);
|
|
}
|
|
}
|
|
|
|
// (Re)attach a frame to its code generator. This informs the register
|
|
// allocator that the frame-internal register references are active again.
|
|
// Used when a code generator's frame is switched from NULL to this one by
|
|
// binding a label.
|
|
void AttachToCodeGenerator() {
|
|
RegisterAllocator* cgen_allocator = cgen()->allocator();
|
|
for (int i = 0; i < RegisterAllocator::kNumRegisters; i++) {
|
|
if (is_used(i)) cgen_allocator->Use(i);
|
|
}
|
|
}
|
|
|
|
// Emit code for the physical JS entry and exit frame sequences. After
|
|
// calling Enter, the virtual frame is ready for use; and after calling
|
|
// Exit it should not be used. Note that Enter does not allocate space in
|
|
// the physical frame for storing frame-allocated locals.
|
|
void Enter();
|
|
void Exit();
|
|
|
|
// Prepare for returning from the frame by spilling locals. This
|
|
// avoids generating unnecessary merge code when jumping to the
|
|
// shared return site. Emits code for spills.
|
|
inline void PrepareForReturn();
|
|
|
|
// Number of local variables after when we use a loop for allocating.
|
|
static const int kLocalVarBound = 10;
|
|
|
|
// Allocate and initialize the frame-allocated locals.
|
|
void AllocateStackSlots();
|
|
|
|
// An element of the expression stack as an assembly operand.
|
|
Operand ElementAt(int index) const {
|
|
return Operand(esp, index * kPointerSize);
|
|
}
|
|
|
|
// Random-access store to a frame-top relative frame element. The result
|
|
// becomes owned by the frame and is invalidated.
|
|
void SetElementAt(int index, Result* value);
|
|
|
|
// Set a frame element to a constant. The index is frame-top relative.
|
|
inline void SetElementAt(int index, Handle<Object> value);
|
|
|
|
void PushElementAt(int index) {
|
|
PushFrameSlotAt(element_count() - index - 1);
|
|
}
|
|
|
|
void StoreToElementAt(int index) {
|
|
StoreToFrameSlotAt(element_count() - index - 1);
|
|
}
|
|
|
|
// A frame-allocated local as an assembly operand.
|
|
Operand LocalAt(int index) {
|
|
ASSERT(0 <= index);
|
|
ASSERT(index < local_count());
|
|
return Operand(ebp, kLocal0Offset - index * kPointerSize);
|
|
}
|
|
|
|
// Push a copy of the value of a local frame slot on top of the frame.
|
|
void PushLocalAt(int index) {
|
|
PushFrameSlotAt(local0_index() + index);
|
|
}
|
|
|
|
// Push a copy of the value of a local frame slot on top of the frame.
|
|
void UntaggedPushLocalAt(int index) {
|
|
UntaggedPushFrameSlotAt(local0_index() + index);
|
|
}
|
|
|
|
// Push the value of a local frame slot on top of the frame and invalidate
|
|
// the local slot. The slot should be written to before trying to read
|
|
// from it again.
|
|
void TakeLocalAt(int index) {
|
|
TakeFrameSlotAt(local0_index() + index);
|
|
}
|
|
|
|
// Store the top value on the virtual frame into a local frame slot. The
|
|
// value is left in place on top of the frame.
|
|
void StoreToLocalAt(int index) {
|
|
StoreToFrameSlotAt(local0_index() + index);
|
|
}
|
|
|
|
// Push the address of the receiver slot on the frame.
|
|
void PushReceiverSlotAddress();
|
|
|
|
// Push the function on top of the frame.
|
|
void PushFunction() {
|
|
PushFrameSlotAt(function_index());
|
|
}
|
|
|
|
// Save the value of the esi register to the context frame slot.
|
|
void SaveContextRegister();
|
|
|
|
// Restore the esi register from the value of the context frame
|
|
// slot.
|
|
void RestoreContextRegister();
|
|
|
|
// A parameter as an assembly operand.
|
|
Operand ParameterAt(int index) {
|
|
ASSERT(-1 <= index); // -1 is the receiver.
|
|
ASSERT(index < parameter_count());
|
|
return Operand(ebp, (1 + parameter_count() - index) * kPointerSize);
|
|
}
|
|
|
|
// Push a copy of the value of a parameter frame slot on top of the frame.
|
|
void PushParameterAt(int index) {
|
|
PushFrameSlotAt(param0_index() + index);
|
|
}
|
|
|
|
// Push a copy of the value of a parameter frame slot on top of the frame.
|
|
void UntaggedPushParameterAt(int index) {
|
|
UntaggedPushFrameSlotAt(param0_index() + index);
|
|
}
|
|
|
|
// Push the value of a paramter frame slot on top of the frame and
|
|
// invalidate the parameter slot. The slot should be written to before
|
|
// trying to read from it again.
|
|
void TakeParameterAt(int index) {
|
|
TakeFrameSlotAt(param0_index() + index);
|
|
}
|
|
|
|
// Store the top value on the virtual frame into a parameter frame slot.
|
|
// The value is left in place on top of the frame.
|
|
void StoreToParameterAt(int index) {
|
|
StoreToFrameSlotAt(param0_index() + index);
|
|
}
|
|
|
|
// The receiver frame slot.
|
|
Operand Receiver() {
|
|
return ParameterAt(-1);
|
|
}
|
|
|
|
// Push a try-catch or try-finally handler on top of the virtual frame.
|
|
void PushTryHandler(HandlerType type);
|
|
|
|
// Call stub given the number of arguments it expects on (and
|
|
// removes from) the stack.
|
|
inline Result CallStub(CodeStub* stub, int arg_count);
|
|
|
|
// Call stub that takes a single argument passed in eax. The
|
|
// argument is given as a result which does not have to be eax or
|
|
// even a register. The argument is consumed by the call.
|
|
Result CallStub(CodeStub* stub, Result* arg);
|
|
|
|
// Call stub that takes a pair of arguments passed in edx (arg0) and
|
|
// eax (arg1). The arguments are given as results which do not have
|
|
// to be in the proper registers or even in registers. The
|
|
// arguments are consumed by the call.
|
|
Result CallStub(CodeStub* stub, Result* arg0, Result* arg1);
|
|
|
|
// Call JS function from top of the stack with arguments
|
|
// taken from the stack.
|
|
Result CallJSFunction(int arg_count);
|
|
|
|
// Call runtime given the number of arguments expected on (and
|
|
// removed from) the stack.
|
|
Result CallRuntime(Runtime::Function* f, int arg_count);
|
|
Result CallRuntime(Runtime::FunctionId id, int arg_count);
|
|
|
|
#ifdef ENABLE_DEBUGGER_SUPPORT
|
|
void DebugBreak();
|
|
#endif
|
|
|
|
// Invoke builtin given the number of arguments it expects on (and
|
|
// removes from) the stack.
|
|
Result InvokeBuiltin(Builtins::JavaScript id, InvokeFlag flag, int arg_count);
|
|
|
|
// Call load IC. Name and receiver are found on top of the frame.
|
|
// Both are dropped.
|
|
Result CallLoadIC(RelocInfo::Mode mode);
|
|
|
|
// Call keyed load IC. Key and receiver are found on top of the
|
|
// frame. Both are dropped.
|
|
Result CallKeyedLoadIC(RelocInfo::Mode mode);
|
|
|
|
// Call store IC. If the load is contextual, value is found on top of the
|
|
// frame. If not, value and receiver are on the frame. Both are dropped.
|
|
Result CallStoreIC(Handle<String> name, bool is_contextual);
|
|
|
|
// Call keyed store IC. Value, key, and receiver are found on top
|
|
// of the frame. All three are dropped.
|
|
Result CallKeyedStoreIC();
|
|
|
|
// Call call IC. Function name, arguments, and receiver are found on top
|
|
// of the frame and dropped by the call. The argument count does not
|
|
// include the receiver.
|
|
Result CallCallIC(RelocInfo::Mode mode, int arg_count, int loop_nesting);
|
|
|
|
// Call keyed call IC. Same calling convention as CallCallIC.
|
|
Result CallKeyedCallIC(RelocInfo::Mode mode, int arg_count, int loop_nesting);
|
|
|
|
// Allocate and call JS function as constructor. Arguments,
|
|
// receiver (global object), and function are found on top of the
|
|
// frame. Function is not dropped. The argument count does not
|
|
// include the receiver.
|
|
Result CallConstructor(int arg_count);
|
|
|
|
// Drop a number of elements from the top of the expression stack. May
|
|
// emit code to affect the physical frame. Does not clobber any registers
|
|
// excepting possibly the stack pointer.
|
|
void Drop(int count);
|
|
|
|
// Drop one element.
|
|
void Drop() {
|
|
Drop(1);
|
|
}
|
|
|
|
// Duplicate the top element of the frame.
|
|
void Dup() {
|
|
PushFrameSlotAt(element_count() - 1);
|
|
}
|
|
|
|
// Pop an element from the top of the expression stack. Returns a
|
|
// Result, which may be a constant or a register.
|
|
Result Pop();
|
|
|
|
// Pop and save an element from the top of the expression stack and
|
|
// emit a corresponding pop instruction.
|
|
void EmitPop(Register reg);
|
|
void EmitPop(Operand operand);
|
|
|
|
// Push an element on top of the expression stack and emit a
|
|
// corresponding push instruction.
|
|
void EmitPush(Register reg,
|
|
TypeInfo info = TypeInfo::Unknown());
|
|
void EmitPush(Operand operand,
|
|
TypeInfo info = TypeInfo::Unknown());
|
|
void EmitPush(Immediate immediate,
|
|
TypeInfo info = TypeInfo::Unknown());
|
|
|
|
// Push an element on the virtual frame.
|
|
inline void Push(Register reg, TypeInfo info = TypeInfo::Unknown());
|
|
inline void Push(Handle<Object> value);
|
|
inline void Push(Smi* value);
|
|
|
|
void PushUntaggedElement(Handle<Object> value);
|
|
|
|
// Pushing a result invalidates it (its contents become owned by the
|
|
// frame).
|
|
void Push(Result* result) {
|
|
// This assert will trigger if you try to push the same value twice.
|
|
ASSERT(result->is_valid());
|
|
if (result->is_register()) {
|
|
Push(result->reg(), result->type_info());
|
|
} else {
|
|
ASSERT(result->is_constant());
|
|
Push(result->handle());
|
|
}
|
|
if (cgen()->in_safe_int32_mode()) {
|
|
ASSERT(result->is_untagged_int32());
|
|
elements_[element_count() - 1].set_untagged_int32(true);
|
|
}
|
|
result->Unuse();
|
|
}
|
|
|
|
// Pushing an expression expects that the expression is trivial (according
|
|
// to Expression::IsTrivial).
|
|
void Push(Expression* expr);
|
|
|
|
// Nip removes zero or more elements from immediately below the top
|
|
// of the frame, leaving the previous top-of-frame value on top of
|
|
// the frame. Nip(k) is equivalent to x = Pop(), Drop(k), Push(x).
|
|
inline void Nip(int num_dropped);
|
|
|
|
// Check that the frame has no elements containing untagged int32 elements.
|
|
bool HasNoUntaggedInt32Elements() {
|
|
for (int i = 0; i < element_count(); ++i) {
|
|
if (elements_[i].is_untagged_int32()) return false;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
// Update the type information of a variable frame element directly.
|
|
inline void SetTypeForLocalAt(int index, TypeInfo info);
|
|
inline void SetTypeForParamAt(int index, TypeInfo info);
|
|
|
|
private:
|
|
static const int kLocal0Offset = JavaScriptFrameConstants::kLocal0Offset;
|
|
static const int kFunctionOffset = JavaScriptFrameConstants::kFunctionOffset;
|
|
static const int kContextOffset = StandardFrameConstants::kContextOffset;
|
|
|
|
static const int kHandlerSize = StackHandlerConstants::kSize / kPointerSize;
|
|
static const int kPreallocatedElements = 5 + 8; // 8 expression stack slots.
|
|
|
|
ZoneList<FrameElement> elements_;
|
|
|
|
// The index of the element that is at the processor's stack pointer
|
|
// (the esp register).
|
|
int stack_pointer_;
|
|
|
|
// The index of the register frame element using each register, or
|
|
// kIllegalIndex if a register is not on the frame.
|
|
int register_locations_[RegisterAllocator::kNumRegisters];
|
|
|
|
// The number of frame-allocated locals and parameters respectively.
|
|
inline int parameter_count();
|
|
|
|
inline int local_count();
|
|
|
|
// The index of the element that is at the processor's frame pointer
|
|
// (the ebp register). The parameters, receiver, and return address
|
|
// are below the frame pointer.
|
|
int frame_pointer() {
|
|
return parameter_count() + 2;
|
|
}
|
|
|
|
// The index of the first parameter. The receiver lies below the first
|
|
// parameter.
|
|
int param0_index() {
|
|
return 1;
|
|
}
|
|
|
|
// The index of the context slot in the frame. It is immediately
|
|
// above the frame pointer.
|
|
int context_index() {
|
|
return frame_pointer() + 1;
|
|
}
|
|
|
|
// The index of the function slot in the frame. It is above the frame
|
|
// pointer and the context slot.
|
|
int function_index() {
|
|
return frame_pointer() + 2;
|
|
}
|
|
|
|
// The index of the first local. Between the frame pointer and the
|
|
// locals lie the context and the function.
|
|
int local0_index() {
|
|
return frame_pointer() + 3;
|
|
}
|
|
|
|
// The index of the base of the expression stack.
|
|
int expression_base_index() {
|
|
return local0_index() + local_count();
|
|
}
|
|
|
|
// Convert a frame index into a frame pointer relative offset into the
|
|
// actual stack.
|
|
int fp_relative(int index) {
|
|
ASSERT(index < element_count());
|
|
ASSERT(frame_pointer() < element_count()); // FP is on the frame.
|
|
return (frame_pointer() - index) * kPointerSize;
|
|
}
|
|
|
|
// Record an occurrence of a register in the virtual frame. This has the
|
|
// effect of incrementing the register's external reference count and
|
|
// of updating the index of the register's location in the frame.
|
|
void Use(Register reg, int index) {
|
|
ASSERT(!is_used(reg));
|
|
set_register_location(reg, index);
|
|
cgen()->allocator()->Use(reg);
|
|
}
|
|
|
|
// Record that a register reference has been dropped from the frame. This
|
|
// decrements the register's external reference count and invalidates the
|
|
// index of the register's location in the frame.
|
|
void Unuse(Register reg) {
|
|
ASSERT(is_used(reg));
|
|
set_register_location(reg, kIllegalIndex);
|
|
cgen()->allocator()->Unuse(reg);
|
|
}
|
|
|
|
// Spill the element at a particular index---write it to memory if
|
|
// necessary, free any associated register, and forget its value if
|
|
// constant.
|
|
void SpillElementAt(int index);
|
|
|
|
// Sync the element at a particular index. If it is a register or
|
|
// constant that disagrees with the value on the stack, write it to memory.
|
|
// Keep the element type as register or constant, and clear the dirty bit.
|
|
void SyncElementAt(int index);
|
|
|
|
// Sync a single unsynced element that lies beneath or at the stack pointer.
|
|
void SyncElementBelowStackPointer(int index);
|
|
|
|
// Sync a single unsynced element that lies just above the stack pointer.
|
|
void SyncElementByPushing(int index);
|
|
|
|
// Push a copy of a frame slot (typically a local or parameter) on top of
|
|
// the frame.
|
|
inline void PushFrameSlotAt(int index);
|
|
|
|
// Push a copy of a frame slot (typically a local or parameter) on top of
|
|
// the frame, at an untagged int32 value. Bails out if the value is not
|
|
// an int32.
|
|
void UntaggedPushFrameSlotAt(int index);
|
|
|
|
// Push a the value of a frame slot (typically a local or parameter) on
|
|
// top of the frame and invalidate the slot.
|
|
void TakeFrameSlotAt(int index);
|
|
|
|
// Store the value on top of the frame to a frame slot (typically a local
|
|
// or parameter).
|
|
void StoreToFrameSlotAt(int index);
|
|
|
|
// Spill all elements in registers. Spill the top spilled_args elements
|
|
// on the frame. Sync all other frame elements.
|
|
// Then drop dropped_args elements from the virtual frame, to match
|
|
// the effect of an upcoming call that will drop them from the stack.
|
|
void PrepareForCall(int spilled_args, int dropped_args);
|
|
|
|
// Move frame elements currently in registers or constants, that
|
|
// should be in memory in the expected frame, to memory.
|
|
void MergeMoveRegistersToMemory(VirtualFrame* expected);
|
|
|
|
// Make the register-to-register moves necessary to
|
|
// merge this frame with the expected frame.
|
|
// Register to memory moves must already have been made,
|
|
// and memory to register moves must follow this call.
|
|
// This is because some new memory-to-register moves are
|
|
// created in order to break cycles of register moves.
|
|
// Used in the implementation of MergeTo().
|
|
void MergeMoveRegistersToRegisters(VirtualFrame* expected);
|
|
|
|
// Make the memory-to-register and constant-to-register moves
|
|
// needed to make this frame equal the expected frame.
|
|
// Called after all register-to-memory and register-to-register
|
|
// moves have been made. After this function returns, the frames
|
|
// should be equal.
|
|
void MergeMoveMemoryToRegisters(VirtualFrame* expected);
|
|
|
|
// Invalidates a frame slot (puts an invalid frame element in it).
|
|
// Copies on the frame are correctly handled, and if this slot was
|
|
// the backing store of copies, the index of the new backing store
|
|
// is returned. Otherwise, returns kIllegalIndex.
|
|
// Register counts are correctly updated.
|
|
int InvalidateFrameSlotAt(int index);
|
|
|
|
// This function assumes that a and b are the only results that could be in
|
|
// the registers a_reg or b_reg. Other results can be live, but must not
|
|
// be in the registers a_reg or b_reg. The results a and b are invalidated.
|
|
void MoveResultsToRegisters(Result* a,
|
|
Result* b,
|
|
Register a_reg,
|
|
Register b_reg);
|
|
|
|
// Call a code stub that has already been prepared for calling (via
|
|
// PrepareForCall).
|
|
Result RawCallStub(CodeStub* stub);
|
|
|
|
// Calls a code object which has already been prepared for calling
|
|
// (via PrepareForCall).
|
|
Result RawCallCodeObject(Handle<Code> code, RelocInfo::Mode rmode);
|
|
|
|
inline bool Equals(VirtualFrame* other);
|
|
|
|
// Classes that need raw access to the elements_ array.
|
|
friend class FrameRegisterState;
|
|
friend class JumpTarget;
|
|
};
|
|
|
|
} } // namespace v8::internal
|
|
|
|
#endif // V8_IA32_VIRTUAL_FRAME_IA32_H_
|
|
|