Optimize stores to Uint8List.

runtime/vm/intermediate_language_ia32.cc

 // Copyright (c) 2012, 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_IA32.
 #if defined(TARGET_ARCH_IA32)
 
 #include "vm/intermediate_language.h"
 
 #include "lib/error.h"
@@ skipping 1192 matching lines @@
     return;
   }
 
   ASSERT((class_id() == kArrayCid) || (class_id() == kImmutableArrayCid));
   __ movl(result, element_address);
 }
 
 
 LocationSummary* StoreIndexedInstr::MakeLocationSummary() const {
   const intptr_t kNumInputs = 3;
-  const intptr_t kNumTemps = class_id() == kFloat32ArrayCid ? 1 : 0;
+  const intptr_t kNumTemps = 0;
   LocationSummary* locs =
       new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kNoCall);
-  if (class_id() == kFloat32ArrayCid) {
-    locs->set_temp(0, Location::RequiresXmmRegister());
-  }
   locs->set_in(0, Location::RequiresRegister());
   locs->set_in(1, CanBeImmediateIndex(index())
                     ? Location::RegisterOrConstant(index())
                     : Location::RequiresRegister());
-  if (RequiredInputRepresentation(2) == kUnboxedDouble) {
-    // TODO(srdjan): Support Float64 constants.
-    locs->set_in(2, Location::RequiresXmmRegister());
-  } else {
-    locs->set_in(2, ShouldEmitStoreBarrier()
-                      ? Location::WritableRegister()
-                      : Location::RegisterOrConstant(value()));
+  switch (class_id()) {
+    case kArrayCid:
+      locs->set_in(2, ShouldEmitStoreBarrier()
+                        ? Location::WritableRegister()
+                        : Location::RegisterOrConstant(value()));
+      break;
+    case kUint8ArrayCid:
+      // TODO(fschneider): Add location constraint for byte registers (EAX,
+      // EBX, ECX, EDX) instead of using a fixed register.
+      locs->set_in(2, Location::FixedRegisterOrSmiConstant(value(), EAX));
+      break;
+    case kFloat32ArrayCid:
+      // Need temp register for float-to-double conversion.
+      locs->AddTemp(Location::RequiresXmmRegister());
+      // Fall through.
+    case kFloat64ArrayCid:
+      // TODO(srdjan): Support Float64 constants.
+      locs->set_in(2, Location::RequiresXmmRegister());
+      break;
+    default:
+      UNREACHABLE();
+      return NULL;
   }
   return locs;
 }
 
 
 void StoreIndexedInstr::EmitNativeCode(FlowGraphCompiler* compiler) {
   Register array = locs()->in(0).reg();
   Location index = locs()->in(1);
 
   FieldAddress element_address = index.IsRegister() ?
       FlowGraphCompiler::ElementAddressForRegIndex(
           class_id(), array, index.reg()) :
       FlowGraphCompiler::ElementAddressForIntIndex(
           class_id(), array, Smi::Cast(index.constant()).Value());
 
-  if (class_id() == kFloat32ArrayCid) {
-    // Convert to single precision.
-    __ cvtsd2ss(locs()->temp(0).xmm_reg(), locs()->in(2).xmm_reg());
-    // Store.
-    __ movss(element_address, locs()->temp(0).xmm_reg());
-    return;
-  }
-
-  if (class_id() == kFloat64ArrayCid) {
-    __ movsd(element_address, locs()->in(2).xmm_reg());
-    return;
-  }
-
-  ASSERT(class_id() == kArrayCid);
-  if (ShouldEmitStoreBarrier()) {
-    Register value = locs()->in(2).reg();
-    __ StoreIntoObject(array, element_address, value);
-    return;
-  }
-
-  if (locs()->in(2).IsConstant()) {
-    const Object& constant = locs()->in(2).constant();
-    __ StoreIntoObjectNoBarrier(array, element_address, constant);
-  } else {
-    Register value = locs()->in(2).reg();
-    __ StoreIntoObjectNoBarrier(array, element_address, value);
+  switch (class_id()) {
+    case kArrayCid:
+      if (ShouldEmitStoreBarrier()) {
+        Register value = locs()->in(2).reg();
+        __ StoreIntoObject(array, element_address, value);
+      } else if (locs()->in(2).IsConstant()) {
+        const Object& constant = locs()->in(2).constant();
+        __ StoreIntoObjectNoBarrier(array, element_address, constant);
+      } else {
+        Register value = locs()->in(2).reg();
+        __ StoreIntoObjectNoBarrier(array, element_address, value);
+      }
+      break;
+    case kUint8ArrayCid:
+      if (index.IsRegister()) {
+        __ SmiUntag(index.reg());
+      }
+      if (locs()->in(2).IsConstant()) {
+        const Smi& constant = Smi::Cast(locs()->in(2).constant());
+        __ movb(element_address,
+                Immediate(static_cast<int8_t>(constant.Value())));
+      } else {
+        ASSERT(locs()->in(2).reg() == EAX);
+        __ SmiUntag(EAX);
+        __ movb(element_address, AL);
+      }
+      if (index.IsRegister()) {
+        __ SmiTag(index.reg());  // Re-tag.
+      }
+      break;
+    case kFloat32ArrayCid:
+      // Convert to single precision.
+      __ cvtsd2ss(locs()->temp(0).xmm_reg(), locs()->in(2).xmm_reg());
+      // Store.
+      __ movss(element_address, locs()->temp(0).xmm_reg());
+      break;
+    case kFloat64ArrayCid:
+      __ movsd(element_address, locs()->in(2).xmm_reg());
+      break;
+    default:
+      UNREACHABLE();
   }
 }
 
 
 LocationSummary* StoreInstanceFieldInstr::MakeLocationSummary() const {
   const intptr_t kNumInputs = 2;
   const intptr_t num_temps =  0;
   LocationSummary* summary =
       new LocationSummary(kNumInputs, num_temps, LocationSummary::kNoCall);
   summary->set_in(0, Location::RequiresRegister());
@@ skipping 1517 matching lines @@
   __ pcmpeqq(XMM0, XMM0);  // Generate all 1's.
   __ pxor(value, XMM0);
 }
 
 
 }  // namespace dart
 
 #undef __
 
 #endif  // defined TARGET_ARCH_X64