Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 1 | // Copyright 2014 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 5 | #include "src/ic/ic-compiler.h" |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 6 | |
| 7 | #include "src/ic/handler-compiler.h" |
| 8 | #include "src/ic/ic-inl.h" |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 9 | #include "src/profiler/cpu-profiler.h" |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 10 | |
| 11 | |
| 12 | namespace v8 { |
| 13 | namespace internal { |
| 14 | |
| 15 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 16 | Handle<Code> PropertyICCompiler::ComputeKeyedLoadMonomorphicHandler( |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 17 | Handle<Map> receiver_map, ExtraICState extra_ic_state) { |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 18 | Isolate* isolate = receiver_map->GetIsolate(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 19 | bool is_js_array = receiver_map->instance_type() == JS_ARRAY_TYPE; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 20 | ElementsKind elements_kind = receiver_map->elements_kind(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 21 | |
| 22 | // No need to check for an elements-free prototype chain here, the generated |
| 23 | // stub code needs to check that dynamically anyway. |
| 24 | bool convert_hole_to_undefined = |
| 25 | is_js_array && elements_kind == FAST_HOLEY_ELEMENTS && |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 26 | *receiver_map == isolate->get_initial_js_array_map(elements_kind); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 27 | Handle<Code> stub; |
| 28 | if (receiver_map->has_indexed_interceptor()) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 29 | TRACE_HANDLER_STATS(isolate, KeyedLoadIC_LoadIndexedInterceptorStub); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 30 | stub = LoadIndexedInterceptorStub(isolate).GetCode(); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 31 | } else if (receiver_map->IsStringMap()) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 32 | TRACE_HANDLER_STATS(isolate, KeyedLoadIC_LoadIndexedStringStub); |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 33 | stub = LoadIndexedStringStub(isolate).GetCode(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 34 | } else if (receiver_map->has_sloppy_arguments_elements()) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 35 | TRACE_HANDLER_STATS(isolate, KeyedLoadIC_KeyedLoadSloppyArgumentsStub); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 36 | stub = KeyedLoadSloppyArgumentsStub(isolate).GetCode(); |
| 37 | } else if (receiver_map->has_fast_elements() || |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 38 | receiver_map->has_fixed_typed_array_elements()) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 39 | TRACE_HANDLER_STATS(isolate, KeyedLoadIC_LoadFastElementStub); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 40 | stub = LoadFastElementStub(isolate, is_js_array, elements_kind, |
| 41 | convert_hole_to_undefined).GetCode(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 42 | } else { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 43 | DCHECK(receiver_map->has_dictionary_elements()); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 44 | TRACE_HANDLER_STATS(isolate, KeyedLoadIC_LoadDictionaryElementStub); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 45 | stub = LoadDictionaryElementStub(isolate, LoadICState(extra_ic_state)) |
| 46 | .GetCode(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 47 | } |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 48 | return stub; |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 49 | } |
| 50 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 51 | Handle<Code> PropertyICCompiler::ComputeKeyedStoreMonomorphicHandler( |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 52 | Handle<Map> receiver_map, KeyedAccessStoreMode store_mode) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 53 | Isolate* isolate = receiver_map->GetIsolate(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 54 | |
| 55 | DCHECK(store_mode == STANDARD_STORE || |
| 56 | store_mode == STORE_AND_GROW_NO_TRANSITION || |
| 57 | store_mode == STORE_NO_TRANSITION_IGNORE_OUT_OF_BOUNDS || |
| 58 | store_mode == STORE_NO_TRANSITION_HANDLE_COW); |
| 59 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 60 | PropertyICCompiler compiler(isolate); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 61 | Handle<Code> code = |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 62 | compiler.CompileKeyedStoreMonomorphicHandler(receiver_map, store_mode); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 63 | return code; |
| 64 | } |
| 65 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 66 | void PropertyICCompiler::ComputeKeyedStorePolymorphicHandlers( |
| 67 | MapHandleList* receiver_maps, MapHandleList* transitioned_maps, |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 68 | CodeHandleList* handlers, KeyedAccessStoreMode store_mode) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 69 | Isolate* isolate = receiver_maps->at(0)->GetIsolate(); |
| 70 | DCHECK(store_mode == STANDARD_STORE || |
| 71 | store_mode == STORE_AND_GROW_NO_TRANSITION || |
| 72 | store_mode == STORE_NO_TRANSITION_IGNORE_OUT_OF_BOUNDS || |
| 73 | store_mode == STORE_NO_TRANSITION_HANDLE_COW); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 74 | PropertyICCompiler compiler(isolate); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 75 | compiler.CompileKeyedStorePolymorphicHandlers( |
| 76 | receiver_maps, transitioned_maps, handlers, store_mode); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 77 | } |
| 78 | |
| 79 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 80 | void PropertyICCompiler::CompileKeyedStorePolymorphicHandlers( |
| 81 | MapHandleList* receiver_maps, MapHandleList* transitioned_maps, |
| 82 | CodeHandleList* handlers, KeyedAccessStoreMode store_mode) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 83 | for (int i = 0; i < receiver_maps->length(); ++i) { |
| 84 | Handle<Map> receiver_map(receiver_maps->at(i)); |
| 85 | Handle<Code> cached_stub; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 86 | Handle<Map> transitioned_map; |
| 87 | { |
| 88 | Map* tmap = receiver_map->FindElementsKindTransitionedMap(receiver_maps); |
| 89 | if (tmap != nullptr) transitioned_map = handle(tmap); |
| 90 | } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 91 | |
| 92 | // TODO(mvstanton): The code below is doing pessimistic elements |
| 93 | // transitions. I would like to stop doing that and rely on Allocation Site |
| 94 | // Tracking to do a better job of ensuring the data types are what they need |
| 95 | // to be. Not all the elements are in place yet, pessimistic elements |
| 96 | // transitions are still important for performance. |
| 97 | bool is_js_array = receiver_map->instance_type() == JS_ARRAY_TYPE; |
| 98 | ElementsKind elements_kind = receiver_map->elements_kind(); |
| 99 | if (!transitioned_map.is_null()) { |
| 100 | cached_stub = |
| 101 | ElementsTransitionAndStoreStub(isolate(), elements_kind, |
| 102 | transitioned_map->elements_kind(), |
| 103 | is_js_array, store_mode).GetCode(); |
| 104 | } else if (receiver_map->instance_type() < FIRST_JS_RECEIVER_TYPE) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 105 | // TODO(mvstanton): Consider embedding store_mode in the state of the slow |
| 106 | // keyed store ic for uniformity. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 107 | cached_stub = isolate()->builtins()->KeyedStoreIC_Slow(); |
| 108 | } else { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 109 | if (IsSloppyArgumentsElements(elements_kind)) { |
| 110 | cached_stub = |
| 111 | KeyedStoreSloppyArgumentsStub(isolate(), store_mode).GetCode(); |
| 112 | } else if (receiver_map->has_fast_elements() || |
| 113 | receiver_map->has_fixed_typed_array_elements()) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 114 | cached_stub = StoreFastElementStub(isolate(), is_js_array, |
| 115 | elements_kind, store_mode).GetCode(); |
| 116 | } else { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 117 | cached_stub = |
| 118 | StoreElementStub(isolate(), elements_kind, store_mode).GetCode(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 119 | } |
| 120 | } |
| 121 | DCHECK(!cached_stub.is_null()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 122 | handlers->Add(cached_stub); |
| 123 | transitioned_maps->Add(transitioned_map); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 124 | } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 125 | } |
| 126 | |
| 127 | |
| 128 | #define __ ACCESS_MASM(masm()) |
| 129 | |
| 130 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 131 | Handle<Code> PropertyICCompiler::CompileKeyedStoreMonomorphicHandler( |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 132 | Handle<Map> receiver_map, KeyedAccessStoreMode store_mode) { |
| 133 | ElementsKind elements_kind = receiver_map->elements_kind(); |
| 134 | bool is_jsarray = receiver_map->instance_type() == JS_ARRAY_TYPE; |
| 135 | Handle<Code> stub; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 136 | if (receiver_map->has_sloppy_arguments_elements()) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 137 | TRACE_HANDLER_STATS(isolate(), KeyedStoreIC_KeyedStoreSloppyArgumentsStub); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 138 | stub = KeyedStoreSloppyArgumentsStub(isolate(), store_mode).GetCode(); |
| 139 | } else if (receiver_map->has_fast_elements() || |
| 140 | receiver_map->has_fixed_typed_array_elements()) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 141 | TRACE_HANDLER_STATS(isolate(), KeyedStoreIC_StoreFastElementStub); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 142 | stub = StoreFastElementStub(isolate(), is_jsarray, elements_kind, |
| 143 | store_mode).GetCode(); |
| 144 | } else { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame^] | 145 | TRACE_HANDLER_STATS(isolate(), KeyedStoreIC_StoreElementStub); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 146 | stub = StoreElementStub(isolate(), elements_kind, store_mode).GetCode(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 147 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 148 | return stub; |
| 149 | } |
| 150 | |
| 151 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 152 | #undef __ |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 153 | } // namespace internal |
| 154 | } // namespace v8 |