Track computed literal properties.

src/arm/lithium-arm.cc

Index: src/arm/lithium-arm.cc
diff --git a/src/arm/lithium-arm.cc b/src/arm/lithium-arm.cc
index 1c64d8e61ef97c39781ea1afb1be93f48ee254c3..7656d365e8b374f43bb07298292e4f39bae6c038 100644
--- a/src/arm/lithium-arm.cc
+++ b/src/arm/lithium-arm.cc
@@ -2347,10 +2347,15 @@ LInstruction* LChunkBuilder::DoStoreNamedField(HStoreNamedField* instr) {
   LOperand* temp = needs_write_barrier_for_map ? TempRegister() : NULL;
 
   LStoreNamedField* result = new(zone()) LStoreNamedField(obj, val, temp);
-  if ((FLAG_track_fields && instr->field_representation().IsSmi()) ||
-      (FLAG_track_heap_object_fields &&
-       instr->field_representation().IsHeapObject())) {
-    return AssignEnvironment(result);
+  if (FLAG_track_fields && instr->field_representation().IsSmi()) {
+    if (!instr->value()->range()->IsInSmiRange()) {

[danno, 2013/06/06 07:54:19]

What about also checking !instr->value()->type().IsSmi()? Also, careful with the
SmiRange check. On x64, I don't know if there is a guarantee that we won't get
tagged values in the SmiRange that are boxed, the range is independent of the
representation. 

[Toon Verwaest, 2013/06/06 10:31:41]

This is an obsolete requirement. Nowadays we require the value to come in as a
smi, so it'll always be "InSmiRange()" and smi. Removing.

On 2013/06/06 07:54:19, danno wrote:

+      return AssignEnvironment(result);
+    }
+  } else if (FLAG_track_heap_object_fields &&
+             instr->field_representation().IsHeapObject()) {
+    if (!instr->value()->type().IsHeapObject()) {
+      return AssignEnvironment(result);
+    }
   }
   return result;
 }