Introduce an equality compare node. Equality will need to be handled specially soon (not just an in…

runtime/vm/flow_graph_compiler_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/flow_graph_compiler.h"
 
 #include "vm/ast_printer.h"
@@ skipping 219 matching lines @@
                    comp->function_name(),
                    comp->ArgumentCount(),
                    comp->argument_names(),
                    comp->checked_argument_count());
 }
 
 
 void FlowGraphCompiler::VisitStrictCompare(StrictCompareComp* comp) {
   const Bool& bool_true = Bool::ZoneHandle(Bool::True());
   const Bool& bool_false = Bool::ZoneHandle(Bool::False());
+  LoadValue(RDX, comp->right());
   LoadValue(RAX, comp->left());
-  LoadValue(RDX, comp->right());
   __ cmpq(RAX, RDX);
   Label load_true, done;
   if (comp->kind() == Token::kEQ_STRICT) {
     __ j(EQUAL, &load_true, Assembler::kNearJump);
   } else {
     __ j(NOT_EQUAL, &load_true, Assembler::kNearJump);
   }
   __ LoadObject(RAX, bool_false);
   __ jmp(&done, Assembler::kNearJump);
   __ Bind(&load_true);
   __ LoadObject(RAX, bool_true);
   __ Bind(&done);
 }
 
 
+void FlowGraphCompiler::VisitEqualityCompare(EqualityCompareComp* comp) {
+  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;
+  LoadValue(RDX, comp->right());
+  LoadValue(RAX, comp->left());
+  __ cmpq(RAX, raw_null);
+  __ j(NOT_EQUAL, &non_null_compare, Assembler::kNearJump);
+  // Comparison with NULL is "===".
+  __ cmpq(RAX, RDX);
+  __ j(EQUAL, &load_true, Assembler::kNearJump);
+  __ LoadObject(RAX, bool_false);
+  __ jmp(&done, Assembler::kNearJump);
+  __ Bind(&load_true);
+  __ LoadObject(RAX, bool_true);
+  __ jmp(&done);
+
+  __ Bind(&non_null_compare);
+  __ pushq(RAX);
+  __ pushq(RDX);
+  const String& operator_name = String::ZoneHandle(String::NewSymbol("=="));
+  const int kNumberOfArguments = 2;
+  const Array& kNoArgumentNames = Array::Handle();
+  const int kNumArgumentsChecked = 1;
+
+  EmitInstanceCall(comp->node_id(),
+                   comp->token_index(),
+                   comp->try_index(),
+                   operator_name,
+                   kNumberOfArguments,
+                   kNoArgumentNames,
+                   kNumArgumentsChecked);
+  __ Bind(&done);
+}
+
+
 void FlowGraphCompiler::VisitStaticCall(StaticCallComp* comp) {
   ASSERT(VerifyCallComputation(comp));
   EmitStaticCall(comp->token_index(),
                  comp->try_index(),
                  comp->function(),
                  comp->ArgumentCount(),
                  comp->argument_names());
 }
 
 
@@ skipping 1086 matching lines @@
   ASSERT(exception_handlers_list_ != NULL);
   const ExceptionHandlers& handlers = ExceptionHandlers::Handle(
       exception_handlers_list_->FinalizeExceptionHandlers(code.EntryPoint()));
   code.set_exception_handlers(handlers);
 }
 
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_X64