vfp.hh revision 8229
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
1107382Sgblack@eecs.umich.edutemplate <class fpType>
1117396Sgblack@eecs.umich.edustatic inline bool
1127396Sgblack@eecs.umich.eduflushToZero(fpType &op)
1137396Sgblack@eecs.umich.edu{
1147396Sgblack@eecs.umich.edu    fpType junk = 0.0;
1157396Sgblack@eecs.umich.edu    if (std::fpclassify(op) == FP_SUBNORMAL) {
1167396Sgblack@eecs.umich.edu        uint64_t bitMask = ULL(0x1) << (sizeof(fpType) * 8 - 1);
1177396Sgblack@eecs.umich.edu        op = bitsToFp(fpToBits(op) & bitMask, junk);
1187396Sgblack@eecs.umich.edu        return true;
1197396Sgblack@eecs.umich.edu    }
1207396Sgblack@eecs.umich.edu    return false;
1217396Sgblack@eecs.umich.edu}
1227396Sgblack@eecs.umich.edu
1237396Sgblack@eecs.umich.edutemplate <class fpType>
1247396Sgblack@eecs.umich.edustatic inline bool
1257396Sgblack@eecs.umich.eduflushToZero(fpType &op1, fpType &op2)
1267396Sgblack@eecs.umich.edu{
1277396Sgblack@eecs.umich.edu    bool flush1 = flushToZero(op1);
1287396Sgblack@eecs.umich.edu    bool flush2 = flushToZero(op2);
1297396Sgblack@eecs.umich.edu    return flush1 || flush2;
1307396Sgblack@eecs.umich.edu}
1317396Sgblack@eecs.umich.edu
1327397Sgblack@eecs.umich.edutemplate <class fpType>
1337397Sgblack@eecs.umich.edustatic inline void
1347397Sgblack@eecs.umich.eduvfpFlushToZero(FPSCR &fpscr, fpType &op)
1357397Sgblack@eecs.umich.edu{
1367397Sgblack@eecs.umich.edu    if (fpscr.fz == 1 && flushToZero(op)) {
1377397Sgblack@eecs.umich.edu        fpscr.idc = 1;
1387397Sgblack@eecs.umich.edu    }
1397397Sgblack@eecs.umich.edu}
1407397Sgblack@eecs.umich.edu
1417397Sgblack@eecs.umich.edutemplate <class fpType>
1427397Sgblack@eecs.umich.edustatic inline void
1437397Sgblack@eecs.umich.eduvfpFlushToZero(FPSCR &fpscr, fpType &op1, fpType &op2)
1447397Sgblack@eecs.umich.edu{
1457397Sgblack@eecs.umich.edu    vfpFlushToZero(fpscr, op1);
1467397Sgblack@eecs.umich.edu    vfpFlushToZero(fpscr, op2);
1477397Sgblack@eecs.umich.edu}
1487397Sgblack@eecs.umich.edu
1497384Sgblack@eecs.umich.edustatic inline uint32_t
1507384Sgblack@eecs.umich.edufpToBits(float fp)
1517384Sgblack@eecs.umich.edu{
1527384Sgblack@eecs.umich.edu    union
1537384Sgblack@eecs.umich.edu    {
1547384Sgblack@eecs.umich.edu        float fp;
1557384Sgblack@eecs.umich.edu        uint32_t bits;
1567384Sgblack@eecs.umich.edu    } val;
1577384Sgblack@eecs.umich.edu    val.fp = fp;
1587384Sgblack@eecs.umich.edu    return val.bits;
1597384Sgblack@eecs.umich.edu}
1607384Sgblack@eecs.umich.edu
1617384Sgblack@eecs.umich.edustatic inline uint64_t
1627384Sgblack@eecs.umich.edufpToBits(double fp)
1637384Sgblack@eecs.umich.edu{
1647384Sgblack@eecs.umich.edu    union
1657384Sgblack@eecs.umich.edu    {
1667384Sgblack@eecs.umich.edu        double fp;
1677384Sgblack@eecs.umich.edu        uint64_t bits;
1687384Sgblack@eecs.umich.edu    } val;
1697384Sgblack@eecs.umich.edu    val.fp = fp;
1707384Sgblack@eecs.umich.edu    return val.bits;
1717384Sgblack@eecs.umich.edu}
1727384Sgblack@eecs.umich.edu
1737384Sgblack@eecs.umich.edustatic inline float
1747384Sgblack@eecs.umich.edubitsToFp(uint64_t bits, float junk)
1757384Sgblack@eecs.umich.edu{
1767384Sgblack@eecs.umich.edu    union
1777384Sgblack@eecs.umich.edu    {
1787384Sgblack@eecs.umich.edu        float fp;
1797384Sgblack@eecs.umich.edu        uint32_t bits;
1807384Sgblack@eecs.umich.edu    } val;
1817384Sgblack@eecs.umich.edu    val.bits = bits;
1827384Sgblack@eecs.umich.edu    return val.fp;
1837384Sgblack@eecs.umich.edu}
1847384Sgblack@eecs.umich.edu
1857384Sgblack@eecs.umich.edustatic inline double
1867384Sgblack@eecs.umich.edubitsToFp(uint64_t bits, double junk)
1877384Sgblack@eecs.umich.edu{
1887384Sgblack@eecs.umich.edu    union
1897384Sgblack@eecs.umich.edu    {
1907384Sgblack@eecs.umich.edu        double fp;
1917384Sgblack@eecs.umich.edu        uint64_t bits;
1927384Sgblack@eecs.umich.edu    } val;
1937384Sgblack@eecs.umich.edu    val.bits = bits;
1947384Sgblack@eecs.umich.edu    return val.fp;
1957384Sgblack@eecs.umich.edu}
1967384Sgblack@eecs.umich.edu
1977639Sgblack@eecs.umich.edutemplate <class fpType>
1987639Sgblack@eecs.umich.edustatic bool
1997639Sgblack@eecs.umich.eduisSnan(fpType val)
2007639Sgblack@eecs.umich.edu{
2017639Sgblack@eecs.umich.edu    const bool single = (sizeof(fpType) == sizeof(float));
2027639Sgblack@eecs.umich.edu    const uint64_t qnan =
2037639Sgblack@eecs.umich.edu        single ? 0x7fc00000 : ULL(0x7ff8000000000000);
2047639Sgblack@eecs.umich.edu    return std::isnan(val) && ((fpToBits(val) & qnan) != qnan);
2057639Sgblack@eecs.umich.edu}
2067639Sgblack@eecs.umich.edu
2077396Sgblack@eecs.umich.edutypedef int VfpSavedState;
2087396Sgblack@eecs.umich.edu
2097430Sgblack@eecs.umich.eduVfpSavedState prepFpState(uint32_t rMode);
2107639Sgblack@eecs.umich.eduvoid finishVfp(FPSCR &fpscr, VfpSavedState state, bool flush);
2117396Sgblack@eecs.umich.edu
2127384Sgblack@eecs.umich.edutemplate <class fpType>
2137430Sgblack@eecs.umich.edufpType fixDest(FPSCR fpscr, fpType val, fpType op1);
2147386Sgblack@eecs.umich.edu
2157386Sgblack@eecs.umich.edutemplate <class fpType>
2167430Sgblack@eecs.umich.edufpType fixDest(FPSCR fpscr, fpType val, fpType op1, fpType op2);
2177384Sgblack@eecs.umich.edu
2187386Sgblack@eecs.umich.edutemplate <class fpType>
2197430Sgblack@eecs.umich.edufpType fixDivDest(FPSCR fpscr, fpType val, fpType op1, fpType op2);
2207386Sgblack@eecs.umich.edu
2217430Sgblack@eecs.umich.edufloat fixFpDFpSDest(FPSCR fpscr, double val);
2227430Sgblack@eecs.umich.edudouble fixFpSFpDDest(FPSCR fpscr, float val);
2237386Sgblack@eecs.umich.edu
2247639Sgblack@eecs.umich.eduuint16_t vcvtFpSFpH(FPSCR &fpscr, bool flush, bool defaultNan,
2257639Sgblack@eecs.umich.edu                    uint32_t rMode, bool ahp, float op);
2267639Sgblack@eecs.umich.edufloat vcvtFpHFpS(FPSCR &fpscr, bool defaultNan, bool ahp, uint16_t op);
2277398Sgblack@eecs.umich.edu
2287396Sgblack@eecs.umich.edustatic inline double
2297396Sgblack@eecs.umich.edumakeDouble(uint32_t low, uint32_t high)
2307396Sgblack@eecs.umich.edu{
2317396Sgblack@eecs.umich.edu    double junk = 0.0;
2327396Sgblack@eecs.umich.edu    return bitsToFp((uint64_t)low | ((uint64_t)high << 32), junk);
2337396Sgblack@eecs.umich.edu}
2347396Sgblack@eecs.umich.edu
2357396Sgblack@eecs.umich.edustatic inline uint32_t
2367396Sgblack@eecs.umich.edulowFromDouble(double val)
2377396Sgblack@eecs.umich.edu{
2387396Sgblack@eecs.umich.edu    return fpToBits(val);
2397396Sgblack@eecs.umich.edu}
2407396Sgblack@eecs.umich.edu
2417396Sgblack@eecs.umich.edustatic inline uint32_t
2427396Sgblack@eecs.umich.eduhighFromDouble(double val)
2437396Sgblack@eecs.umich.edu{
2447396Sgblack@eecs.umich.edu    return fpToBits(val) >> 32;
2457396Sgblack@eecs.umich.edu}
2467396Sgblack@eecs.umich.edu
2477430Sgblack@eecs.umich.eduuint64_t vfpFpSToFixed(float val, bool isSigned, bool half,
2487430Sgblack@eecs.umich.edu                       uint8_t imm, bool rzero = true);
2497639Sgblack@eecs.umich.edufloat vfpUFixedToFpS(bool flush, bool defaultNan,
2507639Sgblack@eecs.umich.edu        uint32_t val, bool half, uint8_t imm);
2517639Sgblack@eecs.umich.edufloat vfpSFixedToFpS(bool flush, bool defaultNan,
2527639Sgblack@eecs.umich.edu        int32_t val, bool half, uint8_t imm);
2537382Sgblack@eecs.umich.edu
2547430Sgblack@eecs.umich.eduuint64_t vfpFpDToFixed(double val, bool isSigned, bool half,
2557430Sgblack@eecs.umich.edu                       uint8_t imm, bool rzero = true);
2567639Sgblack@eecs.umich.edudouble vfpUFixedToFpD(bool flush, bool defaultNan,
2577639Sgblack@eecs.umich.edu        uint32_t val, bool half, uint8_t imm);
2587639Sgblack@eecs.umich.edudouble vfpSFixedToFpD(bool flush, bool defaultNan,
2597639Sgblack@eecs.umich.edu        int32_t val, bool half, uint8_t imm);
2607639Sgblack@eecs.umich.edu
2617639Sgblack@eecs.umich.edufloat fprSqrtEstimate(FPSCR &fpscr, float op);
2627639Sgblack@eecs.umich.eduuint32_t unsignedRSqrtEstimate(uint32_t op);
2637639Sgblack@eecs.umich.edu
2647639Sgblack@eecs.umich.edufloat fpRecipEstimate(FPSCR &fpscr, float op);
2657639Sgblack@eecs.umich.eduuint32_t unsignedRecipEstimate(uint32_t op);
2667379Sgblack@eecs.umich.edu
2677376Sgblack@eecs.umich.educlass VfpMacroOp : public PredMacroOp
2687376Sgblack@eecs.umich.edu{
2697376Sgblack@eecs.umich.edu  public:
2707376Sgblack@eecs.umich.edu    static bool
2717376Sgblack@eecs.umich.edu    inScalarBank(IntRegIndex idx)
2727376Sgblack@eecs.umich.edu    {
2737376Sgblack@eecs.umich.edu        return (idx % 32) < 8;
2747376Sgblack@eecs.umich.edu    }
2757376Sgblack@eecs.umich.edu
2767376Sgblack@eecs.umich.edu  protected:
2777376Sgblack@eecs.umich.edu    bool wide;
2787376Sgblack@eecs.umich.edu
2797376Sgblack@eecs.umich.edu    VfpMacroOp(const char *mnem, ExtMachInst _machInst,
2807376Sgblack@eecs.umich.edu            OpClass __opClass, bool _wide) :
2817376Sgblack@eecs.umich.edu        PredMacroOp(mnem, _machInst, __opClass), wide(_wide)
2827376Sgblack@eecs.umich.edu    {}
2837376Sgblack@eecs.umich.edu
2847430Sgblack@eecs.umich.edu    IntRegIndex addStride(IntRegIndex idx, unsigned stride);
2857430Sgblack@eecs.umich.edu    void nextIdxs(IntRegIndex &dest, IntRegIndex &op1, IntRegIndex &op2);
2867430Sgblack@eecs.umich.edu    void nextIdxs(IntRegIndex &dest, IntRegIndex &op1);
2877430Sgblack@eecs.umich.edu    void nextIdxs(IntRegIndex &dest);
2887376Sgblack@eecs.umich.edu};
2897376Sgblack@eecs.umich.edu
2907396Sgblack@eecs.umich.edustatic inline float
2917396Sgblack@eecs.umich.edufpAddS(float a, float b)
2927396Sgblack@eecs.umich.edu{
2937396Sgblack@eecs.umich.edu    return a + b;
2947396Sgblack@eecs.umich.edu}
2957396Sgblack@eecs.umich.edu
2967396Sgblack@eecs.umich.edustatic inline double
2977396Sgblack@eecs.umich.edufpAddD(double a, double b)
2987396Sgblack@eecs.umich.edu{
2997396Sgblack@eecs.umich.edu    return a + b;
3007396Sgblack@eecs.umich.edu}
3017396Sgblack@eecs.umich.edu
3027396Sgblack@eecs.umich.edustatic inline float
3037396Sgblack@eecs.umich.edufpSubS(float a, float b)
3047396Sgblack@eecs.umich.edu{
3057396Sgblack@eecs.umich.edu    return a - b;
3067396Sgblack@eecs.umich.edu}
3077396Sgblack@eecs.umich.edu
3087396Sgblack@eecs.umich.edustatic inline double
3097396Sgblack@eecs.umich.edufpSubD(double a, double b)
3107396Sgblack@eecs.umich.edu{
3117396Sgblack@eecs.umich.edu    return a - b;
3127396Sgblack@eecs.umich.edu}
3137396Sgblack@eecs.umich.edu
3147396Sgblack@eecs.umich.edustatic inline float
3157396Sgblack@eecs.umich.edufpDivS(float a, float b)
3167396Sgblack@eecs.umich.edu{
3177396Sgblack@eecs.umich.edu    return a / b;
3187396Sgblack@eecs.umich.edu}
3197396Sgblack@eecs.umich.edu
3207396Sgblack@eecs.umich.edustatic inline double
3217396Sgblack@eecs.umich.edufpDivD(double a, double b)
3227396Sgblack@eecs.umich.edu{
3237396Sgblack@eecs.umich.edu    return a / b;
3247396Sgblack@eecs.umich.edu}
3257396Sgblack@eecs.umich.edu
3267396Sgblack@eecs.umich.edustatic inline float
3277396Sgblack@eecs.umich.edufpMulS(float a, float b)
3287396Sgblack@eecs.umich.edu{
3297396Sgblack@eecs.umich.edu    return a * b;
3307396Sgblack@eecs.umich.edu}
3317396Sgblack@eecs.umich.edu
3327396Sgblack@eecs.umich.edustatic inline double
3337396Sgblack@eecs.umich.edufpMulD(double a, double b)
3347396Sgblack@eecs.umich.edu{
3357396Sgblack@eecs.umich.edu    return a * b;
3367396Sgblack@eecs.umich.edu}
3377396Sgblack@eecs.umich.edu
3387639Sgblack@eecs.umich.edustatic inline float
3397639Sgblack@eecs.umich.edufpMaxS(float a, float b)
3407639Sgblack@eecs.umich.edu{
3417639Sgblack@eecs.umich.edu    // Handle comparisons of +0 and -0.
3427639Sgblack@eecs.umich.edu    if (!std::signbit(a) && std::signbit(b))
3437639Sgblack@eecs.umich.edu        return a;
3447639Sgblack@eecs.umich.edu    return fmaxf(a, b);
3457639Sgblack@eecs.umich.edu}
3467639Sgblack@eecs.umich.edu
3477639Sgblack@eecs.umich.edustatic inline float
3487639Sgblack@eecs.umich.edufpMinS(float a, float b)
3497639Sgblack@eecs.umich.edu{
3507639Sgblack@eecs.umich.edu    // Handle comparisons of +0 and -0.
3517639Sgblack@eecs.umich.edu    if (std::signbit(a) && !std::signbit(b))
3527639Sgblack@eecs.umich.edu        return a;
3537639Sgblack@eecs.umich.edu    return fminf(a, b);
3547639Sgblack@eecs.umich.edu}
3557639Sgblack@eecs.umich.edu
3567639Sgblack@eecs.umich.edustatic inline float
3577639Sgblack@eecs.umich.edufpRSqrtsS(float a, float b)
3587639Sgblack@eecs.umich.edu{
3597639Sgblack@eecs.umich.edu    int fpClassA = std::fpclassify(a);
3607639Sgblack@eecs.umich.edu    int fpClassB = std::fpclassify(b);
3617639Sgblack@eecs.umich.edu    float aXb;
3627639Sgblack@eecs.umich.edu    int fpClassAxB;
3637639Sgblack@eecs.umich.edu
3647639Sgblack@eecs.umich.edu    if ((fpClassA == FP_ZERO && fpClassB == FP_INFINITE) ||
3657639Sgblack@eecs.umich.edu        (fpClassA == FP_INFINITE && fpClassB == FP_ZERO)) {
3667639Sgblack@eecs.umich.edu        return 1.5;
3677639Sgblack@eecs.umich.edu    }
3687639Sgblack@eecs.umich.edu    aXb = a*b;
3697639Sgblack@eecs.umich.edu    fpClassAxB = std::fpclassify(aXb);
3707639Sgblack@eecs.umich.edu    if(fpClassAxB == FP_SUBNORMAL) {
3717639Sgblack@eecs.umich.edu       feraiseexcept(FeUnderflow);
3727639Sgblack@eecs.umich.edu       return 1.5;
3737639Sgblack@eecs.umich.edu    }
3747639Sgblack@eecs.umich.edu    return (3.0 - (a * b)) / 2.0;
3757639Sgblack@eecs.umich.edu}
3767639Sgblack@eecs.umich.edu
3777639Sgblack@eecs.umich.edustatic inline float
3787639Sgblack@eecs.umich.edufpRecpsS(float a, float b)
3797639Sgblack@eecs.umich.edu{
3807639Sgblack@eecs.umich.edu    int fpClassA = std::fpclassify(a);
3817639Sgblack@eecs.umich.edu    int fpClassB = std::fpclassify(b);
3827639Sgblack@eecs.umich.edu    float aXb;
3837639Sgblack@eecs.umich.edu    int fpClassAxB;
3847639Sgblack@eecs.umich.edu
3857639Sgblack@eecs.umich.edu    if ((fpClassA == FP_ZERO && fpClassB == FP_INFINITE) ||
3867639Sgblack@eecs.umich.edu        (fpClassA == FP_INFINITE && fpClassB == FP_ZERO)) {
3877639Sgblack@eecs.umich.edu        return 2.0;
3887639Sgblack@eecs.umich.edu    }
3897639Sgblack@eecs.umich.edu    aXb = a*b;
3907639Sgblack@eecs.umich.edu    fpClassAxB = std::fpclassify(aXb);
3917639Sgblack@eecs.umich.edu    if(fpClassAxB == FP_SUBNORMAL) {
3927639Sgblack@eecs.umich.edu       feraiseexcept(FeUnderflow);
3937639Sgblack@eecs.umich.edu       return 2.0;
3947639Sgblack@eecs.umich.edu    }
3957639Sgblack@eecs.umich.edu    return 2.0 - (a * b);
3967639Sgblack@eecs.umich.edu}
3977639Sgblack@eecs.umich.edu
3987396Sgblack@eecs.umich.educlass FpOp : public PredOp
3997375Sgblack@eecs.umich.edu{
4007375Sgblack@eecs.umich.edu  protected:
4017396Sgblack@eecs.umich.edu    FpOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass) :
4027396Sgblack@eecs.umich.edu        PredOp(mnem, _machInst, __opClass)
4037396Sgblack@eecs.umich.edu    {}
4047396Sgblack@eecs.umich.edu
4057396Sgblack@eecs.umich.edu    virtual float
4067396Sgblack@eecs.umich.edu    doOp(float op1, float op2) const
4077396Sgblack@eecs.umich.edu    {
4087396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4097396Sgblack@eecs.umich.edu    }
4107396Sgblack@eecs.umich.edu
4117396Sgblack@eecs.umich.edu    virtual float
4127396Sgblack@eecs.umich.edu    doOp(float op1) const
4137396Sgblack@eecs.umich.edu    {
4147396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4157396Sgblack@eecs.umich.edu    }
4167396Sgblack@eecs.umich.edu
4177396Sgblack@eecs.umich.edu    virtual double
4187396Sgblack@eecs.umich.edu    doOp(double op1, double op2) const
4197396Sgblack@eecs.umich.edu    {
4207396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4217396Sgblack@eecs.umich.edu    }
4227396Sgblack@eecs.umich.edu
4237396Sgblack@eecs.umich.edu    virtual double
4247396Sgblack@eecs.umich.edu    doOp(double op1) const
4257396Sgblack@eecs.umich.edu    {
4267396Sgblack@eecs.umich.edu        panic("Unimplemented version of doOp called.\n");
4277396Sgblack@eecs.umich.edu    }
4287396Sgblack@eecs.umich.edu
4297396Sgblack@eecs.umich.edu    double
4307396Sgblack@eecs.umich.edu    dbl(uint32_t low, uint32_t high) const
4317396Sgblack@eecs.umich.edu    {
4327396Sgblack@eecs.umich.edu        double junk = 0.0;
4337396Sgblack@eecs.umich.edu        return bitsToFp((uint64_t)low | ((uint64_t)high << 32), junk);
4347396Sgblack@eecs.umich.edu    }
4357396Sgblack@eecs.umich.edu
4367396Sgblack@eecs.umich.edu    uint32_t
4377396Sgblack@eecs.umich.edu    dblLow(double val) const
4387396Sgblack@eecs.umich.edu    {
4397396Sgblack@eecs.umich.edu        return fpToBits(val);
4407396Sgblack@eecs.umich.edu    }
4417396Sgblack@eecs.umich.edu
4427396Sgblack@eecs.umich.edu    uint32_t
4437396Sgblack@eecs.umich.edu    dblHi(double val) const
4447396Sgblack@eecs.umich.edu    {
4457396Sgblack@eecs.umich.edu        return fpToBits(val) >> 32;
4467396Sgblack@eecs.umich.edu    }
4477396Sgblack@eecs.umich.edu
4487396Sgblack@eecs.umich.edu    template <class fpType>
4497396Sgblack@eecs.umich.edu    fpType
4507639Sgblack@eecs.umich.edu    processNans(FPSCR &fpscr, bool &done, bool defaultNan,
4517639Sgblack@eecs.umich.edu                fpType op1, fpType op2) const;
4527639Sgblack@eecs.umich.edu
4537639Sgblack@eecs.umich.edu    template <class fpType>
4547639Sgblack@eecs.umich.edu    fpType
4557396Sgblack@eecs.umich.edu    binaryOp(FPSCR &fpscr, fpType op1, fpType op2,
4567396Sgblack@eecs.umich.edu            fpType (*func)(fpType, fpType),
4577639Sgblack@eecs.umich.edu            bool flush, bool defaultNan, uint32_t rMode) const;
4587396Sgblack@eecs.umich.edu
4597396Sgblack@eecs.umich.edu    template <class fpType>
4607396Sgblack@eecs.umich.edu    fpType
4617396Sgblack@eecs.umich.edu    unaryOp(FPSCR &fpscr, fpType op1,
4627396Sgblack@eecs.umich.edu            fpType (*func)(fpType),
4637430Sgblack@eecs.umich.edu            bool flush, uint32_t rMode) const;
4647720Sgblack@eecs.umich.edu
4657720Sgblack@eecs.umich.edu    void
4667720Sgblack@eecs.umich.edu    advancePC(PCState &pcState) const
4677720Sgblack@eecs.umich.edu    {
4687720Sgblack@eecs.umich.edu        if (flags[IsLastMicroop]) {
4697720Sgblack@eecs.umich.edu            pcState.uEnd();
4707720Sgblack@eecs.umich.edu        } else if (flags[IsMicroop]) {
4717720Sgblack@eecs.umich.edu            pcState.uAdvance();
4727720Sgblack@eecs.umich.edu        } else {
4737720Sgblack@eecs.umich.edu            pcState.advance();
4747720Sgblack@eecs.umich.edu        }
4757720Sgblack@eecs.umich.edu    }
4767396Sgblack@eecs.umich.edu};
4777396Sgblack@eecs.umich.edu
4787396Sgblack@eecs.umich.educlass FpRegRegOp : public FpOp
4797396Sgblack@eecs.umich.edu{
4807396Sgblack@eecs.umich.edu  protected:
4817396Sgblack@eecs.umich.edu    IntRegIndex dest;
4827396Sgblack@eecs.umich.edu    IntRegIndex op1;
4837396Sgblack@eecs.umich.edu
4847396Sgblack@eecs.umich.edu    FpRegRegOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
4857396Sgblack@eecs.umich.edu               IntRegIndex _dest, IntRegIndex _op1,
4867396Sgblack@eecs.umich.edu               VfpMicroMode mode = VfpNotAMicroop) :
4877396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), op1(_op1)
4887375Sgblack@eecs.umich.edu    {
4897375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
4907375Sgblack@eecs.umich.edu    }
4917396Sgblack@eecs.umich.edu
4927396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
4937375Sgblack@eecs.umich.edu};
4947375Sgblack@eecs.umich.edu
4957396Sgblack@eecs.umich.educlass FpRegImmOp : public FpOp
4967375Sgblack@eecs.umich.edu{
4977375Sgblack@eecs.umich.edu  protected:
4987396Sgblack@eecs.umich.edu    IntRegIndex dest;
4997396Sgblack@eecs.umich.edu    uint64_t imm;
5007396Sgblack@eecs.umich.edu
5017396Sgblack@eecs.umich.edu    FpRegImmOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
5027396Sgblack@eecs.umich.edu               IntRegIndex _dest, uint64_t _imm,
5037396Sgblack@eecs.umich.edu               VfpMicroMode mode = VfpNotAMicroop) :
5047396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), imm(_imm)
5057375Sgblack@eecs.umich.edu    {
5067375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5077375Sgblack@eecs.umich.edu    }
5087396Sgblack@eecs.umich.edu
5097396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5107375Sgblack@eecs.umich.edu};
5117375Sgblack@eecs.umich.edu
5127396Sgblack@eecs.umich.educlass FpRegRegImmOp : public FpOp
5137375Sgblack@eecs.umich.edu{
5147375Sgblack@eecs.umich.edu  protected:
5157396Sgblack@eecs.umich.edu    IntRegIndex dest;
5167396Sgblack@eecs.umich.edu    IntRegIndex op1;
5177396Sgblack@eecs.umich.edu    uint64_t imm;
5187396Sgblack@eecs.umich.edu
5197396Sgblack@eecs.umich.edu    FpRegRegImmOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
5207396Sgblack@eecs.umich.edu                  IntRegIndex _dest, IntRegIndex _op1,
5217396Sgblack@eecs.umich.edu                  uint64_t _imm, VfpMicroMode mode = VfpNotAMicroop) :
5227396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), op1(_op1), imm(_imm)
5237375Sgblack@eecs.umich.edu    {
5247375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5257375Sgblack@eecs.umich.edu    }
5267396Sgblack@eecs.umich.edu
5277396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5287375Sgblack@eecs.umich.edu};
5297375Sgblack@eecs.umich.edu
5307396Sgblack@eecs.umich.educlass FpRegRegRegOp : public FpOp
5317375Sgblack@eecs.umich.edu{
5327375Sgblack@eecs.umich.edu  protected:
5337396Sgblack@eecs.umich.edu    IntRegIndex dest;
5347396Sgblack@eecs.umich.edu    IntRegIndex op1;
5357396Sgblack@eecs.umich.edu    IntRegIndex op2;
5367396Sgblack@eecs.umich.edu
5377396Sgblack@eecs.umich.edu    FpRegRegRegOp(const char *mnem, ExtMachInst _machInst, OpClass __opClass,
5387396Sgblack@eecs.umich.edu                  IntRegIndex _dest, IntRegIndex _op1, IntRegIndex _op2,
5397396Sgblack@eecs.umich.edu                  VfpMicroMode mode = VfpNotAMicroop) :
5407396Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass), dest(_dest), op1(_op1), op2(_op2)
5417375Sgblack@eecs.umich.edu    {
5427375Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5437375Sgblack@eecs.umich.edu    }
5447396Sgblack@eecs.umich.edu
5457396Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5467375Sgblack@eecs.umich.edu};
5477375Sgblack@eecs.umich.edu
5487639Sgblack@eecs.umich.educlass FpRegRegRegImmOp : public FpOp
5497639Sgblack@eecs.umich.edu{
5507639Sgblack@eecs.umich.edu  protected:
5517639Sgblack@eecs.umich.edu    IntRegIndex dest;
5527639Sgblack@eecs.umich.edu    IntRegIndex op1;
5537639Sgblack@eecs.umich.edu    IntRegIndex op2;
5547639Sgblack@eecs.umich.edu    uint64_t imm;
5557639Sgblack@eecs.umich.edu
5567639Sgblack@eecs.umich.edu    FpRegRegRegImmOp(const char *mnem, ExtMachInst _machInst,
5577639Sgblack@eecs.umich.edu                     OpClass __opClass, IntRegIndex _dest,
5587639Sgblack@eecs.umich.edu                     IntRegIndex _op1, IntRegIndex _op2,
5597639Sgblack@eecs.umich.edu                     uint64_t _imm, VfpMicroMode mode = VfpNotAMicroop) :
5607639Sgblack@eecs.umich.edu        FpOp(mnem, _machInst, __opClass),
5617639Sgblack@eecs.umich.edu        dest(_dest), op1(_op1), op2(_op2), imm(_imm)
5627639Sgblack@eecs.umich.edu    {
5637639Sgblack@eecs.umich.edu        setVfpMicroFlags(mode, flags);
5647639Sgblack@eecs.umich.edu    }
5657639Sgblack@eecs.umich.edu
5667639Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
5677639Sgblack@eecs.umich.edu};
5687639Sgblack@eecs.umich.edu
5697384Sgblack@eecs.umich.edu}
5707384Sgblack@eecs.umich.edu
5717375Sgblack@eecs.umich.edu#endif //__ARCH_ARM_INSTS_VFP_HH__
572