| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 440 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 451 Register value_reg, | 451 Register value_reg, |
| 452 Register scratch1, | 452 Register scratch1, |
| 453 Register scratch2, | 453 Register scratch2, |
| 454 Label* miss_label, | 454 Label* miss_label, |
| 455 Label* miss_restore_name) { | 455 Label* miss_restore_name) { |
| 456 // r0 : value | 456 // r0 : value |
| 457 Label exit; | 457 Label exit; |
| 458 | 458 |
| 459 // Check that the map of the object hasn't changed. | 459 // Check that the map of the object hasn't changed. |
| 460 __ CheckMap(receiver_reg, scratch1, Handle<Map>(object->map()), miss_label, | 460 __ CheckMap(receiver_reg, scratch1, Handle<Map>(object->map()), miss_label, |
| 461 DO_SMI_CHECK, REQUIRE_EXACT_MAP); | 461 DO_SMI_CHECK); |
| 462 | 462 |
| 463 // Perform global security token check if needed. | 463 // Perform global security token check if needed. |
| 464 if (object->IsJSGlobalProxy()) { | 464 if (object->IsJSGlobalProxy()) { |
| 465 __ CheckAccessGlobalProxy(receiver_reg, scratch1, miss_label); | 465 __ CheckAccessGlobalProxy(receiver_reg, scratch1, miss_label); |
| 466 } | 466 } |
| 467 | 467 |
| 468 // Check that we are allowed to write this. | 468 // Check that we are allowed to write this. |
| 469 if (object->GetPrototype()->IsJSObject()) { | 469 if (object->GetPrototype()->IsJSObject()) { |
| 470 JSObject* holder; | 470 JSObject* holder; |
| 471 // holder == object indicates that no property was found. | 471 // holder == object indicates that no property was found. |
| (...skipping 127 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 599 Register name_reg, | 599 Register name_reg, |
| 600 Register value_reg, | 600 Register value_reg, |
| 601 Register scratch1, | 601 Register scratch1, |
| 602 Register scratch2, | 602 Register scratch2, |
| 603 Label* miss_label) { | 603 Label* miss_label) { |
| 604 // r0 : value | 604 // r0 : value |
| 605 Label exit; | 605 Label exit; |
| 606 | 606 |
| 607 // Check that the map of the object hasn't changed. | 607 // Check that the map of the object hasn't changed. |
| 608 __ CheckMap(receiver_reg, scratch1, Handle<Map>(object->map()), miss_label, | 608 __ CheckMap(receiver_reg, scratch1, Handle<Map>(object->map()), miss_label, |
| 609 DO_SMI_CHECK, ALLOW_ELEMENT_TRANSITION_MAPS); | 609 DO_SMI_CHECK); |
| 610 | 610 |
| 611 // Perform global security token check if needed. | 611 // Perform global security token check if needed. |
| 612 if (object->IsJSGlobalProxy()) { | 612 if (object->IsJSGlobalProxy()) { |
| 613 __ CheckAccessGlobalProxy(receiver_reg, scratch1, miss_label); | 613 __ CheckAccessGlobalProxy(receiver_reg, scratch1, miss_label); |
| 614 } | 614 } |
| 615 | 615 |
| 616 // Stub never generated for non-global objects that require access | 616 // Stub never generated for non-global objects that require access |
| 617 // checks. | 617 // checks. |
| 618 ASSERT(object->IsJSGlobalProxy() || !object->IsAccessCheckNeeded()); | 618 ASSERT(object->IsJSGlobalProxy() || !object->IsAccessCheckNeeded()); |
| 619 | 619 |
| (...skipping 505 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1125 scratch1, scratch2); | 1125 scratch1, scratch2); |
| 1126 | 1126 |
| 1127 __ ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset)); | 1127 __ ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset)); |
| 1128 reg = holder_reg; // From now on the object will be in holder_reg. | 1128 reg = holder_reg; // From now on the object will be in holder_reg. |
| 1129 __ ldr(reg, FieldMemOperand(scratch1, Map::kPrototypeOffset)); | 1129 __ ldr(reg, FieldMemOperand(scratch1, Map::kPrototypeOffset)); |
| 1130 } else { | 1130 } else { |
| 1131 Register map_reg = scratch1; | 1131 Register map_reg = scratch1; |
| 1132 if (!current.is_identical_to(first) || check == CHECK_ALL_MAPS) { | 1132 if (!current.is_identical_to(first) || check == CHECK_ALL_MAPS) { |
| 1133 Handle<Map> current_map(current->map()); | 1133 Handle<Map> current_map(current->map()); |
| 1134 // CheckMap implicitly loads the map of |reg| into |map_reg|. | 1134 // CheckMap implicitly loads the map of |reg| into |map_reg|. |
| 1135 __ CheckMap(reg, map_reg, current_map, miss, DONT_DO_SMI_CHECK, | 1135 __ CheckMap(reg, map_reg, current_map, miss, DONT_DO_SMI_CHECK); |
| 1136 ALLOW_ELEMENT_TRANSITION_MAPS); | |
| 1137 } else { | 1136 } else { |
| 1138 __ ldr(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset)); | 1137 __ ldr(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset)); |
| 1139 } | 1138 } |
| 1140 | 1139 |
| 1141 // Check access rights to the global object. This has to happen after | 1140 // Check access rights to the global object. This has to happen after |
| 1142 // the map check so that we know that the object is actually a global | 1141 // the map check so that we know that the object is actually a global |
| 1143 // object. | 1142 // object. |
| 1144 if (current->IsJSGlobalProxy()) { | 1143 if (current->IsJSGlobalProxy()) { |
| 1145 __ CheckAccessGlobalProxy(reg, scratch2, miss); | 1144 __ CheckAccessGlobalProxy(reg, scratch2, miss); |
| 1146 } | 1145 } |
| (...skipping 16 matching lines...) Expand all Loading... |
| 1163 // Go to the next object in the prototype chain. | 1162 // Go to the next object in the prototype chain. |
| 1164 current = prototype; | 1163 current = prototype; |
| 1165 } | 1164 } |
| 1166 | 1165 |
| 1167 // Log the check depth. | 1166 // Log the check depth. |
| 1168 LOG(masm()->isolate(), IntEvent("check-maps-depth", depth + 1)); | 1167 LOG(masm()->isolate(), IntEvent("check-maps-depth", depth + 1)); |
| 1169 | 1168 |
| 1170 if (!holder.is_identical_to(first) || check == CHECK_ALL_MAPS) { | 1169 if (!holder.is_identical_to(first) || check == CHECK_ALL_MAPS) { |
| 1171 // Check the holder map. | 1170 // Check the holder map. |
| 1172 __ CheckMap(reg, scratch1, Handle<Map>(holder->map()), miss, | 1171 __ CheckMap(reg, scratch1, Handle<Map>(holder->map()), miss, |
| 1173 DONT_DO_SMI_CHECK, ALLOW_ELEMENT_TRANSITION_MAPS); | 1172 DONT_DO_SMI_CHECK); |
| 1174 } | 1173 } |
| 1175 | 1174 |
| 1176 // Perform security check for access to the global object. | 1175 // Perform security check for access to the global object. |
| 1177 ASSERT(holder->IsJSGlobalProxy() || !holder->IsAccessCheckNeeded()); | 1176 ASSERT(holder->IsJSGlobalProxy() || !holder->IsAccessCheckNeeded()); |
| 1178 if (holder->IsJSGlobalProxy()) { | 1177 if (holder->IsJSGlobalProxy()) { |
| 1179 __ CheckAccessGlobalProxy(reg, scratch1, miss); | 1178 __ CheckAccessGlobalProxy(reg, scratch1, miss); |
| 1180 } | 1179 } |
| 1181 | 1180 |
| 1182 // If we've skipped any global objects, it's not enough to verify that | 1181 // If we've skipped any global objects, it's not enough to verify that |
| 1183 // their maps haven't changed. We also need to check that the property | 1182 // their maps haven't changed. We also need to check that the property |
| (...skipping 1491 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2675 #define __ ACCESS_MASM(masm()) | 2674 #define __ ACCESS_MASM(masm()) |
| 2676 | 2675 |
| 2677 | 2676 |
| 2678 Handle<Code> StoreStubCompiler::CompileStoreInterceptor( | 2677 Handle<Code> StoreStubCompiler::CompileStoreInterceptor( |
| 2679 Handle<JSObject> object, | 2678 Handle<JSObject> object, |
| 2680 Handle<Name> name) { | 2679 Handle<Name> name) { |
| 2681 Label miss; | 2680 Label miss; |
| 2682 | 2681 |
| 2683 // Check that the map of the object hasn't changed. | 2682 // Check that the map of the object hasn't changed. |
| 2684 __ CheckMap(receiver(), scratch1(), Handle<Map>(object->map()), &miss, | 2683 __ CheckMap(receiver(), scratch1(), Handle<Map>(object->map()), &miss, |
| 2685 DO_SMI_CHECK, ALLOW_ELEMENT_TRANSITION_MAPS); | 2684 DO_SMI_CHECK); |
| 2686 | 2685 |
| 2687 // Perform global security token check if needed. | 2686 // Perform global security token check if needed. |
| 2688 if (object->IsJSGlobalProxy()) { | 2687 if (object->IsJSGlobalProxy()) { |
| 2689 __ CheckAccessGlobalProxy(receiver(), scratch1(), &miss); | 2688 __ CheckAccessGlobalProxy(receiver(), scratch1(), &miss); |
| 2690 } | 2689 } |
| 2691 | 2690 |
| 2692 // Stub is never generated for non-global objects that require access | 2691 // Stub is never generated for non-global objects that require access |
| 2693 // checks. | 2692 // checks. |
| 2694 ASSERT(object->IsJSGlobalProxy() || !object->IsAccessCheckNeeded()); | 2693 ASSERT(object->IsJSGlobalProxy() || !object->IsAccessCheckNeeded()); |
| 2695 | 2694 |
| (...skipping 988 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3684 TailCallBuiltin(masm, Builtins::kKeyedStoreIC_Slow); | 3683 TailCallBuiltin(masm, Builtins::kKeyedStoreIC_Slow); |
| 3685 } | 3684 } |
| 3686 } | 3685 } |
| 3687 | 3686 |
| 3688 | 3687 |
| 3689 #undef __ | 3688 #undef __ |
| 3690 | 3689 |
| 3691 } } // namespace v8::internal | 3690 } } // namespace v8::internal |
| 3692 | 3691 |
| 3693 #endif // V8_TARGET_ARCH_ARM | 3692 #endif // V8_TARGET_ARCH_ARM |
| OLD | NEW |