DBC: Adds UnarySmiOp instruction, etc.

runtime/vm/simulator_dbc.cc

 // Copyright (c) 2016, 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 <setjmp.h>  // NOLINT
 #include <stdlib.h>
 
 #include "vm/globals.h"
 #if defined(TARGET_ARCH_DBC)
 
@@ skipping 1562 matching lines @@
     BYTECODE(Sub, A_B_C);
     SMI_OP_CHECK(intptr_t, SignedSubWithOverflow);
     DISPATCH();
   }
   {
     BYTECODE(Mul, A_B_C);
     SMI_OP_CHECK(intptr_t, SMI_MUL);
     DISPATCH();
   }
   {
+    BYTECODE(Neg, A_D);
+    const intptr_t value = reinterpret_cast<intptr_t>(FP[rD]);
+    intptr_t* out = reinterpret_cast<intptr_t*>(&FP[rA]);
+    if (LIKELY(!SignedSubWithOverflow(0, value, out))) {
+      pc++;
+    }
+    DISPATCH();
+  }
+  {
     BYTECODE(BitOr, A_B_C);
     SMI_OP_NOCHECK(intptr_t, SMI_BITOR);
     DISPATCH();
   }
   {
     BYTECODE(BitAnd, A_B_C);
     SMI_OP_NOCHECK(intptr_t, SMI_BITAND);
     DISPATCH();
   }
   {
     BYTECODE(BitXor, A_B_C);
     SMI_OP_NOCHECK(intptr_t, SMI_BITXOR);
     DISPATCH();
   }
+  {
+    BYTECODE(BitNot, A_D);
+    const intptr_t value = reinterpret_cast<intptr_t>(FP[rD]);
+    *reinterpret_cast<intptr_t*>(&FP[rA]) = ~value & (~kSmiTagMask);
+    DISPATCH();
+  }
 
   {
     BYTECODE(Div, A_B_C);
     const intptr_t rhs = reinterpret_cast<intptr_t>(FP[rC]);
     if (rhs != 0) {
       const intptr_t lhs = reinterpret_cast<intptr_t>(FP[rB]);
       const intptr_t res = (lhs >> kSmiTagSize) / (rhs >> kSmiTagSize);
 #if defined(ARCH_IS_64_BIT)
       const intptr_t untaggable = 0x4000000000000000LL;
 #else
@@ skipping 235 matching lines @@
     BYTECODE(AssertAssignable, A_D);  // Stack: instance, type args, type, name
     RawObject** args = SP - 3;
     if (args[0] != null_value) {
       const AbstractType& dst_type =
           AbstractType::Handle(static_cast<RawAbstractType*>(args[2]));
       if (dst_type.IsMalformedOrMalbounded()) {
         SP[1] = args[0];  // instance.
         SP[2] = args[3];  // name.
         SP[3] = args[2];  // type.
         Exit(thread, FP, SP + 4, pc);
-        NativeArguments args(thread, 3, SP + 1, SP - 3);
-        INVOKE_RUNTIME(DRT_BadTypeError, args);
+        NativeArguments native_args(thread, 3, SP + 1, SP - 3);
+        INVOKE_RUNTIME(DRT_BadTypeError, native_args);
         UNREACHABLE();
       }
 
       RawSubtypeTestCache* cache =
           static_cast<RawSubtypeTestCache*>(LOAD_CONSTANT(rD));
       if (cache != null_value) {
         RawInstance* instance = static_cast<RawInstance*>(args[0]);
         RawTypeArguments* instantiator_type_arguments =
             static_cast<RawTypeArguments*>(args[1]);
 
@@ skipping 39 matching lines @@
         }
       }
 
     AssertAssignableCallRuntime:
       SP[1] = args[0];  // instance
       SP[2] = args[2];  // type
       SP[3] = args[1];  // type args
       SP[4] = args[3];  // name
       SP[5] = cache;
       Exit(thread, FP, SP + 6, pc);
-      NativeArguments args(thread, 5, SP + 1, SP - 3);
-      INVOKE_RUNTIME(DRT_TypeCheck, args);
+      NativeArguments native_args(thread, 5, SP + 1, SP - 3);
+      INVOKE_RUNTIME(DRT_TypeCheck, native_args);
     }
 
   AssertAssignableOk:
     SP -= 3;
     DISPATCH();
   }
 
   {
     BYTECODE(AssertBoolean, A);
     RawObject* value = SP[0];
@@ skipping 20 matching lines @@
   {
     BYTECODE(CheckSmi, 0);
     intptr_t obj = reinterpret_cast<intptr_t>(FP[rA]);
     if ((obj & kSmiTagMask) == kSmiTag) {
       pc++;
     }
     DISPATCH();
   }
 
   {
+    BYTECODE(CheckClassId, A_D);
+    const RawSmi* actual_cid =
+        SimulatorHelpers::GetClassIdAsSmi(static_cast<RawObject*>(FP[rA]));
+    const RawSmi* desired_cid = RAW_CAST(Smi, LOAD_CONSTANT(rD));
+    if (actual_cid == desired_cid) {
+      pc++;
+    }
+    DISPATCH();
+  }
+
+  {
     BYTECODE(IfEqStrictTOS, 0);
     SP -= 2;
     if (SP[1] != SP[2]) {
       pc++;
     }
     DISPATCH();
   }
 
   {
     BYTECODE(IfNeStrictTOS, 0);
@@ skipping 299 matching lines @@
   special_[kExceptionSpecialIndex] = raw_exception;
   special_[kStacktraceSpecialIndex] = raw_stacktrace;
   buf->Longjmp();
   UNREACHABLE();
 }
 
 }  // namespace dart
 
 
 #endif  // defined TARGET_ARCH_DBC