blob: 7fdf6be31fbe5f36f53a22182371963d5e212be1 [file] [log] [blame]
ulan@chromium.org2efb9002012-01-19 15:36:35 +00001// Copyright 2012 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// 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#include "v8.h"
29
30#include "accessors.h"
31#include "api.h"
32#include "arguments.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000033#include "codegen.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000034#include "execution.h"
35#include "ic-inl.h"
36#include "runtime.h"
37#include "stub-cache.h"
38
kasperl@chromium.org71affb52009-05-26 05:44:31 +000039namespace v8 {
40namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000041
42#ifdef DEBUG
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +000043char IC::TransitionMarkFromState(IC::State state) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000044 switch (state) {
45 case UNINITIALIZED: return '0';
jkummerow@chromium.org59297c72013-01-09 16:32:23 +000046 case PREMONOMORPHIC: return '.';
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000047 case MONOMORPHIC: return '1';
48 case MONOMORPHIC_PROTOTYPE_FAILURE: return '^';
jkummerow@chromium.org59297c72013-01-09 16:32:23 +000049 case POLYMORPHIC: return 'P';
yangguo@chromium.org46a2a512013-01-18 16:29:40 +000050 case MEGAMORPHIC: return 'N';
51 case GENERIC: return 'G';
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000052
53 // We never see the debugger states here, because the state is
54 // computed from the original code - not the patched code. Let
55 // these cases fall through to the unreachable code below.
yangguo@chromium.org9768bf12013-01-11 14:51:07 +000056 case DEBUG_STUB: break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000057 }
58 UNREACHABLE();
59 return 0;
60}
61
62void IC::TraceIC(const char* type,
ager@chromium.org2cc82ae2010-06-14 07:35:38 +000063 Handle<Object> name,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000064 State old_state,
lrn@chromium.org34e60782011-09-15 07:25:40 +000065 Code* new_target) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000066 if (FLAG_trace_ic) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +000067 Object* undef = new_target->GetHeap()->undefined_value();
68 State new_state = StateFrom(new_target, undef, undef);
ager@chromium.orgea91cc52011-05-23 06:06:11 +000069 PrintF("[%s in ", type);
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +000070 Isolate* isolate = new_target->GetIsolate();
71 StackFrameIterator it(isolate);
ager@chromium.orgea91cc52011-05-23 06:06:11 +000072 while (it.frame()->fp() != this->fp()) it.Advance();
73 StackFrame* raw_frame = it.frame();
74 if (raw_frame->is_internal()) {
ager@chromium.orgea91cc52011-05-23 06:06:11 +000075 Code* apply_builtin = isolate->builtins()->builtin(
76 Builtins::kFunctionApply);
77 if (raw_frame->unchecked_code() == apply_builtin) {
78 PrintF("apply from ");
79 it.Advance();
80 raw_frame = it.frame();
81 }
82 }
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +000083 JavaScriptFrame::PrintTop(isolate, stdout, false, true);
ulan@chromium.org65a89c22012-02-14 11:46:07 +000084 bool new_can_grow =
85 Code::GetKeyedAccessGrowMode(new_target->extra_ic_state()) ==
86 ALLOW_JSARRAY_GROWTH;
87 PrintF(" (%c->%c%s)",
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000088 TransitionMarkFromState(old_state),
ulan@chromium.org65a89c22012-02-14 11:46:07 +000089 TransitionMarkFromState(new_state),
90 new_can_grow ? ".GROW" : "");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000091 name->Print();
92 PrintF("]\n");
93 }
94}
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +000095
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +000096#define TRACE_GENERIC_IC(isolate, type, reason) \
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +000097 do { \
98 if (FLAG_trace_ic) { \
99 PrintF("[%s patching generic stub in ", type); \
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000100 JavaScriptFrame::PrintTop(isolate, stdout, false, true); \
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +0000101 PrintF(" (%s)]\n", reason); \
102 } \
103 } while (false)
104
105#else
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000106#define TRACE_GENERIC_IC(isolate, type, reason)
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +0000107#endif // DEBUG
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000108
109#define TRACE_IC(type, name, old_state, new_target) \
110 ASSERT((TraceIC(type, name, old_state, new_target), true))
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000111
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000112IC::IC(FrameDepth depth, Isolate* isolate) : isolate_(isolate) {
mstarzinger@chromium.orge3b8d0f2013-02-01 09:06:41 +0000113 // To improve the performance of the (much used) IC code, we unfold a few
114 // levels of the stack frame iteration code. This yields a ~35% speedup when
115 // running DeltaBlue and a ~25% speedup of gbemu with the '--nouse-ic' flag.
116 const Address entry =
117 Isolate::c_entry_fp(isolate->thread_local_top());
118 Address* pc_address =
119 reinterpret_cast<Address*>(entry + ExitFrameConstants::kCallerPCOffset);
120 Address fp = Memory::Address_at(entry + ExitFrameConstants::kCallerFPOffset);
121 // If there's another JavaScript frame on the stack or a
122 // StubFailureTrampoline, we need to look one frame further down the stack to
123 // find the frame pointer and the return address stack slot.
124 if (depth == EXTRA_CALL_FRAME) {
125 const int kCallerPCOffset = StandardFrameConstants::kCallerPCOffset;
126 pc_address = reinterpret_cast<Address*>(fp + kCallerPCOffset);
127 fp = Memory::Address_at(fp + StandardFrameConstants::kCallerFPOffset);
128 }
129#ifdef DEBUG
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000130 StackFrameIterator it(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000131 for (int i = 0; i < depth + 1; i++) it.Advance();
132 StackFrame* frame = it.frame();
mstarzinger@chromium.orge3b8d0f2013-02-01 09:06:41 +0000133 ASSERT(fp == frame->fp() && pc_address == frame->pc_address());
134#endif
135 fp_ = fp;
136 pc_address_ = pc_address;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000137}
138
139
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000140#ifdef ENABLE_DEBUGGER_SUPPORT
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +0000141Address IC::OriginalCodeAddress() const {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000142 HandleScope scope(isolate());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000143 // Compute the JavaScript frame for the frame pointer of this IC
144 // structure. We need this to be able to find the function
145 // corresponding to the frame.
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000146 StackFrameIterator it(isolate());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000147 while (it.frame()->fp() != this->fp()) it.Advance();
148 JavaScriptFrame* frame = JavaScriptFrame::cast(it.frame());
149 // Find the function on the stack and both the active code for the
150 // function and the original code.
151 JSFunction* function = JSFunction::cast(frame->function());
152 Handle<SharedFunctionInfo> shared(function->shared());
153 Code* code = shared->code();
154 ASSERT(Debug::HasDebugInfo(shared));
155 Code* original_code = Debug::GetDebugInfo(shared)->original_code();
156 ASSERT(original_code->IsCode());
157 // Get the address of the call site in the active code. This is the
158 // place where the call to DebugBreakXXX is and where the IC
159 // normally would be.
rossberg@chromium.org89e18f52012-10-22 13:09:53 +0000160 Address addr = Assembler::target_address_from_return_address(pc());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000161 // Return the address in the original code. This is the place where
ager@chromium.org32912102009-01-16 10:38:43 +0000162 // the call which has been overwritten by the DebugBreakXXX resides
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000163 // and the place where the inline cache system should look.
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000164 intptr_t delta =
165 original_code->instruction_start() - code->instruction_start();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000166 return addr + delta;
167}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000168#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000169
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000170
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000171static bool TryRemoveInvalidPrototypeDependentStub(Code* target,
172 Object* receiver,
173 Object* name) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000174 InlineCacheHolderFlag cache_holder =
175 Code::ExtractCacheHolderFromFlags(target->flags());
176
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000177 Isolate* isolate = target->GetIsolate();
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000178 if (cache_holder == OWN_MAP && !receiver->IsJSObject()) {
179 // The stub was generated for JSObject but called for non-JSObject.
ricow@chromium.org65fae842010-08-25 15:26:24 +0000180 // IC::GetCodeCacheHolder is not applicable.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000181 return false;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +0000182 } else if (cache_holder == DELEGATE_MAP &&
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000183 receiver->GetPrototype(isolate)->IsNull()) {
ricow@chromium.org65fae842010-08-25 15:26:24 +0000184 // IC::GetCodeCacheHolder is not applicable.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000185 return false;
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000186 }
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000187 Map* map = IC::GetCodeCacheHolder(isolate, receiver, cache_holder)->map();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000188
189 // Decide whether the inline cache failed because of changes to the
190 // receiver itself or changes to one of its prototypes.
191 //
192 // If there are changes to the receiver itself, the map of the
193 // receiver will have changed and the current target will not be in
194 // the receiver map's code cache. Therefore, if the current target
195 // is in the receiver map's code cache, the inline cache failed due
196 // to prototype check failure.
sgjesse@chromium.org99a37fa2010-03-11 09:23:46 +0000197 int index = map->IndexInCodeCache(name, target);
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000198 if (index >= 0) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000199 map->RemoveFromCodeCache(String::cast(name), target, index);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000200 return true;
201 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000202
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000203 return false;
204}
205
206
207IC::State IC::StateFrom(Code* target, Object* receiver, Object* name) {
208 IC::State state = target->ic_state();
209
210 if (state != MONOMORPHIC || !name->IsString()) return state;
211 if (receiver->IsUndefined() || receiver->IsNull()) return state;
212
213 // For keyed load/store/call, the most likely cause of cache failure is
214 // that the key has changed. We do not distinguish between
215 // prototype and non-prototype failures for keyed access.
216 Code::Kind kind = target->kind();
217 if (kind == Code::KEYED_LOAD_IC ||
218 kind == Code::KEYED_STORE_IC ||
219 kind == Code::KEYED_CALL_IC) {
220 return MONOMORPHIC;
221 }
222
223 // Remove the target from the code cache if it became invalid
224 // because of changes in the prototype chain to avoid hitting it
225 // again.
226 // Call stubs handle this later to allow extra IC state
227 // transitions.
228 if (kind != Code::CALL_IC &&
229 TryRemoveInvalidPrototypeDependentStub(target, receiver, name)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000230 return MONOMORPHIC_PROTOTYPE_FAILURE;
231 }
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000232
233 // The builtins object is special. It only changes when JavaScript
234 // builtins are loaded lazily. It is important to keep inline
235 // caches for the builtins object monomorphic. Therefore, if we get
236 // an inline cache miss for the builtins object after lazily loading
ager@chromium.org236ad962008-09-25 09:45:57 +0000237 // JavaScript builtins, we return uninitialized as the state to
238 // force the inline cache back to monomorphic state.
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000239 if (receiver->IsJSBuiltinsObject()) {
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000240 return UNINITIALIZED;
241 }
242
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000243 return MONOMORPHIC;
244}
245
246
ager@chromium.org236ad962008-09-25 09:45:57 +0000247RelocInfo::Mode IC::ComputeMode() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000248 Address addr = address();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000249 Code* code = Code::cast(isolate()->heap()->FindCodeObject(addr));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000250 for (RelocIterator it(code, RelocInfo::kCodeTargetMask);
251 !it.done(); it.next()) {
252 RelocInfo* info = it.rinfo();
253 if (info->pc() == addr) return info->rmode();
254 }
255 UNREACHABLE();
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000256 return RelocInfo::NONE32;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000257}
258
259
260Failure* IC::TypeError(const char* type,
261 Handle<Object> object,
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000262 Handle<Object> key) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000263 HandleScope scope(isolate());
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000264 Handle<Object> args[2] = { key, object };
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000265 Handle<Object> error = isolate()->factory()->NewTypeError(
266 type, HandleVector(args, 2));
267 return isolate()->Throw(*error);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000268}
269
270
271Failure* IC::ReferenceError(const char* type, Handle<String> name) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000272 HandleScope scope(isolate());
273 Handle<Object> error = isolate()->factory()->NewReferenceError(
274 type, HandleVector(&name, 1));
275 return isolate()->Throw(*error);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000276}
277
278
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000279static int ComputeTypeInfoCountDelta(IC::State old_state, IC::State new_state) {
280 bool was_uninitialized =
281 old_state == UNINITIALIZED || old_state == PREMONOMORPHIC;
282 bool is_uninitialized =
283 new_state == UNINITIALIZED || new_state == PREMONOMORPHIC;
284 return (was_uninitialized && !is_uninitialized) ? 1 :
285 (!was_uninitialized && is_uninitialized) ? -1 : 0;
286}
287
288
jkummerow@chromium.orgf7a58842012-02-21 10:08:21 +0000289void IC::PostPatching(Address address, Code* target, Code* old_target) {
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000290 if (FLAG_type_info_threshold == 0 && !FLAG_watch_ic_patching) {
291 return;
292 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000293 Isolate* isolate = target->GetHeap()->isolate();
294 Code* host = isolate->
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000295 inner_pointer_to_code_cache()->GetCacheEntry(address)->code;
296 if (host->kind() != Code::FUNCTION) return;
297
298 if (FLAG_type_info_threshold > 0 &&
299 old_target->is_inline_cache_stub() &&
300 target->is_inline_cache_stub()) {
301 int delta = ComputeTypeInfoCountDelta(old_target->ic_state(),
302 target->ic_state());
303 // Not all Code objects have TypeFeedbackInfo.
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000304 if (host->type_feedback_info()->IsTypeFeedbackInfo() && delta != 0) {
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000305 TypeFeedbackInfo* info =
306 TypeFeedbackInfo::cast(host->type_feedback_info());
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000307 info->change_ic_with_type_info_count(delta);
jkummerow@chromium.orgf7a58842012-02-21 10:08:21 +0000308 }
309 }
yangguo@chromium.org46839fb2012-08-28 09:06:19 +0000310 if (host->type_feedback_info()->IsTypeFeedbackInfo()) {
311 TypeFeedbackInfo* info =
312 TypeFeedbackInfo::cast(host->type_feedback_info());
313 info->change_own_type_change_checksum();
314 }
yangguo@chromium.org78d1ad42012-02-09 13:53:47 +0000315 if (FLAG_watch_ic_patching) {
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000316 host->set_profiler_ticks(0);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000317 isolate->runtime_profiler()->NotifyICChanged();
yangguo@chromium.org78d1ad42012-02-09 13:53:47 +0000318 }
jkummerow@chromium.org1456e702012-03-30 08:38:13 +0000319 // TODO(2029): When an optimized function is patched, it would
320 // be nice to propagate the corresponding type information to its
321 // unoptimized version for the benefit of later inlining.
yangguo@chromium.org78d1ad42012-02-09 13:53:47 +0000322}
323
324
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000325void IC::Clear(Address address) {
326 Code* target = GetTargetAtAddress(address);
327
328 // Don't clear debug break inline cache as it will remove the break point.
yangguo@chromium.org9768bf12013-01-11 14:51:07 +0000329 if (target->is_debug_break()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000330
331 switch (target->kind()) {
332 case Code::LOAD_IC: return LoadIC::Clear(address, target);
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000333 case Code::KEYED_LOAD_IC: return KeyedLoadIC::Clear(address, target);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000334 case Code::STORE_IC: return StoreIC::Clear(address, target);
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000335 case Code::KEYED_STORE_IC: return KeyedStoreIC::Clear(address, target);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000336 case Code::CALL_IC: return CallIC::Clear(address, target);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000337 case Code::KEYED_CALL_IC: return KeyedCallIC::Clear(address, target);
jkummerow@chromium.org212d9642012-05-11 15:02:09 +0000338 case Code::COMPARE_IC: return CompareIC::Clear(address, target);
danno@chromium.org40cb8782011-05-25 07:58:50 +0000339 case Code::UNARY_OP_IC:
340 case Code::BINARY_OP_IC:
ricow@chromium.org9fa09672011-07-25 11:05:35 +0000341 case Code::TO_BOOLEAN_IC:
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000342 // Clearing these is tricky and does not
343 // make any performance difference.
344 return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000345 default: UNREACHABLE();
346 }
347}
348
349
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000350void CallICBase::Clear(Address address, Code* target) {
jkummerow@chromium.org212d9642012-05-11 15:02:09 +0000351 if (target->ic_state() == UNINITIALIZED) return;
danno@chromium.org40cb8782011-05-25 07:58:50 +0000352 bool contextual = CallICBase::Contextual::decode(target->extra_ic_state());
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000353 Code* code =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000354 Isolate::Current()->stub_cache()->FindCallInitialize(
355 target->arguments_count(),
danno@chromium.org40cb8782011-05-25 07:58:50 +0000356 contextual ? RelocInfo::CODE_TARGET_CONTEXT : RelocInfo::CODE_TARGET,
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000357 target->kind());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000358 SetTargetAtAddress(address, code);
359}
360
361
362void KeyedLoadIC::Clear(Address address, Code* target) {
kasper.lund7276f142008-07-30 08:49:36 +0000363 if (target->ic_state() == UNINITIALIZED) return;
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000364 // Make sure to also clear the map used in inline fast cases. If we
365 // do not clear these maps, cached code can keep objects alive
366 // through the embedded maps.
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000367 SetTargetAtAddress(address, *initialize_stub());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000368}
369
370
371void LoadIC::Clear(Address address, Code* target) {
kasper.lund7276f142008-07-30 08:49:36 +0000372 if (target->ic_state() == UNINITIALIZED) return;
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000373 SetTargetAtAddress(address, *initialize_stub());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000374}
375
376
377void StoreIC::Clear(Address address, Code* target) {
kasper.lund7276f142008-07-30 08:49:36 +0000378 if (target->ic_state() == UNINITIALIZED) return;
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000379 SetTargetAtAddress(address,
ulan@chromium.org65a89c22012-02-14 11:46:07 +0000380 (Code::GetStrictMode(target->extra_ic_state()) == kStrictMode)
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000381 ? *initialize_stub_strict()
382 : *initialize_stub());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000383}
384
385
386void KeyedStoreIC::Clear(Address address, Code* target) {
kasper.lund7276f142008-07-30 08:49:36 +0000387 if (target->ic_state() == UNINITIALIZED) return;
ager@chromium.org9ee27ae2011-03-02 13:43:26 +0000388 SetTargetAtAddress(address,
ulan@chromium.org65a89c22012-02-14 11:46:07 +0000389 (Code::GetStrictMode(target->extra_ic_state()) == kStrictMode)
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000390 ? *initialize_stub_strict()
391 : *initialize_stub());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000392}
393
394
jkummerow@chromium.org212d9642012-05-11 15:02:09 +0000395void CompareIC::Clear(Address address, Code* target) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +0000396 ASSERT(target->major_key() == CodeStub::CompareIC);
397 CompareIC::State handler_state;
398 Token::Value op;
399 ICCompareStub::DecodeMinorKey(target->stub_info(), NULL, NULL,
400 &handler_state, &op);
jkummerow@chromium.org212d9642012-05-11 15:02:09 +0000401 // Only clear CompareICs that can retain objects.
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000402 if (handler_state != KNOWN_OBJECT) return;
jkummerow@chromium.org212d9642012-05-11 15:02:09 +0000403 SetTargetAtAddress(address, GetRawUninitialized(op));
404 PatchInlinedSmiCode(address, DISABLE_INLINED_SMI_CHECK);
405}
406
407
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000408static bool HasInterceptorGetter(JSObject* object) {
409 return !object->GetNamedInterceptor()->getter()->IsUndefined();
410}
411
412
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000413static void LookupForRead(Handle<Object> object,
414 Handle<String> name,
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000415 LookupResult* lookup) {
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000416 // Skip all the objects with named interceptors, but
417 // without actual getter.
418 while (true) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000419 object->Lookup(*name, lookup);
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000420 // Besides normal conditions (property not found or it's not
ager@chromium.org5c838252010-02-19 08:53:10 +0000421 // an interceptor), bail out if lookup is not cacheable: we won't
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000422 // be able to IC it anyway and regular lookup should work fine.
yangguo@chromium.orgde0db002012-06-22 13:44:28 +0000423 if (!lookup->IsInterceptor() || !lookup->IsCacheable()) {
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000424 return;
425 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000426
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000427 Handle<JSObject> holder(lookup->holder());
428 if (HasInterceptorGetter(*holder)) {
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000429 return;
430 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000431
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000432 holder->LocalLookupRealNamedProperty(*name, lookup);
verwaest@chromium.org753aee42012-07-17 16:15:42 +0000433 if (lookup->IsFound()) {
yangguo@chromium.orgde0db002012-06-22 13:44:28 +0000434 ASSERT(!lookup->IsInterceptor());
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000435 return;
436 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000437
ulan@chromium.org09d7ab52013-02-25 15:50:35 +0000438 Handle<Object> proto(holder->GetPrototype(), name->GetIsolate());
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000439 if (proto->IsNull()) {
verwaest@chromium.org753aee42012-07-17 16:15:42 +0000440 ASSERT(!lookup->IsFound());
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000441 return;
442 }
443
444 object = proto;
445 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000446}
447
448
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000449Handle<Object> CallICBase::TryCallAsFunction(Handle<Object> object) {
450 Handle<Object> delegate = Execution::GetFunctionDelegate(object);
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000451
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000452 if (delegate->IsJSFunction() && !object->IsJSFunctionProxy()) {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000453 // Patch the receiver and use the delegate as the function to
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000454 // invoke. This is used for invoking objects as if they were functions.
455 const int argc = target()->arguments_count();
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000456 StackFrameLocator locator(isolate());
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000457 JavaScriptFrame* frame = locator.FindJavaScriptFrame(0);
458 int index = frame->ComputeExpressionsCount() - (argc + 1);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000459 frame->SetExpression(index, *object);
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000460 }
461
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000462 return delegate;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000463}
464
whesse@chromium.org2c186ca2010-06-16 11:32:39 +0000465
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000466void CallICBase::ReceiverToObjectIfRequired(Handle<Object> callee,
467 Handle<Object> object) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000468 while (callee->IsJSFunctionProxy()) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +0000469 callee = Handle<Object>(JSFunctionProxy::cast(*callee)->call_trap(),
470 isolate());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000471 }
472
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000473 if (callee->IsJSFunction()) {
474 Handle<JSFunction> function = Handle<JSFunction>::cast(callee);
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +0000475 if (!function->shared()->is_classic_mode() || function->IsBuiltin()) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000476 // Do not wrap receiver for strict mode functions or for builtins.
477 return;
478 }
479 }
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000480
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000481 // And only wrap string, number or boolean.
482 if (object->IsString() || object->IsNumber() || object->IsBoolean()) {
483 // Change the receiver to the result of calling ToObject on it.
484 const int argc = this->target()->arguments_count();
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +0000485 StackFrameLocator locator(isolate());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000486 JavaScriptFrame* frame = locator.FindJavaScriptFrame(0);
487 int index = frame->ComputeExpressionsCount() - (argc + 1);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000488 frame->SetExpression(index, *isolate()->factory()->ToObject(object));
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000489 }
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000490}
491
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000492
lrn@chromium.org303ada72010-10-27 09:33:13 +0000493MaybeObject* CallICBase::LoadFunction(State state,
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000494 Code::ExtraICState extra_ic_state,
lrn@chromium.org303ada72010-10-27 09:33:13 +0000495 Handle<Object> object,
496 Handle<String> name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000497 // If the object is undefined or null it's illegal to try to get any
498 // of its properties; throw a TypeError in that case.
499 if (object->IsUndefined() || object->IsNull()) {
500 return TypeError("non_object_property_call", object, name);
501 }
502
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000503 // Check if the name is trivially convertible to an index and get
504 // the element if so.
505 uint32_t index;
506 if (name->AsArrayIndex(&index)) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000507 Handle<Object> result = Object::GetElement(object, index);
508 RETURN_IF_EMPTY_HANDLE(isolate(), result);
509 if (result->IsJSFunction()) return *result;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000510
511 // Try to find a suitable function delegate for the object at hand.
512 result = TryCallAsFunction(result);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000513 if (result->IsJSFunction()) return *result;
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000514
515 // Otherwise, it will fail in the lookup step.
516 }
517
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000518 // Lookup the property in the object.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000519 LookupResult lookup(isolate());
520 LookupForRead(object, name, &lookup);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000521
verwaest@chromium.org753aee42012-07-17 16:15:42 +0000522 if (!lookup.IsFound()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000523 // If the object does not have the requested property, check which
524 // exception we need to throw.
mvstanton@chromium.orgc47dff52013-01-23 16:28:41 +0000525 return IsUndeclaredGlobal(object)
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000526 ? ReferenceError("not_defined", name)
527 : TypeError("undefined_method", object, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000528 }
529
530 // Lookup is valid: Update inline cache and stub cache.
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000531 if (FLAG_use_ic) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000532 UpdateCaches(&lookup, state, extra_ic_state, object, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000533 }
534
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000535 // Get the property.
536 PropertyAttributes attr;
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000537 Handle<Object> result =
538 Object::GetProperty(object, object, &lookup, name, &attr);
539 RETURN_IF_EMPTY_HANDLE(isolate(), result);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000540
yangguo@chromium.orgde0db002012-06-22 13:44:28 +0000541 if (lookup.IsInterceptor() && attr == ABSENT) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000542 // If the object does not have the requested property, check which
543 // exception we need to throw.
mvstanton@chromium.orgc47dff52013-01-23 16:28:41 +0000544 return IsUndeclaredGlobal(object)
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000545 ? ReferenceError("not_defined", name)
546 : TypeError("undefined_method", object, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000547 }
548
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000549 ASSERT(!result->IsTheHole());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000550
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000551 // Make receiver an object if the callee requires it. Strict mode or builtin
552 // functions do not wrap the receiver, non-strict functions and objects
553 // called as functions do.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000554 ReceiverToObjectIfRequired(result, object);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000555
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000556 if (result->IsJSFunction()) {
557 Handle<JSFunction> function = Handle<JSFunction>::cast(result);
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000558#ifdef ENABLE_DEBUGGER_SUPPORT
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000559 // Handle stepping into a function if step into is active.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000560 Debug* debug = isolate()->debug();
561 if (debug->StepInActive()) {
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000562 // Protect the result in a handle as the debugger can allocate and might
563 // cause GC.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000564 debug->HandleStepIn(function, object, fp(), false);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000565 }
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000566#endif
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000567 return *function;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000568 }
569
570 // Try to find a suitable function delegate for the object at hand.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000571 result = TryCallAsFunction(result);
572 if (result->IsJSFunction()) return *result;
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000573
574 return TypeError("property_not_function", object, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000575}
576
577
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000578bool CallICBase::TryUpdateExtraICState(LookupResult* lookup,
579 Handle<Object> object,
580 Code::ExtraICState* extra_ic_state) {
581 ASSERT(kind_ == Code::CALL_IC);
582 if (lookup->type() != CONSTANT_FUNCTION) return false;
583 JSFunction* function = lookup->GetConstantFunction();
584 if (!function->shared()->HasBuiltinFunctionId()) return false;
585
586 // Fetch the arguments passed to the called function.
587 const int argc = target()->arguments_count();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000588 Address entry = isolate()->c_entry_fp(isolate()->thread_local_top());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000589 Address fp = Memory::Address_at(entry + ExitFrameConstants::kCallerFPOffset);
590 Arguments args(argc + 1,
591 &Memory::Object_at(fp +
592 StandardFrameConstants::kCallerSPOffset +
593 argc * kPointerSize));
594 switch (function->shared()->builtin_function_id()) {
595 case kStringCharCodeAt:
596 case kStringCharAt:
597 if (object->IsString()) {
598 String* string = String::cast(*object);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000599 // Check there's the right string value or wrapper in the receiver slot.
600 ASSERT(string == args[0] || string == JSValue::cast(args[0])->value());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000601 // If we're in the default (fastest) state and the index is
602 // out of bounds, update the state to record this fact.
danno@chromium.org40cb8782011-05-25 07:58:50 +0000603 if (StringStubState::decode(*extra_ic_state) == DEFAULT_STRING_STUB &&
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000604 argc >= 1 && args[1]->IsNumber()) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000605 double index = DoubleToInteger(args.number_at(1));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000606 if (index < 0 || index >= string->length()) {
danno@chromium.org40cb8782011-05-25 07:58:50 +0000607 *extra_ic_state =
608 StringStubState::update(*extra_ic_state,
609 STRING_INDEX_OUT_OF_BOUNDS);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000610 return true;
611 }
612 }
613 }
614 break;
615 default:
616 return false;
617 }
618 return false;
619}
620
621
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000622Handle<Code> CallICBase::ComputeMonomorphicStub(LookupResult* lookup,
623 State state,
624 Code::ExtraICState extra_state,
625 Handle<Object> object,
626 Handle<String> name) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000627 int argc = target()->arguments_count();
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000628 Handle<JSObject> holder(lookup->holder());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000629 switch (lookup->type()) {
630 case FIELD: {
yangguo@chromium.orgeeb44b62012-11-13 13:56:09 +0000631 PropertyIndex index = lookup->GetFieldIndex();
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000632 return isolate()->stub_cache()->ComputeCallField(
633 argc, kind_, extra_state, name, object, holder, index);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000634 }
635 case CONSTANT_FUNCTION: {
636 // Get the constant function and compute the code stub for this
637 // call; used for rewriting to monomorphic state and making sure
638 // that the code stub is in the stub cache.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000639 Handle<JSFunction> function(lookup->GetConstantFunction());
640 return isolate()->stub_cache()->ComputeCallConstant(
641 argc, kind_, extra_state, name, object, holder, function);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000642 }
643 case NORMAL: {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000644 // If we return a null handle, the IC will not be patched.
645 if (!object->IsJSObject()) return Handle<Code>::null();
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000646 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
647
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000648 if (holder->IsGlobalObject()) {
649 Handle<GlobalObject> global = Handle<GlobalObject>::cast(holder);
650 Handle<JSGlobalPropertyCell> cell(global->GetPropertyCell(lookup));
651 if (!cell->value()->IsJSFunction()) return Handle<Code>::null();
652 Handle<JSFunction> function(JSFunction::cast(cell->value()));
653 return isolate()->stub_cache()->ComputeCallGlobal(
654 argc, kind_, extra_state, name, receiver, global, cell, function);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000655 } else {
656 // There is only one shared stub for calling normalized
657 // properties. It does not traverse the prototype chain, so the
658 // property must be found in the receiver for the stub to be
659 // applicable.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000660 if (!holder.is_identical_to(receiver)) return Handle<Code>::null();
661 return isolate()->stub_cache()->ComputeCallNormal(
662 argc, kind_, extra_state);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000663 }
664 break;
665 }
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000666 case INTERCEPTOR:
667 ASSERT(HasInterceptorGetter(*holder));
668 return isolate()->stub_cache()->ComputeCallInterceptor(
669 argc, kind_, extra_state, name, object, holder);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000670 default:
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000671 return Handle<Code>::null();
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000672 }
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000673}
674
675
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000676void CallICBase::UpdateCaches(LookupResult* lookup,
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000677 State state,
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000678 Code::ExtraICState extra_ic_state,
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000679 Handle<Object> object,
680 Handle<String> name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000681 // Bail out if we didn't find a result.
ager@chromium.org5c838252010-02-19 08:53:10 +0000682 if (!lookup->IsProperty() || !lookup->IsCacheable()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000683
684 // Compute the number of arguments.
685 int argc = target()->arguments_count();
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000686 Handle<Code> code;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000687 if (state == UNINITIALIZED) {
688 // This is the first time we execute this inline cache.
689 // Set the target to the pre monomorphic stub to delay
690 // setting the monomorphic state.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000691 code = isolate()->stub_cache()->ComputeCallPreMonomorphic(
692 argc, kind_, extra_ic_state);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000693 } else if (state == MONOMORPHIC) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000694 if (kind_ == Code::CALL_IC &&
695 TryUpdateExtraICState(lookup, object, &extra_ic_state)) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000696 code = ComputeMonomorphicStub(lookup, state, extra_ic_state,
697 object, name);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000698 } else if (kind_ == Code::CALL_IC &&
699 TryRemoveInvalidPrototypeDependentStub(target(),
700 *object,
701 *name)) {
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000702 state = MONOMORPHIC_PROTOTYPE_FAILURE;
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000703 code = ComputeMonomorphicStub(lookup, state, extra_ic_state,
704 object, name);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000705 } else {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000706 code = isolate()->stub_cache()->ComputeCallMegamorphic(
707 argc, kind_, extra_ic_state);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000708 }
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000709 } else {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000710 code = ComputeMonomorphicStub(lookup, state, extra_ic_state,
711 object, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000712 }
713
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000714 // If there's no appropriate stub we simply avoid updating the caches.
715 if (code.is_null()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000716
717 // Patch the call site depending on the state of the cache.
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000718 switch (state) {
719 case UNINITIALIZED:
720 case MONOMORPHIC_PROTOTYPE_FAILURE:
721 case PREMONOMORPHIC:
722 set_target(*code);
723 break;
724 case MONOMORPHIC:
725 if (code->ic_state() != MONOMORPHIC) {
726 Map* map = target()->FindFirstMap();
727 if (map != NULL) {
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +0000728 UpdateMegamorphicCache(map, *name, target());
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000729 }
730 }
731 set_target(*code);
732 break;
733 case MEGAMORPHIC: {
734 // Cache code holding map should be consistent with
735 // GenerateMonomorphicCacheProbe. It is not the map which holds the stub.
736 Handle<JSObject> cache_object = object->IsJSObject()
737 ? Handle<JSObject>::cast(object)
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000738 : Handle<JSObject>(JSObject::cast(object->GetPrototype(isolate())));
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000739 // Update the stub cache.
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +0000740 UpdateMegamorphicCache(cache_object->map(), *name, *code);
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000741 break;
742 }
yangguo@chromium.org9768bf12013-01-11 14:51:07 +0000743 case DEBUG_STUB:
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000744 break;
745 case POLYMORPHIC:
yangguo@chromium.org46a2a512013-01-18 16:29:40 +0000746 case GENERIC:
jkummerow@chromium.org59297c72013-01-09 16:32:23 +0000747 UNREACHABLE();
748 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000749 }
750
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000751 TRACE_IC(kind_ == Code::CALL_IC ? "CallIC" : "KeyedCallIC",
752 name, state, target());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000753}
754
755
lrn@chromium.org303ada72010-10-27 09:33:13 +0000756MaybeObject* KeyedCallIC::LoadFunction(State state,
757 Handle<Object> object,
758 Handle<Object> key) {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +0000759 if (key->IsInternalizedString()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000760 return CallICBase::LoadFunction(state,
761 Code::kNoExtraICState,
762 object,
763 Handle<String>::cast(key));
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000764 }
765
766 if (object->IsUndefined() || object->IsNull()) {
767 return TypeError("non_object_property_call", object, key);
768 }
769
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +0000770 bool use_ic = FLAG_use_ic && !object->IsAccessCheckNeeded();
771 ASSERT(!(use_ic && object->IsJSGlobalProxy()));
772
773 if (use_ic && state != MEGAMORPHIC) {
ager@chromium.org2cc82ae2010-06-14 07:35:38 +0000774 int argc = target()->arguments_count();
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +0000775 Handle<Code> stub = isolate()->stub_cache()->ComputeCallMegamorphic(
776 argc, Code::KEYED_CALL_IC, Code::kNoExtraICState);
777 if (object->IsJSObject()) {
778 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
779 if (receiver->elements()->map() ==
780 isolate()->heap()->non_strict_arguments_elements_map()) {
781 stub = isolate()->stub_cache()->ComputeCallArguments(argc);
782 }
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000783 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +0000784 ASSERT(!stub.is_null());
785 set_target(*stub);
786 TRACE_IC("KeyedCallIC", key, state, target());
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000787 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000788
ulan@chromium.org09d7ab52013-02-25 15:50:35 +0000789 Handle<Object> result = GetProperty(isolate(), object, key);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000790 RETURN_IF_EMPTY_HANDLE(isolate(), result);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000791
792 // Make receiver an object if the callee requires it. Strict mode or builtin
793 // functions do not wrap the receiver, non-strict functions and objects
794 // called as functions do.
795 ReceiverToObjectIfRequired(result, object);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000796 if (result->IsJSFunction()) return *result;
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000797
798 result = TryCallAsFunction(result);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000799 if (result->IsJSFunction()) return *result;
800
801 return TypeError("property_not_function", object, key);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000802}
803
804
yangguo@chromium.org003650e2013-01-24 16:31:08 +0000805MaybeObject* LoadIC::Load(State state,
806 Handle<Object> object,
807 Handle<String> name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000808 // If the object is undefined or null it's illegal to try to get any
809 // of its properties; throw a TypeError in that case.
810 if (object->IsUndefined() || object->IsNull()) {
811 return TypeError("non_object_property_load", object, name);
812 }
813
814 if (FLAG_use_ic) {
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000815 // Use specialized code for getting the length of strings and
816 // string wrapper objects. The length property of string wrapper
817 // objects is read-only and therefore always returns the length of
818 // the underlying string value. See ECMA-262 15.5.5.1.
819 if ((object->IsString() || object->IsStringWrapper()) &&
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +0000820 name->Equals(isolate()->heap()->length_string())) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000821 Handle<Code> stub;
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000822 if (state == UNINITIALIZED) {
823 stub = pre_monomorphic_stub();
824 } else if (state == PREMONOMORPHIC) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000825 StringLengthStub string_length_stub(kind(), !object->IsString());
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000826 stub = string_length_stub.GetCode(isolate());
ager@chromium.org378b34e2011-01-28 08:04:38 +0000827 } else if (state == MONOMORPHIC && object->IsStringWrapper()) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000828 StringLengthStub string_length_stub(kind(), true);
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000829 stub = string_length_stub.GetCode(isolate());
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000830 } else if (state != MEGAMORPHIC) {
yangguo@chromium.org46a2a512013-01-18 16:29:40 +0000831 ASSERT(state != GENERIC);
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000832 stub = megamorphic_stub();
833 }
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000834 if (!stub.is_null()) {
835 set_target(*stub);
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000836#ifdef DEBUG
837 if (FLAG_trace_ic) PrintF("[LoadIC : +#length /string]\n");
838#endif
ager@chromium.org378b34e2011-01-28 08:04:38 +0000839 }
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000840 // Get the string if we have a string wrapper object.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000841 Handle<Object> string = object->IsJSValue()
ulan@chromium.org09d7ab52013-02-25 15:50:35 +0000842 ? Handle<Object>(Handle<JSValue>::cast(object)->value(), isolate())
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000843 : object;
844 return Smi::FromInt(String::cast(*string)->length());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000845 }
846
847 // Use specialized code for getting the length of arrays.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000848 if (object->IsJSArray() &&
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +0000849 name->Equals(isolate()->heap()->length_string())) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000850 Handle<Code> stub;
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000851 if (state == UNINITIALIZED) {
852 stub = pre_monomorphic_stub();
853 } else if (state == PREMONOMORPHIC) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000854 ArrayLengthStub array_length_stub(kind());
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000855 stub = array_length_stub.GetCode(isolate());
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000856 } else if (state != MEGAMORPHIC) {
yangguo@chromium.org46a2a512013-01-18 16:29:40 +0000857 ASSERT(state != GENERIC);
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000858 stub = megamorphic_stub();
859 }
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000860 if (!stub.is_null()) {
861 set_target(*stub);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000862#ifdef DEBUG
lrn@chromium.orgac2828d2011-06-23 06:29:21 +0000863 if (FLAG_trace_ic) PrintF("[LoadIC : +#length /array]\n");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000864#endif
ager@chromium.org378b34e2011-01-28 08:04:38 +0000865 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000866 return JSArray::cast(*object)->length();
867 }
868
869 // Use specialized code for getting prototype of functions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000870 if (object->IsJSFunction() &&
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +0000871 name->Equals(isolate()->heap()->prototype_string()) &&
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000872 Handle<JSFunction>::cast(object)->should_have_prototype()) {
873 Handle<Code> stub;
874 if (state == UNINITIALIZED) {
875 stub = pre_monomorphic_stub();
876 } else if (state == PREMONOMORPHIC) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000877 FunctionPrototypeStub function_prototype_stub(kind());
hpayer@chromium.org8432c912013-02-28 15:55:26 +0000878 stub = function_prototype_stub.GetCode(isolate());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000879 } else if (state != MEGAMORPHIC) {
yangguo@chromium.org46a2a512013-01-18 16:29:40 +0000880 ASSERT(state != GENERIC);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000881 stub = megamorphic_stub();
882 }
883 if (!stub.is_null()) {
884 set_target(*stub);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000885#ifdef DEBUG
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000886 if (FLAG_trace_ic) PrintF("[LoadIC : +#prototype /function]\n");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000887#endif
ager@chromium.org378b34e2011-01-28 08:04:38 +0000888 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000889 return Accessors::FunctionGetPrototype(*object, 0);
890 }
891 }
892
893 // Check if the name is trivially convertible to an index and get
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000894 // the element or char if so.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000895 uint32_t index;
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +0000896 if (kind() == Code::KEYED_LOAD_IC && name->AsArrayIndex(&index)) {
897 // Rewrite to the generic keyed load stub.
898 if (FLAG_use_ic) set_target(*generic_stub());
899 return Runtime::GetElementOrCharAt(isolate(), object, index);
900 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000901
902 // Named lookup in the object.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000903 LookupResult lookup(isolate());
904 LookupForRead(object, name, &lookup);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000905
ager@chromium.org5c838252010-02-19 08:53:10 +0000906 // If we did not find a property, check if we need to throw an exception.
verwaest@chromium.org753aee42012-07-17 16:15:42 +0000907 if (!lookup.IsFound()) {
mvstanton@chromium.orgc47dff52013-01-23 16:28:41 +0000908 if (IsUndeclaredGlobal(object)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000909 return ReferenceError("not_defined", name);
910 }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000911 LOG(isolate(), SuspectReadEvent(*name, *object));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000912 }
913
914 // Update inline cache and stub cache.
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000915 if (FLAG_use_ic) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +0000916 UpdateCaches(&lookup, state, object, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000917 }
918
919 PropertyAttributes attr;
yangguo@chromium.orgde0db002012-06-22 13:44:28 +0000920 if (lookup.IsInterceptor() || lookup.IsHandler()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000921 // Get the property.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000922 Handle<Object> result =
923 Object::GetProperty(object, object, &lookup, name, &attr);
924 RETURN_IF_EMPTY_HANDLE(isolate(), result);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000925 // If the property is not present, check if we need to throw an
926 // exception.
mvstanton@chromium.orgc47dff52013-01-23 16:28:41 +0000927 if (attr == ABSENT && IsUndeclaredGlobal(object)) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000928 return ReferenceError("not_defined", name);
929 }
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000930 return *result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000931 }
932
933 // Get the property.
934 return object->GetProperty(*object, &lookup, *name, &attr);
935}
936
937
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +0000938static bool AddOneReceiverMapIfMissing(MapHandleList* receiver_maps,
939 Handle<Map> new_receiver_map) {
940 ASSERT(!new_receiver_map.is_null());
941 for (int current = 0; current < receiver_maps->length(); ++current) {
942 if (!receiver_maps->at(current).is_null() &&
943 receiver_maps->at(current).is_identical_to(new_receiver_map)) {
944 return false;
945 }
946 }
947 receiver_maps->Add(new_receiver_map);
948 return true;
949}
950
951
952bool IC::UpdatePolymorphicIC(State state,
953 StrictModeFlag strict_mode,
954 Handle<JSObject> receiver,
955 Handle<String> name,
956 Handle<Code> code) {
957 if (code->type() == Code::NORMAL) return false;
958 if (target()->ic_state() == MONOMORPHIC &&
959 target()->type() == Code::NORMAL) {
960 return false;
961 }
962 MapHandleList receiver_maps;
963 CodeHandleList handlers;
964 target()->FindAllMaps(&receiver_maps);
965 int number_of_maps = receiver_maps.length();
966 if (number_of_maps == 0 || number_of_maps >= 4) return false;
967
968 target()->FindAllCode(&handlers, receiver_maps.length());
969
970 if (!AddOneReceiverMapIfMissing(&receiver_maps,
971 Handle<Map>(receiver->map()))) {
972 return false;
973 }
974
975 handlers.Add(code);
976 Handle<Code> ic = isolate()->stub_cache()->ComputePolymorphicIC(
977 &receiver_maps, &handlers, name);
978 set_target(*ic);
979 return true;
980}
981
982
983void LoadIC::UpdateMonomorphicIC(Handle<JSObject> receiver,
984 Handle<Code> handler,
985 Handle<String> name) {
986 if (handler->type() == Code::NORMAL) return set_target(*handler);
987 Handle<Code> ic = isolate()->stub_cache()->ComputeMonomorphicIC(
988 receiver, handler, name);
989 set_target(*ic);
990}
991
992
993void KeyedLoadIC::UpdateMonomorphicIC(Handle<JSObject> receiver,
994 Handle<Code> handler,
995 Handle<String> name) {
996 if (handler->type() == Code::NORMAL) return set_target(*handler);
997 Handle<Code> ic = isolate()->stub_cache()->ComputeKeyedMonomorphicIC(
998 receiver, handler, name);
999 set_target(*ic);
1000}
1001
1002
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001003void IC::PatchCache(State state,
1004 StrictModeFlag strict_mode,
1005 Handle<JSObject> receiver,
1006 Handle<String> name,
1007 Handle<Code> code) {
1008 switch (state) {
1009 case UNINITIALIZED:
1010 case PREMONOMORPHIC:
1011 case MONOMORPHIC_PROTOTYPE_FAILURE:
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001012 UpdateMonomorphicIC(receiver, code, name);
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001013 break;
1014 case MONOMORPHIC:
1015 // Only move to megamorphic if the target changes.
1016 if (target() != *code) {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001017 if (target()->is_load_stub()) {
1018 if (UpdatePolymorphicIC(state, strict_mode, receiver, name, code)) {
1019 break;
1020 }
1021 }
1022 // We are transitioning from monomorphic to megamorphic case. Place the
1023 // stub compiled for the receiver into stub cache.
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001024 Map* map = target()->FindFirstMap();
1025 if (map != NULL) {
1026 UpdateMegamorphicCache(map, *name, target());
1027 }
1028 UpdateMegamorphicCache(receiver->map(), *name, *code);
1029 set_target((strict_mode == kStrictMode)
1030 ? *megamorphic_stub_strict()
1031 : *megamorphic_stub());
1032 }
1033 break;
1034 case MEGAMORPHIC:
1035 // Update the stub cache.
1036 UpdateMegamorphicCache(receiver->map(), *name, *code);
1037 break;
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001038 case POLYMORPHIC:
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001039 if (target()->is_load_stub()) {
1040 if (UpdatePolymorphicIC(state, strict_mode, receiver, name, code)) {
1041 break;
1042 }
1043 MapHandleList receiver_maps;
1044 CodeHandleList handlers;
1045 target()->FindAllMaps(&receiver_maps);
1046 target()->FindAllCode(&handlers, receiver_maps.length());
1047 for (int i = 0; i < receiver_maps.length(); i++) {
1048 UpdateMegamorphicCache(*receiver_maps.at(i), *name, *handlers.at(i));
1049 }
1050 UpdateMegamorphicCache(receiver->map(), *name, *code);
1051 set_target(*megamorphic_stub());
1052 } else {
1053 // When trying to patch a polymorphic keyed load/store element stub
1054 // with anything other than another polymorphic stub, go generic.
1055 set_target((strict_mode == kStrictMode)
1056 ? *generic_stub_strict()
1057 : *generic_stub());
1058 }
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001059 break;
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001060 case DEBUG_STUB:
1061 break;
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001062 case GENERIC:
1063 UNREACHABLE();
1064 break;
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001065 }
1066}
1067
1068
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001069static void GetReceiverMapsForStub(Handle<Code> stub,
1070 MapHandleList* result) {
1071 ASSERT(stub->is_inline_cache_stub());
1072 switch (stub->ic_state()) {
1073 case MONOMORPHIC: {
1074 Map* map = stub->FindFirstMap();
1075 if (map != NULL) {
1076 result->Add(Handle<Map>(map));
1077 }
1078 break;
1079 }
1080 case POLYMORPHIC: {
1081 AssertNoAllocation no_allocation;
1082 int mask = RelocInfo::ModeMask(RelocInfo::EMBEDDED_OBJECT);
1083 for (RelocIterator it(*stub, mask); !it.done(); it.next()) {
1084 RelocInfo* info = it.rinfo();
1085 Handle<Object> object(info->target_object(), stub->GetIsolate());
1086 if (object->IsString()) break;
1087 ASSERT(object->IsMap());
1088 AddOneReceiverMapIfMissing(result, Handle<Map>::cast(object));
1089 }
1090 break;
1091 }
1092 case MEGAMORPHIC:
1093 break;
1094 case UNINITIALIZED:
1095 case PREMONOMORPHIC:
1096 case MONOMORPHIC_PROTOTYPE_FAILURE:
1097 case GENERIC:
1098 case DEBUG_STUB:
1099 UNREACHABLE();
1100 break;
1101 }
1102}
1103
1104
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001105void LoadIC::UpdateCaches(LookupResult* lookup,
1106 State state,
1107 Handle<Object> object,
1108 Handle<String> name) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001109 // Bail out if the result is not cacheable.
1110 if (!lookup->IsCacheable()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001111
1112 // Loading properties from values is not common, so don't try to
1113 // deal with non-JS objects here.
1114 if (!object->IsJSObject()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001115
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001116 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001117 Handle<Code> code;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001118 if (state == UNINITIALIZED) {
1119 // This is the first time we execute this inline cache.
1120 // Set the target to the pre monomorphic stub to delay
1121 // setting the monomorphic state.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001122 code = pre_monomorphic_stub();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001123 } else {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001124 code = ComputeLoadHandler(lookup, receiver, name);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001125 if (code.is_null()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001126 }
1127
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001128 PatchCache(state, kNonStrictMode, receiver, name, code);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001129 TRACE_IC("LoadIC", name, state, target());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001130}
1131
1132
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001133void IC::UpdateMegamorphicCache(Map* map, String* name, Code* code) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001134 // Cache code holding map should be consistent with
1135 // GenerateMonomorphicCacheProbe.
1136 isolate()->stub_cache()->Set(name, map, code);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001137}
1138
1139
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001140Handle<Code> LoadIC::ComputeLoadHandler(LookupResult* lookup,
1141 Handle<JSObject> receiver,
1142 Handle<String> name) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001143 if (!lookup->IsProperty()) {
1144 // Nonexistent property. The result is undefined.
1145 return isolate()->stub_cache()->ComputeLoadNonexistent(name, receiver);
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001146 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001147
1148 // Compute monomorphic stub.
1149 Handle<JSObject> holder(lookup->holder());
1150 switch (lookup->type()) {
1151 case FIELD:
1152 return isolate()->stub_cache()->ComputeLoadField(
1153 name, receiver, holder, lookup->GetFieldIndex());
1154 case CONSTANT_FUNCTION: {
1155 Handle<JSFunction> constant(lookup->GetConstantFunction());
1156 return isolate()->stub_cache()->ComputeLoadConstant(
1157 name, receiver, holder, constant);
1158 }
1159 case NORMAL:
1160 if (holder->IsGlobalObject()) {
1161 Handle<GlobalObject> global = Handle<GlobalObject>::cast(holder);
1162 Handle<JSGlobalPropertyCell> cell(global->GetPropertyCell(lookup));
1163 return isolate()->stub_cache()->ComputeLoadGlobal(
1164 name, receiver, global, cell, lookup->IsDontDelete());
1165 }
1166 // There is only one shared stub for loading normalized
1167 // properties. It does not traverse the prototype chain, so the
1168 // property must be found in the receiver for the stub to be
1169 // applicable.
1170 if (!holder.is_identical_to(receiver)) break;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001171 return isolate()->stub_cache()->ComputeLoadNormal(name, receiver);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001172 case CALLBACKS: {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001173 Handle<Object> callback(lookup->GetCallbackObject(), isolate());
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001174 if (callback->IsExecutableAccessorInfo()) {
1175 Handle<ExecutableAccessorInfo> info =
1176 Handle<ExecutableAccessorInfo>::cast(callback);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001177 if (v8::ToCData<Address>(info->getter()) == 0) break;
1178 if (!info->IsCompatibleReceiver(*receiver)) break;
1179 return isolate()->stub_cache()->ComputeLoadCallback(
1180 name, receiver, holder, info);
1181 } else if (callback->IsAccessorPair()) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001182 Handle<Object> getter(Handle<AccessorPair>::cast(callback)->getter(),
1183 isolate());
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001184 if (!getter->IsJSFunction()) break;
1185 if (holder->IsGlobalObject()) break;
1186 if (!holder->HasFastProperties()) break;
1187 return isolate()->stub_cache()->ComputeLoadViaGetter(
1188 name, receiver, holder, Handle<JSFunction>::cast(getter));
1189 }
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001190 // TODO(dcarney): Handle correctly.
1191 if (callback->IsDeclaredAccessorInfo()) break;
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001192 ASSERT(callback->IsForeign());
1193 // No IC support for old-style native accessors.
1194 break;
1195 }
1196 case INTERCEPTOR:
1197 ASSERT(HasInterceptorGetter(*holder));
1198 return isolate()->stub_cache()->ComputeLoadInterceptor(
1199 name, receiver, holder);
1200 default:
1201 break;
1202 }
1203 return Handle<Code>::null();
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001204}
1205
1206
jkummerow@chromium.org28faa982012-04-13 09:58:30 +00001207static Handle<Object> TryConvertKey(Handle<Object> key, Isolate* isolate) {
1208 // This helper implements a few common fast cases for converting
1209 // non-smi keys of keyed loads/stores to a smi or a string.
1210 if (key->IsHeapNumber()) {
1211 double value = Handle<HeapNumber>::cast(key)->value();
1212 if (isnan(value)) {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001213 key = isolate->factory()->nan_string();
jkummerow@chromium.org28faa982012-04-13 09:58:30 +00001214 } else {
1215 int int_value = FastD2I(value);
1216 if (value == int_value && Smi::IsValid(int_value)) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001217 key = Handle<Smi>(Smi::FromInt(int_value), isolate);
jkummerow@chromium.org28faa982012-04-13 09:58:30 +00001218 }
1219 }
1220 } else if (key->IsUndefined()) {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001221 key = isolate->factory()->undefined_string();
jkummerow@chromium.org28faa982012-04-13 09:58:30 +00001222 }
1223 return key;
1224}
1225
1226
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001227Handle<Code> KeyedLoadIC::LoadElementStub(Handle<JSObject> receiver) {
1228 State ic_state = target()->ic_state();
1229
1230 // Don't handle megamorphic property accesses for INTERCEPTORS or CALLBACKS
1231 // via megamorphic stubs, since they don't have a map in their relocation info
1232 // and so the stubs can't be harvested for the object needed for a map check.
1233 if (target()->type() != Code::NORMAL) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001234 TRACE_GENERIC_IC(isolate(), "KeyedIC", "non-NORMAL target type");
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001235 return generic_stub();
1236 }
1237
1238 Handle<Map> receiver_map(receiver->map());
1239 MapHandleList target_receiver_maps;
1240 if (ic_state == UNINITIALIZED || ic_state == PREMONOMORPHIC) {
1241 // Optimistically assume that ICs that haven't reached the MONOMORPHIC state
1242 // yet will do so and stay there.
1243 return isolate()->stub_cache()->ComputeKeyedLoadElement(receiver_map);
1244 }
1245
1246 if (target() == *string_stub()) {
1247 target_receiver_maps.Add(isolate()->factory()->string_map());
1248 } else {
1249 GetReceiverMapsForStub(Handle<Code>(target()), &target_receiver_maps);
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001250 if (target_receiver_maps.length() == 0) {
1251 return isolate()->stub_cache()->ComputeKeyedLoadElement(receiver_map);
1252 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001253 }
1254
1255 // The first time a receiver is seen that is a transitioned version of the
1256 // previous monomorphic receiver type, assume the new ElementsKind is the
1257 // monomorphic type. This benefits global arrays that only transition
1258 // once, and all call sites accessing them are faster if they remain
1259 // monomorphic. If this optimistic assumption is not true, the IC will
1260 // miss again and it will become polymorphic and support both the
1261 // untransitioned and transitioned maps.
1262 if (ic_state == MONOMORPHIC &&
1263 IsMoreGeneralElementsKindTransition(
1264 target_receiver_maps.at(0)->elements_kind(),
1265 receiver->GetElementsKind())) {
1266 return isolate()->stub_cache()->ComputeKeyedLoadElement(receiver_map);
1267 }
1268
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001269 ASSERT(ic_state != GENERIC);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001270
1271 // Determine the list of receiver maps that this call site has seen,
1272 // adding the map that was just encountered.
1273 if (!AddOneReceiverMapIfMissing(&target_receiver_maps, receiver_map)) {
1274 // If the miss wasn't due to an unseen map, a polymorphic stub
1275 // won't help, use the generic stub.
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001276 TRACE_GENERIC_IC(isolate(), "KeyedIC", "same map added twice");
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001277 return generic_stub();
1278 }
1279
1280 // If the maximum number of receiver maps has been exceeded, use the generic
1281 // version of the IC.
1282 if (target_receiver_maps.length() > kMaxKeyedPolymorphism) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001283 TRACE_GENERIC_IC(isolate(), "KeyedIC", "max polymorph exceeded");
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001284 return generic_stub();
1285 }
1286
1287 return isolate()->stub_cache()->ComputeLoadElementPolymorphic(
1288 &target_receiver_maps);
1289}
1290
1291
lrn@chromium.org303ada72010-10-27 09:33:13 +00001292MaybeObject* KeyedLoadIC::Load(State state,
1293 Handle<Object> object,
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001294 Handle<Object> key,
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001295 ICMissMode miss_mode) {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001296 // Check for values that can be converted into an internalized string directly
1297 // or is representable as a smi.
jkummerow@chromium.org28faa982012-04-13 09:58:30 +00001298 key = TryConvertKey(key, isolate());
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001299
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001300 if (key->IsInternalizedString()) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001301 return LoadIC::Load(state, object, Handle<String>::cast(key));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001302 }
1303
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001304 bool use_ic = FLAG_use_ic && !object->IsAccessCheckNeeded();
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001305 ASSERT(!(use_ic && object->IsJSGlobalProxy()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001306
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +00001307 if (use_ic) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001308 Handle<Code> stub = generic_stub();
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001309 if (miss_mode != MISS_FORCE_GENERIC) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001310 if (object->IsString() && key->IsNumber()) {
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001311 if (state == UNINITIALIZED) {
1312 stub = string_stub();
1313 }
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001314 } else if (object->IsJSObject()) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001315 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
1316 if (receiver->elements()->map() ==
1317 isolate()->heap()->non_strict_arguments_elements_map()) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00001318 stub = non_strict_arguments_stub();
1319 } else if (receiver->HasIndexedInterceptor()) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001320 stub = indexed_interceptor_stub();
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001321 } else if (key->IsSmi() && (target() != *non_strict_arguments_stub())) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001322 stub = LoadElementStub(receiver);
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001323 }
ager@chromium.org3811b432009-10-28 14:53:37 +00001324 }
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00001325 } else {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001326 TRACE_GENERIC_IC(isolate(), "KeyedLoadIC", "force generic");
ager@chromium.org3811b432009-10-28 14:53:37 +00001327 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001328 ASSERT(!stub.is_null());
1329 set_target(*stub);
1330 TRACE_IC("KeyedLoadIC", key, state, target());
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001331 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001332
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001333
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001334 return Runtime::GetObjectProperty(isolate(), object, key);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001335}
1336
1337
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001338Handle<Code> KeyedLoadIC::ComputeLoadHandler(LookupResult* lookup,
1339 Handle<JSObject> receiver,
1340 Handle<String> name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001341 // Bail out if we didn't find a result.
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001342 if (!lookup->IsProperty()) return Handle<Code>::null();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001343
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001344 // Compute a monomorphic stub.
1345 Handle<JSObject> holder(lookup->holder());
1346 switch (lookup->type()) {
1347 case FIELD:
1348 return isolate()->stub_cache()->ComputeKeyedLoadField(
1349 name, receiver, holder, lookup->GetFieldIndex());
1350 case CONSTANT_FUNCTION: {
1351 Handle<JSFunction> constant(lookup->GetConstantFunction());
1352 return isolate()->stub_cache()->ComputeKeyedLoadConstant(
1353 name, receiver, holder, constant);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001354 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001355 case CALLBACKS: {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001356 Handle<Object> callback_object(lookup->GetCallbackObject(), isolate());
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001357 // TODO(dcarney): Handle DeclaredAccessorInfo correctly.
1358 if (!callback_object->IsExecutableAccessorInfo()) break;
1359 Handle<ExecutableAccessorInfo> callback =
1360 Handle<ExecutableAccessorInfo>::cast(callback_object);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001361 if (v8::ToCData<Address>(callback->getter()) == 0) break;
1362 if (!callback->IsCompatibleReceiver(*receiver)) break;
1363 return isolate()->stub_cache()->ComputeKeyedLoadCallback(
1364 name, receiver, holder, callback);
1365 }
1366 case INTERCEPTOR:
1367 ASSERT(HasInterceptorGetter(lookup->holder()));
1368 return isolate()->stub_cache()->ComputeKeyedLoadInterceptor(
1369 name, receiver, holder);
1370 default:
1371 // Always rewrite to the generic case so that we do not
1372 // repeatedly try to rewrite.
1373 return generic_stub();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001374 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001375 return Handle<Code>::null();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001376}
1377
1378
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001379static bool StoreICableLookup(LookupResult* lookup) {
1380 // Bail out if we didn't find a result.
jkummerow@chromium.org7a6fc812012-06-27 11:12:38 +00001381 if (!lookup->IsFound()) return false;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001382
jkummerow@chromium.org05ed9dd2012-01-23 14:42:48 +00001383 // Bail out if inline caching is not allowed.
1384 if (!lookup->IsCacheable()) return false;
1385
1386 // If the property is read-only, we leave the IC in its current state.
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001387 if (lookup->IsTransition()) {
1388 return !lookup->GetTransitionDetails().IsReadOnly();
1389 }
1390 return !lookup->IsReadOnly();
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001391}
1392
1393
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001394static bool LookupForWrite(Handle<JSObject> receiver,
1395 Handle<String> name,
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001396 LookupResult* lookup) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001397 receiver->LocalLookup(*name, lookup);
verwaest@chromium.org753aee42012-07-17 16:15:42 +00001398 if (!lookup->IsFound()) {
1399 receiver->map()->LookupTransition(*receiver, *name, lookup);
1400 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001401 if (!StoreICableLookup(lookup)) {
jkummerow@chromium.org78502a92012-09-06 13:50:42 +00001402 // 2nd chance: There can be accessors somewhere in the prototype chain.
svenpanne@chromium.org619781a2012-07-05 08:22:44 +00001403 receiver->Lookup(*name, lookup);
jkummerow@chromium.org78502a92012-09-06 13:50:42 +00001404 return lookup->IsPropertyCallbacks() && StoreICableLookup(lookup);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001405 }
1406
yangguo@chromium.orgde0db002012-06-22 13:44:28 +00001407 if (lookup->IsInterceptor() &&
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001408 receiver->GetNamedInterceptor()->setter()->IsUndefined()) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001409 receiver->LocalLookupRealNamedProperty(*name, lookup);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001410 return StoreICableLookup(lookup);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001411 }
1412
1413 return true;
1414}
1415
1416
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001417MaybeObject* StoreIC::Store(State state,
1418 StrictModeFlag strict_mode,
1419 Handle<Object> object,
1420 Handle<String> name,
1421 Handle<Object> value,
1422 JSReceiver::StoreFromKeyed store_mode) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001423 // Handle proxies.
1424 if (object->IsJSProxy()) {
1425 return JSProxy::cast(*object)->
1426 SetProperty(*name, *value, NONE, strict_mode);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001427 }
1428
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001429 // If the object is undefined or null it's illegal to try to set any
1430 // properties on it; throw a TypeError in that case.
1431 if (object->IsUndefined() || object->IsNull()) {
1432 return TypeError("non_object_property_store", object, name);
1433 }
1434
1435 // The length property of string values is read-only. Throw in strict mode.
1436 if (strict_mode == kStrictMode && object->IsString() &&
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001437 name->Equals(isolate()->heap()->length_string())) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001438 return TypeError("strict_read_only_property", object, name);
1439 }
1440
1441 // Ignore other stores where the receiver is not a JSObject.
1442 // TODO(1475): Must check prototype chains of object wrappers.
1443 if (!object->IsJSObject()) return *value;
1444
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001445 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
1446
1447 // Check if the given name is an array index.
1448 uint32_t index;
1449 if (name->AsArrayIndex(&index)) {
erik.corry@gmail.comf2038fb2012-01-16 11:42:08 +00001450 Handle<Object> result =
yangguo@chromium.orgab30bb82012-02-24 14:41:46 +00001451 JSObject::SetElement(receiver, index, value, NONE, strict_mode);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001452 RETURN_IF_EMPTY_HANDLE(isolate(), result);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001453 return *value;
1454 }
1455
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +00001456 // Observed objects are always modified through the runtime.
1457 if (FLAG_harmony_observation && receiver->map()->is_observed()) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001458 return receiver->SetProperty(*name, *value, NONE, strict_mode, store_mode);
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +00001459 }
1460
ricow@chromium.org7ad65222011-12-19 12:13:11 +00001461 // Use specialized code for setting the length of arrays with fast
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001462 // properties. Slow properties might indicate redefinition of the length
1463 // property.
1464 if (FLAG_use_ic &&
1465 receiver->IsJSArray() &&
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001466 name->Equals(isolate()->heap()->length_string()) &&
ricow@chromium.org7ad65222011-12-19 12:13:11 +00001467 Handle<JSArray>::cast(receiver)->AllowsSetElementsLength() &&
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001468 receiver->HasFastProperties()) {
hpayer@chromium.org8432c912013-02-28 15:55:26 +00001469 Handle<Code> stub =
1470 StoreArrayLengthStub(kind(), strict_mode).GetCode(isolate());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001471 set_target(*stub);
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001472 TRACE_IC("StoreIC", name, state, *stub);
1473 return receiver->SetProperty(*name, *value, NONE, strict_mode, store_mode);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001474 }
1475
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001476 if (receiver->IsJSGlobalProxy()) {
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001477 if (FLAG_use_ic && kind() != Code::KEYED_STORE_IC) {
1478 // Generate a generic stub that goes to the runtime when we see a global
1479 // proxy as receiver.
1480 Handle<Code> stub = (strict_mode == kStrictMode)
1481 ? global_proxy_stub_strict()
1482 : global_proxy_stub();
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001483 set_target(*stub);
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001484 TRACE_IC("StoreIC", name, state, *stub);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001485 }
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001486 return receiver->SetProperty(*name, *value, NONE, strict_mode, store_mode);
1487 }
1488
1489 LookupResult lookup(isolate());
1490 if (LookupForWrite(receiver, name, &lookup)) {
1491 if (FLAG_use_ic) {
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001492 UpdateCaches(&lookup, state, strict_mode, receiver, name, value);
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001493 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001494 } else if (strict_mode == kStrictMode &&
1495 !(lookup.IsProperty() && lookup.IsReadOnly()) &&
1496 IsUndeclaredGlobal(object)) {
mvstanton@chromium.orgc47dff52013-01-23 16:28:41 +00001497 // Strict mode doesn't allow setting non-existent global property.
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001498 return ReferenceError("not_defined", name);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001499 }
1500
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001501 // Set the property.
mvstanton@chromium.org6bec0092013-01-23 13:46:53 +00001502 return receiver->SetProperty(*name, *value, NONE, strict_mode, store_mode);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001503}
1504
1505
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001506void StoreIC::UpdateCaches(LookupResult* lookup,
1507 State state,
1508 StrictModeFlag strict_mode,
1509 Handle<JSObject> receiver,
1510 Handle<String> name,
1511 Handle<Object> value) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001512 ASSERT(!receiver->IsJSGlobalProxy());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001513 ASSERT(StoreICableLookup(lookup));
jkummerow@chromium.org7a6fc812012-06-27 11:12:38 +00001514 ASSERT(lookup->IsFound());
1515
danno@chromium.orgc612e022011-11-10 11:38:15 +00001516 // These are not cacheable, so we never see such LookupResults here.
yangguo@chromium.orgde0db002012-06-22 13:44:28 +00001517 ASSERT(!lookup->IsHandler());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001518
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001519 Handle<Code> code =
1520 ComputeStoreMonomorphic(lookup, strict_mode, receiver, name);
1521 if (code.is_null()) return;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001522
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001523 PatchCache(state, strict_mode, receiver, name, code);
1524 TRACE_IC("StoreIC", name, state, target());
1525}
1526
1527
1528Handle<Code> StoreIC::ComputeStoreMonomorphic(LookupResult* lookup,
1529 StrictModeFlag strict_mode,
1530 Handle<JSObject> receiver,
1531 Handle<String> name) {
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001532 Handle<JSObject> holder(lookup->holder());
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001533 switch (lookup->type()) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001534 case FIELD:
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001535 return isolate()->stub_cache()->ComputeStoreField(
yangguo@chromium.orgeeb44b62012-11-13 13:56:09 +00001536 name, receiver, lookup->GetFieldIndex().field_index(),
1537 Handle<Map>::null(), strict_mode);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001538 case NORMAL:
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001539 if (receiver->IsGlobalObject()) {
1540 // The stub generated for the global object picks the value directly
1541 // from the property cell. So the property must be directly on the
1542 // global object.
1543 Handle<GlobalObject> global = Handle<GlobalObject>::cast(receiver);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001544 Handle<JSGlobalPropertyCell> cell(global->GetPropertyCell(lookup));
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001545 return isolate()->stub_cache()->ComputeStoreGlobal(
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001546 name, global, cell, strict_mode);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001547 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001548 if (!holder.is_identical_to(receiver)) break;
1549 return isolate()->stub_cache()->ComputeStoreNormal(strict_mode);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001550 case CALLBACKS: {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001551 Handle<Object> callback(lookup->GetCallbackObject(), isolate());
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001552 if (callback->IsExecutableAccessorInfo()) {
1553 Handle<ExecutableAccessorInfo> info =
1554 Handle<ExecutableAccessorInfo>::cast(callback);
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001555 if (v8::ToCData<Address>(info->setter()) == 0) break;
1556 if (!holder->HasFastProperties()) break;
1557 if (!info->IsCompatibleReceiver(*receiver)) break;
1558 return isolate()->stub_cache()->ComputeStoreCallback(
yangguo@chromium.org355cfd12012-08-29 15:32:24 +00001559 name, receiver, holder, info, strict_mode);
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001560 } else if (callback->IsAccessorPair()) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001561 Handle<Object> setter(Handle<AccessorPair>::cast(callback)->setter(),
1562 isolate());
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001563 if (!setter->IsJSFunction()) break;
1564 if (holder->IsGlobalObject()) break;
1565 if (!holder->HasFastProperties()) break;
1566 return isolate()->stub_cache()->ComputeStoreViaSetter(
svenpanne@chromium.org619781a2012-07-05 08:22:44 +00001567 name, receiver, holder, Handle<JSFunction>::cast(setter),
1568 strict_mode);
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001569 }
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001570 // TODO(dcarney): Handle correctly.
1571 if (callback->IsDeclaredAccessorInfo()) break;
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001572 ASSERT(callback->IsForeign());
1573 // No IC support for old-style native accessors.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001574 break;
1575 }
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001576 case INTERCEPTOR:
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001577 ASSERT(!receiver->GetNamedInterceptor()->setter()->IsUndefined());
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001578 return isolate()->stub_cache()->ComputeStoreInterceptor(
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001579 name, receiver, strict_mode);
danno@chromium.orgc612e022011-11-10 11:38:15 +00001580 case CONSTANT_FUNCTION:
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001581 break;
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001582 case TRANSITION: {
yangguo@chromium.org304cc332012-07-24 07:59:48 +00001583 Handle<Map> transition(lookup->GetTransitionTarget());
1584 int descriptor = transition->LastAdded();
1585
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001586 DescriptorArray* target_descriptors = transition->instance_descriptors();
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001587 PropertyDetails details = target_descriptors->GetDetails(descriptor);
1588
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001589 if (details.type() != FIELD || details.attributes() != NONE) break;
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001590
1591 int field_index = target_descriptors->GetFieldIndex(descriptor);
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001592 return isolate()->stub_cache()->ComputeStoreField(
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001593 name, receiver, field_index, transition, strict_mode);
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001594 }
jkummerow@chromium.org7a6fc812012-06-27 11:12:38 +00001595 case NONEXISTENT:
danno@chromium.orgc612e022011-11-10 11:38:15 +00001596 case HANDLER:
danno@chromium.orgc612e022011-11-10 11:38:15 +00001597 UNREACHABLE();
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001598 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001599 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001600 return Handle<Code>::null();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001601}
1602
1603
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001604Handle<Code> KeyedStoreIC::StoreElementStub(Handle<JSObject> receiver,
1605 StubKind stub_kind,
1606 StrictModeFlag strict_mode) {
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001607 State ic_state = target()->ic_state();
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001608 KeyedAccessGrowMode grow_mode = IsGrowStubKind(stub_kind)
1609 ? ALLOW_JSARRAY_GROWTH
1610 : DO_NOT_ALLOW_JSARRAY_GROWTH;
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001611
1612 // Don't handle megamorphic property accesses for INTERCEPTORS or CALLBACKS
1613 // via megamorphic stubs, since they don't have a map in their relocation info
1614 // and so the stubs can't be harvested for the object needed for a map check.
jkummerow@chromium.org7a6fc812012-06-27 11:12:38 +00001615 if (target()->type() != Code::NORMAL) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001616 TRACE_GENERIC_IC(isolate(), "KeyedIC", "non-NORMAL target type");
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001617 return strict_mode == kStrictMode ? generic_stub_strict() : generic_stub();
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001618 }
1619
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001620 Handle<Map> receiver_map(receiver->map());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001621 MapHandleList target_receiver_maps;
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001622 if (ic_state == UNINITIALIZED || ic_state == PREMONOMORPHIC) {
1623 // Optimistically assume that ICs that haven't reached the MONOMORPHIC state
1624 // yet will do so and stay there.
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001625 Handle<Map> monomorphic_map = ComputeTransitionedMap(receiver, stub_kind);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001626 stub_kind = GetNoTransitionStubKind(stub_kind);
1627 return isolate()->stub_cache()->ComputeKeyedStoreElement(
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001628 monomorphic_map, stub_kind, strict_mode, grow_mode);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001629 }
1630
1631 GetReceiverMapsForStub(Handle<Code>(target()), &target_receiver_maps);
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001632 if (target_receiver_maps.length() == 0) {
1633 // Optimistically assume that ICs that haven't reached the MONOMORPHIC state
1634 // yet will do so and stay there.
1635 stub_kind = GetNoTransitionStubKind(stub_kind);
1636 return isolate()->stub_cache()->ComputeKeyedStoreElement(
1637 receiver_map, stub_kind, strict_mode, grow_mode);
1638 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001639 // The first time a receiver is seen that is a transitioned version of the
1640 // previous monomorphic receiver type, assume the new ElementsKind is the
1641 // monomorphic type. This benefits global arrays that only transition
1642 // once, and all call sites accessing them are faster if they remain
1643 // monomorphic. If this optimistic assumption is not true, the IC will
1644 // miss again and it will become polymorphic and support both the
1645 // untransitioned and transitioned maps.
1646 if (ic_state == MONOMORPHIC &&
1647 IsTransitionStubKind(stub_kind) &&
1648 IsMoreGeneralElementsKindTransition(
mmassi@chromium.org7028c052012-06-13 11:51:58 +00001649 target_receiver_maps.at(0)->elements_kind(),
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001650 receiver->GetElementsKind())) {
1651 Handle<Map> monomorphic_map = ComputeTransitionedMap(receiver, stub_kind);
1652 ASSERT(*monomorphic_map != *receiver_map);
1653 stub_kind = GetNoTransitionStubKind(stub_kind);
1654 return isolate()->stub_cache()->ComputeKeyedStoreElement(
1655 monomorphic_map, stub_kind, strict_mode, grow_mode);
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001656 }
1657
mstarzinger@chromium.org068ea0a2013-01-30 09:39:44 +00001658 ASSERT(ic_state != GENERIC);
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001659
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001660 bool map_added =
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001661 AddOneReceiverMapIfMissing(&target_receiver_maps, receiver_map);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001662
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001663 if (IsTransitionStubKind(stub_kind)) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001664 Handle<Map> new_map = ComputeTransitionedMap(receiver, stub_kind);
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001665 map_added |= AddOneReceiverMapIfMissing(&target_receiver_maps, new_map);
1666 }
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001667
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001668 if (!map_added) {
1669 // If the miss wasn't due to an unseen map, a polymorphic stub
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001670 // won't help, use the generic stub.
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001671 TRACE_GENERIC_IC(isolate(), "KeyedIC", "same map added twice");
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001672 return strict_mode == kStrictMode ? generic_stub_strict() : generic_stub();
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001673 }
1674
jkummerow@chromium.orge297f592011-06-08 10:05:15 +00001675 // If the maximum number of receiver maps has been exceeded, use the generic
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001676 // version of the IC.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001677 if (target_receiver_maps.length() > kMaxKeyedPolymorphism) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001678 TRACE_GENERIC_IC(isolate(), "KeyedIC", "max polymorph exceeded");
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001679 return strict_mode == kStrictMode ? generic_stub_strict() : generic_stub();
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001680 }
1681
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001682 if ((Code::GetKeyedAccessGrowMode(target()->extra_ic_state()) ==
1683 ALLOW_JSARRAY_GROWTH)) {
1684 grow_mode = ALLOW_JSARRAY_GROWTH;
1685 }
1686
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001687 return isolate()->stub_cache()->ComputeStoreElementPolymorphic(
1688 &target_receiver_maps, grow_mode, strict_mode);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001689}
1690
1691
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001692Handle<Map> KeyedStoreIC::ComputeTransitionedMap(Handle<JSObject> receiver,
1693 StubKind stub_kind) {
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001694 switch (stub_kind) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001695 case STORE_TRANSITION_SMI_TO_OBJECT:
1696 case STORE_TRANSITION_DOUBLE_TO_OBJECT:
1697 case STORE_AND_GROW_TRANSITION_SMI_TO_OBJECT:
1698 case STORE_AND_GROW_TRANSITION_DOUBLE_TO_OBJECT:
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001699 return JSObject::GetElementsTransitionMap(receiver, FAST_ELEMENTS);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001700 case STORE_TRANSITION_SMI_TO_DOUBLE:
1701 case STORE_AND_GROW_TRANSITION_SMI_TO_DOUBLE:
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001702 return JSObject::GetElementsTransitionMap(receiver, FAST_DOUBLE_ELEMENTS);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001703 case STORE_TRANSITION_HOLEY_SMI_TO_OBJECT:
1704 case STORE_TRANSITION_HOLEY_DOUBLE_TO_OBJECT:
1705 case STORE_AND_GROW_TRANSITION_HOLEY_SMI_TO_OBJECT:
1706 case STORE_AND_GROW_TRANSITION_HOLEY_DOUBLE_TO_OBJECT:
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001707 return JSObject::GetElementsTransitionMap(receiver,
1708 FAST_HOLEY_ELEMENTS);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001709 case STORE_TRANSITION_HOLEY_SMI_TO_DOUBLE:
1710 case STORE_AND_GROW_TRANSITION_HOLEY_SMI_TO_DOUBLE:
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001711 return JSObject::GetElementsTransitionMap(receiver,
1712 FAST_HOLEY_DOUBLE_ELEMENTS);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001713 case STORE_NO_TRANSITION:
1714 case STORE_AND_GROW_NO_TRANSITION:
hpayer@chromium.org7c3372b2013-02-13 17:26:04 +00001715 return Handle<Map>(receiver->map());
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001716 }
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001717 return Handle<Map>::null();
rossberg@chromium.orgb4b2aa62011-10-13 09:49:59 +00001718}
1719
1720
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001721KeyedStoreIC::StubKind KeyedStoreIC::GetStubKind(Handle<JSObject> receiver,
1722 Handle<Object> key,
1723 Handle<Object> value) {
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001724 ASSERT(key->IsSmi());
1725 int index = Smi::cast(*key)->value();
1726 bool allow_growth = receiver->IsJSArray() &&
1727 JSArray::cast(*receiver)->length()->IsSmi() &&
1728 index >= Smi::cast(JSArray::cast(*receiver)->length())->value();
1729
1730 if (allow_growth) {
1731 // Handle growing array in stub if necessary.
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001732 if (receiver->HasFastSmiElements()) {
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001733 if (value->IsHeapNumber()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001734 if (receiver->HasFastHoleyElements()) {
1735 return STORE_AND_GROW_TRANSITION_HOLEY_SMI_TO_DOUBLE;
1736 } else {
1737 return STORE_AND_GROW_TRANSITION_SMI_TO_DOUBLE;
1738 }
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001739 }
1740 if (value->IsHeapObject()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001741 if (receiver->HasFastHoleyElements()) {
1742 return STORE_AND_GROW_TRANSITION_HOLEY_SMI_TO_OBJECT;
1743 } else {
1744 return STORE_AND_GROW_TRANSITION_SMI_TO_OBJECT;
1745 }
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001746 }
1747 } else if (receiver->HasFastDoubleElements()) {
1748 if (!value->IsSmi() && !value->IsHeapNumber()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001749 if (receiver->HasFastHoleyElements()) {
1750 return STORE_AND_GROW_TRANSITION_HOLEY_DOUBLE_TO_OBJECT;
1751 } else {
1752 return STORE_AND_GROW_TRANSITION_DOUBLE_TO_OBJECT;
1753 }
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001754 }
1755 }
1756 return STORE_AND_GROW_NO_TRANSITION;
1757 } else {
1758 // Handle only in-bounds elements accesses.
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001759 if (receiver->HasFastSmiElements()) {
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001760 if (value->IsHeapNumber()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001761 if (receiver->HasFastHoleyElements()) {
1762 return STORE_TRANSITION_HOLEY_SMI_TO_DOUBLE;
1763 } else {
1764 return STORE_TRANSITION_SMI_TO_DOUBLE;
1765 }
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001766 } else if (value->IsHeapObject()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001767 if (receiver->HasFastHoleyElements()) {
1768 return STORE_TRANSITION_HOLEY_SMI_TO_OBJECT;
1769 } else {
1770 return STORE_TRANSITION_SMI_TO_OBJECT;
1771 }
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001772 }
1773 } else if (receiver->HasFastDoubleElements()) {
1774 if (!value->IsSmi() && !value->IsHeapNumber()) {
svenpanne@chromium.org830d30c2012-05-29 13:20:14 +00001775 if (receiver->HasFastHoleyElements()) {
1776 return STORE_TRANSITION_HOLEY_DOUBLE_TO_OBJECT;
1777 } else {
1778 return STORE_TRANSITION_DOUBLE_TO_OBJECT;
1779 }
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001780 }
1781 }
1782 return STORE_NO_TRANSITION;
1783 }
1784}
1785
1786
lrn@chromium.org303ada72010-10-27 09:33:13 +00001787MaybeObject* KeyedStoreIC::Store(State state,
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001788 StrictModeFlag strict_mode,
lrn@chromium.org303ada72010-10-27 09:33:13 +00001789 Handle<Object> object,
1790 Handle<Object> key,
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001791 Handle<Object> value,
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001792 ICMissMode miss_mode) {
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001793 // Check for values that can be converted into an internalized string directly
1794 // or is representable as a smi.
jkummerow@chromium.org28faa982012-04-13 09:58:30 +00001795 key = TryConvertKey(key, isolate());
1796
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00001797 if (key->IsInternalizedString()) {
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001798 return StoreIC::Store(state,
1799 strict_mode,
1800 object,
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001801 Handle<String>::cast(key),
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001802 value,
1803 JSReceiver::MAY_BE_STORE_FROM_KEYED);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001804 }
1805
mvstanton@chromium.orge4ac3ef2012-11-12 14:53:34 +00001806 bool use_ic = FLAG_use_ic && !object->IsAccessCheckNeeded() &&
1807 !(FLAG_harmony_observation && object->IsJSObject() &&
1808 JSObject::cast(*object)->map()->is_observed());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001809 ASSERT(!(use_ic && object->IsJSGlobalProxy()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001810
ager@chromium.org3811b432009-10-28 14:53:37 +00001811 if (use_ic) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001812 Handle<Code> stub = (strict_mode == kStrictMode)
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001813 ? generic_stub_strict()
1814 : generic_stub();
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001815 if (miss_mode != MISS_FORCE_GENERIC) {
1816 if (object->IsJSObject()) {
1817 Handle<JSObject> receiver = Handle<JSObject>::cast(object);
1818 if (receiver->elements()->map() ==
1819 isolate()->heap()->non_strict_arguments_elements_map()) {
1820 stub = non_strict_arguments_stub();
1821 } else if (key->IsSmi() && (target() != *non_strict_arguments_stub())) {
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001822 StubKind stub_kind = GetStubKind(receiver, key, value);
yangguo@chromium.org003650e2013-01-24 16:31:08 +00001823 stub = StoreElementStub(receiver, stub_kind, strict_mode);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001824 }
ager@chromium.org3811b432009-10-28 14:53:37 +00001825 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001826 } else {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001827 TRACE_GENERIC_IC(isolate(), "KeyedStoreIC", "force generic");
ager@chromium.org3811b432009-10-28 14:53:37 +00001828 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001829 ASSERT(!stub.is_null());
1830 set_target(*stub);
1831 TRACE_IC("KeyedStoreIC", key, state, target());
ager@chromium.org3811b432009-10-28 14:53:37 +00001832 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001833
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001834 return Runtime::SetObjectProperty(
1835 isolate(), object , key, value, NONE, strict_mode);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001836}
1837
1838
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001839Handle<Code> KeyedStoreIC::ComputeStoreMonomorphic(LookupResult* lookup,
1840 StrictModeFlag strict_mode,
1841 Handle<JSObject> receiver,
1842 Handle<String> name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001843 // If the property has a non-field type allowing map transitions
1844 // where there is extra room in the object, we leave the IC in its
1845 // current state.
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001846 switch (lookup->type()) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001847 case FIELD:
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001848 return isolate()->stub_cache()->ComputeKeyedStoreField(
yangguo@chromium.orgeeb44b62012-11-13 13:56:09 +00001849 name, receiver, lookup->GetFieldIndex().field_index(),
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001850 Handle<Map>::null(), strict_mode);
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001851 case TRANSITION: {
verwaest@chromium.org753aee42012-07-17 16:15:42 +00001852 Handle<Map> transition(lookup->GetTransitionTarget());
yangguo@chromium.org304cc332012-07-24 07:59:48 +00001853 int descriptor = transition->LastAdded();
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001854
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001855 DescriptorArray* target_descriptors = transition->instance_descriptors();
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001856 PropertyDetails details = target_descriptors->GetDetails(descriptor);
1857
1858 if (details.type() == FIELD && details.attributes() == NONE) {
1859 int field_index = target_descriptors->GetFieldIndex(descriptor);
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001860 return isolate()->stub_cache()->ComputeKeyedStoreField(
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001861 name, receiver, field_index, transition, strict_mode);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001862 }
1863 // fall through.
yangguo@chromium.org99aa4902012-07-06 16:21:55 +00001864 }
danno@chromium.orgc612e022011-11-10 11:38:15 +00001865 case NORMAL:
1866 case CONSTANT_FUNCTION:
1867 case CALLBACKS:
1868 case INTERCEPTOR:
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001869 // Always rewrite to the generic case so that we do not
1870 // repeatedly try to rewrite.
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001871 return (strict_mode == kStrictMode)
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001872 ? generic_stub_strict()
1873 : generic_stub();
danno@chromium.orgc612e022011-11-10 11:38:15 +00001874 case HANDLER:
jkummerow@chromium.org7a6fc812012-06-27 11:12:38 +00001875 case NONEXISTENT:
danno@chromium.orgc612e022011-11-10 11:38:15 +00001876 UNREACHABLE();
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001877 break;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001878 }
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00001879 return Handle<Code>::null();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001880}
1881
1882
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001883#undef TRACE_IC
1884
1885
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001886// ----------------------------------------------------------------------------
1887// Static IC stub generators.
1888//
1889
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001890// Used from ic-<arch>.cc.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001891RUNTIME_FUNCTION(MaybeObject*, CallIC_Miss) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001892 HandleScope scope(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001893 ASSERT(args.length() == 2);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001894 CallIC ic(isolate);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001895 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001896 Code::ExtraICState extra_ic_state = ic.target()->extra_ic_state();
1897 MaybeObject* maybe_result = ic.LoadFunction(state,
1898 extra_ic_state,
1899 args.at<Object>(0),
1900 args.at<String>(1));
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001901 JSFunction* raw_function;
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001902 if (!maybe_result->To(&raw_function)) return maybe_result;
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001903
kasperl@chromium.org71affb52009-05-26 05:44:31 +00001904 // The first time the inline cache is updated may be the first time the
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001905 // function it references gets called. If the function is lazily compiled
1906 // then the first call will trigger a compilation. We check for this case
kasperl@chromium.org71affb52009-05-26 05:44:31 +00001907 // and we do the compilation immediately, instead of waiting for the stub
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001908 // currently attached to the JSFunction object to trigger compilation.
1909 if (raw_function->is_compiled()) return raw_function;
1910
1911 Handle<JSFunction> function(raw_function);
1912 JSFunction::CompileLazy(function, CLEAR_EXCEPTION);
1913 return *function;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001914}
1915
1916
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001917// Used from ic-<arch>.cc.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001918RUNTIME_FUNCTION(MaybeObject*, KeyedCallIC_Miss) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001919 HandleScope scope(isolate);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001920 ASSERT(args.length() == 2);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001921 KeyedCallIC ic(isolate);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001922 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001923 MaybeObject* maybe_result =
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001924 ic.LoadFunction(state, args.at<Object>(0), args.at<Object>(1));
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001925 // Result could be a function or a failure.
1926 JSFunction* raw_function = NULL;
1927 if (!maybe_result->To(&raw_function)) return maybe_result;
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001928
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001929 if (raw_function->is_compiled()) return raw_function;
1930
1931 Handle<JSFunction> function(raw_function);
1932 JSFunction::CompileLazy(function, CLEAR_EXCEPTION);
1933 return *function;
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001934}
1935
1936
1937// Used from ic-<arch>.cc.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001938RUNTIME_FUNCTION(MaybeObject*, LoadIC_Miss) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001939 HandleScope scope(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001940 ASSERT(args.length() == 2);
mstarzinger@chromium.orge3b8d0f2013-02-01 09:06:41 +00001941 LoadIC ic(IC::NO_EXTRA_FRAME, isolate);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001942 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001943 return ic.Load(state, args.at<Object>(0), args.at<String>(1));
1944}
1945
1946
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001947// Used from ic-<arch>.cc
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001948RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_Miss) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001949 HandleScope scope(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001950 ASSERT(args.length() == 2);
mstarzinger@chromium.orge3b8d0f2013-02-01 09:06:41 +00001951 KeyedLoadIC ic(IC::NO_EXTRA_FRAME, isolate);
1952 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
1953 return ic.Load(state, args.at<Object>(0), args.at<Object>(1), MISS);
1954}
1955
1956
1957RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_MissFromStubFailure) {
1958 HandleScope scope(isolate);
1959 ASSERT(args.length() == 2);
1960 KeyedLoadIC ic(IC::EXTRA_CALL_FRAME, isolate);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001961 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001962 return ic.Load(state, args.at<Object>(0), args.at<Object>(1), MISS);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001963}
1964
1965
1966RUNTIME_FUNCTION(MaybeObject*, KeyedLoadIC_MissForceGeneric) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001967 HandleScope scope(isolate);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001968 ASSERT(args.length() == 2);
mstarzinger@chromium.orge3b8d0f2013-02-01 09:06:41 +00001969 KeyedLoadIC ic(IC::NO_EXTRA_FRAME, isolate);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00001970 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00001971 return ic.Load(state,
1972 args.at<Object>(0),
1973 args.at<Object>(1),
1974 MISS_FORCE_GENERIC);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001975}
1976
1977
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00001978// Used from ic-<arch>.cc.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001979RUNTIME_FUNCTION(MaybeObject*, StoreIC_Miss) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00001980 HandleScope scope(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001981 ASSERT(args.length() == 3);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001982 StoreIC ic(isolate);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001983 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001984 Code::ExtraICState extra_ic_state = ic.target()->extra_ic_state();
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001985 return ic.Store(state,
ulan@chromium.org65a89c22012-02-14 11:46:07 +00001986 Code::GetStrictMode(extra_ic_state),
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00001987 args.at<Object>(0),
1988 args.at<String>(1),
1989 args.at<Object>(2));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001990}
1991
1992
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001993RUNTIME_FUNCTION(MaybeObject*, StoreIC_ArrayLength) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00001994 NoHandleAllocation nha(isolate);
ager@chromium.org5c838252010-02-19 08:53:10 +00001995
1996 ASSERT(args.length() == 2);
ricow@chromium.org7ad65222011-12-19 12:13:11 +00001997 JSArray* receiver = JSArray::cast(args[0]);
ager@chromium.org5c838252010-02-19 08:53:10 +00001998 Object* len = args[1];
1999
lrn@chromium.org303ada72010-10-27 09:33:13 +00002000 // The generated code should filter out non-Smis before we get here.
2001 ASSERT(len->IsSmi());
2002
ricow@chromium.org7ad65222011-12-19 12:13:11 +00002003#ifdef DEBUG
2004 // The length property has to be a writable callback property.
2005 LookupResult debug_lookup(isolate);
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002006 receiver->LocalLookup(isolate->heap()->length_string(), &debug_lookup);
verwaest@chromium.org753aee42012-07-17 16:15:42 +00002007 ASSERT(debug_lookup.IsPropertyCallbacks() && !debug_lookup.IsReadOnly());
ricow@chromium.org7ad65222011-12-19 12:13:11 +00002008#endif
2009
lrn@chromium.org303ada72010-10-27 09:33:13 +00002010 Object* result;
mvstanton@chromium.orgd16d8532013-01-25 13:29:10 +00002011 MaybeObject* maybe_result = receiver->SetElementsLength(len);
2012 if (!maybe_result->To(&result)) return maybe_result;
2013
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002014 return len;
ager@chromium.org5c838252010-02-19 08:53:10 +00002015}
2016
2017
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00002018// Extend storage is called in a store inline cache when
2019// it is necessary to extend the properties array of a
2020// JSObject.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002021RUNTIME_FUNCTION(MaybeObject*, SharedStoreIC_ExtendStorage) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00002022 NoHandleAllocation na(isolate);
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00002023 ASSERT(args.length() == 3);
2024
2025 // Convert the parameters
2026 JSObject* object = JSObject::cast(args[0]);
2027 Map* transition = Map::cast(args[1]);
2028 Object* value = args[2];
2029
2030 // Check the object has run out out property space.
2031 ASSERT(object->HasFastProperties());
2032 ASSERT(object->map()->unused_property_fields() == 0);
2033
2034 // Expand the properties array.
2035 FixedArray* old_storage = object->properties();
2036 int new_unused = transition->unused_property_fields();
2037 int new_size = old_storage->length() + new_unused + 1;
lrn@chromium.org303ada72010-10-27 09:33:13 +00002038 Object* result;
2039 { MaybeObject* maybe_result = old_storage->CopySize(new_size);
2040 if (!maybe_result->ToObject(&result)) return maybe_result;
2041 }
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00002042 FixedArray* new_storage = FixedArray::cast(result);
2043 new_storage->set(old_storage->length(), value);
2044
ager@chromium.org32912102009-01-16 10:38:43 +00002045 // Set the new property value and do the map transition.
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00002046 object->set_properties(new_storage);
2047 object->set_map(transition);
2048
2049 // Return the stored value.
2050 return value;
2051}
2052
2053
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +00002054// Used from ic-<arch>.cc.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002055RUNTIME_FUNCTION(MaybeObject*, KeyedStoreIC_Miss) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002056 HandleScope scope(isolate);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002057 ASSERT(args.length() == 3);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002058 KeyedStoreIC ic(isolate);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002059 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00002060 Code::ExtraICState extra_ic_state = ic.target()->extra_ic_state();
2061 return ic.Store(state,
ulan@chromium.org65a89c22012-02-14 11:46:07 +00002062 Code::GetStrictMode(extra_ic_state),
ager@chromium.org9ee27ae2011-03-02 13:43:26 +00002063 args.at<Object>(0),
2064 args.at<Object>(1),
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002065 args.at<Object>(2),
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00002066 MISS);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002067}
2068
2069
2070RUNTIME_FUNCTION(MaybeObject*, KeyedStoreIC_Slow) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00002071 NoHandleAllocation na(isolate);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002072 ASSERT(args.length() == 3);
2073 KeyedStoreIC ic(isolate);
2074 Code::ExtraICState extra_ic_state = ic.target()->extra_ic_state();
2075 Handle<Object> object = args.at<Object>(0);
2076 Handle<Object> key = args.at<Object>(1);
2077 Handle<Object> value = args.at<Object>(2);
ulan@chromium.org65a89c22012-02-14 11:46:07 +00002078 StrictModeFlag strict_mode = Code::GetStrictMode(extra_ic_state);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002079 return Runtime::SetObjectProperty(isolate,
2080 object,
2081 key,
2082 value,
2083 NONE,
2084 strict_mode);
2085}
2086
2087
2088RUNTIME_FUNCTION(MaybeObject*, KeyedStoreIC_MissForceGeneric) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002089 HandleScope scope(isolate);
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002090 ASSERT(args.length() == 3);
2091 KeyedStoreIC ic(isolate);
2092 IC::State state = IC::StateFrom(ic.target(), args[0], args[1]);
2093 Code::ExtraICState extra_ic_state = ic.target()->extra_ic_state();
2094 return ic.Store(state,
ulan@chromium.org65a89c22012-02-14 11:46:07 +00002095 Code::GetStrictMode(extra_ic_state),
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002096 args.at<Object>(0),
2097 args.at<Object>(1),
2098 args.at<Object>(2),
jkummerow@chromium.org59297c72013-01-09 16:32:23 +00002099 MISS_FORCE_GENERIC);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002100}
2101
2102
danno@chromium.org40cb8782011-05-25 07:58:50 +00002103void UnaryOpIC::patch(Code* code) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002104 set_target(code);
2105}
2106
2107
danno@chromium.org40cb8782011-05-25 07:58:50 +00002108const char* UnaryOpIC::GetName(TypeInfo type_info) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002109 switch (type_info) {
2110 case UNINITIALIZED: return "Uninitialized";
2111 case SMI: return "Smi";
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002112 case NUMBER: return "Number";
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002113 case GENERIC: return "Generic";
2114 default: return "Invalid";
2115 }
2116}
2117
2118
danno@chromium.org40cb8782011-05-25 07:58:50 +00002119UnaryOpIC::State UnaryOpIC::ToState(TypeInfo type_info) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002120 switch (type_info) {
2121 case UNINITIALIZED:
2122 return ::v8::internal::UNINITIALIZED;
2123 case SMI:
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002124 case NUMBER:
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002125 return MONOMORPHIC;
2126 case GENERIC:
yangguo@chromium.org46a2a512013-01-18 16:29:40 +00002127 return ::v8::internal::GENERIC;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002128 }
2129 UNREACHABLE();
2130 return ::v8::internal::UNINITIALIZED;
2131}
2132
danno@chromium.org40cb8782011-05-25 07:58:50 +00002133UnaryOpIC::TypeInfo UnaryOpIC::GetTypeInfo(Handle<Object> operand) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002134 ::v8::internal::TypeInfo operand_type =
2135 ::v8::internal::TypeInfo::TypeFromValue(operand);
2136 if (operand_type.IsSmi()) {
2137 return SMI;
2138 } else if (operand_type.IsNumber()) {
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002139 return NUMBER;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002140 } else {
2141 return GENERIC;
2142 }
2143}
2144
2145
danno@chromium.org40cb8782011-05-25 07:58:50 +00002146UnaryOpIC::TypeInfo UnaryOpIC::ComputeNewType(
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002147 TypeInfo current_type,
2148 TypeInfo previous_type) {
danno@chromium.org40cb8782011-05-25 07:58:50 +00002149 switch (previous_type) {
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002150 case UNINITIALIZED:
danno@chromium.org40cb8782011-05-25 07:58:50 +00002151 return current_type;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002152 case SMI:
2153 return (current_type == GENERIC) ? GENERIC : NUMBER;
2154 case NUMBER:
2155 return GENERIC;
2156 case GENERIC:
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002157 // We should never do patching if we are in GENERIC state.
2158 UNREACHABLE();
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002159 return GENERIC;
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002160 }
2161 UNREACHABLE();
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002162 return GENERIC;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002163}
2164
2165
danno@chromium.org40cb8782011-05-25 07:58:50 +00002166void BinaryOpIC::patch(Code* code) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002167 set_target(code);
2168}
2169
2170
danno@chromium.org40cb8782011-05-25 07:58:50 +00002171const char* BinaryOpIC::GetName(TypeInfo type_info) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002172 switch (type_info) {
2173 case UNINITIALIZED: return "Uninitialized";
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002174 case SMI: return "Smi";
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002175 case INT32: return "Int32";
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002176 case NUMBER: return "Number";
lrn@chromium.org7516f052011-03-30 08:52:27 +00002177 case ODDBALL: return "Oddball";
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002178 case STRING: return "String";
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002179 case GENERIC: return "Generic";
2180 default: return "Invalid";
2181 }
2182}
2183
2184
danno@chromium.org40cb8782011-05-25 07:58:50 +00002185BinaryOpIC::State BinaryOpIC::ToState(TypeInfo type_info) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002186 switch (type_info) {
2187 case UNINITIALIZED:
2188 return ::v8::internal::UNINITIALIZED;
2189 case SMI:
2190 case INT32:
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002191 case NUMBER:
lrn@chromium.org7516f052011-03-30 08:52:27 +00002192 case ODDBALL:
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002193 case STRING:
2194 return MONOMORPHIC;
2195 case GENERIC:
yangguo@chromium.org46a2a512013-01-18 16:29:40 +00002196 return ::v8::internal::GENERIC;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002197 }
2198 UNREACHABLE();
2199 return ::v8::internal::UNINITIALIZED;
2200}
2201
2202
danno@chromium.org40cb8782011-05-25 07:58:50 +00002203RUNTIME_FUNCTION(MaybeObject*, UnaryOp_Patch) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002204 ASSERT(args.length() == 4);
2205
2206 HandleScope scope(isolate);
2207 Handle<Object> operand = args.at<Object>(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00002208 Token::Value op = static_cast<Token::Value>(args.smi_at(1));
2209 UnaryOverwriteMode mode = static_cast<UnaryOverwriteMode>(args.smi_at(2));
danno@chromium.org40cb8782011-05-25 07:58:50 +00002210 UnaryOpIC::TypeInfo previous_type =
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002211 static_cast<UnaryOpIC::TypeInfo>(args.smi_at(3));
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002212
danno@chromium.org40cb8782011-05-25 07:58:50 +00002213 UnaryOpIC::TypeInfo type = UnaryOpIC::GetTypeInfo(operand);
2214 type = UnaryOpIC::ComputeNewType(type, previous_type);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002215
ricow@chromium.org4f693d62011-07-04 14:01:31 +00002216 UnaryOpStub stub(op, mode, type);
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002217 Handle<Code> code = stub.GetCode(isolate);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002218 if (!code.is_null()) {
2219 if (FLAG_trace_ic) {
yangguo@chromium.org9768bf12013-01-11 14:51:07 +00002220 PrintF("[UnaryOpIC in ");
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00002221 JavaScriptFrame::PrintTop(isolate, stdout, false, true);
yangguo@chromium.org9768bf12013-01-11 14:51:07 +00002222 PrintF(" (%s->%s)#%s @ %p]\n",
danno@chromium.org40cb8782011-05-25 07:58:50 +00002223 UnaryOpIC::GetName(previous_type),
2224 UnaryOpIC::GetName(type),
yangguo@chromium.org9768bf12013-01-11 14:51:07 +00002225 Token::Name(op),
2226 static_cast<void*>(*code));
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002227 }
danno@chromium.org40cb8782011-05-25 07:58:50 +00002228 UnaryOpIC ic(isolate);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002229 ic.patch(*code);
2230 }
2231
2232 Handle<JSBuiltinsObject> builtins = Handle<JSBuiltinsObject>(
2233 isolate->thread_local_top()->context_->builtins(), isolate);
2234 Object* builtin = NULL; // Initialization calms down the compiler.
2235 switch (op) {
2236 case Token::SUB:
2237 builtin = builtins->javascript_builtin(Builtins::UNARY_MINUS);
2238 break;
2239 case Token::BIT_NOT:
2240 builtin = builtins->javascript_builtin(Builtins::BIT_NOT);
2241 break;
2242 default:
2243 UNREACHABLE();
2244 }
2245
2246 Handle<JSFunction> builtin_function(JSFunction::cast(builtin), isolate);
2247
2248 bool caught_exception;
2249 Handle<Object> result = Execution::Call(builtin_function, operand, 0, NULL,
2250 &caught_exception);
2251 if (caught_exception) {
2252 return Failure::Exception();
2253 }
2254 return *result;
2255}
2256
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002257
2258static BinaryOpIC::TypeInfo TypeInfoFromValue(Handle<Object> value,
2259 Token::Value op) {
2260 ::v8::internal::TypeInfo type =
2261 ::v8::internal::TypeInfo::TypeFromValue(value);
2262 if (type.IsSmi()) return BinaryOpIC::SMI;
2263 if (type.IsInteger32()) {
2264 if (kSmiValueSize == 32) return BinaryOpIC::SMI;
2265 return BinaryOpIC::INT32;
2266 }
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002267 if (type.IsNumber()) return BinaryOpIC::NUMBER;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002268 if (type.IsString()) return BinaryOpIC::STRING;
2269 if (value->IsUndefined()) {
2270 if (op == Token::BIT_AND ||
2271 op == Token::BIT_OR ||
2272 op == Token::BIT_XOR ||
2273 op == Token::SAR ||
2274 op == Token::SHL ||
2275 op == Token::SHR) {
2276 if (kSmiValueSize == 32) return BinaryOpIC::SMI;
2277 return BinaryOpIC::INT32;
2278 }
2279 return BinaryOpIC::ODDBALL;
2280 }
2281 return BinaryOpIC::GENERIC;
2282}
2283
2284
2285static BinaryOpIC::TypeInfo InputState(BinaryOpIC::TypeInfo old_type,
2286 Handle<Object> value,
2287 Token::Value op) {
2288 BinaryOpIC::TypeInfo new_type = TypeInfoFromValue(value, op);
2289 if (old_type == BinaryOpIC::STRING) {
2290 if (new_type == BinaryOpIC::STRING) return new_type;
2291 return BinaryOpIC::GENERIC;
2292 }
2293 return Max(old_type, new_type);
2294}
2295
2296
danno@chromium.org40cb8782011-05-25 07:58:50 +00002297RUNTIME_FUNCTION(MaybeObject*, BinaryOp_Patch) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002298 ASSERT(args.length() == 3);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002299
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002300 HandleScope scope(isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002301 Handle<Object> left = args.at<Object>(0);
2302 Handle<Object> right = args.at<Object>(1);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002303 int key = args.smi_at(2);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002304 Token::Value op = BinaryOpStub::decode_op_from_minor_key(key);
2305 BinaryOpIC::TypeInfo previous_left, previous_right, unused_previous_result;
2306 BinaryOpStub::decode_types_from_minor_key(
2307 key, &previous_left, &previous_right, &unused_previous_result);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002308
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002309 BinaryOpIC::TypeInfo new_left = InputState(previous_left, left, op);
2310 BinaryOpIC::TypeInfo new_right = InputState(previous_right, right, op);
danno@chromium.org40cb8782011-05-25 07:58:50 +00002311 BinaryOpIC::TypeInfo result_type = BinaryOpIC::UNINITIALIZED;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002312
2313 // STRING is only used for ADD operations.
2314 if ((new_left == BinaryOpIC::STRING || new_right == BinaryOpIC::STRING) &&
danno@chromium.org160a7b02011-04-18 15:51:38 +00002315 op != Token::ADD) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002316 new_left = new_right = BinaryOpIC::GENERIC;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002317 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002318
2319 BinaryOpIC::TypeInfo new_overall = Max(new_left, new_right);
2320 BinaryOpIC::TypeInfo previous_overall = Max(previous_left, previous_right);
2321
2322 if (new_overall == BinaryOpIC::SMI && previous_overall == BinaryOpIC::SMI) {
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002323 if (op == Token::DIV ||
2324 op == Token::MUL ||
2325 op == Token::SHR ||
2326 kSmiValueSize == 32) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002327 // Arithmetic on two Smi inputs has yielded a heap number.
2328 // That is the only way to get here from the Smi stub.
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002329 // With 32-bit Smis, all overflows give heap numbers, but with
2330 // 31-bit Smis, most operations overflow to int32 results.
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002331 result_type = BinaryOpIC::NUMBER;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002332 } else {
2333 // Other operations on SMIs that overflow yield int32s.
danno@chromium.org40cb8782011-05-25 07:58:50 +00002334 result_type = BinaryOpIC::INT32;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002335 }
2336 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002337 if (new_overall == BinaryOpIC::INT32 &&
2338 previous_overall == BinaryOpIC::INT32) {
2339 if (new_left == previous_left && new_right == previous_right) {
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002340 result_type = BinaryOpIC::NUMBER;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002341 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002342 }
2343
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002344 BinaryOpStub stub(key, new_left, new_right, result_type);
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002345 Handle<Code> code = stub.GetCode(isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002346 if (!code.is_null()) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002347#ifdef DEBUG
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002348 if (FLAG_trace_ic) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002349 PrintF("[BinaryOpIC in ");
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00002350 JavaScriptFrame::PrintTop(isolate, stdout, false, true);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002351 PrintF(" ((%s+%s)->((%s+%s)->%s))#%s @ %p]\n",
2352 BinaryOpIC::GetName(previous_left),
2353 BinaryOpIC::GetName(previous_right),
2354 BinaryOpIC::GetName(new_left),
2355 BinaryOpIC::GetName(new_right),
danno@chromium.org40cb8782011-05-25 07:58:50 +00002356 BinaryOpIC::GetName(result_type),
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002357 Token::Name(op),
2358 static_cast<void*>(*code));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002359 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002360#endif
danno@chromium.org40cb8782011-05-25 07:58:50 +00002361 BinaryOpIC ic(isolate);
ager@chromium.org378b34e2011-01-28 08:04:38 +00002362 ic.patch(*code);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002363
2364 // Activate inlined smi code.
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002365 if (previous_overall == BinaryOpIC::UNINITIALIZED) {
jkummerow@chromium.org212d9642012-05-11 15:02:09 +00002366 PatchInlinedSmiCode(ic.address(), ENABLE_INLINED_SMI_CHECK);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002367 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002368 }
2369
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002370 Handle<JSBuiltinsObject> builtins = Handle<JSBuiltinsObject>(
2371 isolate->thread_local_top()->context_->builtins(), isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002372 Object* builtin = NULL; // Initialization calms down the compiler.
2373 switch (op) {
2374 case Token::ADD:
2375 builtin = builtins->javascript_builtin(Builtins::ADD);
2376 break;
2377 case Token::SUB:
2378 builtin = builtins->javascript_builtin(Builtins::SUB);
2379 break;
2380 case Token::MUL:
2381 builtin = builtins->javascript_builtin(Builtins::MUL);
2382 break;
2383 case Token::DIV:
2384 builtin = builtins->javascript_builtin(Builtins::DIV);
2385 break;
2386 case Token::MOD:
2387 builtin = builtins->javascript_builtin(Builtins::MOD);
2388 break;
2389 case Token::BIT_AND:
2390 builtin = builtins->javascript_builtin(Builtins::BIT_AND);
2391 break;
2392 case Token::BIT_OR:
2393 builtin = builtins->javascript_builtin(Builtins::BIT_OR);
2394 break;
2395 case Token::BIT_XOR:
2396 builtin = builtins->javascript_builtin(Builtins::BIT_XOR);
2397 break;
2398 case Token::SHR:
2399 builtin = builtins->javascript_builtin(Builtins::SHR);
2400 break;
2401 case Token::SAR:
2402 builtin = builtins->javascript_builtin(Builtins::SAR);
2403 break;
2404 case Token::SHL:
2405 builtin = builtins->javascript_builtin(Builtins::SHL);
2406 break;
2407 default:
2408 UNREACHABLE();
2409 }
2410
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002411 Handle<JSFunction> builtin_function(JSFunction::cast(builtin), isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002412
2413 bool caught_exception;
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +00002414 Handle<Object> builtin_args[] = { right };
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002415 Handle<Object> result = Execution::Call(builtin_function,
2416 left,
2417 ARRAY_SIZE(builtin_args),
2418 builtin_args,
2419 &caught_exception);
2420 if (caught_exception) {
2421 return Failure::Exception();
2422 }
2423 return *result;
2424}
2425
2426
jkummerow@chromium.org212d9642012-05-11 15:02:09 +00002427Code* CompareIC::GetRawUninitialized(Token::Value op) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002428 ICCompareStub stub(op, UNINITIALIZED, UNINITIALIZED, UNINITIALIZED);
jkummerow@chromium.org212d9642012-05-11 15:02:09 +00002429 Code* code = NULL;
ulan@chromium.org8e8d8822012-11-23 14:36:46 +00002430 CHECK(stub.FindCodeInCache(&code, Isolate::Current()));
jkummerow@chromium.org212d9642012-05-11 15:02:09 +00002431 return code;
2432}
2433
2434
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002435Handle<Code> CompareIC::GetUninitialized(Isolate* isolate, Token::Value op) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002436 ICCompareStub stub(op, UNINITIALIZED, UNINITIALIZED, UNINITIALIZED);
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002437 return stub.GetCode(isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002438}
2439
2440
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002441const char* CompareIC::GetStateName(State state) {
2442 switch (state) {
2443 case UNINITIALIZED: return "UNINITIALIZED";
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002444 case SMI: return "SMI";
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002445 case NUMBER: return "NUMBER";
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002446 case INTERNALIZED_STRING: return "INTERNALIZED_STRING";
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002447 case STRING: return "STRING";
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002448 case UNIQUE_NAME: return "UNIQUE_NAME";
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002449 case OBJECT: return "OBJECT";
2450 case KNOWN_OBJECT: return "KNOWN_OBJECT";
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002451 case GENERIC: return "GENERIC";
2452 default:
2453 UNREACHABLE();
2454 return NULL;
2455 }
2456}
2457
2458
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002459static CompareIC::State InputState(CompareIC::State old_state,
2460 Handle<Object> value) {
2461 switch (old_state) {
2462 case CompareIC::UNINITIALIZED:
2463 if (value->IsSmi()) return CompareIC::SMI;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002464 if (value->IsHeapNumber()) return CompareIC::NUMBER;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002465 if (value->IsInternalizedString()) return CompareIC::INTERNALIZED_STRING;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002466 if (value->IsString()) return CompareIC::STRING;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002467 if (value->IsSymbol()) return CompareIC::UNIQUE_NAME;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002468 if (value->IsJSObject()) return CompareIC::OBJECT;
2469 break;
2470 case CompareIC::SMI:
2471 if (value->IsSmi()) return CompareIC::SMI;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002472 if (value->IsHeapNumber()) return CompareIC::NUMBER;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002473 break;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002474 case CompareIC::NUMBER:
2475 if (value->IsNumber()) return CompareIC::NUMBER;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002476 break;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002477 case CompareIC::INTERNALIZED_STRING:
2478 if (value->IsInternalizedString()) return CompareIC::INTERNALIZED_STRING;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002479 if (value->IsString()) return CompareIC::STRING;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002480 if (value->IsSymbol()) return CompareIC::UNIQUE_NAME;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002481 break;
2482 case CompareIC::STRING:
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002483 if (value->IsString()) return CompareIC::STRING;
2484 break;
2485 case CompareIC::UNIQUE_NAME:
2486 if (value->IsUniqueName()) return CompareIC::UNIQUE_NAME;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002487 break;
2488 case CompareIC::OBJECT:
2489 if (value->IsJSObject()) return CompareIC::OBJECT;
2490 break;
2491 case CompareIC::GENERIC:
2492 break;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002493 case CompareIC::KNOWN_OBJECT:
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002494 UNREACHABLE();
2495 break;
2496 }
2497 return CompareIC::GENERIC;
2498}
2499
2500
2501CompareIC::State CompareIC::TargetState(State old_state,
2502 State old_left,
2503 State old_right,
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002504 bool has_inlined_smi_code,
2505 Handle<Object> x,
2506 Handle<Object> y) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002507 switch (old_state) {
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002508 case UNINITIALIZED:
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002509 if (x->IsSmi() && y->IsSmi()) return SMI;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002510 if (x->IsNumber() && y->IsNumber()) return NUMBER;
ulan@chromium.org9a21ec42012-03-06 08:42:24 +00002511 if (Token::IsOrderedRelationalCompareOp(op_)) {
2512 // Ordered comparisons treat undefined as NaN, so the
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002513 // NUMBER stub will do the right thing.
ulan@chromium.org9a21ec42012-03-06 08:42:24 +00002514 if ((x->IsNumber() && y->IsUndefined()) ||
2515 (y->IsNumber() && x->IsUndefined())) {
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002516 return NUMBER;
ulan@chromium.org9a21ec42012-03-06 08:42:24 +00002517 }
2518 }
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002519 if (x->IsInternalizedString() && y->IsInternalizedString()) {
2520 // We compare internalized strings as plain ones if we need to determine
svenpanne@chromium.org4efbdb12012-03-12 08:18:42 +00002521 // the order in a non-equality compare.
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002522 return Token::IsEqualityOp(op_) ? INTERNALIZED_STRING : STRING;
svenpanne@chromium.org4efbdb12012-03-12 08:18:42 +00002523 }
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002524 if (x->IsString() && y->IsString()) return STRING;
svenpanne@chromium.org4efbdb12012-03-12 08:18:42 +00002525 if (!Token::IsEqualityOp(op_)) return GENERIC;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002526 if (x->IsUniqueName() && y->IsUniqueName()) return UNIQUE_NAME;
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002527 if (x->IsJSObject() && y->IsJSObject()) {
2528 if (Handle<JSObject>::cast(x)->map() ==
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002529 Handle<JSObject>::cast(y)->map()) {
2530 return KNOWN_OBJECT;
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002531 } else {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002532 return OBJECT;
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002533 }
2534 }
2535 return GENERIC;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002536 case SMI:
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002537 return x->IsNumber() && y->IsNumber() ? NUMBER : GENERIC;
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002538 case INTERNALIZED_STRING:
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002539 ASSERT(Token::IsEqualityOp(op_));
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002540 if (x->IsString() && y->IsString()) return STRING;
2541 if (x->IsUniqueName() && y->IsUniqueName()) return UNIQUE_NAME;
2542 return GENERIC;
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002543 case NUMBER:
2544 // If the failure was due to one side changing from smi to heap number,
2545 // then keep the state (if other changed at the same time, we will get
2546 // a second miss and then go to generic).
2547 if (old_left == SMI && x->IsHeapNumber()) return NUMBER;
2548 if (old_right == SMI && y->IsHeapNumber()) return NUMBER;
2549 return GENERIC;
2550 case KNOWN_OBJECT:
2551 ASSERT(Token::IsEqualityOp(op_));
2552 if (x->IsJSObject() && y->IsJSObject()) return OBJECT;
2553 return GENERIC;
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002554 case STRING:
yangguo@chromium.org4a9f6552013-03-04 14:46:33 +00002555 case UNIQUE_NAME:
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002556 case OBJECT:
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002557 case GENERIC:
2558 return GENERIC;
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002559 }
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +00002560 UNREACHABLE();
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002561 return GENERIC; // Make the compiler happy.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002562}
2563
2564
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002565void CompareIC::UpdateCaches(Handle<Object> x, Handle<Object> y) {
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00002566 HandleScope scope(isolate());
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002567 State previous_left, previous_right, previous_state;
2568 ICCompareStub::DecodeMinorKey(target()->stub_info(), &previous_left,
2569 &previous_right, &previous_state, NULL);
2570 State new_left = InputState(previous_left, x);
2571 State new_right = InputState(previous_right, y);
2572 State state = TargetState(previous_state, previous_left, previous_right,
2573 HasInlinedSmiCode(address()), x, y);
2574 ICCompareStub stub(op_, new_left, new_right, state);
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002575 if (state == KNOWN_OBJECT) {
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002576 stub.set_known_map(Handle<Map>(Handle<JSObject>::cast(x)->map()));
2577 }
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002578 set_target(*stub.GetCode(isolate()));
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002579
2580#ifdef DEBUG
2581 if (FLAG_trace_ic) {
2582 PrintF("[CompareIC in ");
yangguo@chromium.orgc03a1922013-02-19 13:55:47 +00002583 JavaScriptFrame::PrintTop(isolate(), stdout, false, true);
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002584 PrintF(" ((%s+%s=%s)->(%s+%s=%s))#%s @ %p]\n",
2585 GetStateName(previous_left),
2586 GetStateName(previous_right),
2587 GetStateName(previous_state),
2588 GetStateName(new_left),
2589 GetStateName(new_right),
2590 GetStateName(state),
2591 Token::Name(op_),
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002592 static_cast<void*>(*stub.GetCode(isolate())));
yangguo@chromium.orgfb377212012-11-16 14:43:43 +00002593 }
2594#endif
2595
2596 // Activate inlined smi code.
2597 if (previous_state == UNINITIALIZED) {
2598 PatchInlinedSmiCode(address(), ENABLE_INLINED_SMI_CHECK);
2599 }
2600}
2601
2602
2603// Used from ICCompareStub::GenerateMiss in code-stubs-<arch>.cc.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002604RUNTIME_FUNCTION(Code*, CompareIC_Miss) {
ulan@chromium.org09d7ab52013-02-25 15:50:35 +00002605 NoHandleAllocation na(isolate);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002606 ASSERT(args.length() == 3);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002607 CompareIC ic(isolate, static_cast<Token::Value>(args.smi_at(2)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002608 ic.UpdateCaches(args.at<Object>(0), args.at<Object>(1));
2609 return ic.target();
2610}
2611
2612
ricow@chromium.org9fa09672011-07-25 11:05:35 +00002613RUNTIME_FUNCTION(MaybeObject*, ToBoolean_Patch) {
2614 ASSERT(args.length() == 3);
2615
2616 HandleScope scope(isolate);
2617 Handle<Object> object = args.at<Object>(0);
2618 Register tos = Register::from_code(args.smi_at(1));
2619 ToBooleanStub::Types old_types(args.smi_at(2));
2620
2621 ToBooleanStub::Types new_types(old_types);
2622 bool to_boolean_value = new_types.Record(object);
2623 old_types.TraceTransition(new_types);
2624
2625 ToBooleanStub stub(tos, new_types);
hpayer@chromium.org8432c912013-02-28 15:55:26 +00002626 Handle<Code> code = stub.GetCode(isolate);
ricow@chromium.org9fa09672011-07-25 11:05:35 +00002627 ToBooleanIC ic(isolate);
2628 ic.patch(*code);
2629 return Smi::FromInt(to_boolean_value ? 1 : 0);
2630}
2631
2632
2633void ToBooleanIC::patch(Code* code) {
2634 set_target(code);
2635}
2636
2637
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002638static const Address IC_utilities[] = {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002639#define ADDR(name) FUNCTION_ADDR(name),
2640 IC_UTIL_LIST(ADDR)
2641 NULL
2642#undef ADDR
2643};
2644
2645
2646Address IC::AddressFromUtilityId(IC::UtilityId id) {
2647 return IC_utilities[id];
2648}
2649
2650
2651} } // namespace v8::internal