Some cleanups, started implementing checked instance calls, better equality operation.

runtime/vm/intermediate_language_x64.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_X64.
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/intermediate_language.h"
 
 #include "lib/error.h"
@@ skipping 174 matching lines @@
                                 kConditionTypeErrorRuntimeEntry);
   // We should never return here.
   __ int3();
 
   __ Bind(&done);
   ASSERT(obj == result);
 }
 
 
 LocationSummary* EqualityCompareComp::MakeLocationSummary() const {
-  LocationSummary* locs = new LocationSummary(2, 0);
-  locs->set_in(0, Location::RequiresRegister());
-  locs->set_in(1, Location::RequiresRegister());
-  locs->set_out(Location::RegisterLocation(RAX));
-  return locs;
+  const intptr_t kNumInputs = 2;
+  if (operands_class_id() == kSmi) {
+    const intptr_t kNumTemps = 1;
+    LocationSummary* locs = new LocationSummary(kNumInputs, kNumTemps);
+    locs->set_in(0, Location::RequiresRegister());
+    locs->set_in(1, Location::RequiresRegister());
+    locs->set_temp(0, Location::RequiresRegister());
+    locs->set_out(Location::RequiresRegister());
+    return locs;
+  } else {
+    const intptr_t kNumTemps = 0;
+    LocationSummary* locs = new LocationSummary(kNumInputs, kNumTemps);
+    locs->set_in(0, Location::RequiresRegister());
+    locs->set_in(1, Location::RequiresRegister());
+    locs->set_out(Location::RegisterLocation(RAX));
+    return locs;
+  }
 }
 
 
 void EqualityCompareComp::EmitNativeCode(FlowGraphCompiler* compiler) {
+  const Bool& bool_true = Bool::ZoneHandle(Bool::True());
+  const Bool& bool_false = Bool::ZoneHandle(Bool::False());
+  if (operands_class_id() == kObject) {
+    Register left = locs()->in(0).reg();
+    Register right = locs()->in(1).reg();
+    Register result = locs()->out().reg();
+    const Immediate raw_null =
+        Immediate(reinterpret_cast<intptr_t>(Object::null()));
+    // Inline null comparison.
+    __ cmpq(left, raw_null);
+    Label not_null, done, is_true;
+    __ j(NOT_EQUAL, &not_null, Assembler::kNearJump);
+    __ cmpq(left, right);
+    __ j(EQUAL, &is_true, Assembler::kNearJump);
+    __ LoadObject(result, bool_false);
+    __ jmp(&done, Assembler::kNearJump);
+    __ Bind(&is_true);
+    __ LoadObject(result, bool_true);
+    __ jmp(&done, Assembler::kNearJump);
+
+    __ Bind(&not_null);
+    __ pushq(left);
+    __ pushq(right);
+    compiler->AddCurrentDescriptor(PcDescriptors::kDeopt,
+                                   cid(),
+                                   token_index(),
+                                   try_index());
+    const String& operator_name = String::ZoneHandle(String::NewSymbol("=="));
+    const int kNumberOfArguments = 2;
+    const Array& kNoArgumentNames = Array::Handle();
+    const int kNumArgumentsChecked = 2;
+
+    compiler->GenerateInstanceCall(cid(),
+                                   token_index(),
+                                   try_index(),
+                                   operator_name,
+                                   kNumberOfArguments,
+                                   kNoArgumentNames,
+                                   kNumArgumentsChecked);
+    ASSERT(locs()->out().reg() == RAX);
+    __ Bind(&done);
+    return;
+  }
+  if (operands_class_id() == kSmi) {
+    // TODO(srdjan): Should we always include NULL test (common case)?
+    Register left = locs()->in(0).reg();
+    Register right = locs()->in(1).reg();
+    Register result = locs()->out().reg();
+    Register temp = locs()->temp(0).reg();
+    Label* deopt = compiler->AddDeoptStub(cid(),
+                                          token_index(),
+                                          try_index(),
+                                          kDeoptSmiCompareSmis,
+                                          left,
+                                          right);
+    __ movq(temp, left);
+    __ orq(temp, right);
+    __ testq(temp, Immediate(kSmiTagMask));
+    __ j(NOT_ZERO, deopt);
+    __ cmpq(left, right);
+    Label load_true, done;
+    __ j(EQUAL, &load_true, Assembler::kNearJump);
+    __ LoadObject(result, bool_false);
+    __ jmp(&done, Assembler::kNearJump);
+    __ Bind(&load_true);
+    __ LoadObject(result, bool_true);
+    __ Bind(&done);
+    return;
+  }
+  UNIMPLEMENTED();
   Register left = locs()->in(0).reg();

[Vyacheslav Egorov (Google), 2012/06/13 09:02:27]

Please remove dead code.

[srdjan, 2012/06/13 18:34:24]

Done.

   Register right = locs()->in(1).reg();
   Register result = locs()->out().reg();
   ASSERT(locs()->out().reg() == RAX);
 
-  const Bool& bool_true = Bool::ZoneHandle(Bool::True());
-  const Bool& bool_false = Bool::ZoneHandle(Bool::False());
   const Immediate raw_null =
       Immediate(reinterpret_cast<intptr_t>(Object::null()));
   Label done, load_true, non_null_compare;
 
   __ cmpq(left, raw_null);
   __ j(NOT_EQUAL, &non_null_compare, Assembler::kNearJump);
   // Comparison with NULL is "===".
   __ cmpq(left, right);
   __ j(EQUAL, &load_true, Assembler::kNearJump);
   __ LoadObject(result, bool_false);
@@ skipping 1160 matching lines @@
   } else {
     UNREACHABLE();
   }
 }
 
 }  // namespace dart
 
 #undef __
 
 #endif  // defined TARGET_ARCH_X64