data.isa revision 7219
17138Sgblack@eecs.umich.edu// -*- mode:c++ -*- 27138Sgblack@eecs.umich.edu 37138Sgblack@eecs.umich.edu// Copyright (c) 2010 ARM Limited 47138Sgblack@eecs.umich.edu// All rights reserved 57138Sgblack@eecs.umich.edu// 67138Sgblack@eecs.umich.edu// The license below extends only to copyright in the software and shall 77138Sgblack@eecs.umich.edu// not be construed as granting a license to any other intellectual 87138Sgblack@eecs.umich.edu// property including but not limited to intellectual property relating 97138Sgblack@eecs.umich.edu// to a hardware implementation of the functionality of the software 107138Sgblack@eecs.umich.edu// licensed hereunder. You may use the software subject to the license 117138Sgblack@eecs.umich.edu// terms below provided that you ensure that this notice is replicated 127138Sgblack@eecs.umich.edu// unmodified and in its entirety in all distributions of the software, 137138Sgblack@eecs.umich.edu// modified or unmodified, in source code or in binary form. 147138Sgblack@eecs.umich.edu// 157138Sgblack@eecs.umich.edu// Redistribution and use in source and binary forms, with or without 167138Sgblack@eecs.umich.edu// modification, are permitted provided that the following conditions are 177138Sgblack@eecs.umich.edu// met: redistributions of source code must retain the above copyright 187138Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer; 197138Sgblack@eecs.umich.edu// redistributions in binary form must reproduce the above copyright 207138Sgblack@eecs.umich.edu// notice, this list of conditions and the following disclaimer in the 217138Sgblack@eecs.umich.edu// documentation and/or other materials provided with the distribution; 227138Sgblack@eecs.umich.edu// neither the name of the copyright holders nor the names of its 237138Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 247138Sgblack@eecs.umich.edu// this software without specific prior written permission. 257138Sgblack@eecs.umich.edu// 267138Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 277138Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 287138Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 297138Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 307138Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 317138Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 327138Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 337138Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 347138Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 357138Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 367138Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 377138Sgblack@eecs.umich.edu// 387138Sgblack@eecs.umich.edu// Authors: Gabe Black 397138Sgblack@eecs.umich.edu 407138Sgblack@eecs.umich.edulet {{ 417138Sgblack@eecs.umich.edu 427138Sgblack@eecs.umich.edu header_output = "" 437138Sgblack@eecs.umich.edu decoder_output = "" 447138Sgblack@eecs.umich.edu exec_output = "" 457138Sgblack@eecs.umich.edu 467214Sgblack@eecs.umich.edu calcGECode = ''' 477214Sgblack@eecs.umich.edu CondCodes = insertBits(CondCodes, 19, 16, resTemp); 487214Sgblack@eecs.umich.edu ''' 497214Sgblack@eecs.umich.edu 507138Sgblack@eecs.umich.edu calcQCode = ''' 517193Sgblack@eecs.umich.edu CondCodes = CondCodes | ((resTemp & 1) << 27); 527138Sgblack@eecs.umich.edu ''' 537138Sgblack@eecs.umich.edu 547138Sgblack@eecs.umich.edu calcCcCode = ''' 557138Sgblack@eecs.umich.edu uint16_t _ic, _iv, _iz, _in; 567138Sgblack@eecs.umich.edu _in = (resTemp >> %(negBit)d) & 1; 577138Sgblack@eecs.umich.edu _iz = (resTemp == 0); 587138Sgblack@eecs.umich.edu _iv = %(ivValue)s & 1; 597138Sgblack@eecs.umich.edu _ic = %(icValue)s & 1; 607138Sgblack@eecs.umich.edu 617138Sgblack@eecs.umich.edu CondCodes = _in << 31 | _iz << 30 | _ic << 29 | _iv << 28 | 627138Sgblack@eecs.umich.edu (CondCodes & 0x0FFFFFFF); 637138Sgblack@eecs.umich.edu 647138Sgblack@eecs.umich.edu DPRINTF(Arm, "(in, iz, ic, iv) = (%%d, %%d, %%d, %%d)\\n", 657138Sgblack@eecs.umich.edu _in, _iz, _ic, _iv); 667138Sgblack@eecs.umich.edu ''' 677138Sgblack@eecs.umich.edu 687138Sgblack@eecs.umich.edu # Dict of code to set the carry flag. (imm, reg, reg-reg) 697138Sgblack@eecs.umich.edu oldC = 'CondCodes<29:>' 707138Sgblack@eecs.umich.edu oldV = 'CondCodes<28:>' 717138Sgblack@eecs.umich.edu carryCode = { 727138Sgblack@eecs.umich.edu "none": (oldC, oldC, oldC), 737138Sgblack@eecs.umich.edu "llbit": (oldC, oldC, oldC), 747193Sgblack@eecs.umich.edu "saturate": ('0', '0', '0'), 757138Sgblack@eecs.umich.edu "overflow": ('0', '0', '0'), 767215Sgblack@eecs.umich.edu "ge": ('0', '0', '0'), 777138Sgblack@eecs.umich.edu "add": ('findCarry(32, resTemp, Op1, secondOp)', 787138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, secondOp)', 797138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, secondOp)'), 807138Sgblack@eecs.umich.edu "sub": ('findCarry(32, resTemp, Op1, ~secondOp)', 817138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, ~secondOp)', 827138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, ~secondOp)'), 837138Sgblack@eecs.umich.edu "rsb": ('findCarry(32, resTemp, secondOp, ~Op1)', 847138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, secondOp, ~Op1)', 857138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, secondOp, ~Op1)'), 867138Sgblack@eecs.umich.edu "logic": ('(rotC ? bits(secondOp, 31) : %s)' % oldC, 877138Sgblack@eecs.umich.edu 'shift_carry_imm(Op2, shiftAmt, shiftType, %s)' % oldC, 887138Sgblack@eecs.umich.edu 'shift_carry_rs(Op2, Shift<7:0>, shiftType, %s)' % oldC) 897138Sgblack@eecs.umich.edu } 907138Sgblack@eecs.umich.edu # Dict of code to set the overflow flag. 917138Sgblack@eecs.umich.edu overflowCode = { 927138Sgblack@eecs.umich.edu "none": oldV, 937138Sgblack@eecs.umich.edu "llbit": oldV, 947193Sgblack@eecs.umich.edu "saturate": '0', 957138Sgblack@eecs.umich.edu "overflow": '0', 967215Sgblack@eecs.umich.edu "ge": '0', 977138Sgblack@eecs.umich.edu "add": 'findOverflow(32, resTemp, Op1, secondOp)', 987138Sgblack@eecs.umich.edu "sub": 'findOverflow(32, resTemp, Op1, ~secondOp)', 997138Sgblack@eecs.umich.edu "rsb": 'findOverflow(32, resTemp, secondOp, ~Op1)', 1007138Sgblack@eecs.umich.edu "logic": oldV 1017138Sgblack@eecs.umich.edu } 1027138Sgblack@eecs.umich.edu 1037138Sgblack@eecs.umich.edu secondOpRe = re.compile("secondOp") 1047138Sgblack@eecs.umich.edu immOp2 = "imm" 1057138Sgblack@eecs.umich.edu regOp2 = "shift_rm_imm(Op2, shiftAmt, shiftType, CondCodes<29:>)" 1067181Sgblack@eecs.umich.edu regRegOp2 = "shift_rm_rs(Op2, Shift<7:0>, shiftType, CondCodes<29:>)" 1077138Sgblack@eecs.umich.edu 1087193Sgblack@eecs.umich.edu def buildImmDataInst(mnem, code, flagType = "logic", suffix = "Imm", \ 1097193Sgblack@eecs.umich.edu buildCc = True, buildNonCc = True): 1107138Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1117138Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1127138Sgblack@eecs.umich.edu negBit = 31 1137138Sgblack@eecs.umich.edu if flagType == "llbit": 1147138Sgblack@eecs.umich.edu negBit = 63 1157193Sgblack@eecs.umich.edu if flagType == "saturate": 1167184Sgblack@eecs.umich.edu immCcCode = calcQCode 1177214Sgblack@eecs.umich.edu elif flagType == "ge": 1187214Sgblack@eecs.umich.edu immCcCode = calcGECode 1197138Sgblack@eecs.umich.edu else: 1207138Sgblack@eecs.umich.edu immCcCode = calcCcCode % { 1217138Sgblack@eecs.umich.edu "icValue": secondOpRe.sub(immOp2, cCode[0]), 1227138Sgblack@eecs.umich.edu "ivValue": secondOpRe.sub(immOp2, vCode), 1237138Sgblack@eecs.umich.edu "negBit": negBit 1247138Sgblack@eecs.umich.edu } 1257184Sgblack@eecs.umich.edu immCode = secondOpRe.sub(immOp2, code) 1267188Sgblack@eecs.umich.edu immIop = InstObjParams(mnem, mnem.capitalize() + suffix, "DataImmOp", 1277184Sgblack@eecs.umich.edu {"code" : immCode, 1287184Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1297188Sgblack@eecs.umich.edu immIopCc = InstObjParams(mnem + "s", mnem.capitalize() + suffix + "Cc", 1307184Sgblack@eecs.umich.edu "DataImmOp", 1317184Sgblack@eecs.umich.edu {"code" : immCode + immCcCode, 1327184Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1337184Sgblack@eecs.umich.edu 1347188Sgblack@eecs.umich.edu def subst(iop): 1357188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 1367188Sgblack@eecs.umich.edu header_output += DataImmDeclare.subst(iop) 1377188Sgblack@eecs.umich.edu decoder_output += DataImmConstructor.subst(iop) 1387188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 1397188Sgblack@eecs.umich.edu 1407193Sgblack@eecs.umich.edu if buildNonCc: 1417193Sgblack@eecs.umich.edu subst(immIop) 1427188Sgblack@eecs.umich.edu if buildCc: 1437188Sgblack@eecs.umich.edu subst(immIopCc) 1447188Sgblack@eecs.umich.edu 1457193Sgblack@eecs.umich.edu def buildRegDataInst(mnem, code, flagType = "logic", suffix = "Reg", \ 1467193Sgblack@eecs.umich.edu buildCc = True, buildNonCc = True): 1477184Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1487184Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1497184Sgblack@eecs.umich.edu negBit = 31 1507184Sgblack@eecs.umich.edu if flagType == "llbit": 1517184Sgblack@eecs.umich.edu negBit = 63 1527193Sgblack@eecs.umich.edu if flagType == "saturate": 1537184Sgblack@eecs.umich.edu regCcCode = calcQCode 1547214Sgblack@eecs.umich.edu elif flagType == "ge": 1557215Sgblack@eecs.umich.edu regCcCode = calcGECode 1567184Sgblack@eecs.umich.edu else: 1577138Sgblack@eecs.umich.edu regCcCode = calcCcCode % { 1587138Sgblack@eecs.umich.edu "icValue": secondOpRe.sub(regOp2, cCode[1]), 1597138Sgblack@eecs.umich.edu "ivValue": secondOpRe.sub(regOp2, vCode), 1607138Sgblack@eecs.umich.edu "negBit": negBit 1617138Sgblack@eecs.umich.edu } 1627184Sgblack@eecs.umich.edu regCode = secondOpRe.sub(regOp2, code) 1637188Sgblack@eecs.umich.edu regIop = InstObjParams(mnem, mnem.capitalize() + suffix, "DataRegOp", 1647184Sgblack@eecs.umich.edu {"code" : regCode, 1657184Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1667188Sgblack@eecs.umich.edu regIopCc = InstObjParams(mnem + "s", mnem.capitalize() + suffix + "Cc", 1677184Sgblack@eecs.umich.edu "DataRegOp", 1687184Sgblack@eecs.umich.edu {"code" : regCode + regCcCode, 1697184Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1707184Sgblack@eecs.umich.edu 1717188Sgblack@eecs.umich.edu def subst(iop): 1727188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 1737188Sgblack@eecs.umich.edu header_output += DataRegDeclare.subst(iop) 1747188Sgblack@eecs.umich.edu decoder_output += DataRegConstructor.subst(iop) 1757188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 1767188Sgblack@eecs.umich.edu 1777193Sgblack@eecs.umich.edu if buildNonCc: 1787193Sgblack@eecs.umich.edu subst(regIop) 1797188Sgblack@eecs.umich.edu if buildCc: 1807188Sgblack@eecs.umich.edu subst(regIopCc) 1817188Sgblack@eecs.umich.edu 1827188Sgblack@eecs.umich.edu def buildRegRegDataInst(mnem, code, flagType = "logic", \ 1837193Sgblack@eecs.umich.edu suffix = "RegReg", \ 1847193Sgblack@eecs.umich.edu buildCc = True, buildNonCc = True): 1857184Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1867184Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1877184Sgblack@eecs.umich.edu negBit = 31 1887184Sgblack@eecs.umich.edu if flagType == "llbit": 1897184Sgblack@eecs.umich.edu negBit = 63 1907193Sgblack@eecs.umich.edu if flagType == "saturate": 1917184Sgblack@eecs.umich.edu regRegCcCode = calcQCode 1927214Sgblack@eecs.umich.edu elif flagType == "ge": 1937215Sgblack@eecs.umich.edu regRegCcCode = calcGECode 1947184Sgblack@eecs.umich.edu else: 1957138Sgblack@eecs.umich.edu regRegCcCode = calcCcCode % { 1967138Sgblack@eecs.umich.edu "icValue": secondOpRe.sub(regRegOp2, cCode[2]), 1977138Sgblack@eecs.umich.edu "ivValue": secondOpRe.sub(regRegOp2, vCode), 1987138Sgblack@eecs.umich.edu "negBit": negBit 1997138Sgblack@eecs.umich.edu } 2007138Sgblack@eecs.umich.edu regRegCode = secondOpRe.sub(regRegOp2, code) 2017188Sgblack@eecs.umich.edu regRegIop = InstObjParams(mnem, mnem.capitalize() + suffix, 2027138Sgblack@eecs.umich.edu "DataRegRegOp", 2037138Sgblack@eecs.umich.edu {"code" : regRegCode, 2047138Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 2057138Sgblack@eecs.umich.edu regRegIopCc = InstObjParams(mnem + "s", 2067188Sgblack@eecs.umich.edu mnem.capitalize() + suffix + "Cc", 2077138Sgblack@eecs.umich.edu "DataRegRegOp", 2087138Sgblack@eecs.umich.edu {"code" : regRegCode + regRegCcCode, 2097138Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 2107138Sgblack@eecs.umich.edu 2117188Sgblack@eecs.umich.edu def subst(iop): 2127188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 2137188Sgblack@eecs.umich.edu header_output += DataRegRegDeclare.subst(iop) 2147188Sgblack@eecs.umich.edu decoder_output += DataRegRegConstructor.subst(iop) 2157188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 2167184Sgblack@eecs.umich.edu 2177193Sgblack@eecs.umich.edu if buildNonCc: 2187193Sgblack@eecs.umich.edu subst(regRegIop) 2197188Sgblack@eecs.umich.edu if buildCc: 2207188Sgblack@eecs.umich.edu subst(regRegIopCc) 2217188Sgblack@eecs.umich.edu 2227188Sgblack@eecs.umich.edu def buildDataInst(mnem, code, flagType = "logic", \ 2237188Sgblack@eecs.umich.edu aiw = True, regRegAiw = True, 2247188Sgblack@eecs.umich.edu subsPcLr = True): 2257188Sgblack@eecs.umich.edu regRegCode = instCode = code 2267188Sgblack@eecs.umich.edu if aiw: 2277188Sgblack@eecs.umich.edu instCode = "AIW" + instCode 2287188Sgblack@eecs.umich.edu if regRegAiw: 2297188Sgblack@eecs.umich.edu regRegCode = "AIW" + regRegCode 2307188Sgblack@eecs.umich.edu 2317188Sgblack@eecs.umich.edu buildImmDataInst(mnem, instCode, flagType) 2327188Sgblack@eecs.umich.edu buildRegDataInst(mnem, instCode, flagType) 2337188Sgblack@eecs.umich.edu buildRegRegDataInst(mnem, regRegCode, flagType) 2347188Sgblack@eecs.umich.edu if subsPcLr: 2357188Sgblack@eecs.umich.edu code += ''' 2367188Sgblack@eecs.umich.edu uint32_t newCpsr = 2377188Sgblack@eecs.umich.edu cpsrWriteByInstr(Cpsr | CondCodes, Spsr, 0xF, true); 2387188Sgblack@eecs.umich.edu Cpsr = ~CondCodesMask & newCpsr; 2397188Sgblack@eecs.umich.edu CondCodes = CondCodesMask & newCpsr; 2407188Sgblack@eecs.umich.edu ''' 2417188Sgblack@eecs.umich.edu buildImmDataInst(mnem + 's', code, flagType, 2427188Sgblack@eecs.umich.edu suffix = "ImmPclr", buildCc = False) 2437188Sgblack@eecs.umich.edu buildRegDataInst(mnem + 's', code, flagType, 2447188Sgblack@eecs.umich.edu suffix = "RegPclr", buildCc = False) 2457188Sgblack@eecs.umich.edu 2467188Sgblack@eecs.umich.edu buildDataInst("and", "Dest = resTemp = Op1 & secondOp;") 2477188Sgblack@eecs.umich.edu buildDataInst("eor", "Dest = resTemp = Op1 ^ secondOp;") 2487188Sgblack@eecs.umich.edu buildDataInst("sub", "Dest = resTemp = Op1 - secondOp;", "sub") 2497188Sgblack@eecs.umich.edu buildDataInst("rsb", "Dest = resTemp = secondOp - Op1;", "rsb") 2507188Sgblack@eecs.umich.edu buildDataInst("add", "Dest = resTemp = Op1 + secondOp;", "add") 2517185Sgblack@eecs.umich.edu buildImmDataInst("adr", ''' 2527188Sgblack@eecs.umich.edu Dest = resTemp = (readPC(xc) & ~0x3) + 2537185Sgblack@eecs.umich.edu (op1 ? secondOp : -secondOp); 2547185Sgblack@eecs.umich.edu ''') 2557188Sgblack@eecs.umich.edu buildDataInst("adc", "Dest = resTemp = Op1 + secondOp + %s;" % oldC, "add") 2567188Sgblack@eecs.umich.edu buildDataInst("sbc", "Dest = resTemp = Op1 - secondOp - !%s;" % oldC, "sub") 2577188Sgblack@eecs.umich.edu buildDataInst("rsc", "Dest = resTemp = secondOp - Op1 - !%s;" % oldC, "rsb") 2587188Sgblack@eecs.umich.edu buildDataInst("tst", "resTemp = Op1 & secondOp;", aiw = False) 2597188Sgblack@eecs.umich.edu buildDataInst("teq", "resTemp = Op1 ^ secondOp;", aiw = False) 2607188Sgblack@eecs.umich.edu buildDataInst("cmp", "resTemp = Op1 - secondOp;", "sub", aiw = False) 2617188Sgblack@eecs.umich.edu buildDataInst("cmn", "resTemp = Op1 + secondOp;", "add", aiw = False) 2627188Sgblack@eecs.umich.edu buildDataInst("orr", "Dest = resTemp = Op1 | secondOp;") 2637188Sgblack@eecs.umich.edu buildDataInst("orn", "Dest = resTemp = Op1 | ~secondOp;", aiw = False) 2647188Sgblack@eecs.umich.edu buildDataInst("mov", "Dest = resTemp = secondOp;", regRegAiw = False) 2657188Sgblack@eecs.umich.edu buildDataInst("bic", "Dest = resTemp = Op1 & ~secondOp;") 2667188Sgblack@eecs.umich.edu buildDataInst("mvn", "Dest = resTemp = ~secondOp;") 2677156Sgblack@eecs.umich.edu buildDataInst("movt", 2687188Sgblack@eecs.umich.edu "Dest = resTemp = insertBits(Op1, 31, 16, secondOp);", 2697188Sgblack@eecs.umich.edu aiw = False) 2707193Sgblack@eecs.umich.edu 2717193Sgblack@eecs.umich.edu buildRegDataInst("qadd", ''' 2727193Sgblack@eecs.umich.edu int32_t midRes; 2737193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op1.sw, Op2.sw); 2747193Sgblack@eecs.umich.edu Dest = midRes; 2757193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 2767193Sgblack@eecs.umich.edu buildRegDataInst("qadd16", ''' 2777193Sgblack@eecs.umich.edu int32_t midRes; 2787193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 2797193Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 2807193Sgblack@eecs.umich.edu int low = i * 16; 2817193Sgblack@eecs.umich.edu int64_t arg1 = sext<16>(bits(Op1.sw, high, low)); 2827193Sgblack@eecs.umich.edu int64_t arg2 = sext<16>(bits(Op2.sw, high, low)); 2837193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1, arg2); 2847193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 2857193Sgblack@eecs.umich.edu } 2867193Sgblack@eecs.umich.edu Dest = resTemp; 2877193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 2887193Sgblack@eecs.umich.edu buildRegDataInst("qadd8", ''' 2897193Sgblack@eecs.umich.edu int32_t midRes; 2907193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 2917193Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 2927193Sgblack@eecs.umich.edu int low = i * 8; 2937193Sgblack@eecs.umich.edu int64_t arg1 = sext<8>(bits(Op1.sw, high, low)); 2947193Sgblack@eecs.umich.edu int64_t arg2 = sext<8>(bits(Op2.sw, high, low)); 2957193Sgblack@eecs.umich.edu saturateOp<8>(midRes, arg1, arg2); 2967193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 2977193Sgblack@eecs.umich.edu } 2987193Sgblack@eecs.umich.edu Dest = resTemp; 2997193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3007193Sgblack@eecs.umich.edu buildRegDataInst("qdadd", ''' 3017193Sgblack@eecs.umich.edu int32_t midRes; 3027193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op2.sw, Op2.sw) | 3037193Sgblack@eecs.umich.edu saturateOp<32>(midRes, Op1.sw, midRes); 3047193Sgblack@eecs.umich.edu Dest = midRes; 3057193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3067193Sgblack@eecs.umich.edu buildRegDataInst("qsub", ''' 3077193Sgblack@eecs.umich.edu int32_t midRes; 3087193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op1.sw, Op2.sw, true); 3097193Sgblack@eecs.umich.edu Dest = midRes; 3107193Sgblack@eecs.umich.edu ''', flagType="saturate") 3117193Sgblack@eecs.umich.edu buildRegDataInst("qsub16", ''' 3127193Sgblack@eecs.umich.edu int32_t midRes; 3137193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 3147193Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 3157193Sgblack@eecs.umich.edu int low = i * 16; 3167193Sgblack@eecs.umich.edu int64_t arg1 = sext<16>(bits(Op1.sw, high, low)); 3177193Sgblack@eecs.umich.edu int64_t arg2 = sext<16>(bits(Op2.sw, high, low)); 3187193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1, arg2, true); 3197193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3207193Sgblack@eecs.umich.edu } 3217193Sgblack@eecs.umich.edu Dest = resTemp; 3227193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3237193Sgblack@eecs.umich.edu buildRegDataInst("qsub8", ''' 3247193Sgblack@eecs.umich.edu int32_t midRes; 3257193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3267193Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3277193Sgblack@eecs.umich.edu int low = i * 8; 3287193Sgblack@eecs.umich.edu int64_t arg1 = sext<8>(bits(Op1.sw, high, low)); 3297193Sgblack@eecs.umich.edu int64_t arg2 = sext<8>(bits(Op2.sw, high, low)); 3307193Sgblack@eecs.umich.edu saturateOp<8>(midRes, arg1, arg2, true); 3317193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3327193Sgblack@eecs.umich.edu } 3337193Sgblack@eecs.umich.edu Dest = resTemp; 3347193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3357193Sgblack@eecs.umich.edu buildRegDataInst("qdsub", ''' 3367193Sgblack@eecs.umich.edu int32_t midRes; 3377193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op2.sw, Op2.sw) | 3387193Sgblack@eecs.umich.edu saturateOp<32>(midRes, Op1.sw, midRes, true); 3397193Sgblack@eecs.umich.edu Dest = midRes; 3407193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3417193Sgblack@eecs.umich.edu buildRegDataInst("qasx", ''' 3427193Sgblack@eecs.umich.edu int32_t midRes; 3437193Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 3447193Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 3457193Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 3467193Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 3477193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1Low, arg2High, true); 3487193Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 3497193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1High, arg2Low); 3507193Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 3517193Sgblack@eecs.umich.edu Dest = resTemp; 3527193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3537193Sgblack@eecs.umich.edu buildRegDataInst("qsax", ''' 3547193Sgblack@eecs.umich.edu int32_t midRes; 3557193Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 3567193Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 3577193Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 3587193Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 3597193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1Low, arg2High); 3607193Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 3617193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1High, arg2Low, true); 3627193Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 3637193Sgblack@eecs.umich.edu Dest = resTemp; 3647193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3657215Sgblack@eecs.umich.edu 3667215Sgblack@eecs.umich.edu buildRegDataInst("sadd8", ''' 3677215Sgblack@eecs.umich.edu uint32_t geBits = 0; 3687215Sgblack@eecs.umich.edu resTemp = 0; 3697215Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3707215Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3717215Sgblack@eecs.umich.edu int low = i * 8; 3727217Sgblack@eecs.umich.edu int32_t midRes = sext<8>(bits(Op1.sw, high, low)) + 3737217Sgblack@eecs.umich.edu sext<8>(bits(Op2.sw, high, low)); 3747215Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3757215Sgblack@eecs.umich.edu if (midRes >= 0) { 3767215Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 3777215Sgblack@eecs.umich.edu } 3787215Sgblack@eecs.umich.edu } 3797215Sgblack@eecs.umich.edu Dest = resTemp; 3807215Sgblack@eecs.umich.edu resTemp = geBits; 3817215Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 3827215Sgblack@eecs.umich.edu buildRegDataInst("sadd16", ''' 3837215Sgblack@eecs.umich.edu uint32_t geBits = 0; 3847215Sgblack@eecs.umich.edu resTemp = 0; 3857215Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 3867215Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 3877215Sgblack@eecs.umich.edu int low = i * 16; 3887217Sgblack@eecs.umich.edu int32_t midRes = sext<16>(bits(Op1.sw, high, low)) + 3897217Sgblack@eecs.umich.edu sext<16>(bits(Op2.sw, high, low)); 3907217Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3917217Sgblack@eecs.umich.edu if (midRes >= 0) { 3927217Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 3937217Sgblack@eecs.umich.edu } 3947217Sgblack@eecs.umich.edu } 3957217Sgblack@eecs.umich.edu Dest = resTemp; 3967217Sgblack@eecs.umich.edu resTemp = geBits; 3977217Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 3987217Sgblack@eecs.umich.edu 3997217Sgblack@eecs.umich.edu buildRegDataInst("ssub8", ''' 4007217Sgblack@eecs.umich.edu uint32_t geBits = 0; 4017217Sgblack@eecs.umich.edu resTemp = 0; 4027217Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4037217Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4047217Sgblack@eecs.umich.edu int low = i * 8; 4057217Sgblack@eecs.umich.edu int32_t midRes = sext<8>(bits(Op1.sw, high, low)) - 4067217Sgblack@eecs.umich.edu sext<8>(bits(Op2.sw, high, low)); 4077217Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4087217Sgblack@eecs.umich.edu if (midRes >= 0) { 4097217Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 4107217Sgblack@eecs.umich.edu } 4117217Sgblack@eecs.umich.edu } 4127217Sgblack@eecs.umich.edu Dest = resTemp; 4137217Sgblack@eecs.umich.edu resTemp = geBits; 4147217Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4157217Sgblack@eecs.umich.edu buildRegDataInst("ssub16", ''' 4167217Sgblack@eecs.umich.edu uint32_t geBits = 0; 4177217Sgblack@eecs.umich.edu resTemp = 0; 4187217Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4197217Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4207217Sgblack@eecs.umich.edu int low = i * 16; 4217217Sgblack@eecs.umich.edu int32_t midRes = sext<16>(bits(Op1.sw, high, low)) - 4227217Sgblack@eecs.umich.edu sext<16>(bits(Op2.sw, high, low)); 4237215Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4247215Sgblack@eecs.umich.edu if (midRes >= 0) { 4257215Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 4267215Sgblack@eecs.umich.edu } 4277215Sgblack@eecs.umich.edu } 4287215Sgblack@eecs.umich.edu Dest = resTemp; 4297215Sgblack@eecs.umich.edu resTemp = geBits; 4307215Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4317219Sgblack@eecs.umich.edu 4327219Sgblack@eecs.umich.edu buildRegDataInst("uqadd16", ''' 4337219Sgblack@eecs.umich.edu uint32_t midRes; 4347219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4357219Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4367219Sgblack@eecs.umich.edu int low = i * 16; 4377219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 4387219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 4397219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1, arg2); 4407219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4417219Sgblack@eecs.umich.edu } 4427219Sgblack@eecs.umich.edu Dest = resTemp; 4437219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4447219Sgblack@eecs.umich.edu buildRegDataInst("uqadd8", ''' 4457219Sgblack@eecs.umich.edu uint32_t midRes; 4467219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4477219Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4487219Sgblack@eecs.umich.edu int low = i * 8; 4497219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 4507219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 4517219Sgblack@eecs.umich.edu uSaturateOp<8>(midRes, arg1, arg2); 4527219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4537219Sgblack@eecs.umich.edu } 4547219Sgblack@eecs.umich.edu Dest = resTemp; 4557219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4567219Sgblack@eecs.umich.edu buildRegDataInst("uqsub16", ''' 4577219Sgblack@eecs.umich.edu uint32_t midRes; 4587219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4597219Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4607219Sgblack@eecs.umich.edu int low = i * 16; 4617219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 4627219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 4637219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1, arg2, true); 4647219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4657219Sgblack@eecs.umich.edu } 4667219Sgblack@eecs.umich.edu Dest = resTemp; 4677219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4687219Sgblack@eecs.umich.edu buildRegDataInst("uqsub8", ''' 4697219Sgblack@eecs.umich.edu uint32_t midRes; 4707219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4717219Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4727219Sgblack@eecs.umich.edu int low = i * 8; 4737219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 4747219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 4757219Sgblack@eecs.umich.edu uSaturateOp<8>(midRes, arg1, arg2, true); 4767219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4777219Sgblack@eecs.umich.edu } 4787219Sgblack@eecs.umich.edu Dest = resTemp; 4797219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4807219Sgblack@eecs.umich.edu buildRegDataInst("uqasx", ''' 4817219Sgblack@eecs.umich.edu uint32_t midRes; 4827219Sgblack@eecs.umich.edu uint64_t arg1Low = bits(Op1.sw, 15, 0); 4837219Sgblack@eecs.umich.edu uint64_t arg1High = bits(Op1.sw, 31, 16); 4847219Sgblack@eecs.umich.edu uint64_t arg2Low = bits(Op2.sw, 15, 0); 4857219Sgblack@eecs.umich.edu uint64_t arg2High = bits(Op2.sw, 31, 16); 4867219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1Low, arg2High, true); 4877219Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 4887219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1High, arg2Low); 4897219Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 4907219Sgblack@eecs.umich.edu Dest = resTemp; 4917219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4927219Sgblack@eecs.umich.edu buildRegDataInst("uqsax", ''' 4937219Sgblack@eecs.umich.edu uint32_t midRes; 4947219Sgblack@eecs.umich.edu uint64_t arg1Low = bits(Op1.sw, 15, 0); 4957219Sgblack@eecs.umich.edu uint64_t arg1High = bits(Op1.sw, 31, 16); 4967219Sgblack@eecs.umich.edu uint64_t arg2Low = bits(Op2.sw, 15, 0); 4977219Sgblack@eecs.umich.edu uint64_t arg2High = bits(Op2.sw, 31, 16); 4987219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1Low, arg2High); 4997219Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 5007219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1High, arg2Low, true); 5017219Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 5027219Sgblack@eecs.umich.edu Dest = resTemp; 5037219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5047138Sgblack@eecs.umich.edu}}; 505