Reland "Add DoubleTestOp instruction"

runtime/vm/constants_dbc.h

 // 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.
 
 #ifndef VM_CONSTANTS_DBC_H_
 #define VM_CONSTANTS_DBC_H_
 
 #include "platform/globals.h"
 #include "platform/assert.h"
 #include "platform/utils.h"
@@ skipping 212 matching lines @@
 //  - DTruncate, DFloor, DCeil rA, rD
 //
 //    Applies trunc(), floor(), or ceil() to the unboxed double in FP[rD], and
 //    stores the result in FP[rA].
 //
 //  - DoubleToFloat, FloatToDouble rA, rD
 //
 //    Convert the unboxed float or double in FP[rD] as indicated, and store the
 //    result in FP[rA].
 //
+//  - DoubleIsNaN rA, rD
+//
+//    If the unboxed double in FP[rD] is a NaN, then writes Bool::True().raw()
+//    into FP[rA], and Bool::False().raw() otherwise.
+//
+//  - DoubleIsInfinite rA, rD
+//
+//    If the unboxed double in FP[rD] is + or - infinity, then
+//    writes Bool::True().raw() into FP[rA], and Bool::False().raw() otherwise.
+//
 //  - BitOr, BitAnd, BitXor rA, rB, rC
 //
 //    FP[rA] <- FP[rB] op FP[rC]. These instructions expect their operands to be
 //    Smis, but don't check that they are.
 //
 //  - BitNot rA, rD
 //
 //    FP[rA] <- ~FP[rD]. As above, assumes FP[rD] is a Smi.
 //
 //  - WriteIntoDouble rA, rD
@@ skipping 469 matching lines @@
   V(DMax,                        A_B_C, reg, reg, reg) \
   V(DCos,                          A_D, reg, reg, ___) \
   V(DSin,                          A_D, reg, reg, ___) \
   V(DPow,                        A_B_C, reg, reg, reg) \
   V(DMod,                        A_B_C, reg, reg, reg) \
   V(DTruncate,                     A_D, reg, reg, ___) \
   V(DFloor,                        A_D, reg, reg, ___) \
   V(DCeil,                         A_D, reg, reg, ___) \
   V(DoubleToFloat,                 A_D, reg, reg, ___) \
   V(FloatToDouble,                 A_D, reg, reg, ___) \
+  V(DoubleIsNaN,                   A_D, reg, reg, ___) \
+  V(DoubleIsInfinite,              A_D, reg, reg, ___) \
   V(StoreStaticTOS,                  D, lit, ___, ___) \
   V(PushStatic,                      D, lit, ___, ___) \
   V(InitStaticTOS,                   0, ___, ___, ___) \
   V(IfNeStrictTOS,                   0, ___, ___, ___) \
   V(IfEqStrictTOS,                   0, ___, ___, ___) \
   V(IfNeStrictNumTOS,                0, ___, ___, ___) \
   V(IfEqStrictNumTOS,                0, ___, ___, ___) \
   V(IfNeStrict,                    A_D, reg, reg, ___) \
   V(IfEqStrict,                    A_D, reg, reg, ___) \
   V(IfLe,                          A_D, reg, reg, ___) \
@@ skipping 216 matching lines @@
 
 // After a comparison, the condition NEXT_IS_TRUE means the following
 // instruction is executed if the comparision is true and skipped over overwise.
 // Conidition NEXT_IS_FALSE means the following instruction is executed if the
 // comparison is false and skipped over otherwise.
 enum Condition { NEXT_IS_TRUE, NEXT_IS_FALSE };
 
 }  // namespace dart
 
 #endif  // VM_CONSTANTS_DBC_H_