Reland "Add DoubleTestOp instruction"

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 234 matching lines @@
                               RawObject** FP,
                               RawObject** result) {
     RawObject** args = FrameArguments(FP, 1);
     RawDouble* d = static_cast<RawDouble*>(args[0]);
     *result = isnan(d->ptr()->value_)
             ? Bool::True().raw()
             : Bool::False().raw();
     return true;
   }
 
+  static bool Double_getIsInfinite(Thread* thread,
+                                   RawObject** FP,
+                                   RawObject** result) {
+    RawObject** args = FrameArguments(FP, 1);
+    RawDouble* d = static_cast<RawDouble*>(args[0]);
+    *result = isinf(d->ptr()->value_)
+            ? Bool::True().raw()
+            : Bool::False().raw();
+    return true;
+  }
+
   static bool ObjectEquals(Thread* thread,
                            RawObject** FP,
                            RawObject** result) {
     RawObject** args = FrameArguments(FP, 2);
     *result = args[0] == args[1] ? Bool::True().raw() : Bool::False().raw();
     return true;
   }
 
   static bool ObjectRuntimeType(Thread* thread,
                                 RawObject** FP,
@@ skipping 212 matching lines @@
       SimulatorHelpers::GrowableArraySetIndexed;
   intrinsics_[kGrowableArrayGetIndexedIntrinsic] =
       SimulatorHelpers::GrowableArrayGetIndexed;
   intrinsics_[kObjectEqualsIntrinsic] =
       SimulatorHelpers::ObjectEquals;
   intrinsics_[kObjectRuntimeTypeIntrinsic] =
       SimulatorHelpers::ObjectRuntimeType;
 
   intrinsics_[kDouble_getIsNaNIntrinsic] =
       SimulatorHelpers::Double_getIsNan;
+  intrinsics_[kDouble_getIsInfiniteIntrinsic] =
+      SimulatorHelpers::Double_getIsInfinite;
   intrinsics_[kDouble_addIntrinsic] =
       SimulatorHelpers::Double_add;
   intrinsics_[kDouble_mulIntrinsic] =
       SimulatorHelpers::Double_mul;
   intrinsics_[kDouble_subIntrinsic] =
       SimulatorHelpers::Double_sub;
   intrinsics_[kDouble_divIntrinsic] =
       SimulatorHelpers::Double_div;
   intrinsics_[kDouble_greaterThanIntrinsic] =
       SimulatorHelpers::Double_greaterThan;
@@ skipping 1712 matching lines @@
 
   {
     BYTECODE(FloatToDouble, A_D);
     const float valuef = *reinterpret_cast<float*>(&FP[rD]);
     const double value = static_cast<double>(valuef);
     FP[rA] = bit_cast<RawObject*, double>(value);
     DISPATCH();
   }
 
   {
+    BYTECODE(DoubleIsNaN, A_D);
+    const double v = bit_cast<double, RawObject*>(FP[rD]);
+    FP[rA] = isnan(v) ? true_value : false_value;
+    DISPATCH();
+  }
+
+  {
+    BYTECODE(DoubleIsInfinite, A_D);
+    const double v = bit_cast<double, RawObject*>(FP[rD]);
+    FP[rA] = isinf(v) ? true_value : false_value;
+    DISPATCH();
+  }
+
+  {
     BYTECODE(LoadIndexedFloat32, A_B_C);
     uint8_t* data = SimulatorHelpers::GetTypedData(FP[rB], FP[rC]);
     const uint32_t value = *reinterpret_cast<uint32_t*>(data);
     const uint64_t value64 = value;
     FP[rA] = reinterpret_cast<RawObject*>(value64);
     DISPATCH();
   }
 
   {
     BYTECODE(LoadIndexed4Float32, A_B_C);
@@ skipping 211 matching lines @@
     DISPATCH();
   }
 
   {
     BYTECODE(FloatToDouble, A_D);
     UNREACHABLE();
     DISPATCH();
   }
 
   {
+    BYTECODE(DoubleIsNaN, A_D);
+    UNREACHABLE();
+    DISPATCH();
+  }
+
+  {
+    BYTECODE(DoubleIsInfinite, A_D);
+    UNREACHABLE();
+    DISPATCH();
+  }
+
+  {
     BYTECODE(LoadIndexedFloat32, A_B_C);
     UNREACHABLE();
     DISPATCH();
   }
 
   {
     BYTECODE(LoadIndexed4Float32, A_B_C);
     UNREACHABLE();
     DISPATCH();
   }
@@ skipping 1239 matching lines @@
   pc_ = pc;
   special_[kExceptionSpecialIndex] = raw_exception;
   special_[kStacktraceSpecialIndex] = raw_stacktrace;
   buf->Longjmp();
   UNREACHABLE();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_DBC