DBC: Misc double instructions

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 170 matching lines @@
 //    instruction (which implements a slow path fallback).
 //
 //  - Add, Sub, Mul, Div, Mod, Shl, Shr rA, rB, rC
 //
 //    Arithmetic operations on Smis. FP[rA] <- FP[rB] op FP[rC].
 //    If these instructions can trigger a deoptimization, the following
 //    instruction should be Deopt. If no deoptimization should be triggered,
 //    the immediately following instruction is skipped. These instructions
 //    expect their operands to be Smis, but don't check that they are.
 //
+//  - Min, Max rA, rB, rC
+//
+//    FP[rA] <- {min, max}(FP[rB], FP[rC]). Assumes that FP[rB], and FP[rC] are
+//    Smis.
+//
 //  - DAdd, DSub, DMul, DDiv rA, rB, rC
 //
 //    Arithmetic operaions on unboxed doubles. FP[rA] <- FP[rB] op FP[rC].
 //
 //  - Neg rA , rD
 //
 //    FP[rA] <- -FP[rD]. Assumes FP[rD] is a Smi. If there is no overflow the
 //    immediately following instruction is skipped.
 //
 //  - DNeg rA, rD
 //
 //    FP[rA] <- -FP[rD]. Assumes FP[rD] is an unboxed double.
 //
+//  - DSqrt rA, rD
+//
+//    FP[rA] <- sqrt(FP[rD]). Assumes FP[rD] is an unboxed double.
+//
+//  - DMin, DMax rA, rB, rC
+//
+//    FP[rA] <- {min, max}(FP[rB], FP[rC]). Assumes FP[rB] and FP[rC] are
+//    unboxed doubles.
+//
 //  - 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
 //
 //    Box the double in FP[rD] with the result in FP[rA].
 //
 //  - UnboxDouble rA, rD
 //
 //    Unbox the double in FP[rD] into FP[rA]. Assumes FP[rD] is a double.
 //
 //  - CheckedUnboxDouble rA, rD
 //
 //    Unboxes FP[rD] into FP[rA] and skips the following instruction unless
 //    FP[rD] is not a double or a Smi. When FP[rD] is a Smi, converts it to a
 //    double.
 //
 //  - SmiToDouble rA, rD
 //
 //    Convert the Smi in FP[rD] to an unboxed double in FP[rA].
 //
+//  - DoubleToSmi rA, rD
+//
+//    If the unboxed double in FP[rD] can be converted to a Smi in FP[rA], then
+//    this instruction does so, and skips the following instruction. Otherwise,
+//    the following instruction is not skipped.
+//
 //  - StoreStaticT`OS D
 //
 //    Stores TOS into the static field PP[D].
 //
 //  - PushStatic
 //
 //    Pushes value of the static field PP[D] on to the stack.
 //
 //  - InitStaticTOS
 //
@@ skipping 315 matching lines @@
   V(Mul,                         A_B_C, reg, reg, reg) \
   V(Div,                         A_B_C, reg, reg, reg) \
   V(Mod,                         A_B_C, reg, reg, reg) \
   V(Shl,                         A_B_C, reg, reg, reg) \
   V(Shr,                         A_B_C, reg, reg, reg) \
   V(Neg,                           A_D, reg, reg, ___) \
   V(BitOr,                       A_B_C, reg, reg, reg) \
   V(BitAnd,                      A_B_C, reg, reg, reg) \
   V(BitXor,                      A_B_C, reg, reg, reg) \
   V(BitNot,                        A_D, reg, reg, ___) \
+  V(Min,                         A_B_C, reg, reg, reg) \
+  V(Max,                         A_B_C, reg, reg, reg) \
   V(WriteIntoDouble,               A_D, reg, reg, ___) \
   V(UnboxDouble,                   A_D, reg, reg, ___) \
   V(CheckedUnboxDouble,            A_D, reg, reg, ___) \
   V(SmiToDouble,                   A_D, reg, reg, ___) \
+  V(DoubleToSmi,                   A_D, reg, reg, ___) \
   V(DAdd,                        A_B_C, reg, reg, reg) \
   V(DSub,                        A_B_C, reg, reg, reg) \
   V(DMul,                        A_B_C, reg, reg, reg) \
   V(DDiv,                        A_B_C, reg, reg, reg) \
   V(DNeg,                          A_D, reg, reg, ___) \
+  V(DSqrt,                         A_D, reg, reg, ___) \
+  V(DMin,                        A_B_C, reg, reg, reg) \
+  V(DMax,                        A_B_C, reg, 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 167 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_