misc.isa revision 7226
17199Sgblack@eecs.umich.edu// -*- mode:c++ -*-
27199Sgblack@eecs.umich.edu
37199Sgblack@eecs.umich.edu// Copyright (c) 2010 ARM Limited
47199Sgblack@eecs.umich.edu// All rights reserved
57199Sgblack@eecs.umich.edu//
67199Sgblack@eecs.umich.edu// The license below extends only to copyright in the software and shall
77199Sgblack@eecs.umich.edu// not be construed as granting a license to any other intellectual
87199Sgblack@eecs.umich.edu// property including but not limited to intellectual property relating
97199Sgblack@eecs.umich.edu// to a hardware implementation of the functionality of the software
107199Sgblack@eecs.umich.edu// licensed hereunder.  You may use the software subject to the license
117199Sgblack@eecs.umich.edu// terms below provided that you ensure that this notice is replicated
127199Sgblack@eecs.umich.edu// unmodified and in its entirety in all distributions of the software,
137199Sgblack@eecs.umich.edu// modified or unmodified, in source code or in binary form.
147199Sgblack@eecs.umich.edu//
157199Sgblack@eecs.umich.edu// Redistribution and use in source and binary forms, with or without
167199Sgblack@eecs.umich.edu// modification, are permitted provided that the following conditions are
177199Sgblack@eecs.umich.edu// met: redistributions of source code must retain the above copyright
187199Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer;
197199Sgblack@eecs.umich.edu// redistributions in binary form must reproduce the above copyright
207199Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer in the
217199Sgblack@eecs.umich.edu// documentation and/or other materials provided with the distribution;
227199Sgblack@eecs.umich.edu// neither the name of the copyright holders nor the names of its
237199Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from
247199Sgblack@eecs.umich.edu// this software without specific prior written permission.
257199Sgblack@eecs.umich.edu//
267199Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
277199Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
287199Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
297199Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
307199Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
317199Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
327199Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
337199Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
347199Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
357199Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
367199Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
377199Sgblack@eecs.umich.edu//
387199Sgblack@eecs.umich.edu// Authors: Gabe Black
397199Sgblack@eecs.umich.edu
407199Sgblack@eecs.umich.edulet {{
417199Sgblack@eecs.umich.edu
427199Sgblack@eecs.umich.edu    svcCode = '''
437199Sgblack@eecs.umich.edu#if FULL_SYSTEM
447199Sgblack@eecs.umich.edu    fault = new SupervisorCall;
457199Sgblack@eecs.umich.edu#else
467199Sgblack@eecs.umich.edu    fault = new SupervisorCall(machInst);
477199Sgblack@eecs.umich.edu#endif
487199Sgblack@eecs.umich.edu    '''
497199Sgblack@eecs.umich.edu
507199Sgblack@eecs.umich.edu    svcIop = InstObjParams("svc", "Svc", "PredOp",
517199Sgblack@eecs.umich.edu                           { "code": svcCode,
527199Sgblack@eecs.umich.edu                             "predicate_test": predicateTest }, ["IsSyscall"])
537199Sgblack@eecs.umich.edu    header_output = BasicDeclare.subst(svcIop)
547199Sgblack@eecs.umich.edu    decoder_output = BasicConstructor.subst(svcIop)
557199Sgblack@eecs.umich.edu    exec_output = PredOpExecute.subst(svcIop)
567199Sgblack@eecs.umich.edu
577199Sgblack@eecs.umich.edu}};
587202Sgblack@eecs.umich.edu
597202Sgblack@eecs.umich.edulet {{
607202Sgblack@eecs.umich.edu
617202Sgblack@eecs.umich.edu    header_output = decoder_output = exec_output = ""
627202Sgblack@eecs.umich.edu
637202Sgblack@eecs.umich.edu    mrsCpsrCode = "Dest = (Cpsr | CondCodes) & 0xF8FF03DF"
647202Sgblack@eecs.umich.edu    mrsCpsrIop = InstObjParams("mrs", "MrsCpsr", "MrsOp",
657202Sgblack@eecs.umich.edu                               { "code": mrsCpsrCode,
667202Sgblack@eecs.umich.edu                                 "predicate_test": predicateTest }, [])
677202Sgblack@eecs.umich.edu    header_output += MrsDeclare.subst(mrsCpsrIop)
687202Sgblack@eecs.umich.edu    decoder_output += MrsConstructor.subst(mrsCpsrIop)
697202Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(mrsCpsrIop)
707202Sgblack@eecs.umich.edu
717202Sgblack@eecs.umich.edu    mrsSpsrCode = "Dest = Spsr"
727202Sgblack@eecs.umich.edu    mrsSpsrIop = InstObjParams("mrs", "MrsSpsr", "MrsOp",
737202Sgblack@eecs.umich.edu                               { "code": mrsSpsrCode,
747202Sgblack@eecs.umich.edu                                 "predicate_test": predicateTest }, [])
757202Sgblack@eecs.umich.edu    header_output += MrsDeclare.subst(mrsSpsrIop)
767202Sgblack@eecs.umich.edu    decoder_output += MrsConstructor.subst(mrsSpsrIop)
777202Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(mrsSpsrIop)
787202Sgblack@eecs.umich.edu
797202Sgblack@eecs.umich.edu    msrCpsrRegCode = '''
807202Sgblack@eecs.umich.edu        uint32_t newCpsr =
817202Sgblack@eecs.umich.edu            cpsrWriteByInstr(Cpsr | CondCodes, Op1, byteMask, false);
827202Sgblack@eecs.umich.edu        Cpsr = ~CondCodesMask & newCpsr;
837202Sgblack@eecs.umich.edu        CondCodes = CondCodesMask & newCpsr;
847202Sgblack@eecs.umich.edu    '''
857202Sgblack@eecs.umich.edu    msrCpsrRegIop = InstObjParams("msr", "MsrCpsrReg", "MsrRegOp",
867202Sgblack@eecs.umich.edu                                  { "code": msrCpsrRegCode,
877202Sgblack@eecs.umich.edu                                    "predicate_test": predicateTest }, [])
887202Sgblack@eecs.umich.edu    header_output += MsrRegDeclare.subst(msrCpsrRegIop)
897202Sgblack@eecs.umich.edu    decoder_output += MsrRegConstructor.subst(msrCpsrRegIop)
907202Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(msrCpsrRegIop)
917202Sgblack@eecs.umich.edu
927202Sgblack@eecs.umich.edu    msrSpsrRegCode = "Spsr = spsrWriteByInstr(Spsr, Op1, byteMask, false);"
937202Sgblack@eecs.umich.edu    msrSpsrRegIop = InstObjParams("msr", "MsrSpsrReg", "MsrRegOp",
947202Sgblack@eecs.umich.edu                                  { "code": msrSpsrRegCode,
957202Sgblack@eecs.umich.edu                                    "predicate_test": predicateTest }, [])
967202Sgblack@eecs.umich.edu    header_output += MsrRegDeclare.subst(msrSpsrRegIop)
977202Sgblack@eecs.umich.edu    decoder_output += MsrRegConstructor.subst(msrSpsrRegIop)
987202Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(msrSpsrRegIop)
997202Sgblack@eecs.umich.edu
1007202Sgblack@eecs.umich.edu    msrCpsrImmCode = '''
1017202Sgblack@eecs.umich.edu        uint32_t newCpsr =
1027202Sgblack@eecs.umich.edu            cpsrWriteByInstr(Cpsr | CondCodes, imm, byteMask, false);
1037202Sgblack@eecs.umich.edu        Cpsr = ~CondCodesMask & newCpsr;
1047202Sgblack@eecs.umich.edu        CondCodes = CondCodesMask & newCpsr;
1057202Sgblack@eecs.umich.edu    '''
1067202Sgblack@eecs.umich.edu    msrCpsrImmIop = InstObjParams("msr", "MsrCpsrImm", "MsrImmOp",
1077202Sgblack@eecs.umich.edu                                  { "code": msrCpsrImmCode,
1087202Sgblack@eecs.umich.edu                                    "predicate_test": predicateTest }, [])
1097202Sgblack@eecs.umich.edu    header_output += MsrImmDeclare.subst(msrCpsrImmIop)
1107202Sgblack@eecs.umich.edu    decoder_output += MsrImmConstructor.subst(msrCpsrImmIop)
1117202Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(msrCpsrImmIop)
1127202Sgblack@eecs.umich.edu
1137202Sgblack@eecs.umich.edu    msrSpsrImmCode = "Spsr = spsrWriteByInstr(Spsr, imm, byteMask, false);"
1147202Sgblack@eecs.umich.edu    msrSpsrImmIop = InstObjParams("msr", "MsrSpsrImm", "MsrImmOp",
1157202Sgblack@eecs.umich.edu                                  { "code": msrSpsrImmCode,
1167202Sgblack@eecs.umich.edu                                    "predicate_test": predicateTest }, [])
1177202Sgblack@eecs.umich.edu    header_output += MsrImmDeclare.subst(msrSpsrImmIop)
1187202Sgblack@eecs.umich.edu    decoder_output += MsrImmConstructor.subst(msrSpsrImmIop)
1197202Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(msrSpsrImmIop)
1207209Sgblack@eecs.umich.edu
1217209Sgblack@eecs.umich.edu    revCode = '''
1227209Sgblack@eecs.umich.edu    uint32_t val = Op1;
1237209Sgblack@eecs.umich.edu    Dest = swap_byte(val);
1247209Sgblack@eecs.umich.edu    '''
1257209Sgblack@eecs.umich.edu    revIop = InstObjParams("rev", "Rev", "RevOp",
1267209Sgblack@eecs.umich.edu                           { "code": revCode,
1277209Sgblack@eecs.umich.edu                             "predicate_test": predicateTest }, [])
1287209Sgblack@eecs.umich.edu    header_output += RevOpDeclare.subst(revIop)
1297209Sgblack@eecs.umich.edu    decoder_output += RevOpConstructor.subst(revIop)
1307209Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(revIop)
1317209Sgblack@eecs.umich.edu
1327209Sgblack@eecs.umich.edu    rev16Code = '''
1337209Sgblack@eecs.umich.edu    uint32_t val = Op1;
1347209Sgblack@eecs.umich.edu    Dest = (bits(val, 15, 8) << 0) |
1357209Sgblack@eecs.umich.edu           (bits(val, 7, 0) << 8) |
1367209Sgblack@eecs.umich.edu           (bits(val, 31, 24) << 16) |
1377209Sgblack@eecs.umich.edu           (bits(val, 23, 16) << 24);
1387209Sgblack@eecs.umich.edu    '''
1397209Sgblack@eecs.umich.edu    rev16Iop = InstObjParams("rev16", "Rev16", "RevOp",
1407209Sgblack@eecs.umich.edu                             { "code": rev16Code,
1417209Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
1427209Sgblack@eecs.umich.edu    header_output += RevOpDeclare.subst(rev16Iop)
1437209Sgblack@eecs.umich.edu    decoder_output += RevOpConstructor.subst(rev16Iop)
1447209Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(rev16Iop)
1457209Sgblack@eecs.umich.edu
1467209Sgblack@eecs.umich.edu    revshCode = '''
1477209Sgblack@eecs.umich.edu    uint16_t val = Op1;
1487209Sgblack@eecs.umich.edu    Dest = sext<16>(swap_byte(val));
1497209Sgblack@eecs.umich.edu    '''
1507209Sgblack@eecs.umich.edu    revshIop = InstObjParams("revsh", "Revsh", "RevOp",
1517209Sgblack@eecs.umich.edu                             { "code": revshCode,
1527209Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
1537209Sgblack@eecs.umich.edu    header_output += RevOpDeclare.subst(revshIop)
1547209Sgblack@eecs.umich.edu    decoder_output += RevOpConstructor.subst(revshIop)
1557209Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(revshIop)
1567226Sgblack@eecs.umich.edu
1577226Sgblack@eecs.umich.edu    ssatCode = '''
1587226Sgblack@eecs.umich.edu        int32_t operand = shift_rm_imm(Op1, shiftAmt, shiftType, 0);
1597226Sgblack@eecs.umich.edu        int32_t res;
1607226Sgblack@eecs.umich.edu        if (satInt(res, operand, satImm))
1617226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
1627226Sgblack@eecs.umich.edu        else
1637226Sgblack@eecs.umich.edu            CondCodes = CondCodes;
1647226Sgblack@eecs.umich.edu        Dest = res;
1657226Sgblack@eecs.umich.edu    '''
1667226Sgblack@eecs.umich.edu    ssatIop = InstObjParams("ssat", "Ssat", "SatShiftOp",
1677226Sgblack@eecs.umich.edu                            { "code": ssatCode,
1687226Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
1697226Sgblack@eecs.umich.edu    header_output += SatShiftOpDeclare.subst(ssatIop)
1707226Sgblack@eecs.umich.edu    decoder_output += SatShiftOpConstructor.subst(ssatIop)
1717226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(ssatIop)
1727226Sgblack@eecs.umich.edu
1737226Sgblack@eecs.umich.edu    usatCode = '''
1747226Sgblack@eecs.umich.edu        int32_t operand = shift_rm_imm(Op1, shiftAmt, shiftType, 0);
1757226Sgblack@eecs.umich.edu        int32_t res;
1767226Sgblack@eecs.umich.edu        if (uSatInt(res, operand, satImm))
1777226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
1787226Sgblack@eecs.umich.edu        else
1797226Sgblack@eecs.umich.edu            CondCodes = CondCodes;
1807226Sgblack@eecs.umich.edu        Dest = res;
1817226Sgblack@eecs.umich.edu    '''
1827226Sgblack@eecs.umich.edu    usatIop = InstObjParams("usat", "Usat", "SatShiftOp",
1837226Sgblack@eecs.umich.edu                            { "code": usatCode,
1847226Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
1857226Sgblack@eecs.umich.edu    header_output += SatShiftOpDeclare.subst(usatIop)
1867226Sgblack@eecs.umich.edu    decoder_output += SatShiftOpConstructor.subst(usatIop)
1877226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(usatIop)
1887226Sgblack@eecs.umich.edu
1897226Sgblack@eecs.umich.edu    ssat16Code = '''
1907226Sgblack@eecs.umich.edu        int32_t res;
1917226Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
1927226Sgblack@eecs.umich.edu        CondCodes = CondCodes;
1937226Sgblack@eecs.umich.edu        int32_t argLow = sext<16>(bits(Op1, 15, 0));
1947226Sgblack@eecs.umich.edu        int32_t argHigh = sext<16>(bits(Op1, 31, 16));
1957226Sgblack@eecs.umich.edu        if (satInt(res, argLow, satImm))
1967226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
1977226Sgblack@eecs.umich.edu        replaceBits(resTemp, 15, 0, res);
1987226Sgblack@eecs.umich.edu        if (satInt(res, argHigh, satImm))
1997226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2007226Sgblack@eecs.umich.edu        replaceBits(resTemp, 31, 16, res);
2017226Sgblack@eecs.umich.edu        Dest = resTemp;
2027226Sgblack@eecs.umich.edu    '''
2037226Sgblack@eecs.umich.edu    ssat16Iop = InstObjParams("ssat16", "Ssat16", "SatOp",
2047226Sgblack@eecs.umich.edu                              { "code": ssat16Code,
2057226Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
2067226Sgblack@eecs.umich.edu    header_output += SatOpDeclare.subst(ssat16Iop)
2077226Sgblack@eecs.umich.edu    decoder_output += SatOpConstructor.subst(ssat16Iop)
2087226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(ssat16Iop)
2097226Sgblack@eecs.umich.edu
2107226Sgblack@eecs.umich.edu    usat16Code = '''
2117226Sgblack@eecs.umich.edu        int32_t res;
2127226Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
2137226Sgblack@eecs.umich.edu        CondCodes = CondCodes;
2147226Sgblack@eecs.umich.edu        int32_t argLow = sext<16>(bits(Op1, 15, 0));
2157226Sgblack@eecs.umich.edu        int32_t argHigh = sext<16>(bits(Op1, 31, 16));
2167226Sgblack@eecs.umich.edu        if (uSatInt(res, argLow, satImm))
2177226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2187226Sgblack@eecs.umich.edu        replaceBits(resTemp, 15, 0, res);
2197226Sgblack@eecs.umich.edu        if (uSatInt(res, argHigh, satImm))
2207226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2217226Sgblack@eecs.umich.edu        replaceBits(resTemp, 31, 16, res);
2227226Sgblack@eecs.umich.edu        Dest = resTemp;
2237226Sgblack@eecs.umich.edu    '''
2247226Sgblack@eecs.umich.edu    usat16Iop = InstObjParams("usat16", "Usat16", "SatOp",
2257226Sgblack@eecs.umich.edu                              { "code": usat16Code,
2267226Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
2277226Sgblack@eecs.umich.edu    header_output += SatOpDeclare.subst(usat16Iop)
2287226Sgblack@eecs.umich.edu    decoder_output += SatOpConstructor.subst(usat16Iop)
2297226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(usat16Iop)
2307202Sgblack@eecs.umich.edu}};
231