vfp.hh revision 8737
17375Sgblack@eecs.umich.edu/*
27375Sgblack@eecs.umich.edu * Copyright (c) 2010 ARM Limited
37375Sgblack@eecs.umich.edu * All rights reserved
47375Sgblack@eecs.umich.edu *
57375Sgblack@eecs.umich.edu * The license below extends only to copyright in the software and shall
67375Sgblack@eecs.umich.edu * not be construed as granting a license to any other intellectual
77375Sgblack@eecs.umich.edu * property including but not limited to intellectual property relating
87375Sgblack@eecs.umich.edu * to a hardware implementation of the functionality of the software
97375Sgblack@eecs.umich.edu * licensed hereunder.  You may use the software subject to the license
107375Sgblack@eecs.umich.edu * terms below provided that you ensure that this notice is replicated
117375Sgblack@eecs.umich.edu * unmodified and in its entirety in all distributions of the software,
127375Sgblack@eecs.umich.edu * modified or unmodified, in source code or in binary form.
137375Sgblack@eecs.umich.edu *
147375Sgblack@eecs.umich.edu * Redistribution and use in source and binary forms, with or without
157375Sgblack@eecs.umich.edu * modification, are permitted provided that the following conditions are
167375Sgblack@eecs.umich.edu * met: redistributions of source code must retain the above copyright
177375Sgblack@eecs.umich.edu * notice, this list of conditions and the following disclaimer;
187375Sgblack@eecs.umich.edu * redistributions in binary form must reproduce the above copyright
197375Sgblack@eecs.umich.edu * notice, this list of conditions and the following disclaimer in the
207375Sgblack@eecs.umich.edu * documentation and/or other materials provided with the distribution;
217375Sgblack@eecs.umich.edu * neither the name of the copyright holders nor the names of its
227375Sgblack@eecs.umich.edu * contributors may be used to endorse or promote products derived from
237375Sgblack@eecs.umich.edu * this software without specific prior written permission.
247375Sgblack@eecs.umich.edu *
257375Sgblack@eecs.umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
267375Sgblack@eecs.umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
277375Sgblack@eecs.umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
287375Sgblack@eecs.umich.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
297375Sgblack@eecs.umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
307375Sgblack@eecs.umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
317375Sgblack@eecs.umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
327375Sgblack@eecs.umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
337375Sgblack@eecs.umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
347375Sgblack@eecs.umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
357375Sgblack@eecs.umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
367375Sgblack@eecs.umich.edu *
377375Sgblack@eecs.umich.edu * Authors: Gabe Black
387375Sgblack@eecs.umich.edu */
397375Sgblack@eecs.umich.edu
407375Sgblack@eecs.umich.edu#ifndef __ARCH_ARM_INSTS_VFP_HH__
417375Sgblack@eecs.umich.edu#define __ARCH_ARM_INSTS_VFP_HH__
427375Sgblack@eecs.umich.edu
438229Snate@binkert.org#include <fenv.h>
448229Snate@binkert.org
458229Snate@binkert.org#include <cmath>
468229Snate@binkert.org
477375Sgblack@eecs.umich.edu#include "arch/arm/insts/misc.hh"
487378Sgblack@eecs.umich.edu#include "arch/arm/miscregs.hh"
497375Sgblack@eecs.umich.edu
507384Sgblack@eecs.umich.edunamespace ArmISA
517384Sgblack@eecs.umich.edu{
527384Sgblack@eecs.umich.edu
537375Sgblack@eecs.umich.eduenum VfpMicroMode {
547375Sgblack@eecs.umich.edu    VfpNotAMicroop,
557375Sgblack@eecs.umich.edu    VfpMicroop,
567375Sgblack@eecs.umich.edu    VfpFirstMicroop,
577375Sgblack@eecs.umich.edu    VfpLastMicroop
587375Sgblack@eecs.umich.edu};
597375Sgblack@eecs.umich.edu
607375Sgblack@eecs.umich.edutemplate<class T>
617375Sgblack@eecs.umich.edustatic inline void
627375Sgblack@eecs.umich.edusetVfpMicroFlags(VfpMicroMode mode, T &flags)
637375Sgblack@eecs.umich.edu{
647375Sgblack@eecs.umich.edu    switch (mode) {
657375Sgblack@eecs.umich.edu      case VfpMicroop:
667375Sgblack@eecs.umich.edu        flags[StaticInst::IsMicroop] = true;
677375Sgblack@eecs.umich.edu        break;
687375Sgblack@eecs.umich.edu      case VfpFirstMicroop:
697375Sgblack@eecs.umich.edu        flags[StaticInst::IsMicroop] =
707375Sgblack@eecs.umich.edu            flags[StaticInst::IsFirstMicroop] = true;
717375Sgblack@eecs.umich.edu        break;
727375Sgblack@eecs.umich.edu      case VfpLastMicroop:
737375Sgblack@eecs.umich.edu        flags[StaticInst::IsMicroop] =
747375Sgblack@eecs.umich.edu            flags[StaticInst::IsLastMicroop] = true;
757375Sgblack@eecs.umich.edu        break;
767375Sgblack@eecs.umich.edu      case VfpNotAMicroop:
777375Sgblack@eecs.umich.edu        break;
787375Sgblack@eecs.umich.edu    }
797376Sgblack@eecs.umich.edu    if (mode == VfpMicroop || mode == VfpFirstMicroop) {
807376Sgblack@eecs.umich.edu        flags[StaticInst::IsDelayedCommit] = true;
817376Sgblack@eecs.umich.edu    }
827375Sgblack@eecs.umich.edu}
837375Sgblack@eecs.umich.edu
847378Sgblack@eecs.umich.eduenum FeExceptionBit
857378Sgblack@eecs.umich.edu{
867378Sgblack@eecs.umich.edu    FeDivByZero = FE_DIVBYZERO,
877378Sgblack@eecs.umich.edu    FeInexact = FE_INEXACT,
887378Sgblack@eecs.umich.edu    FeInvalid = FE_INVALID,
897378Sgblack@eecs.umich.edu    FeOverflow = FE_OVERFLOW,
907378Sgblack@eecs.umich.edu    FeUnderflow = FE_UNDERFLOW,
917378Sgblack@eecs.umich.edu    FeAllExceptions = FE_ALL_EXCEPT
927378Sgblack@eecs.umich.edu};
937378Sgblack@eecs.umich.edu
947378Sgblack@eecs.umich.eduenum FeRoundingMode
957378Sgblack@eecs.umich.edu{
967378Sgblack@eecs.umich.edu    FeRoundDown = FE_DOWNWARD,
977378Sgblack@eecs.umich.edu    FeRoundNearest = FE_TONEAREST,
987378Sgblack@eecs.umich.edu    FeRoundZero = FE_TOWARDZERO,
997378Sgblack@eecs.umich.edu    FeRoundUpward = FE_UPWARD
1007378Sgblack@eecs.umich.edu};
1017378Sgblack@eecs.umich.edu
1027378Sgblack@eecs.umich.eduenum VfpRoundingMode
1037378Sgblack@eecs.umich.edu{
1047378Sgblack@eecs.umich.edu    VfpRoundNearest = 0,
1057378Sgblack@eecs.umich.edu    VfpRoundUpward = 1,
1067378Sgblack@eecs.umich.edu    VfpRoundDown = 2,
1077378Sgblack@eecs.umich.edu    VfpRoundZero = 3
1087378Sgblack@eecs.umich.edu};
1097378Sgblack@eecs.umich.edu
1108737Skoansin.tan@gmail.comstatic inline float bitsToFp(uint64_t, float);
1118737Skoansin.tan@gmail.comstatic inline uint32_t fpToBits(float);
1128737Skoansin.tan@gmail.com
1137382Sgblack@eecs.umich.edutemplate <class fpType>
1147396Sgblack@eecs.umich.edustatic inline bool
1157396Sgblack@eecs.umich.eduflushToZero(fpType &op)
1167396Sgblack@eecs.umich.edu{
1177396Sgblack@eecs.umich.edu    fpType junk = 0.0;
1187396Sgblack@eecs.umich.edu    if (std::fpclassify(op) == FP_SUBNORMAL) {
1197396Sgblack@eecs.umich.edu        uint64_t bitMask = ULL(0x1) << (sizeof(fpType) * 8 - 1);
1207396Sgblack@eecs.umich.edu        op = bitsToFp(fpToBits(op) & bitMask, junk);
1217396Sgblack@eecs.umich.edu        return true;
1227396Sgblack@eecs.umich.edu    }
1237396Sgblack@eecs.umich.edu    return false;
1247396Sgblack@eecs.umich.edu}
1257396Sgblack@eecs.umich.edu
1267396Sgblack@eecs.umich.edutemplate <class fpType>
1277396Sgblack@eecs.umich.edustatic inline bool
1287396Sgblack@eecs.umich.eduflushToZero(fpType &op1, fpType &op2)
1297396Sgblack@eecs.umich.edu{
1307396Sgblack@eecs.umich.edu    bool flush1 = flushToZero(op1);
1317396Sgblack@eecs.umich.edu    bool flush2 = flushToZero(op2);
1327396Sgblack@eecs.umich.edu    return flush1 || flush2;
1337396Sgblack@eecs.umich.edu}
1347396Sgblack@eecs.umich.edu
1357397Sgblack@eecs.umich.edutemplate <class fpType>
1367397Sgblack@eecs.umich.edustatic inline void
1377397Sgblack@eecs.umich.eduvfpFlushToZero(FPSCR &fpscr, fpType &op)
1387397Sgblack@eecs.umich.edu{
1397397Sgblack@eecs.umich.edu    if (fpscr.fz == 1 && flushToZero(op)) {
1407397Sgblack@eecs.umich.edu        fpscr.idc = 1;
1417397Sgblack@eecs.umich.edu    }
1427397Sgblack@eecs.umich.edu}
1437397Sgblack@eecs.umich.edu
1447397Sgblack@eecs.umich.edutemplate <class fpType>
1457397Sgblack@eecs.umich.edustatic inline void
1467397Sgblack@eecs.umich.eduvfpFlushToZero(FPSCR &fpscr, fpType &op1, fpType &op2)
1477397Sgblack@eecs.umich.edu{
1487397Sgblack@eecs.umich.edu    vfpFlushToZero(fpscr, op1);
1497397Sgblack@eecs.umich.edu    vfpFlushToZero(fpscr, op2);
1507397Sgblack@eecs.umich.edu}
1517397Sgblack@eecs.umich.edu
1527384Sgblack@eecs.umich.edustatic inline uint32_t
1537384Sgblack@eecs.umich.edufpToBits(float fp)
1547384Sgblack@eecs.umich.edu{
1557384Sgblack@eecs.umich.edu    union
1567384Sgblack@eecs.umich.edu    {
1577384Sgblack@eecs.umich.edu        float fp;
1587384Sgblack@eecs.umich.edu        uint32_t bits;
1597384Sgblack@eecs.umich.edu    } val;
1607384Sgblack@eecs.umich.edu    val.fp = fp;
1617384Sgblack@eecs.umich.edu    return val.bits;
1627384Sgblack@eecs.umich.edu}
1637384Sgblack@eecs.umich.edu
1647384Sgblack@eecs.umich.edustatic inline uint64_t
1657384Sgblack@eecs.umich.edufpToBits(double fp)
1667384Sgblack@eecs.umich.edu{
1677384Sgblack@eecs.umich.edu    union
1687384Sgblack@eecs.umich.edu    {
1697384Sgblack@eecs.umich.edu        double fp;
1707384Sgblack@eecs.umich.edu        uint64_t bits;
1717384Sgblack@eecs.umich.edu    } val;
1727384Sgblack@eecs.umich.edu    val.fp = fp;
1737384Sgblack@eecs.umich.edu    return val.bits;
1747384Sgblack@eecs.umich.edu}
1757384Sgblack@eecs.umich.edu
1767384Sgblack@eecs.umich.edustatic inline float
1777384Sgblack@eecs.umich.edubitsToFp(uint64_t bits, float junk)
1787384Sgblack@eecs.umich.edu{
1797384Sgblack@eecs.umich.edu    union
1807384Sgblack@eecs.umich.edu    {
1817384Sgblack@eecs.umich.edu        float fp;
1827384Sgblack@eecs.umich.edu        uint32_t bits;
1837384Sgblack@eecs.umich.edu    } val;
1847384Sgblack@eecs.umich.edu    val.bits = bits;
1857384Sgblack@eecs.umich.edu    return val.fp;
1867384Sgblack@eecs.umich.edu}
1877384Sgblack@eecs.umich.edu
1887384Sgblack@eecs.umich.edustatic inline double
1897384Sgblack@eecs.umich.edubitsToFp(uint64_t bits, double junk)
1907384Sgblack@eecs.umich.edu{
1917384Sgblack@eecs.umich.edu    union
1927384Sgblack@eecs.umich.edu    {
1937384Sgblack@eecs.umich.edu        double fp;
1947384Sgblack@eecs.umich.edu        uint64_t bits;
1957384Sgblack@eecs.umich.edu    } val;
1967384Sgblack@eecs.umich.edu    val.bits = bits;
1977384Sgblack@eecs.umich.edu    return val.fp;
1987384Sgblack@eecs.umich.edu}
1997384Sgblack@eecs.umich.edu
2007639Sgblack@eecs.umich.edutemplate <class fpType>
2017639Sgblack@eecs.umich.edustatic bool
2027639Sgblack@eecs.umich.eduisSnan(fpType val)
2037639Sgblack@eecs.umich.edu{
2047639Sgblack@eecs.umich.edu    const bool single = (sizeof(fpType) == sizeof(float));
2057639Sgblack@eecs.umich.edu    const uint64_t qnan =
2067639Sgblack@eecs.umich.edu        single ? 0x7fc00000 : ULL(0x7ff8000000000000);
2077639Sgblack@eecs.umich.edu    return std::isnan(val) && ((fpToBits(val) & qnan) != qnan);
2087639Sgblack@eecs.umich.edu}
2097639Sgblack@eecs.umich.edu
2107396Sgblack@eecs.umich.edutypedef int VfpSavedState;
2117396Sgblack@eecs.umich.edu
2127430Sgblack@eecs.umich.eduVfpSavedState prepFpState(uint32_t rMode);
2137639Sgblack@eecs.umich.eduvoid finishVfp(FPSCR &fpscr, VfpSavedState state, bool flush);
2147396Sgblack@eecs.umich.edu
2157384Sgblack@eecs.umich.edutemplate <class fpType>
2167430Sgblack@eecs.umich.edufpType fixDest(FPSCR fpscr, fpType val, fpType op1);
2177386Sgblack@eecs.umich.edu
2187386Sgblack@eecs.umich.edutemplate <class fpType>
2197430Sgblack@eecs.umich.edufpType fixDest(FPSCR fpscr, fpType val, fpType op1, fpType op2);
2207384Sgblack@eecs.umich.edu
2217386Sgblack@eecs.umich.edutemplate <class fpType>
2227430Sgblack@eecs.umich.edufpType fixDivDest(FPSCR fpscr, fpType val, fpType op1, fpType op2);
2237386Sgblack@eecs.umich.edu
2247430Sgblack@eecs.umich.edufloat fixFpDFpSDest(FPSCR fpscr, double val);
2257430Sgblack@eecs.umich.edudouble fixFpSFpDDest(FPSCR fpscr, float val);
2267386Sgblack@eecs.umich.edu
2277639Sgblack@eecs.umich.eduuint16_t vcvtFpSFpH(FPSCR &fpscr, bool flush, bool defaultNan,
2287639Sgblack@eecs.umich.edu                    uint32_t rMode, bool ahp, float op);
2297639Sgblack@eecs.umich.edufloat vcvtFpHFpS(FPSCR &fpscr, bool defaultNan, bool ahp, uint16_t op);
2307398Sgblack@eecs.umich.edu
2317396Sgblack@eecs.umich.edustatic inline double
2327396Sgblack@eecs.umich.edumakeDouble(uint32_t low, uint32_t high)
2337396Sgblack@eecs.umich.edu{
2347396Sgblack@eecs.umich.edu    double junk = 0.0;
2357396Sgblack@eecs.umich.edu    return bitsToFp((uint64_t)low | ((uint64_t)high << 32), junk);
2367396Sgblack@eecs.umich.edu}
2377396Sgblack@eecs.umich.edu
2387396Sgblack@eecs.umich.edustatic inline uint32_t
2397396Sgblack@eecs.umich.edulowFromDouble(double val)
2407396Sgblack@eecs.umich.edu{
2417396Sgblack@eecs.umich.edu    return fpToBits(val);
2427396Sgblack@eecs.umich.edu}
2437396Sgblack@eecs.umich.edu
2447396Sgblack@eecs.umich.edustatic inline uint32_t
2457396Sgblack@eecs.umich.eduhighFromDouble(double val)
2467396Sgblack@eecs.umich.edu{
2477396Sgblack@eecs.umich.edu    return fpToBits(val) >> 32;
2487396Sgblack@eecs.umich.edu}
2497396Sgblack@eecs.umich.edu
2507430Sgblack@eecs.umich.eduuint64_t vfpFpSToFixed(float val, bool isSigned, bool half,
2517430Sgblack@eecs.umich.edu                       uint8_t imm, bool rzero = true);
2527639Sgblack@eecs.umich.edufloat vfpUFixedToFpS(bool flush, bool defaultNan,
2537639Sgblack@eecs.umich.edu        uint32_t val, bool half, uint8_t imm);
2547639Sgblack@eecs.umich.edufloat vfpSFixedToFpS(bool flush, bool defaultNan,
2557639Sgblack@eecs.umich.edu        int32_t val, bool half, uint8_t imm);
2567382Sgblack@eecs.umich.edu
2577430Sgblack@eecs.umich.eduuint64_t vfpFpDToFixed(double val, bool isSigned, bool half,
2587430Sgblack@eecs.umich.edu                       uint8_t imm, bool rzero = true);
2597639Sgblack@eecs.umich.edudouble vfpUFixedToFpD(bool flush, bool defaultNan,
2607639Sgblack@eecs.umich.edu        uint32_t val, bool half, uint8_t imm);
2617639Sgblack@eecs.umich.edudouble vfpSFixedToFpD(bool flush, bool defaultNan,
2627639Sgblack@eecs.umich.edu        int32_t val, bool half, uint8_t imm);
2637639Sgblack@eecs.umich.edu
2647639Sgblack@eecs.umich.edufloat fprSqrtEstimate(FPSCR &fpscr, float op);
2657639Sgblack@eecs.umich.eduuint32_t unsignedRSqrtEstimate(uint32_t op);
2667639Sgblack@eecs.umich.edu
2677639Sgblack@eecs.umich.edufloat fpRecipEstimate(FPSCR &fpscr, float op);
2687639Sgblack@eecs.umich.eduuint32_t unsignedRecipEstimate(uint32_t op);
2697379Sgblack@eecs.umich.edu
2707376Sgblack@eecs.umich.educlass VfpMacroOp : public PredMacroOp
2717376Sgblack@eecs.umich.edu{
2727376Sgblack@eecs.umich.edu  public:
2737376Sgblack@eecs.umich.edu    static bool
2747376Sgblack@eecs.umich.edu    inScalarBank(IntRegIndex idx)
2757376Sgblack@eecs.umich.edu    {
2767376Sgblack@eecs.umich.edu        return (idx % 32) < 8;
2777376Sgblack@eecs.umich.edu    }
2787376Sgblack@eecs.umich.edu
2797376Sgblack@eecs.umich.edu  protected:
2807376Sgblack@eecs.umich.edu    bool wide;
2817376Sgblack@eecs.umich.edu
2827376Sgblack@eecs.umich.edu    VfpMacroOp(const char *mnem, ExtMachInst _machInst,
2837376Sgblack@eecs.umich.edu            OpClass __opClass, bool _wide) :
2847376Sgblack@eecs.umich.edu        PredMacroOp(mnem, _machInst, __opClass), wide(_wide)
2857376Sgblack@eecs.umich.edu    {}
2867376Sgblack@eecs.umich.edu
2877430Sgblack@eecs.umich.edu    IntRegIndex addStride(IntRegIndex idx, unsigned stride);
2887430Sgblack@eecs.umich.edu    void nextIdxs(IntRegIndex &dest, IntRegIndex &op1, IntRegIndex &op2);
2897430Sgblack@eecs.umich.edu    void nextIdxs(IntRegIndex &dest, IntRegIndex &op1);
2907430Sgblack@eecs.umich.edu    void nextIdxs(IntRegIndex &dest);
2917376Sgblack@eecs.umich.edu};
2927376Sgblack@eecs.umich.edu
2937396Sgblack@eecs.umich.edustatic inline float
2947396Sgblack@eecs.umich.edufpAddS(float a, float b)
2957396Sgblack@eecs.umich.edu{
2967396Sgblack@eecs.umich.edu    return a + b;
2977396Sgblack@eecs.umich.edu}
2987396Sgblack@eecs.umich.edu
2997396Sgblack@eecs.umich.edustatic inline double
3007396Sgblack@eecs.umich.edufpAddD(double a, double b)
3017396Sgblack@eecs.umich.edu{
3027396Sgblack@eecs.umich.edu    return a + b;
3037396Sgblack@eecs.umich.edu}
3047396Sgblack@eecs.umich.edu
3057396Sgblack@eecs.umich.edustatic inline float
3067396Sgblack@eecs.umich.edufpSubS(float a, float b)
3077396Sgblack@eecs.umich.edu{
3087396Sgblack@eecs.umich.edu    return a - b;
3097396Sgblack@eecs.umich.edu}
3107396Sgblack@eecs.umich.edu
3117396Sgblack@eecs.umich.edustatic inline double
3127396Sgblack@eecs.umich.edufpSubD(double a, double b)
3137396Sgblack@eecs.umich.edu{
3147396Sgblack@eecs.umich.edu    return a - b;
3157396Sgblack@eecs.umich.edu}
3167396Sgblack@eecs.umich.edu
3177396Sgblack@eecs.umich.edustatic inline float
3187396Sgblack@eecs.umich.edufpDivS(float a, float b)
3197396Sgblack@eecs.umich.edu{
3207396Sgblack@eecs.umich.edu    return a / b;
3217396Sgblack@eecs.umich.edu}
3227396Sgblack@eecs.umich.edu
3237396Sgblack@eecs.umich.edustatic inline double
3247396Sgblack@eecs.umich.edufpDivD(double a, double b)
3257396Sgblack@eecs.umich.edu{
3267396Sgblack@eecs.umich.edu    return a / b;
3277396Sgblack@eecs.umich.edu}
3287396Sgblack@eecs.umich.edu
3297396Sgblack@eecs.umich.edustatic inline float
3307396Sgblack@eecs.umich.edufpMulS(float a, float b)
3317396Sgblack@eecs.umich.edu{
3327396Sgblack@eecs.umich.edu    return a * b;
3337396Sgblack@eecs.umich.edu}
3347396Sgblack@eecs.umich.edu
3357396Sgblack@eecs.umich.edustatic inline double
3367396Sgblack@eecs.umich.edufpMulD(double a, double b)
3377396Sgblack@eecs.umich.edu{
3387396Sgblack@eecs.umich.edu    return a * b;
3397396Sgblack@eecs.umich.edu}
3407396Sgblack@eecs.umich.edu
3417639Sgblack@eecs.umich.edustatic inline float
3427639Sgblack@eecs.umich.edufpMaxS(float a, float b)
3437639Sgblack@eecs.umich.edu{
3447639Sgblack@eecs.umich.edu    // Handle comparisons of +0 and -0.
3457639Sgblack@eecs.umich.edu    if (!std::signbit(a) && std::signbit(b))
3467639Sgblack@eecs.umich.edu        return a;
3477639Sgblack@eecs.umich.edu    return fmaxf(a, b);
3487639Sgblack@eecs.umich.edu}
3497639Sgblack@eecs.umich.edu
3507639Sgblack@eecs.umich.edustatic inline float
3517639Sgblack@eecs.umich.edufpMinS(float a, float b)
3527639Sgblack@eecs.umich.edu{
3537639Sgblack@eecs.umich.edu    // Handle comparisons of +0 and -0.
3547639Sgblack@eecs.umich.edu    if (std::signbit(a) && !std::signbit(b))
3557639Sgblack@eecs.umich.edu        return a;
3567639Sgblack@eecs.umich.edu    return fminf(a, b);
3577639Sgblack@eecs.umich.edu}
3587639Sgblack@eecs.umich.edu
3597639Sgblack@eecs.umich.edustatic inline float
3607639Sgblack@eecs.umich.edufpRSqrtsS(float a, float b)
3617639Sgblack@eecs.umich.edu{
3627639Sgblack@eecs.umich.edu    int fpClassA = std::fpclassify(a);
3637639Sgblack@eecs.umich.edu    int fpClassB = std::fpclassify(b);
3647639Sgblack@eecs.umich.edu    float aXb;
3657639Sgblack@eecs.umich.edu    int fpClassAxB;
3667639Sgblack@eecs.umich.edu
3677639Sgblack@eecs.umich.edu    if ((fpClassA == FP_ZERO && fpClassB == FP_INFINITE) ||
3687639Sgblack@eecs.umich.edu        (fpClassA == FP_INFINITE && fpClassB == FP_ZERO)) {
3697639Sgblack@eecs.umich.edu        return 1.5;
3707639Sgblack@eecs.umich.edu    }
3717639Sgblack@eecs.umich.edu    aXb = a*b;
3727639Sgblack@eecs.umich.edu    fpClassAxB = std::fpclassify(aXb);
3737639Sgblack@eecs.umich.edu    if(fpClassAxB == FP_SUBNORMAL) {
3747639Sgblack@eecs.umich.edu       feraiseexcept(FeUnderflow);
3757639Sgblack@eecs.umich.edu       return 1.5;
3767639Sgblack@eecs.umich.edu    }
3777639Sgblack@eecs.umich.edu    return (3.0 - (a * b)) / 2.0;
3787639Sgblack@eecs.umich.edu}
3797639Sgblack@eecs.umich.edu
3807639Sgblack@eecs.umich.edustatic inline float
3817639Sgblack@eecs.umich.edufpRecpsS(float a, float b)
3827639Sgblack@eecs.umich.edu{
3837639Sgblack@eecs.umich.edu    int fpClassA = std::fpclassify(a);
3847639Sgblack@eecs.umich.edu    int fpClassB = std::fpclassify(b);
3857639Sgblack@eecs.umich.edu    float aXb;
3867639Sgblack@eecs.umich.edu    int fpClassAxB;
3877639Sgblack@eecs.umich.edu
3887639Sgblack@eecs.umich.edu    if ((fpClassA == FP_ZERO && fpClassB == FP_INFINITE) ||
3897639Sgblack@eecs.umich.edu        (fpClassA == FP_INFINITE && fpClassB == FP_ZERO)) {
3907639Sgblack@eecs.umich.edu        return 2.0;
3917639Sgblack@eecs.umich.edu    }
3927639Sgblack@eecs.umich.edu    aXb = a*b;
3937639Sgblack@eecs.umich.edu    fpClassAxB = std::fpclassify(aXb);
3947639Sgblack@eecs.umich.edu    if(fpClassAxB == FP_SUBNORMAL) {
3957639Sgblack@eecs.umich.edu       feraiseexcept(FeUnderflow);
3967639Sgblack@eecs.umich.edu       return 2.0;
3977639Sgblack@eecs.umich.edu    }
3987639Sgblack@eecs.umich.edu    return 2.0 - (a * b);
3997639Sgblack@eecs.umich.edu}
4007639Sgblack@eecs.umich.edu
4017396Sgblack@eecs.umich.educlass FpOp : public PredOp
4027375Sgblack@eecs.umich.edu{
4037375Sgblack@eecs.umich.edu  protected:
4047396Sgblack@eecs.umich.edu    FpOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
4057396Sgblack@eecs.umich.edu        PredOp(mnem, _machInst, __opClass)
4067396Sgblack@eecs.umich.edu    {}
4077396Sgblack@eecs.umich.edu
4087396Sgblack@eecs.umich.edu    virtual float
4097396Sgblack@eecs.umich.edu    doOp(float op1, float op2) const
4107396Sgblack@eecs.umich.edu    {
4117396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4127396Sgblack@eecs.umich.edu    }
4137396Sgblack@eecs.umich.edu
4147396Sgblack@eecs.umich.edu    virtual float
4157396Sgblack@eecs.umich.edu    doOp(float op1) const
4167396Sgblack@eecs.umich.edu    {
4177396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4187396Sgblack@eecs.umich.edu    }
4197396Sgblack@eecs.umich.edu
4207396Sgblack@eecs.umich.edu    virtual double
4217396Sgblack@eecs.umich.edu    doOp(double op1, double op2) const
4227396Sgblack@eecs.umich.edu    {
4237396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4247396Sgblack@eecs.umich.edu    }
4257396Sgblack@eecs.umich.edu
4267396Sgblack@eecs.umich.edu    virtual double
4277396Sgblack@eecs.umich.edu    doOp(double op1) const
4287396Sgblack@eecs.umich.edu    {
4297396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4307396Sgblack@eecs.umich.edu    }
4317396Sgblack@eecs.umich.edu
4327396Sgblack@eecs.umich.edu    double
4337396Sgblack@eecs.umich.edu    dbl(uint32_t low, uint32_t high) const
4347396Sgblack@eecs.umich.edu    {
4357396Sgblack@eecs.umich.edu        double junk = 0.0;
4367396Sgblack@eecs.umich.edu        return bitsToFp((uint64_t)low | ((uint64_t)high << 32), junk);
4377396Sgblack@eecs.umich.edu    }
4387396Sgblack@eecs.umich.edu
4397396Sgblack@eecs.umich.edu    uint32_t
4407396Sgblack@eecs.umich.edu    dblLow(double val) const
4417396Sgblack@eecs.umich.edu    {
4427396Sgblack@eecs.umich.edu        return fpToBits(val);
4437396Sgblack@eecs.umich.edu    }
4447396Sgblack@eecs.umich.edu
4457396Sgblack@eecs.umich.edu    uint32_t
4467396Sgblack@eecs.umich.edu    dblHi(double val) const
4477396Sgblack@eecs.umich.edu    {
4487396Sgblack@eecs.umich.edu        return fpToBits(val) >> 32;
4497396Sgblack@eecs.umich.edu    }
4507396Sgblack@eecs.umich.edu
4517396Sgblack@eecs.umich.edu    template <class fpType>
4527396Sgblack@eecs.umich.edu    fpType
4537639Sgblack@eecs.umich.edu    processNans(FPSCR &fpscr, bool &done, bool defaultNan,
4547639Sgblack@eecs.umich.edu                fpType op1, fpType op2) const;
4557639Sgblack@eecs.umich.edu
4567639Sgblack@eecs.umich.edu    template <class fpType>
4577639Sgblack@eecs.umich.edu    fpType
4587396Sgblack@eecs.umich.edu    binaryOp(FPSCR &fpscr, fpType op1, fpType op2,
4597396Sgblack@eecs.umich.edu            fpType (*func)(fpType, fpType),
4607639Sgblack@eecs.umich.edu            bool flush, bool defaultNan, uint32_t rMode) const;
4617396Sgblack@eecs.umich.edu
4627396Sgblack@eecs.umich.edu    template <class fpType>
4637396Sgblack@eecs.umich.edu    fpType
4647396Sgblack@eecs.umich.edu    unaryOp(FPSCR &fpscr, fpType op1,
4657396Sgblack@eecs.umich.edu            fpType (*func)(fpType),
4667430Sgblack@eecs.umich.edu            bool flush, uint32_t rMode) const;
4677720Sgblack@eecs.umich.edu
4687720Sgblack@eecs.umich.edu    void
4697720Sgblack@eecs.umich.edu    advancePC(PCState &pcState) const
4707720Sgblack@eecs.umich.edu    {
4717720Sgblack@eecs.umich.edu        if (flags[IsLastMicroop]) {
4727720Sgblack@eecs.umich.edu            pcState.uEnd();
4737720Sgblack@eecs.umich.edu        } else if (flags[IsMicroop]) {
4747720Sgblack@eecs.umich.edu            pcState.uAdvance();
4757720Sgblack@eecs.umich.edu        } else {
4767720Sgblack@eecs.umich.edu            pcState.advance();
4777720Sgblack@eecs.umich.edu        }
4787720Sgblack@eecs.umich.edu    }
4797396Sgblack@eecs.umich.edu};
4807396Sgblack@eecs.umich.edu
4817396Sgblack@eecs.umich.educlass FpRegRegOp : public FpOp
4827396Sgblack@eecs.umich.edu{
4837396Sgblack@eecs.umich.edu  protected:
4847396Sgblack@eecs.umich.edu    IntRegIndex dest;
4857396Sgblack@eecs.umich.edu    IntRegIndex op1;
4867396Sgblack@eecs.umich.edu
4877396Sgblack@eecs.umich.edu    FpRegRegOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
4887396Sgblack@eecs.umich.edu               IntRegIndex _dest, IntRegIndex _op1,
4897396Sgblack@eecs.umich.edu               VfpMicroMode mode = VfpNotAMicroop) :
4907396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), op1(_op1)
4917375Sgblack@eecs.umich.edu    {
4927375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
4937375Sgblack@eecs.umich.edu    }
4947396Sgblack@eecs.umich.edu
4957396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
4967375Sgblack@eecs.umich.edu};
4977375Sgblack@eecs.umich.edu
4987396Sgblack@eecs.umich.educlass FpRegImmOp : public FpOp
4997375Sgblack@eecs.umich.edu{
5007375Sgblack@eecs.umich.edu  protected:
5017396Sgblack@eecs.umich.edu    IntRegIndex dest;
5027396Sgblack@eecs.umich.edu    uint64_t imm;
5037396Sgblack@eecs.umich.edu
5047396Sgblack@eecs.umich.edu    FpRegImmOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
5057396Sgblack@eecs.umich.edu               IntRegIndex _dest, uint64_t _imm,
5067396Sgblack@eecs.umich.edu               VfpMicroMode mode = VfpNotAMicroop) :
5077396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), imm(_imm)
5087375Sgblack@eecs.umich.edu    {
5097375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5107375Sgblack@eecs.umich.edu    }
5117396Sgblack@eecs.umich.edu
5127396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5137375Sgblack@eecs.umich.edu};
5147375Sgblack@eecs.umich.edu
5157396Sgblack@eecs.umich.educlass FpRegRegImmOp : public FpOp
5167375Sgblack@eecs.umich.edu{
5177375Sgblack@eecs.umich.edu  protected:
5187396Sgblack@eecs.umich.edu    IntRegIndex dest;
5197396Sgblack@eecs.umich.edu    IntRegIndex op1;
5207396Sgblack@eecs.umich.edu    uint64_t imm;
5217396Sgblack@eecs.umich.edu
5227396Sgblack@eecs.umich.edu    FpRegRegImmOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
5237396Sgblack@eecs.umich.edu                  IntRegIndex _dest, IntRegIndex _op1,
5247396Sgblack@eecs.umich.edu                  uint64_t _imm, VfpMicroMode mode = VfpNotAMicroop) :
5257396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), op1(_op1), imm(_imm)
5267375Sgblack@eecs.umich.edu    {
5277375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5287375Sgblack@eecs.umich.edu    }
5297396Sgblack@eecs.umich.edu
5307396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5317375Sgblack@eecs.umich.edu};
5327375Sgblack@eecs.umich.edu
5337396Sgblack@eecs.umich.educlass FpRegRegRegOp : public FpOp
5347375Sgblack@eecs.umich.edu{
5357375Sgblack@eecs.umich.edu  protected:
5367396Sgblack@eecs.umich.edu    IntRegIndex dest;
5377396Sgblack@eecs.umich.edu    IntRegIndex op1;
5387396Sgblack@eecs.umich.edu    IntRegIndex op2;
5397396Sgblack@eecs.umich.edu
5407396Sgblack@eecs.umich.edu    FpRegRegRegOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
5417396Sgblack@eecs.umich.edu                  IntRegIndex _dest, IntRegIndex _op1, IntRegIndex _op2,
5427396Sgblack@eecs.umich.edu                  VfpMicroMode mode = VfpNotAMicroop) :
5437396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), op1(_op1), op2(_op2)
5447375Sgblack@eecs.umich.edu    {
5457375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5467375Sgblack@eecs.umich.edu    }
5477396Sgblack@eecs.umich.edu
5487396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5497375Sgblack@eecs.umich.edu};
5507375Sgblack@eecs.umich.edu
5517639Sgblack@eecs.umich.educlass FpRegRegRegImmOp : public FpOp
5527639Sgblack@eecs.umich.edu{
5537639Sgblack@eecs.umich.edu  protected:
5547639Sgblack@eecs.umich.edu    IntRegIndex dest;
5557639Sgblack@eecs.umich.edu    IntRegIndex op1;
5567639Sgblack@eecs.umich.edu    IntRegIndex op2;
5577639Sgblack@eecs.umich.edu    uint64_t imm;
5587639Sgblack@eecs.umich.edu
5597639Sgblack@eecs.umich.edu    FpRegRegRegImmOp(const char *mnem, ExtMachInst _machInst,
5607639Sgblack@eecs.umich.edu                     OpClass __opClass, IntRegIndex _dest,
5617639Sgblack@eecs.umich.edu                     IntRegIndex _op1, IntRegIndex _op2,
5627639Sgblack@eecs.umich.edu                     uint64_t _imm, VfpMicroMode mode = VfpNotAMicroop) :
5637639Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass),
5647639Sgblack@eecs.umich.edu        dest(_dest), op1(_op1), op2(_op2), imm(_imm)
5657639Sgblack@eecs.umich.edu    {
5667639Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5677639Sgblack@eecs.umich.edu    }
5687639Sgblack@eecs.umich.edu
5697639Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5707639Sgblack@eecs.umich.edu};
5717639Sgblack@eecs.umich.edu
5727384Sgblack@eecs.umich.edu}
5737384Sgblack@eecs.umich.edu
5747375Sgblack@eecs.umich.edu#endif //__ARCH_ARM_INSTS_VFP_HH__
575