blob: cf12eca62320d2711f051d88a14a7dc95141922f [file] [log] [blame]
Steve Block6ded16b2010-05-10 14:33:55 +01001// Copyright 2010 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#ifndef V8_VIRTUAL_FRAME_HEAVY_INL_H_
29#define V8_VIRTUAL_FRAME_HEAVY_INL_H_
30
31#include "type-info.h"
32#include "register-allocator.h"
33#include "scopes.h"
Kristian Monsen25f61362010-05-21 11:50:48 +010034#include "register-allocator-inl.h"
35#include "codegen-inl.h"
Steve Block6ded16b2010-05-10 14:33:55 +010036
37namespace v8 {
38namespace internal {
39
40// On entry to a function, the virtual frame already contains the receiver,
41// the parameters, and a return address. All frame elements are in memory.
42VirtualFrame::VirtualFrame()
43 : elements_(parameter_count() + local_count() + kPreallocatedElements),
44 stack_pointer_(parameter_count() + 1) { // 0-based index of TOS.
45 for (int i = 0; i <= stack_pointer_; i++) {
46 elements_.Add(FrameElement::MemoryElement(TypeInfo::Unknown()));
47 }
48 for (int i = 0; i < RegisterAllocator::kNumRegisters; i++) {
49 register_locations_[i] = kIllegalIndex;
50 }
51}
52
53
54// When cloned, a frame is a deep copy of the original.
55VirtualFrame::VirtualFrame(VirtualFrame* original)
56 : elements_(original->element_count()),
57 stack_pointer_(original->stack_pointer_) {
58 elements_.AddAll(original->elements_);
59 // Copy register locations from original.
60 memcpy(&register_locations_,
61 original->register_locations_,
62 sizeof(register_locations_));
63}
64
65
66void VirtualFrame::PushFrameSlotAt(int index) {
67 elements_.Add(CopyElementAt(index));
68}
69
70
71void VirtualFrame::Push(Register reg, TypeInfo info) {
72 if (is_used(reg)) {
73 int index = register_location(reg);
74 FrameElement element = CopyElementAt(index, info);
75 elements_.Add(element);
76 } else {
77 Use(reg, element_count());
78 FrameElement element =
79 FrameElement::RegisterElement(reg, FrameElement::NOT_SYNCED, info);
80 elements_.Add(element);
81 }
82}
83
84
Ben Murdoche0cee9b2011-05-25 10:26:03 +010085bool VirtualFrame::ConstantPoolOverflowed() {
86 return FrameElement::ConstantPoolOverflowed();
Steve Block6ded16b2010-05-10 14:33:55 +010087}
88
89
90bool VirtualFrame::Equals(VirtualFrame* other) {
91#ifdef DEBUG
92 for (int i = 0; i < RegisterAllocator::kNumRegisters; i++) {
93 if (register_location(i) != other->register_location(i)) {
94 return false;
95 }
96 }
97 if (element_count() != other->element_count()) return false;
98#endif
99 if (stack_pointer_ != other->stack_pointer_) return false;
100 for (int i = 0; i < element_count(); i++) {
101 if (!elements_[i].Equals(other->elements_[i])) return false;
102 }
103
104 return true;
105}
106
107
108void VirtualFrame::SetTypeForLocalAt(int index, TypeInfo info) {
109 elements_[local0_index() + index].set_type_info(info);
110}
111
112
113// Make the type of all elements be MEMORY.
114void VirtualFrame::SpillAll() {
115 for (int i = 0; i < element_count(); i++) {
116 SpillElementAt(i);
117 }
118}
119
120
121void VirtualFrame::PrepareForReturn() {
122 // Spill all locals. This is necessary to make sure all locals have
123 // the right value when breaking at the return site in the debugger.
124 for (int i = 0; i < expression_base_index(); i++) {
125 SpillElementAt(i);
126 }
127}
128
129
130void VirtualFrame::SetTypeForParamAt(int index, TypeInfo info) {
131 elements_[param0_index() + index].set_type_info(info);
132}
133
134
135void VirtualFrame::Nip(int num_dropped) {
136 ASSERT(num_dropped >= 0);
137 if (num_dropped == 0) return;
138 Result tos = Pop();
139 if (num_dropped > 1) {
140 Drop(num_dropped - 1);
141 }
142 SetElementAt(0, &tos);
143}
144
145
146void VirtualFrame::Push(Smi* value) {
147 Push(Handle<Object> (value));
148}
149
Kristian Monsen25f61362010-05-21 11:50:48 +0100150
151int VirtualFrame::register_location(Register reg) {
152 return register_locations_[RegisterAllocator::ToNumber(reg)];
153}
154
155
156void VirtualFrame::set_register_location(Register reg, int index) {
157 register_locations_[RegisterAllocator::ToNumber(reg)] = index;
158}
159
160
161bool VirtualFrame::is_used(Register reg) {
162 return register_locations_[RegisterAllocator::ToNumber(reg)]
163 != kIllegalIndex;
164}
165
166
167void VirtualFrame::SetElementAt(int index, Handle<Object> value) {
168 Result temp(value);
169 SetElementAt(index, &temp);
170}
171
172
173Result VirtualFrame::CallStub(CodeStub* stub, int arg_count) {
174 PrepareForCall(arg_count, arg_count);
175 return RawCallStub(stub);
176}
177
178
179int VirtualFrame::parameter_count() {
180 return cgen()->scope()->num_parameters();
181}
182
183
184int VirtualFrame::local_count() {
185 return cgen()->scope()->num_stack_slots();
186}
187
Steve Block6ded16b2010-05-10 14:33:55 +0100188} } // namespace v8::internal
189
190#endif // V8_VIRTUAL_FRAME_HEAVY_INL_H_