[stubs] Properly handle read-only properties in StoreGlobalViaContextStub.

src/arm64/code-stubs-arm64.cc

 // Copyright 2013 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/v8.h"
 
 #if V8_TARGET_ARCH_ARM64
 
 #include "src/bootstrapper.h"
 #include "src/code-stubs.h"
@@ skipping 5535 matching lines @@
   // Go up the context chain to the script context.
   for (int i = 0; i < depth(); i++) {
     __ Ldr(context_temp, ContextMemOperand(context, Context::PREVIOUS_INDEX));
     context = context_temp;
   }
 
   // Load the PropertyCell at the specified slot.
   __ Add(cell, context, Operand(slot, LSL, kPointerSizeLog2));
   __ Ldr(cell, ContextMemOperand(cell));
 
-  // Check that cell value is not the_hole.
-  __ Ldr(cell_value, FieldMemOperand(cell, PropertyCell::kValueOffset));
-  __ JumpIfRoot(cell_value, Heap::kTheHoleValueRootIndex, &slow_case);
-
   // Load PropertyDetails for the cell (actually only the cell_type and kind).
   __ Ldr(cell_details,
          UntagSmiFieldMemOperand(cell, PropertyCell::kDetailsOffset));
   __ And(cell_details, cell_details,
          PropertyDetails::PropertyCellTypeField::kMask |
-             PropertyDetails::KindField::kMask);
+             PropertyDetails::KindField::kMask |
+             PropertyDetails::kAttributesReadOnlyMask);
 
   // Check if PropertyCell holds mutable data.
   Label not_mutable_data;
   __ Cmp(cell_details, PropertyDetails::PropertyCellTypeField::encode(
                            PropertyCellType::kMutable) |
                            PropertyDetails::KindField::encode(kData));
   __ B(ne, &not_mutable_data);
   __ JumpIfSmi(value, &fast_smi_case);
   __ Bind(&fast_heapobject_case);
   __ Str(value, FieldMemOperand(cell, PropertyCell::kValueOffset));
   // RecordWriteField clobbers the value register, so we copy it before the
   // call.
   __ Mov(x11, value);
   __ RecordWriteField(cell, PropertyCell::kValueOffset, x11, x12,
                       kLRHasNotBeenSaved, kDontSaveFPRegs, EMIT_REMEMBERED_SET,
                       OMIT_SMI_CHECK);
   __ Ret();
 
   __ Bind(&not_mutable_data);
   // Check if PropertyCell value matches the new value (relevant for Constant,
   // ConstantType and Undefined cells).
   Label not_same_value;
+  __ Ldr(cell_value, FieldMemOperand(cell, PropertyCell::kValueOffset));
   __ Cmp(cell_value, value);
   __ B(ne, &not_same_value);
 
+  // Make sure the PropertyCell is not marked READ_ONLY.
+  __ Tst(cell_details, PropertyDetails::kAttributesReadOnlyMask);
+  __ B(ne, &slow_case);
+
   if (FLAG_debug_code) {
     Label done;
     // This can only be true for Constant, ConstantType and Undefined cells,
     // because we never store the_hole via this stub.
     __ Cmp(cell_details, PropertyDetails::PropertyCellTypeField::encode(
                              PropertyCellType::kConstant) |
                              PropertyDetails::KindField::encode(kData));
     __ B(eq, &done);
     __ Cmp(cell_details, PropertyDetails::PropertyCellTypeField::encode(
                              PropertyCellType::kConstantType) |
                              PropertyDetails::KindField::encode(kData));
     __ B(eq, &done);
     __ Cmp(cell_details, PropertyDetails::PropertyCellTypeField::encode(
                              PropertyCellType::kUndefined) |
                              PropertyDetails::KindField::encode(kData));
     __ Check(eq, kUnexpectedValue);
     __ Bind(&done);
   }
   __ Ret();
   __ Bind(&not_same_value);
 
-  // Check if PropertyCell contains data with constant type.
+  // Check if PropertyCell contains data with constant type (and is not
+  // READ_ONLY).
   __ Cmp(cell_details, PropertyDetails::PropertyCellTypeField::encode(
                            PropertyCellType::kConstantType) |
                            PropertyDetails::KindField::encode(kData));
   __ B(ne, &slow_case);
 
   // Now either both old and new values must be smis or both must be heap
   // objects with same map.
   Label value_is_heap_object;
   __ JumpIfNotSmi(value, &value_is_heap_object);
   __ JumpIfNotSmi(cell_value, &slow_case);
@@ skipping 364 matching lines @@
                            MemOperand(fp, 6 * kPointerSize), NULL);
 }
 
 
 #undef __
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_TARGET_ARCH_ARM64