static_inst.hh revision 7094
17093Sgblack@eecs.umich.edu/*
27093Sgblack@eecs.umich.edu * Copyright (c) 2010 ARM Limited
37093Sgblack@eecs.umich.edu * All rights reserved
47093Sgblack@eecs.umich.edu *
57093Sgblack@eecs.umich.edu * The license below extends only to copyright in the software and shall
67093Sgblack@eecs.umich.edu * not be construed as granting a license to any other intellectual
77093Sgblack@eecs.umich.edu * property including but not limited to intellectual property relating
87093Sgblack@eecs.umich.edu * to a hardware implementation of the functionality of the software
97093Sgblack@eecs.umich.edu * licensed hereunder.  You may use the software subject to the license
107093Sgblack@eecs.umich.edu * terms below provided that you ensure that this notice is replicated
117093Sgblack@eecs.umich.edu * unmodified and in its entirety in all distributions of the software,
127093Sgblack@eecs.umich.edu * modified or unmodified, in source code or in binary form.
137093Sgblack@eecs.umich.edu *
147093Sgblack@eecs.umich.edu * Copyright (c) 2007-2008 The Florida State University
156253Sgblack@eecs.umich.edu * All rights reserved.
166253Sgblack@eecs.umich.edu *
176253Sgblack@eecs.umich.edu * Redistribution and use in source and binary forms, with or without
186253Sgblack@eecs.umich.edu * modification, are permitted provided that the following conditions are
196253Sgblack@eecs.umich.edu * met: redistributions of source code must retain the above copyright
206253Sgblack@eecs.umich.edu * notice, this list of conditions and the following disclaimer;
216253Sgblack@eecs.umich.edu * redistributions in binary form must reproduce the above copyright
226253Sgblack@eecs.umich.edu * notice, this list of conditions and the following disclaimer in the
236253Sgblack@eecs.umich.edu * documentation and/or other materials provided with the distribution;
246253Sgblack@eecs.umich.edu * neither the name of the copyright holders nor the names of its
256253Sgblack@eecs.umich.edu * contributors may be used to endorse or promote products derived from
266253Sgblack@eecs.umich.edu * this software without specific prior written permission.
276253Sgblack@eecs.umich.edu *
286253Sgblack@eecs.umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
296253Sgblack@eecs.umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
306253Sgblack@eecs.umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
316253Sgblack@eecs.umich.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
326253Sgblack@eecs.umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
336253Sgblack@eecs.umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
346253Sgblack@eecs.umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
356253Sgblack@eecs.umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
366253Sgblack@eecs.umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
376253Sgblack@eecs.umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
386253Sgblack@eecs.umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
396253Sgblack@eecs.umich.edu *
406253Sgblack@eecs.umich.edu * Authors: Stephen Hines
416253Sgblack@eecs.umich.edu */
426253Sgblack@eecs.umich.edu#ifndef __ARCH_ARM_INSTS_STATICINST_HH__
436253Sgblack@eecs.umich.edu#define __ARCH_ARM_INSTS_STATICINST_HH__
446253Sgblack@eecs.umich.edu
456253Sgblack@eecs.umich.edu#include "base/trace.hh"
466253Sgblack@eecs.umich.edu#include "cpu/static_inst.hh"
476253Sgblack@eecs.umich.edu
486253Sgblack@eecs.umich.edunamespace ArmISA
496253Sgblack@eecs.umich.edu{
507094Sgblack@eecs.umich.educlass ArmStaticInstBase : public StaticInst
516254Sgblack@eecs.umich.edu{
526254Sgblack@eecs.umich.edu  protected:
536255Sgblack@eecs.umich.edu    int32_t shift_rm_imm(uint32_t base, uint32_t shamt,
546255Sgblack@eecs.umich.edu                         uint32_t type, uint32_t cfval) const;
556255Sgblack@eecs.umich.edu    int32_t shift_rm_rs(uint32_t base, uint32_t shamt,
566255Sgblack@eecs.umich.edu                        uint32_t type, uint32_t cfval) const;
576254Sgblack@eecs.umich.edu
586255Sgblack@eecs.umich.edu    bool shift_carry_imm(uint32_t base, uint32_t shamt,
596255Sgblack@eecs.umich.edu                         uint32_t type, uint32_t cfval) const;
606255Sgblack@eecs.umich.edu    bool shift_carry_rs(uint32_t base, uint32_t shamt,
616255Sgblack@eecs.umich.edu                        uint32_t type, uint32_t cfval) const;
626254Sgblack@eecs.umich.edu
636255Sgblack@eecs.umich.edu    bool arm_add_carry(int32_t result, int32_t lhs, int32_t rhs) const;
646255Sgblack@eecs.umich.edu    bool arm_sub_carry(int32_t result, int32_t lhs, int32_t rhs) const;
656254Sgblack@eecs.umich.edu
666255Sgblack@eecs.umich.edu    bool arm_add_overflow(int32_t result, int32_t lhs, int32_t rhs) const;
676255Sgblack@eecs.umich.edu    bool arm_sub_overflow(int32_t result, int32_t lhs, int32_t rhs) const;
686254Sgblack@eecs.umich.edu
696254Sgblack@eecs.umich.edu    // Constructor
707094Sgblack@eecs.umich.edu    ArmStaticInstBase(const char *mnem, MachInst _machInst, OpClass __opClass)
716254Sgblack@eecs.umich.edu        : StaticInst(mnem, _machInst, __opClass)
726253Sgblack@eecs.umich.edu    {
736254Sgblack@eecs.umich.edu    }
746253Sgblack@eecs.umich.edu
756254Sgblack@eecs.umich.edu    /// Print a register name for disassembly given the unique
766254Sgblack@eecs.umich.edu    /// dependence tag number (FP or int).
776254Sgblack@eecs.umich.edu    void printReg(std::ostream &os, int reg) const;
786262Sgblack@eecs.umich.edu    void printMnemonic(std::ostream &os,
796262Sgblack@eecs.umich.edu                       const std::string &suffix = "",
806262Sgblack@eecs.umich.edu                       bool withPred = true) const;
816263Sgblack@eecs.umich.edu    void printMemSymbol(std::ostream &os, const SymbolTable *symtab,
826263Sgblack@eecs.umich.edu                        const std::string &prefix, const Addr addr,
836263Sgblack@eecs.umich.edu                        const std::string &suffix) const;
846264Sgblack@eecs.umich.edu    void printShiftOperand(std::ostream &os) const;
856263Sgblack@eecs.umich.edu
866253Sgblack@eecs.umich.edu
876306Sgblack@eecs.umich.edu    void printDataInst(std::ostream &os, bool withImm) const;
886264Sgblack@eecs.umich.edu
896254Sgblack@eecs.umich.edu    std::string generateDisassembly(Addr pc, const SymbolTable *symtab) const;
906748Sgblack@eecs.umich.edu
916748Sgblack@eecs.umich.edu    static uint32_t
926748Sgblack@eecs.umich.edu    cpsrWriteByInstr(CPSR cpsr, uint32_t val,
936748Sgblack@eecs.umich.edu            uint8_t byteMask, bool affectState)
946748Sgblack@eecs.umich.edu    {
956748Sgblack@eecs.umich.edu        bool privileged = (cpsr.mode != MODE_USER);
966748Sgblack@eecs.umich.edu
976748Sgblack@eecs.umich.edu        uint32_t bitMask = 0;
986748Sgblack@eecs.umich.edu
996748Sgblack@eecs.umich.edu        if (bits(byteMask, 3)) {
1006748Sgblack@eecs.umich.edu            unsigned lowIdx = affectState ? 24 : 27;
1016748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(31, lowIdx);
1026748Sgblack@eecs.umich.edu        }
1036748Sgblack@eecs.umich.edu        if (bits(byteMask, 2)) {
1046748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(19, 16);
1056748Sgblack@eecs.umich.edu        }
1066748Sgblack@eecs.umich.edu        if (bits(byteMask, 1)) {
1076748Sgblack@eecs.umich.edu            unsigned highIdx = affectState ? 15 : 9;
1086748Sgblack@eecs.umich.edu            unsigned lowIdx = privileged ? 8 : 9;
1096748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(highIdx, lowIdx);
1106748Sgblack@eecs.umich.edu        }
1116748Sgblack@eecs.umich.edu        if (bits(byteMask, 0)) {
1126748Sgblack@eecs.umich.edu            if (privileged) {
1136748Sgblack@eecs.umich.edu                bitMask = bitMask | mask(7, 6);
1146748Sgblack@eecs.umich.edu                bitMask = bitMask | mask(5);
1156748Sgblack@eecs.umich.edu            }
1166748Sgblack@eecs.umich.edu            if (affectState)
1176748Sgblack@eecs.umich.edu                bitMask = bitMask | (1 << 5);
1186748Sgblack@eecs.umich.edu        }
1196748Sgblack@eecs.umich.edu
1206748Sgblack@eecs.umich.edu        return ((uint32_t)cpsr & ~bitMask) | (val & bitMask);
1216748Sgblack@eecs.umich.edu    }
1226748Sgblack@eecs.umich.edu
1236748Sgblack@eecs.umich.edu    static uint32_t
1246748Sgblack@eecs.umich.edu    spsrWriteByInstr(uint32_t spsr, uint32_t val,
1256748Sgblack@eecs.umich.edu            uint8_t byteMask, bool affectState)
1266748Sgblack@eecs.umich.edu    {
1276748Sgblack@eecs.umich.edu        uint32_t bitMask = 0;
1286748Sgblack@eecs.umich.edu
1296748Sgblack@eecs.umich.edu        if (bits(byteMask, 3))
1306748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(31, 24);
1316748Sgblack@eecs.umich.edu        if (bits(byteMask, 2))
1326748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(19, 16);
1336748Sgblack@eecs.umich.edu        if (bits(byteMask, 1))
1346748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(15, 8);
1356748Sgblack@eecs.umich.edu        if (bits(byteMask, 0))
1366748Sgblack@eecs.umich.edu            bitMask = bitMask | mask(7, 0);
1376748Sgblack@eecs.umich.edu
1386748Sgblack@eecs.umich.edu        return ((spsr & ~bitMask) | (val & bitMask));
1396748Sgblack@eecs.umich.edu    }
1407093Sgblack@eecs.umich.edu
1417093Sgblack@eecs.umich.edu    template<class XC>
1427093Sgblack@eecs.umich.edu    static void
1437093Sgblack@eecs.umich.edu    setNextPC(XC *xc, Addr val)
1447093Sgblack@eecs.umich.edu    {
1457093Sgblack@eecs.umich.edu        xc->setNextPC((xc->readNextPC() & PcModeMask) |
1467093Sgblack@eecs.umich.edu                      (val & ~PcModeMask));
1477093Sgblack@eecs.umich.edu    }
1486254Sgblack@eecs.umich.edu};
1497094Sgblack@eecs.umich.edu
1507094Sgblack@eecs.umich.educlass ArmStaticInst : public ArmStaticInstBase
1517094Sgblack@eecs.umich.edu{
1527094Sgblack@eecs.umich.edu  protected:
1537094Sgblack@eecs.umich.edu    ArmStaticInst(const char *mnem, MachInst _machInst, OpClass __opClass)
1547094Sgblack@eecs.umich.edu        : ArmStaticInstBase(mnem, _machInst, __opClass)
1557094Sgblack@eecs.umich.edu    {
1567094Sgblack@eecs.umich.edu    }
1577094Sgblack@eecs.umich.edu
1587094Sgblack@eecs.umich.edu    template<class XC>
1597094Sgblack@eecs.umich.edu    static void
1607094Sgblack@eecs.umich.edu    setNextPC(XC *xc, Addr val)
1617094Sgblack@eecs.umich.edu    {
1627094Sgblack@eecs.umich.edu        xc->setNextPC((xc->readNextPC() & PcModeMask) |
1637094Sgblack@eecs.umich.edu                      (val & ~PcModeMask));
1647094Sgblack@eecs.umich.edu    }
1657094Sgblack@eecs.umich.edu};
1667094Sgblack@eecs.umich.edu
1677094Sgblack@eecs.umich.educlass ArmInterWorking : public ArmStaticInstBase
1687094Sgblack@eecs.umich.edu{
1697094Sgblack@eecs.umich.edu  protected:
1707094Sgblack@eecs.umich.edu    ArmInterWorking(const char *mnem, MachInst _machInst, OpClass __opClass)
1717094Sgblack@eecs.umich.edu        : ArmStaticInstBase(mnem, _machInst, __opClass)
1727094Sgblack@eecs.umich.edu    {
1737094Sgblack@eecs.umich.edu    }
1747094Sgblack@eecs.umich.edu
1757094Sgblack@eecs.umich.edu    template<class XC>
1767094Sgblack@eecs.umich.edu    static void
1777094Sgblack@eecs.umich.edu    setNextPC(XC *xc, Addr val)
1787094Sgblack@eecs.umich.edu    {
1797094Sgblack@eecs.umich.edu        Addr stateBits = xc->readPC() & PcModeMask;
1807094Sgblack@eecs.umich.edu        Addr jBit = (ULL(1) << PcJBitShift);
1817094Sgblack@eecs.umich.edu        Addr tBit = (ULL(1) << PcTBitShift);
1827094Sgblack@eecs.umich.edu        bool thumbEE = (stateBits == (tBit | jBit));
1837094Sgblack@eecs.umich.edu
1847094Sgblack@eecs.umich.edu        Addr newPc = (val & ~PcModeMask);
1857094Sgblack@eecs.umich.edu        if (thumbEE) {
1867094Sgblack@eecs.umich.edu            if (bits(newPc, 0)) {
1877094Sgblack@eecs.umich.edu                warn("Bad thumbEE interworking branch address %#x.\n", newPc);
1887094Sgblack@eecs.umich.edu            } else {
1897094Sgblack@eecs.umich.edu                newPc = newPc & ~mask(1);
1907094Sgblack@eecs.umich.edu            }
1917094Sgblack@eecs.umich.edu        } else {
1927094Sgblack@eecs.umich.edu            if (bits(newPc, 0)) {
1937094Sgblack@eecs.umich.edu                stateBits = tBit;
1947094Sgblack@eecs.umich.edu                newPc = newPc & ~mask(1);
1957094Sgblack@eecs.umich.edu            } else if (!bits(newPc, 1)) {
1967094Sgblack@eecs.umich.edu                stateBits = 0;
1977094Sgblack@eecs.umich.edu            } else {
1987094Sgblack@eecs.umich.edu                warn("Bad interworking branch address %#x.\n", newPc);
1997094Sgblack@eecs.umich.edu            }
2007094Sgblack@eecs.umich.edu        }
2017094Sgblack@eecs.umich.edu        newPc = newPc | stateBits;
2027094Sgblack@eecs.umich.edu        xc->setNextPC(newPc);
2037094Sgblack@eecs.umich.edu    }
2047094Sgblack@eecs.umich.edu};
2056253Sgblack@eecs.umich.edu}
2066253Sgblack@eecs.umich.edu
2076253Sgblack@eecs.umich.edu#endif //__ARCH_ARM_INSTS_STATICINST_HH__
208