misc.isa revision 7257
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
1577249Sgblack@eecs.umich.edu    rbitCode = '''
1587249Sgblack@eecs.umich.edu    uint8_t *opBytes = (uint8_t *)&Op1;
1597249Sgblack@eecs.umich.edu    uint32_t resTemp;
1607249Sgblack@eecs.umich.edu    uint8_t *destBytes = (uint8_t *)&resTemp;
1617249Sgblack@eecs.umich.edu    // This reverses the bytes and bits of the input, or so says the
1627249Sgblack@eecs.umich.edu    // internet.
1637249Sgblack@eecs.umich.edu    for (int i = 0; i < 4; i++) {
1647249Sgblack@eecs.umich.edu        uint32_t temp = opBytes[i];
1657249Sgblack@eecs.umich.edu        temp = (temp * 0x0802 & 0x22110) | (temp * 0x8020 & 0x88440);
1667249Sgblack@eecs.umich.edu        destBytes[3 - i] = (temp * 0x10101) >> 16;
1677249Sgblack@eecs.umich.edu    }
1687249Sgblack@eecs.umich.edu    Dest = resTemp;
1697249Sgblack@eecs.umich.edu    '''
1707249Sgblack@eecs.umich.edu    rbitIop = InstObjParams("rbit", "Rbit", "RevOp",
1717249Sgblack@eecs.umich.edu                            { "code": rbitCode,
1727249Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
1737249Sgblack@eecs.umich.edu    header_output += RevOpDeclare.subst(rbitIop)
1747249Sgblack@eecs.umich.edu    decoder_output += RevOpConstructor.subst(rbitIop)
1757249Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(rbitIop)
1767249Sgblack@eecs.umich.edu
1777251Sgblack@eecs.umich.edu    clzCode = '''
1787251Sgblack@eecs.umich.edu        Dest = (Op1 == 0) ? 32 : (31 - findMsbSet(Op1));
1797251Sgblack@eecs.umich.edu    '''
1807252Sgblack@eecs.umich.edu    clzIop = InstObjParams("clz", "Clz", "RevOp",
1817251Sgblack@eecs.umich.edu                           { "code": clzCode,
1827251Sgblack@eecs.umich.edu                             "predicate_test": predicateTest }, [])
1837251Sgblack@eecs.umich.edu    header_output += RevOpDeclare.subst(clzIop)
1847251Sgblack@eecs.umich.edu    decoder_output += RevOpConstructor.subst(clzIop)
1857251Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(clzIop)
1867251Sgblack@eecs.umich.edu
1877226Sgblack@eecs.umich.edu    ssatCode = '''
1887226Sgblack@eecs.umich.edu        int32_t operand = shift_rm_imm(Op1, shiftAmt, shiftType, 0);
1897226Sgblack@eecs.umich.edu        int32_t res;
1907232Sgblack@eecs.umich.edu        if (satInt(res, operand, imm))
1917226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
1927226Sgblack@eecs.umich.edu        else
1937226Sgblack@eecs.umich.edu            CondCodes = CondCodes;
1947226Sgblack@eecs.umich.edu        Dest = res;
1957226Sgblack@eecs.umich.edu    '''
1967232Sgblack@eecs.umich.edu    ssatIop = InstObjParams("ssat", "Ssat", "RegImmRegShiftOp",
1977226Sgblack@eecs.umich.edu                            { "code": ssatCode,
1987226Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
1997232Sgblack@eecs.umich.edu    header_output += RegImmRegShiftOpDeclare.subst(ssatIop)
2007232Sgblack@eecs.umich.edu    decoder_output += RegImmRegShiftOpConstructor.subst(ssatIop)
2017226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(ssatIop)
2027226Sgblack@eecs.umich.edu
2037226Sgblack@eecs.umich.edu    usatCode = '''
2047226Sgblack@eecs.umich.edu        int32_t operand = shift_rm_imm(Op1, shiftAmt, shiftType, 0);
2057226Sgblack@eecs.umich.edu        int32_t res;
2067232Sgblack@eecs.umich.edu        if (uSatInt(res, operand, imm))
2077226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2087226Sgblack@eecs.umich.edu        else
2097226Sgblack@eecs.umich.edu            CondCodes = CondCodes;
2107226Sgblack@eecs.umich.edu        Dest = res;
2117226Sgblack@eecs.umich.edu    '''
2127232Sgblack@eecs.umich.edu    usatIop = InstObjParams("usat", "Usat", "RegImmRegShiftOp",
2137226Sgblack@eecs.umich.edu                            { "code": usatCode,
2147226Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
2157232Sgblack@eecs.umich.edu    header_output += RegImmRegShiftOpDeclare.subst(usatIop)
2167232Sgblack@eecs.umich.edu    decoder_output += RegImmRegShiftOpConstructor.subst(usatIop)
2177226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(usatIop)
2187226Sgblack@eecs.umich.edu
2197226Sgblack@eecs.umich.edu    ssat16Code = '''
2207226Sgblack@eecs.umich.edu        int32_t res;
2217226Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
2227226Sgblack@eecs.umich.edu        CondCodes = CondCodes;
2237226Sgblack@eecs.umich.edu        int32_t argLow = sext<16>(bits(Op1, 15, 0));
2247226Sgblack@eecs.umich.edu        int32_t argHigh = sext<16>(bits(Op1, 31, 16));
2257232Sgblack@eecs.umich.edu        if (satInt(res, argLow, imm))
2267226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2277226Sgblack@eecs.umich.edu        replaceBits(resTemp, 15, 0, res);
2287232Sgblack@eecs.umich.edu        if (satInt(res, argHigh, imm))
2297226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2307226Sgblack@eecs.umich.edu        replaceBits(resTemp, 31, 16, res);
2317226Sgblack@eecs.umich.edu        Dest = resTemp;
2327226Sgblack@eecs.umich.edu    '''
2337232Sgblack@eecs.umich.edu    ssat16Iop = InstObjParams("ssat16", "Ssat16", "RegImmRegOp",
2347226Sgblack@eecs.umich.edu                              { "code": ssat16Code,
2357226Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
2367232Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(ssat16Iop)
2377232Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(ssat16Iop)
2387226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(ssat16Iop)
2397226Sgblack@eecs.umich.edu
2407226Sgblack@eecs.umich.edu    usat16Code = '''
2417226Sgblack@eecs.umich.edu        int32_t res;
2427226Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
2437226Sgblack@eecs.umich.edu        CondCodes = CondCodes;
2447226Sgblack@eecs.umich.edu        int32_t argLow = sext<16>(bits(Op1, 15, 0));
2457226Sgblack@eecs.umich.edu        int32_t argHigh = sext<16>(bits(Op1, 31, 16));
2467232Sgblack@eecs.umich.edu        if (uSatInt(res, argLow, imm))
2477226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2487226Sgblack@eecs.umich.edu        replaceBits(resTemp, 15, 0, res);
2497232Sgblack@eecs.umich.edu        if (uSatInt(res, argHigh, imm))
2507226Sgblack@eecs.umich.edu            CondCodes = CondCodes | (1 << 27);
2517226Sgblack@eecs.umich.edu        replaceBits(resTemp, 31, 16, res);
2527226Sgblack@eecs.umich.edu        Dest = resTemp;
2537226Sgblack@eecs.umich.edu    '''
2547232Sgblack@eecs.umich.edu    usat16Iop = InstObjParams("usat16", "Usat16", "RegImmRegOp",
2557226Sgblack@eecs.umich.edu                              { "code": usat16Code,
2567226Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
2577232Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(usat16Iop)
2587232Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(usat16Iop)
2597226Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(usat16Iop)
2607234Sgblack@eecs.umich.edu
2617234Sgblack@eecs.umich.edu    sxtbIop = InstObjParams("sxtb", "Sxtb", "RegImmRegOp",
2627234Sgblack@eecs.umich.edu                            { "code":
2637234Sgblack@eecs.umich.edu                              "Dest = sext<8>((uint8_t)(Op1.ud >> imm));",
2647234Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
2657234Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(sxtbIop)
2667234Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(sxtbIop)
2677234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sxtbIop)
2687234Sgblack@eecs.umich.edu
2697234Sgblack@eecs.umich.edu    sxtabIop = InstObjParams("sxtab", "Sxtab", "RegRegRegImmOp",
2707234Sgblack@eecs.umich.edu                             { "code":
2717234Sgblack@eecs.umich.edu                               '''
2727234Sgblack@eecs.umich.edu                                   Dest = sext<8>((uint8_t)(Op2.ud >> imm)) +
2737234Sgblack@eecs.umich.edu                                          Op1;
2747234Sgblack@eecs.umich.edu                               ''',
2757234Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
2767234Sgblack@eecs.umich.edu    header_output += RegRegRegImmOpDeclare.subst(sxtabIop)
2777234Sgblack@eecs.umich.edu    decoder_output += RegRegRegImmOpConstructor.subst(sxtabIop)
2787234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sxtabIop)
2797234Sgblack@eecs.umich.edu
2807234Sgblack@eecs.umich.edu    sxtb16Code = '''
2817234Sgblack@eecs.umich.edu    uint32_t resTemp = 0;
2827234Sgblack@eecs.umich.edu    replaceBits(resTemp, 15, 0, sext<8>(bits(Op1, imm + 7, imm)));
2837234Sgblack@eecs.umich.edu    replaceBits(resTemp, 31, 16,
2847234Sgblack@eecs.umich.edu                sext<8>(bits(Op1, (imm + 23) % 32, (imm + 16) % 32)));
2857234Sgblack@eecs.umich.edu    Dest = resTemp;
2867234Sgblack@eecs.umich.edu    '''
2877234Sgblack@eecs.umich.edu    sxtb16Iop = InstObjParams("sxtb16", "Sxtb16", "RegImmRegOp",
2887234Sgblack@eecs.umich.edu                              { "code": sxtb16Code,
2897234Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
2907234Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(sxtb16Iop)
2917234Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(sxtb16Iop)
2927234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sxtb16Iop)
2937234Sgblack@eecs.umich.edu
2947234Sgblack@eecs.umich.edu    sxtab16Code = '''
2957234Sgblack@eecs.umich.edu    uint32_t resTemp = 0;
2967234Sgblack@eecs.umich.edu    replaceBits(resTemp, 15, 0, sext<8>(bits(Op2, imm + 7, imm)) +
2977234Sgblack@eecs.umich.edu                                        bits(Op1, 15, 0));
2987234Sgblack@eecs.umich.edu    replaceBits(resTemp, 31, 16,
2997234Sgblack@eecs.umich.edu                sext<8>(bits(Op2, (imm + 23) % 32, (imm + 16) % 32)) +
3007234Sgblack@eecs.umich.edu                bits(Op1, 31, 16));
3017234Sgblack@eecs.umich.edu    Dest = resTemp;
3027234Sgblack@eecs.umich.edu    '''
3037234Sgblack@eecs.umich.edu    sxtab16Iop = InstObjParams("sxtab16", "Sxtab16", "RegRegRegImmOp",
3047234Sgblack@eecs.umich.edu                               { "code": sxtab16Code,
3057234Sgblack@eecs.umich.edu                                 "predicate_test": predicateTest }, [])
3067234Sgblack@eecs.umich.edu    header_output += RegRegRegImmOpDeclare.subst(sxtab16Iop)
3077234Sgblack@eecs.umich.edu    decoder_output += RegRegRegImmOpConstructor.subst(sxtab16Iop)
3087234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sxtab16Iop)
3097234Sgblack@eecs.umich.edu
3107234Sgblack@eecs.umich.edu    sxthCode = '''
3117234Sgblack@eecs.umich.edu    uint64_t rotated = (uint32_t)Op1;
3127234Sgblack@eecs.umich.edu    rotated = (rotated | (rotated << 32)) >> imm;
3137234Sgblack@eecs.umich.edu    Dest = sext<16>((uint16_t)rotated);
3147234Sgblack@eecs.umich.edu    '''
3157234Sgblack@eecs.umich.edu    sxthIop = InstObjParams("sxth", "Sxth", "RegImmRegOp",
3167234Sgblack@eecs.umich.edu                              { "code": sxthCode,
3177234Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
3187234Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(sxthIop)
3197234Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(sxthIop)
3207234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sxthIop)
3217234Sgblack@eecs.umich.edu
3227234Sgblack@eecs.umich.edu    sxtahCode = '''
3237234Sgblack@eecs.umich.edu    uint64_t rotated = (uint32_t)Op2;
3247234Sgblack@eecs.umich.edu    rotated = (rotated | (rotated << 32)) >> imm;
3257234Sgblack@eecs.umich.edu    Dest = sext<16>((uint16_t)rotated) + Op1;
3267234Sgblack@eecs.umich.edu    '''
3277234Sgblack@eecs.umich.edu    sxtahIop = InstObjParams("sxtah", "Sxtah", "RegRegRegImmOp",
3287234Sgblack@eecs.umich.edu                             { "code": sxtahCode,
3297234Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
3307234Sgblack@eecs.umich.edu    header_output += RegRegRegImmOpDeclare.subst(sxtahIop)
3317234Sgblack@eecs.umich.edu    decoder_output += RegRegRegImmOpConstructor.subst(sxtahIop)
3327234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sxtahIop)
3337234Sgblack@eecs.umich.edu
3347234Sgblack@eecs.umich.edu    uxtbIop = InstObjParams("uxtb", "Uxtb", "RegImmRegOp",
3357234Sgblack@eecs.umich.edu                            { "code": "Dest = (uint8_t)(Op1.ud >> imm);",
3367234Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
3377234Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(uxtbIop)
3387234Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(uxtbIop)
3397234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(uxtbIop)
3407234Sgblack@eecs.umich.edu
3417234Sgblack@eecs.umich.edu    uxtabIop = InstObjParams("uxtab", "Uxtab", "RegRegRegImmOp",
3427234Sgblack@eecs.umich.edu                             { "code":
3437234Sgblack@eecs.umich.edu                               "Dest = (uint8_t)(Op2.ud >> imm) + Op1;",
3447234Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
3457234Sgblack@eecs.umich.edu    header_output += RegRegRegImmOpDeclare.subst(uxtabIop)
3467234Sgblack@eecs.umich.edu    decoder_output += RegRegRegImmOpConstructor.subst(uxtabIop)
3477234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(uxtabIop)
3487234Sgblack@eecs.umich.edu
3497234Sgblack@eecs.umich.edu    uxtb16Code = '''
3507234Sgblack@eecs.umich.edu    uint32_t resTemp = 0;
3517234Sgblack@eecs.umich.edu    replaceBits(resTemp, 15, 0, (uint8_t)(bits(Op1, imm + 7, imm)));
3527234Sgblack@eecs.umich.edu    replaceBits(resTemp, 31, 16,
3537234Sgblack@eecs.umich.edu                (uint8_t)(bits(Op1, (imm + 23) % 32, (imm + 16) % 32)));
3547234Sgblack@eecs.umich.edu    Dest = resTemp;
3557234Sgblack@eecs.umich.edu    '''
3567234Sgblack@eecs.umich.edu    uxtb16Iop = InstObjParams("uxtb16", "Uxtb16", "RegImmRegOp",
3577234Sgblack@eecs.umich.edu                              { "code": uxtb16Code,
3587234Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
3597234Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(uxtb16Iop)
3607234Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(uxtb16Iop)
3617234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(uxtb16Iop)
3627234Sgblack@eecs.umich.edu
3637234Sgblack@eecs.umich.edu    uxtab16Code = '''
3647234Sgblack@eecs.umich.edu    uint32_t resTemp = 0;
3657234Sgblack@eecs.umich.edu    replaceBits(resTemp, 15, 0, (uint8_t)(bits(Op2, imm + 7, imm)) +
3667234Sgblack@eecs.umich.edu                                        bits(Op1, 15, 0));
3677234Sgblack@eecs.umich.edu    replaceBits(resTemp, 31, 16,
3687234Sgblack@eecs.umich.edu                (uint8_t)(bits(Op2, (imm + 23) % 32, (imm + 16) % 32)) +
3697234Sgblack@eecs.umich.edu                bits(Op1, 31, 16));
3707234Sgblack@eecs.umich.edu    Dest = resTemp;
3717234Sgblack@eecs.umich.edu    '''
3727234Sgblack@eecs.umich.edu    uxtab16Iop = InstObjParams("uxtab16", "Uxtab16", "RegRegRegImmOp",
3737234Sgblack@eecs.umich.edu                               { "code": uxtab16Code,
3747234Sgblack@eecs.umich.edu                                 "predicate_test": predicateTest }, [])
3757234Sgblack@eecs.umich.edu    header_output += RegRegRegImmOpDeclare.subst(uxtab16Iop)
3767234Sgblack@eecs.umich.edu    decoder_output += RegRegRegImmOpConstructor.subst(uxtab16Iop)
3777234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(uxtab16Iop)
3787234Sgblack@eecs.umich.edu
3797234Sgblack@eecs.umich.edu    uxthCode = '''
3807234Sgblack@eecs.umich.edu    uint64_t rotated = (uint32_t)Op1;
3817234Sgblack@eecs.umich.edu    rotated = (rotated | (rotated << 32)) >> imm;
3827234Sgblack@eecs.umich.edu    Dest = (uint16_t)rotated;
3837234Sgblack@eecs.umich.edu    '''
3847234Sgblack@eecs.umich.edu    uxthIop = InstObjParams("uxth", "Uxth", "RegImmRegOp",
3857234Sgblack@eecs.umich.edu                              { "code": uxthCode,
3867234Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
3877234Sgblack@eecs.umich.edu    header_output += RegImmRegOpDeclare.subst(uxthIop)
3887234Sgblack@eecs.umich.edu    decoder_output += RegImmRegOpConstructor.subst(uxthIop)
3897234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(uxthIop)
3907234Sgblack@eecs.umich.edu
3917234Sgblack@eecs.umich.edu    uxtahCode = '''
3927234Sgblack@eecs.umich.edu    uint64_t rotated = (uint32_t)Op2;
3937234Sgblack@eecs.umich.edu    rotated = (rotated | (rotated << 32)) >> imm;
3947234Sgblack@eecs.umich.edu    Dest = (uint16_t)rotated + Op1;
3957234Sgblack@eecs.umich.edu    '''
3967234Sgblack@eecs.umich.edu    uxtahIop = InstObjParams("uxtah", "Uxtah", "RegRegRegImmOp",
3977234Sgblack@eecs.umich.edu                             { "code": uxtahCode,
3987234Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
3997234Sgblack@eecs.umich.edu    header_output += RegRegRegImmOpDeclare.subst(uxtahIop)
4007234Sgblack@eecs.umich.edu    decoder_output += RegRegRegImmOpConstructor.subst(uxtahIop)
4017234Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(uxtahIop)
4027239Sgblack@eecs.umich.edu
4037239Sgblack@eecs.umich.edu    selCode = '''
4047239Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
4057239Sgblack@eecs.umich.edu        for (unsigned i = 0; i < 4; i++) {
4067239Sgblack@eecs.umich.edu            int low = i * 8;
4077239Sgblack@eecs.umich.edu            int high = low + 7;
4087239Sgblack@eecs.umich.edu            replaceBits(resTemp, high, low,
4097239Sgblack@eecs.umich.edu                        bits(CondCodes, 16 + i) ?
4107239Sgblack@eecs.umich.edu                            bits(Op1, high, low) : bits(Op2, high, low));
4117239Sgblack@eecs.umich.edu        }
4127239Sgblack@eecs.umich.edu        Dest = resTemp;
4137239Sgblack@eecs.umich.edu    '''
4147239Sgblack@eecs.umich.edu    selIop = InstObjParams("sel", "Sel", "RegRegRegOp",
4157239Sgblack@eecs.umich.edu                           { "code": selCode,
4167239Sgblack@eecs.umich.edu                             "predicate_test": predicateTest }, [])
4177239Sgblack@eecs.umich.edu    header_output += RegRegRegOpDeclare.subst(selIop)
4187239Sgblack@eecs.umich.edu    decoder_output += RegRegRegOpConstructor.subst(selIop)
4197239Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(selIop)
4207242Sgblack@eecs.umich.edu
4217242Sgblack@eecs.umich.edu    usad8Code = '''
4227242Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
4237242Sgblack@eecs.umich.edu        for (unsigned i = 0; i < 4; i++) {
4247242Sgblack@eecs.umich.edu            int low = i * 8;
4257242Sgblack@eecs.umich.edu            int high = low + 7;
4267242Sgblack@eecs.umich.edu            int32_t diff = bits(Op1, high, low) -
4277242Sgblack@eecs.umich.edu                           bits(Op2, high, low);
4287242Sgblack@eecs.umich.edu            resTemp += ((diff < 0) ? -diff : diff);
4297242Sgblack@eecs.umich.edu        }
4307242Sgblack@eecs.umich.edu        Dest = resTemp;
4317242Sgblack@eecs.umich.edu    '''
4327242Sgblack@eecs.umich.edu    usad8Iop = InstObjParams("usad8", "Usad8", "RegRegRegOp",
4337242Sgblack@eecs.umich.edu                             { "code": usad8Code,
4347242Sgblack@eecs.umich.edu                               "predicate_test": predicateTest }, [])
4357242Sgblack@eecs.umich.edu    header_output += RegRegRegOpDeclare.subst(usad8Iop)
4367242Sgblack@eecs.umich.edu    decoder_output += RegRegRegOpConstructor.subst(usad8Iop)
4377242Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(usad8Iop)
4387242Sgblack@eecs.umich.edu
4397242Sgblack@eecs.umich.edu    usada8Code = '''
4407242Sgblack@eecs.umich.edu        uint32_t resTemp = 0;
4417242Sgblack@eecs.umich.edu        for (unsigned i = 0; i < 4; i++) {
4427242Sgblack@eecs.umich.edu            int low = i * 8;
4437242Sgblack@eecs.umich.edu            int high = low + 7;
4447242Sgblack@eecs.umich.edu            int32_t diff = bits(Op1, high, low) -
4457242Sgblack@eecs.umich.edu                           bits(Op2, high, low);
4467242Sgblack@eecs.umich.edu            resTemp += ((diff < 0) ? -diff : diff);
4477242Sgblack@eecs.umich.edu        }
4487242Sgblack@eecs.umich.edu        Dest = Op3 + resTemp;
4497242Sgblack@eecs.umich.edu    '''
4507242Sgblack@eecs.umich.edu    usada8Iop = InstObjParams("usada8", "Usada8", "RegRegRegRegOp",
4517242Sgblack@eecs.umich.edu                              { "code": usada8Code,
4527242Sgblack@eecs.umich.edu                                "predicate_test": predicateTest }, [])
4537242Sgblack@eecs.umich.edu    header_output += RegRegRegRegOpDeclare.subst(usada8Iop)
4547242Sgblack@eecs.umich.edu    decoder_output += RegRegRegRegOpConstructor.subst(usada8Iop)
4557242Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(usada8Iop)
4567247Sgblack@eecs.umich.edu
4577247Sgblack@eecs.umich.edu    nopIop = InstObjParams("nop", "NopInst", "ArmStaticInst", "", [])
4587247Sgblack@eecs.umich.edu    header_output += BasicDeclare.subst(nopIop)
4597247Sgblack@eecs.umich.edu    decoder_output += BasicConstructor.subst(nopIop)
4607247Sgblack@eecs.umich.edu    exec_output += BasicExecute.subst(nopIop)
4617254Sgblack@eecs.umich.edu
4627254Sgblack@eecs.umich.edu    ubfxCode = '''
4637254Sgblack@eecs.umich.edu        Dest = bits(Op1, imm2, imm1);
4647254Sgblack@eecs.umich.edu    '''
4657254Sgblack@eecs.umich.edu    ubfxIop = InstObjParams("ubfx", "Ubfx", "RegRegImmImmOp",
4667254Sgblack@eecs.umich.edu                            { "code": ubfxCode,
4677254Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
4687254Sgblack@eecs.umich.edu    header_output += RegRegImmImmOpDeclare.subst(ubfxIop)
4697254Sgblack@eecs.umich.edu    decoder_output += RegRegImmImmOpConstructor.subst(ubfxIop)
4707254Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(ubfxIop)
4717254Sgblack@eecs.umich.edu
4727254Sgblack@eecs.umich.edu    sbfxCode = '''
4737254Sgblack@eecs.umich.edu        int32_t resTemp = bits(Op1, imm2, imm1);
4747254Sgblack@eecs.umich.edu        Dest = resTemp | -(resTemp & (1 << (imm2 - imm1)));
4757254Sgblack@eecs.umich.edu    '''
4767254Sgblack@eecs.umich.edu    sbfxIop = InstObjParams("sbfx", "Sbfx", "RegRegImmImmOp",
4777254Sgblack@eecs.umich.edu                            { "code": sbfxCode,
4787254Sgblack@eecs.umich.edu                              "predicate_test": predicateTest }, [])
4797254Sgblack@eecs.umich.edu    header_output += RegRegImmImmOpDeclare.subst(sbfxIop)
4807254Sgblack@eecs.umich.edu    decoder_output += RegRegImmImmOpConstructor.subst(sbfxIop)
4817254Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(sbfxIop)
4827257Sgblack@eecs.umich.edu
4837257Sgblack@eecs.umich.edu    bfcCode = '''
4847257Sgblack@eecs.umich.edu        Dest = Op1 & ~(mask(imm2 - imm1 + 1) << imm1);
4857257Sgblack@eecs.umich.edu    '''
4867257Sgblack@eecs.umich.edu    bfcIop = InstObjParams("bfc", "Bfc", "RegRegImmImmOp",
4877257Sgblack@eecs.umich.edu                           { "code": bfcCode,
4887257Sgblack@eecs.umich.edu                             "predicate_test": predicateTest }, [])
4897257Sgblack@eecs.umich.edu    header_output += RegRegImmImmOpDeclare.subst(bfcIop)
4907257Sgblack@eecs.umich.edu    decoder_output += RegRegImmImmOpConstructor.subst(bfcIop)
4917257Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(bfcIop)
4927257Sgblack@eecs.umich.edu
4937257Sgblack@eecs.umich.edu    bfiCode = '''
4947257Sgblack@eecs.umich.edu        uint32_t bitMask = (mask(imm2 - imm1 + 1) << imm1);
4957257Sgblack@eecs.umich.edu        Dest = ((Op1 << imm1) & bitMask) | (Dest & ~bitMask);
4967257Sgblack@eecs.umich.edu    '''
4977257Sgblack@eecs.umich.edu    bfiIop = InstObjParams("bfi", "Bfi", "RegRegImmImmOp",
4987257Sgblack@eecs.umich.edu                           { "code": bfiCode,
4997257Sgblack@eecs.umich.edu                             "predicate_test": predicateTest }, [])
5007257Sgblack@eecs.umich.edu    header_output += RegRegImmImmOpDeclare.subst(bfiIop)
5017257Sgblack@eecs.umich.edu    decoder_output += RegRegImmImmOpConstructor.subst(bfiIop)
5027257Sgblack@eecs.umich.edu    exec_output += PredOpExecute.subst(bfiIop)
5037202Sgblack@eecs.umich.edu}};
504