Small cleanup and more test coverage for guarded fields.

runtime/vm/intermediate_language_arm.cc

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_ARM.
 #if defined(TARGET_ARCH_ARM)
 
 #include "vm/intermediate_language.h"
 
 #include "vm/dart_entry.h"
@@ skipping 1470 matching lines @@
           __ str(value_cid_reg, field_length_operand);
         } else {
           __ LoadImmediate(IP, Smi::RawValue(Field::kNoFixedLength));
           __ str(IP, field_length_operand);
         }
       }
     }
     if (!ok_is_fall_through) {
       __ b(&ok);
     }
+
+    if (deopt == NULL) {
+      ASSERT(!compiler->is_optimizing());
+      __ Bind(fail);
+
+      __ ldr(IP, FieldAddress(field_reg, Field::guarded_cid_offset()));
+      __ CompareImmediate(IP, kDynamicCid);
+      __ b(&ok, EQ);
+
+      __ Push(field_reg);
+      __ Push(value_reg);
+      __ CallRuntime(kUpdateFieldCidRuntimeEntry, 2);
+      __ Drop(2);  // Drop the field and the value.
+    }
   } else {
+    ASSERT(compiler->is_optimizing());
+    ASSERT(deopt != NULL);
+    ASSERT(ok_is_fall_through);
+    // Field guard class has been initialized and is known.
     if (field_reg != kNoRegister) {
       __ LoadObject(field_reg, Field::ZoneHandle(field().raw()));
     }
     if (value_cid == kDynamicCid) {
       // Field's guarded class id is fixed by value's class id is not known.
       __ tst(value_reg, ShifterOperand(kSmiTagMask));
 
       if (field_cid != kSmiCid) {
         __ b(fail, EQ);
         __ LoadClassId(value_cid_reg, value_reg);
@@ skipping 18 matching lines @@
         }
         __ ldr(IP, field_length_operand);
         __ cmp(value_cid_reg, ShifterOperand(IP));
       }
 
       if (field().is_nullable() && (field_cid != kNullCid)) {
         __ b(&ok, EQ);
         __ CompareImmediate(value_reg,
                             reinterpret_cast<intptr_t>(Object::null()));
       }
-
-      if (ok_is_fall_through) {
-        __ b(fail, NE);
-      } else {
-        __ b(&ok, EQ);
-      }
+      __ b(fail, NE);
     } else {
       // Both value's and field's class id is known.
       if ((value_cid != field_cid) && (value_cid != nullability)) {
-        if (ok_is_fall_through) {
-          __ b(fail);
-        }
+        __ b(fail);
       } else if (field_has_length && (value_cid == field_cid)) {
         ASSERT(value_cid_reg != kNoRegister);
         if ((field_cid == kArrayCid) || (field_cid == kImmutableArrayCid)) {
           // Destroy value_cid_reg (safe because we are finished with it).
           __ ldr(value_cid_reg,
                  FieldAddress(value_reg, Array::length_offset()));
         } else if (RawObject::IsTypedDataClassId(field_cid)) {
           // Destroy value_cid_reg (safe because we are finished with it).
           __ ldr(value_cid_reg,
                  FieldAddress(value_reg, TypedData::length_offset()));
         }
         __ CompareImmediate(value_cid_reg, field_length);
-        if (ok_is_fall_through) {
-          __ b(fail, NE);
-        }
+        __ b(fail, NE);
       } else {
-        // Nothing to emit.
-        ASSERT(!compiler->is_optimizing());
-        return;
+        UNREACHABLE();
       }
     }
   }
-
-  if (deopt == NULL) {
-    ASSERT(!compiler->is_optimizing());
-    __ Bind(fail);
-
-    __ ldr(IP, FieldAddress(field_reg, Field::guarded_cid_offset()));
-    __ CompareImmediate(IP, kDynamicCid);
-    __ b(&ok, EQ);
-
-    __ Push(field_reg);
-    __ Push(value_reg);
-    __ CallRuntime(kUpdateFieldCidRuntimeEntry, 2);
-    __ Drop(2);  // Drop the field and the value.
-  }
-
   __ Bind(&ok);
 }
 
 
 LocationSummary* StoreInstanceFieldInstr::MakeLocationSummary() const {
   const intptr_t kNumInputs = 2;
   const intptr_t kNumTemps = 0;
   LocationSummary* summary =
       new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kNoCall);
   summary->set_in(0, Location::RequiresRegister());
@@ skipping 3041 matching lines @@
   compiler->GenerateCall(token_pos(),
                          &label,
                          PcDescriptors::kOther,
                          locs());
   __ Drop(2);  // Discard type arguments and receiver.
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_ARM