data.isa revision 8302
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 = ''' 478301SAli.Saidi@ARM.com CondCodesGE = insertBits(0, 19, 16, resTemp); 487214Sgblack@eecs.umich.edu ''' 497214Sgblack@eecs.umich.edu 507138Sgblack@eecs.umich.edu calcQCode = ''' 518302SAli.Saidi@ARM.com CpsrQ = (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 618301SAli.Saidi@ARM.com CondCodesF = _in << 31 | _iz << 30 | _ic << 29 | _iv << 28; 627138Sgblack@eecs.umich.edu 637138Sgblack@eecs.umich.edu DPRINTF(Arm, "(in, iz, ic, iv) = (%%d, %%d, %%d, %%d)\\n", 647138Sgblack@eecs.umich.edu _in, _iz, _ic, _iv); 657138Sgblack@eecs.umich.edu ''' 667138Sgblack@eecs.umich.edu 677138Sgblack@eecs.umich.edu # Dict of code to set the carry flag. (imm, reg, reg-reg) 688301SAli.Saidi@ARM.com oldC = 'CondCodesF<29:>' 698301SAli.Saidi@ARM.com oldV = 'CondCodesF<28:>' 707138Sgblack@eecs.umich.edu carryCode = { 717138Sgblack@eecs.umich.edu "none": (oldC, oldC, oldC), 727138Sgblack@eecs.umich.edu "llbit": (oldC, oldC, oldC), 737193Sgblack@eecs.umich.edu "saturate": ('0', '0', '0'), 747138Sgblack@eecs.umich.edu "overflow": ('0', '0', '0'), 757215Sgblack@eecs.umich.edu "ge": ('0', '0', '0'), 767138Sgblack@eecs.umich.edu "add": ('findCarry(32, resTemp, Op1, secondOp)', 777138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, secondOp)', 787138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, secondOp)'), 797138Sgblack@eecs.umich.edu "sub": ('findCarry(32, resTemp, Op1, ~secondOp)', 807138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, ~secondOp)', 817138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, ~secondOp)'), 827138Sgblack@eecs.umich.edu "rsb": ('findCarry(32, resTemp, secondOp, ~Op1)', 837138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, secondOp, ~Op1)', 847138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, secondOp, ~Op1)'), 857138Sgblack@eecs.umich.edu "logic": ('(rotC ? bits(secondOp, 31) : %s)' % oldC, 867138Sgblack@eecs.umich.edu 'shift_carry_imm(Op2, shiftAmt, shiftType, %s)' % oldC, 877138Sgblack@eecs.umich.edu 'shift_carry_rs(Op2, Shift<7:0>, shiftType, %s)' % oldC) 887138Sgblack@eecs.umich.edu } 897138Sgblack@eecs.umich.edu # Dict of code to set the overflow flag. 907138Sgblack@eecs.umich.edu overflowCode = { 917138Sgblack@eecs.umich.edu "none": oldV, 927138Sgblack@eecs.umich.edu "llbit": oldV, 937193Sgblack@eecs.umich.edu "saturate": '0', 947138Sgblack@eecs.umich.edu "overflow": '0', 957215Sgblack@eecs.umich.edu "ge": '0', 967138Sgblack@eecs.umich.edu "add": 'findOverflow(32, resTemp, Op1, secondOp)', 977138Sgblack@eecs.umich.edu "sub": 'findOverflow(32, resTemp, Op1, ~secondOp)', 987138Sgblack@eecs.umich.edu "rsb": 'findOverflow(32, resTemp, secondOp, ~Op1)', 997138Sgblack@eecs.umich.edu "logic": oldV 1007138Sgblack@eecs.umich.edu } 1017138Sgblack@eecs.umich.edu 1027138Sgblack@eecs.umich.edu secondOpRe = re.compile("secondOp") 1037138Sgblack@eecs.umich.edu immOp2 = "imm" 1048301SAli.Saidi@ARM.com regOp2 = "shift_rm_imm(Op2, shiftAmt, shiftType, CondCodesF<29:>)" 1058301SAli.Saidi@ARM.com regRegOp2 = "shift_rm_rs(Op2, Shift<7:0>, shiftType, CondCodesF<29:>)" 1067138Sgblack@eecs.umich.edu 1077193Sgblack@eecs.umich.edu def buildImmDataInst(mnem, code, flagType = "logic", suffix = "Imm", \ 1087648SAli.Saidi@ARM.com buildCc = True, buildNonCc = True, instFlags = []): 1097138Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1107138Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1117138Sgblack@eecs.umich.edu negBit = 31 1127138Sgblack@eecs.umich.edu if flagType == "llbit": 1137138Sgblack@eecs.umich.edu negBit = 63 1147193Sgblack@eecs.umich.edu if flagType == "saturate": 1157184Sgblack@eecs.umich.edu immCcCode = calcQCode 1167214Sgblack@eecs.umich.edu elif flagType == "ge": 1177214Sgblack@eecs.umich.edu immCcCode = calcGECode 1187138Sgblack@eecs.umich.edu else: 1197138Sgblack@eecs.umich.edu immCcCode = calcCcCode % { 1207138Sgblack@eecs.umich.edu "icValue": secondOpRe.sub(immOp2, cCode[0]), 1217138Sgblack@eecs.umich.edu "ivValue": secondOpRe.sub(immOp2, vCode), 1227138Sgblack@eecs.umich.edu "negBit": negBit 1237138Sgblack@eecs.umich.edu } 1247184Sgblack@eecs.umich.edu immCode = secondOpRe.sub(immOp2, code) 1257188Sgblack@eecs.umich.edu immIop = InstObjParams(mnem, mnem.capitalize() + suffix, "DataImmOp", 1267184Sgblack@eecs.umich.edu {"code" : immCode, 1277648SAli.Saidi@ARM.com "predicate_test": predicateTest}, instFlags) 1287188Sgblack@eecs.umich.edu immIopCc = InstObjParams(mnem + "s", mnem.capitalize() + suffix + "Cc", 1297184Sgblack@eecs.umich.edu "DataImmOp", 1307184Sgblack@eecs.umich.edu {"code" : immCode + immCcCode, 1317648SAli.Saidi@ARM.com "predicate_test": condPredicateTest}, instFlags) 1327184Sgblack@eecs.umich.edu 1337188Sgblack@eecs.umich.edu def subst(iop): 1347188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 1357188Sgblack@eecs.umich.edu header_output += DataImmDeclare.subst(iop) 1367188Sgblack@eecs.umich.edu decoder_output += DataImmConstructor.subst(iop) 1377188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 1387188Sgblack@eecs.umich.edu 1397193Sgblack@eecs.umich.edu if buildNonCc: 1407193Sgblack@eecs.umich.edu subst(immIop) 1417188Sgblack@eecs.umich.edu if buildCc: 1427188Sgblack@eecs.umich.edu subst(immIopCc) 1437188Sgblack@eecs.umich.edu 1447193Sgblack@eecs.umich.edu def buildRegDataInst(mnem, code, flagType = "logic", suffix = "Reg", \ 1458203SAli.Saidi@ARM.com buildCc = True, buildNonCc = True, isRasPop = "0", \ 1468203SAli.Saidi@ARM.com isBranch = "0", instFlags = []): 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", 1648203SAli.Saidi@ARM.com {"code" : regCode, "is_ras_pop" : isRasPop, 1658203SAli.Saidi@ARM.com "is_branch" : isBranch, 1667648SAli.Saidi@ARM.com "predicate_test": predicateTest}, instFlags) 1677188Sgblack@eecs.umich.edu regIopCc = InstObjParams(mnem + "s", mnem.capitalize() + suffix + "Cc", 1687184Sgblack@eecs.umich.edu "DataRegOp", 1697184Sgblack@eecs.umich.edu {"code" : regCode + regCcCode, 1708203SAli.Saidi@ARM.com "predicate_test": condPredicateTest, 1718203SAli.Saidi@ARM.com "is_ras_pop" : isRasPop, 1728203SAli.Saidi@ARM.com "is_branch" : isBranch}, instFlags) 1737184Sgblack@eecs.umich.edu 1747188Sgblack@eecs.umich.edu def subst(iop): 1757188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 1767188Sgblack@eecs.umich.edu header_output += DataRegDeclare.subst(iop) 1777188Sgblack@eecs.umich.edu decoder_output += DataRegConstructor.subst(iop) 1787188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 1797188Sgblack@eecs.umich.edu 1807193Sgblack@eecs.umich.edu if buildNonCc: 1817193Sgblack@eecs.umich.edu subst(regIop) 1827188Sgblack@eecs.umich.edu if buildCc: 1837188Sgblack@eecs.umich.edu subst(regIopCc) 1847188Sgblack@eecs.umich.edu 1857188Sgblack@eecs.umich.edu def buildRegRegDataInst(mnem, code, flagType = "logic", \ 1867193Sgblack@eecs.umich.edu suffix = "RegReg", \ 1877193Sgblack@eecs.umich.edu buildCc = True, buildNonCc = True): 1887184Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1897184Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1907184Sgblack@eecs.umich.edu negBit = 31 1917184Sgblack@eecs.umich.edu if flagType == "llbit": 1927184Sgblack@eecs.umich.edu negBit = 63 1937193Sgblack@eecs.umich.edu if flagType == "saturate": 1947184Sgblack@eecs.umich.edu regRegCcCode = calcQCode 1957214Sgblack@eecs.umich.edu elif flagType == "ge": 1967215Sgblack@eecs.umich.edu regRegCcCode = calcGECode 1977184Sgblack@eecs.umich.edu else: 1987138Sgblack@eecs.umich.edu regRegCcCode = calcCcCode % { 1997138Sgblack@eecs.umich.edu "icValue": secondOpRe.sub(regRegOp2, cCode[2]), 2007138Sgblack@eecs.umich.edu "ivValue": secondOpRe.sub(regRegOp2, vCode), 2017138Sgblack@eecs.umich.edu "negBit": negBit 2027138Sgblack@eecs.umich.edu } 2037138Sgblack@eecs.umich.edu regRegCode = secondOpRe.sub(regRegOp2, code) 2047188Sgblack@eecs.umich.edu regRegIop = InstObjParams(mnem, mnem.capitalize() + suffix, 2057138Sgblack@eecs.umich.edu "DataRegRegOp", 2067138Sgblack@eecs.umich.edu {"code" : regRegCode, 2077138Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 2087138Sgblack@eecs.umich.edu regRegIopCc = InstObjParams(mnem + "s", 2097188Sgblack@eecs.umich.edu mnem.capitalize() + suffix + "Cc", 2107138Sgblack@eecs.umich.edu "DataRegRegOp", 2117138Sgblack@eecs.umich.edu {"code" : regRegCode + regRegCcCode, 2127422Sgblack@eecs.umich.edu "predicate_test": condPredicateTest}) 2137138Sgblack@eecs.umich.edu 2147188Sgblack@eecs.umich.edu def subst(iop): 2157188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 2167188Sgblack@eecs.umich.edu header_output += DataRegRegDeclare.subst(iop) 2177188Sgblack@eecs.umich.edu decoder_output += DataRegRegConstructor.subst(iop) 2187188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 2197184Sgblack@eecs.umich.edu 2207193Sgblack@eecs.umich.edu if buildNonCc: 2217193Sgblack@eecs.umich.edu subst(regRegIop) 2227188Sgblack@eecs.umich.edu if buildCc: 2237188Sgblack@eecs.umich.edu subst(regRegIopCc) 2247188Sgblack@eecs.umich.edu 2257188Sgblack@eecs.umich.edu def buildDataInst(mnem, code, flagType = "logic", \ 2267188Sgblack@eecs.umich.edu aiw = True, regRegAiw = True, 2278203SAli.Saidi@ARM.com subsPcLr = True, isRasPop = "0", isBranch = "0"): 2287188Sgblack@eecs.umich.edu regRegCode = instCode = code 2297188Sgblack@eecs.umich.edu if aiw: 2307188Sgblack@eecs.umich.edu instCode = "AIW" + instCode 2317188Sgblack@eecs.umich.edu if regRegAiw: 2327188Sgblack@eecs.umich.edu regRegCode = "AIW" + regRegCode 2337188Sgblack@eecs.umich.edu 2347188Sgblack@eecs.umich.edu buildImmDataInst(mnem, instCode, flagType) 2358203SAli.Saidi@ARM.com buildRegDataInst(mnem, instCode, flagType, 2368203SAli.Saidi@ARM.com isRasPop = isRasPop, isBranch = isBranch) 2377188Sgblack@eecs.umich.edu buildRegRegDataInst(mnem, regRegCode, flagType) 2387188Sgblack@eecs.umich.edu if subsPcLr: 2397188Sgblack@eecs.umich.edu code += ''' 2407400SAli.Saidi@ARM.com SCTLR sctlr = Sctlr; 2417188Sgblack@eecs.umich.edu uint32_t newCpsr = 2428302SAli.Saidi@ARM.com cpsrWriteByInstr(Cpsr | CondCodesF | CondCodesGE, 2438301SAli.Saidi@ARM.com Spsr, 0xF, true, sctlr.nmfi); 2447188Sgblack@eecs.umich.edu Cpsr = ~CondCodesMask & newCpsr; 2458301SAli.Saidi@ARM.com CondCodesF = CondCodesMaskF & newCpsr; 2468301SAli.Saidi@ARM.com CondCodesGE = CondCodesMaskGE & newCpsr; 2477797Sgblack@eecs.umich.edu NextThumb = ((CPSR)newCpsr).t; 2487797Sgblack@eecs.umich.edu NextJazelle = ((CPSR)newCpsr).j; 2498205SAli.Saidi@ARM.com NextItState = ((((CPSR)newCpsr).it2 << 2) & 0xFC) 2507858SMatt.Horsnell@arm.com | (((CPSR)newCpsr).it1 & 0x3); 2518285SPrakash.Ramrakhyani@arm.com SevMailbox = 1; 2527188Sgblack@eecs.umich.edu ''' 2537188Sgblack@eecs.umich.edu buildImmDataInst(mnem + 's', code, flagType, 2547648SAli.Saidi@ARM.com suffix = "ImmPclr", buildCc = False, 2557648SAli.Saidi@ARM.com instFlags = ["IsSerializeAfter","IsNonSpeculative"]) 2567188Sgblack@eecs.umich.edu buildRegDataInst(mnem + 's', code, flagType, 2577648SAli.Saidi@ARM.com suffix = "RegPclr", buildCc = False, 2587648SAli.Saidi@ARM.com instFlags = ["IsSerializeAfter","IsNonSpeculative"]) 2597188Sgblack@eecs.umich.edu 2607188Sgblack@eecs.umich.edu buildDataInst("and", "Dest = resTemp = Op1 & secondOp;") 2617188Sgblack@eecs.umich.edu buildDataInst("eor", "Dest = resTemp = Op1 ^ secondOp;") 2627188Sgblack@eecs.umich.edu buildDataInst("sub", "Dest = resTemp = Op1 - secondOp;", "sub") 2637188Sgblack@eecs.umich.edu buildDataInst("rsb", "Dest = resTemp = secondOp - Op1;", "rsb") 2647188Sgblack@eecs.umich.edu buildDataInst("add", "Dest = resTemp = Op1 + secondOp;", "add") 2657185Sgblack@eecs.umich.edu buildImmDataInst("adr", ''' 2667797Sgblack@eecs.umich.edu Dest = resTemp = (PC & ~0x3) + 2677185Sgblack@eecs.umich.edu (op1 ? secondOp : -secondOp); 2687185Sgblack@eecs.umich.edu ''') 2697188Sgblack@eecs.umich.edu buildDataInst("adc", "Dest = resTemp = Op1 + secondOp + %s;" % oldC, "add") 2707188Sgblack@eecs.umich.edu buildDataInst("sbc", "Dest = resTemp = Op1 - secondOp - !%s;" % oldC, "sub") 2717188Sgblack@eecs.umich.edu buildDataInst("rsc", "Dest = resTemp = secondOp - Op1 - !%s;" % oldC, "rsb") 2727188Sgblack@eecs.umich.edu buildDataInst("tst", "resTemp = Op1 & secondOp;", aiw = False) 2737188Sgblack@eecs.umich.edu buildDataInst("teq", "resTemp = Op1 ^ secondOp;", aiw = False) 2747188Sgblack@eecs.umich.edu buildDataInst("cmp", "resTemp = Op1 - secondOp;", "sub", aiw = False) 2757188Sgblack@eecs.umich.edu buildDataInst("cmn", "resTemp = Op1 + secondOp;", "add", aiw = False) 2767188Sgblack@eecs.umich.edu buildDataInst("orr", "Dest = resTemp = Op1 | secondOp;") 2777188Sgblack@eecs.umich.edu buildDataInst("orn", "Dest = resTemp = Op1 | ~secondOp;", aiw = False) 2788203SAli.Saidi@ARM.com buildDataInst("mov", "Dest = resTemp = secondOp;", regRegAiw = False, 2798203SAli.Saidi@ARM.com isRasPop = "op1 == INTREG_LR", isBranch = "dest == INTREG_PC") 2807188Sgblack@eecs.umich.edu buildDataInst("bic", "Dest = resTemp = Op1 & ~secondOp;") 2817188Sgblack@eecs.umich.edu buildDataInst("mvn", "Dest = resTemp = ~secondOp;") 2827156Sgblack@eecs.umich.edu buildDataInst("movt", 2837188Sgblack@eecs.umich.edu "Dest = resTemp = insertBits(Op1, 31, 16, secondOp);", 2847188Sgblack@eecs.umich.edu aiw = False) 2857193Sgblack@eecs.umich.edu 2867193Sgblack@eecs.umich.edu buildRegDataInst("qadd", ''' 2877193Sgblack@eecs.umich.edu int32_t midRes; 2887193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op1.sw, Op2.sw); 2897193Sgblack@eecs.umich.edu Dest = midRes; 2907193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 2917193Sgblack@eecs.umich.edu buildRegDataInst("qadd16", ''' 2927193Sgblack@eecs.umich.edu int32_t midRes; 2937193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 2947193Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 2957193Sgblack@eecs.umich.edu int low = i * 16; 2967193Sgblack@eecs.umich.edu int64_t arg1 = sext<16>(bits(Op1.sw, high, low)); 2977193Sgblack@eecs.umich.edu int64_t arg2 = sext<16>(bits(Op2.sw, high, low)); 2987193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1, arg2); 2997193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3007193Sgblack@eecs.umich.edu } 3017193Sgblack@eecs.umich.edu Dest = resTemp; 3027193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3037193Sgblack@eecs.umich.edu buildRegDataInst("qadd8", ''' 3047193Sgblack@eecs.umich.edu int32_t midRes; 3057193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3067193Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3077193Sgblack@eecs.umich.edu int low = i * 8; 3087193Sgblack@eecs.umich.edu int64_t arg1 = sext<8>(bits(Op1.sw, high, low)); 3097193Sgblack@eecs.umich.edu int64_t arg2 = sext<8>(bits(Op2.sw, high, low)); 3107193Sgblack@eecs.umich.edu saturateOp<8>(midRes, arg1, arg2); 3117193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3127193Sgblack@eecs.umich.edu } 3137193Sgblack@eecs.umich.edu Dest = resTemp; 3147193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3157193Sgblack@eecs.umich.edu buildRegDataInst("qdadd", ''' 3167193Sgblack@eecs.umich.edu int32_t midRes; 3177193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op2.sw, Op2.sw) | 3187193Sgblack@eecs.umich.edu saturateOp<32>(midRes, Op1.sw, midRes); 3197193Sgblack@eecs.umich.edu Dest = midRes; 3207193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3217193Sgblack@eecs.umich.edu buildRegDataInst("qsub", ''' 3227193Sgblack@eecs.umich.edu int32_t midRes; 3237193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op1.sw, Op2.sw, true); 3247193Sgblack@eecs.umich.edu Dest = midRes; 3257193Sgblack@eecs.umich.edu ''', flagType="saturate") 3267193Sgblack@eecs.umich.edu buildRegDataInst("qsub16", ''' 3277193Sgblack@eecs.umich.edu int32_t midRes; 3287193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 3297193Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 3307193Sgblack@eecs.umich.edu int low = i * 16; 3317193Sgblack@eecs.umich.edu int64_t arg1 = sext<16>(bits(Op1.sw, high, low)); 3327193Sgblack@eecs.umich.edu int64_t arg2 = sext<16>(bits(Op2.sw, high, low)); 3337193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1, arg2, true); 3347193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3357193Sgblack@eecs.umich.edu } 3367193Sgblack@eecs.umich.edu Dest = resTemp; 3377193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3387193Sgblack@eecs.umich.edu buildRegDataInst("qsub8", ''' 3397193Sgblack@eecs.umich.edu int32_t midRes; 3407193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3417193Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3427193Sgblack@eecs.umich.edu int low = i * 8; 3437193Sgblack@eecs.umich.edu int64_t arg1 = sext<8>(bits(Op1.sw, high, low)); 3447193Sgblack@eecs.umich.edu int64_t arg2 = sext<8>(bits(Op2.sw, high, low)); 3457193Sgblack@eecs.umich.edu saturateOp<8>(midRes, arg1, arg2, true); 3467193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3477193Sgblack@eecs.umich.edu } 3487193Sgblack@eecs.umich.edu Dest = resTemp; 3497193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3507193Sgblack@eecs.umich.edu buildRegDataInst("qdsub", ''' 3517193Sgblack@eecs.umich.edu int32_t midRes; 3527193Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op2.sw, Op2.sw) | 3537193Sgblack@eecs.umich.edu saturateOp<32>(midRes, Op1.sw, midRes, true); 3547193Sgblack@eecs.umich.edu Dest = midRes; 3557193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3567193Sgblack@eecs.umich.edu buildRegDataInst("qasx", ''' 3577193Sgblack@eecs.umich.edu int32_t midRes; 3587193Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 3597193Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 3607193Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 3617193Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 3627193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1Low, arg2High, true); 3637193Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 3647193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1High, arg2Low); 3657193Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 3667193Sgblack@eecs.umich.edu Dest = resTemp; 3677193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3687193Sgblack@eecs.umich.edu buildRegDataInst("qsax", ''' 3697193Sgblack@eecs.umich.edu int32_t midRes; 3707193Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 3717193Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 3727193Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 3737193Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 3747193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1Low, arg2High); 3757193Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 3767193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1High, arg2Low, true); 3777193Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 3787193Sgblack@eecs.umich.edu Dest = resTemp; 3797193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3807215Sgblack@eecs.umich.edu 3817215Sgblack@eecs.umich.edu buildRegDataInst("sadd8", ''' 3827215Sgblack@eecs.umich.edu uint32_t geBits = 0; 3837215Sgblack@eecs.umich.edu resTemp = 0; 3847215Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3857215Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3867215Sgblack@eecs.umich.edu int low = i * 8; 3877217Sgblack@eecs.umich.edu int32_t midRes = sext<8>(bits(Op1.sw, high, low)) + 3887217Sgblack@eecs.umich.edu sext<8>(bits(Op2.sw, high, low)); 3897215Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3907215Sgblack@eecs.umich.edu if (midRes >= 0) { 3917215Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 3927215Sgblack@eecs.umich.edu } 3937215Sgblack@eecs.umich.edu } 3947215Sgblack@eecs.umich.edu Dest = resTemp; 3957215Sgblack@eecs.umich.edu resTemp = geBits; 3967215Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 3977215Sgblack@eecs.umich.edu buildRegDataInst("sadd16", ''' 3987215Sgblack@eecs.umich.edu uint32_t geBits = 0; 3997215Sgblack@eecs.umich.edu resTemp = 0; 4007215Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4017215Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4027215Sgblack@eecs.umich.edu int low = i * 16; 4037217Sgblack@eecs.umich.edu int32_t midRes = sext<16>(bits(Op1.sw, high, low)) + 4047217Sgblack@eecs.umich.edu sext<16>(bits(Op2.sw, high, low)); 4057217Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4067217Sgblack@eecs.umich.edu if (midRes >= 0) { 4077217Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 4087217Sgblack@eecs.umich.edu } 4097217Sgblack@eecs.umich.edu } 4107217Sgblack@eecs.umich.edu Dest = resTemp; 4117217Sgblack@eecs.umich.edu resTemp = geBits; 4127217Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4137217Sgblack@eecs.umich.edu 4147217Sgblack@eecs.umich.edu buildRegDataInst("ssub8", ''' 4157217Sgblack@eecs.umich.edu uint32_t geBits = 0; 4167217Sgblack@eecs.umich.edu resTemp = 0; 4177217Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4187217Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4197217Sgblack@eecs.umich.edu int low = i * 8; 4207217Sgblack@eecs.umich.edu int32_t midRes = sext<8>(bits(Op1.sw, high, low)) - 4217217Sgblack@eecs.umich.edu sext<8>(bits(Op2.sw, high, low)); 4227217Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4237217Sgblack@eecs.umich.edu if (midRes >= 0) { 4247217Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 4257217Sgblack@eecs.umich.edu } 4267217Sgblack@eecs.umich.edu } 4277217Sgblack@eecs.umich.edu Dest = resTemp; 4287217Sgblack@eecs.umich.edu resTemp = geBits; 4297217Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4307217Sgblack@eecs.umich.edu buildRegDataInst("ssub16", ''' 4317217Sgblack@eecs.umich.edu uint32_t geBits = 0; 4327217Sgblack@eecs.umich.edu resTemp = 0; 4337217Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4347217Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4357217Sgblack@eecs.umich.edu int low = i * 16; 4367217Sgblack@eecs.umich.edu int32_t midRes = sext<16>(bits(Op1.sw, high, low)) - 4377217Sgblack@eecs.umich.edu sext<16>(bits(Op2.sw, high, low)); 4387215Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4397215Sgblack@eecs.umich.edu if (midRes >= 0) { 4407215Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 4417215Sgblack@eecs.umich.edu } 4427215Sgblack@eecs.umich.edu } 4437215Sgblack@eecs.umich.edu Dest = resTemp; 4447215Sgblack@eecs.umich.edu resTemp = geBits; 4457215Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4467223Sgblack@eecs.umich.edu buildRegDataInst("sasx", ''' 4477223Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 4487223Sgblack@eecs.umich.edu resTemp = 0; 4497223Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 4507223Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 4517223Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 4527223Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 4537223Sgblack@eecs.umich.edu midRes = arg1Low - arg2High; 4547223Sgblack@eecs.umich.edu if (midRes >= 0) { 4557223Sgblack@eecs.umich.edu geBits = geBits | 0x3; 4567223Sgblack@eecs.umich.edu } 4577223Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 4587223Sgblack@eecs.umich.edu midRes = arg1High + arg2Low; 4597223Sgblack@eecs.umich.edu if (midRes >= 0) { 4607223Sgblack@eecs.umich.edu geBits = geBits | 0xc; 4617223Sgblack@eecs.umich.edu } 4627223Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 4637223Sgblack@eecs.umich.edu Dest = resTemp; 4647223Sgblack@eecs.umich.edu resTemp = geBits; 4657223Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=True) 4667223Sgblack@eecs.umich.edu buildRegDataInst("ssax", ''' 4677223Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 4687223Sgblack@eecs.umich.edu resTemp = 0; 4697223Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 4707223Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 4717223Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 4727223Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 4737223Sgblack@eecs.umich.edu midRes = arg1Low + arg2High; 4747223Sgblack@eecs.umich.edu if (midRes >= 0) { 4757223Sgblack@eecs.umich.edu geBits = geBits | 0x3; 4767223Sgblack@eecs.umich.edu } 4777223Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 4787223Sgblack@eecs.umich.edu midRes = arg1High - arg2Low; 4797223Sgblack@eecs.umich.edu if (midRes >= 0) { 4807223Sgblack@eecs.umich.edu geBits = geBits | 0xc; 4817223Sgblack@eecs.umich.edu } 4827223Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 4837223Sgblack@eecs.umich.edu Dest = resTemp; 4847223Sgblack@eecs.umich.edu resTemp = geBits; 4857223Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=True) 4867219Sgblack@eecs.umich.edu 4877230Sgblack@eecs.umich.edu buildRegDataInst("shadd8", ''' 4887230Sgblack@eecs.umich.edu resTemp = 0; 4897230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4907230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4917230Sgblack@eecs.umich.edu int low = i * 8; 4927230Sgblack@eecs.umich.edu int32_t midRes = 4937230Sgblack@eecs.umich.edu (uint64_t)(sext<8>(bits(Op1.sw, high, low)) + 4947230Sgblack@eecs.umich.edu sext<8>(bits(Op2.sw, high, low))) >> 1; 4957230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4967230Sgblack@eecs.umich.edu } 4977230Sgblack@eecs.umich.edu Dest = resTemp; 4987230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4997230Sgblack@eecs.umich.edu buildRegDataInst("shadd16", ''' 5007230Sgblack@eecs.umich.edu resTemp = 0; 5017230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5027230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5037230Sgblack@eecs.umich.edu int low = i * 16; 5047230Sgblack@eecs.umich.edu int32_t midRes = 5057230Sgblack@eecs.umich.edu (uint64_t)(sext<16>(bits(Op1.sw, high, low)) + 5067230Sgblack@eecs.umich.edu sext<16>(bits(Op2.sw, high, low))) >> 1; 5077230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5087230Sgblack@eecs.umich.edu } 5097230Sgblack@eecs.umich.edu Dest = resTemp; 5107230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5117230Sgblack@eecs.umich.edu buildRegDataInst("shsub8", ''' 5127230Sgblack@eecs.umich.edu resTemp = 0; 5137230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 5147230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 5157230Sgblack@eecs.umich.edu int low = i * 8; 5167230Sgblack@eecs.umich.edu int32_t midRes = 5177230Sgblack@eecs.umich.edu (uint64_t)(sext<8>(bits(Op1.sw, high, low)) - 5187230Sgblack@eecs.umich.edu sext<8>(bits(Op2.sw, high, low))) >> 1; 5197230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5207230Sgblack@eecs.umich.edu } 5217230Sgblack@eecs.umich.edu Dest = resTemp; 5227230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5237230Sgblack@eecs.umich.edu buildRegDataInst("shsub16", ''' 5247230Sgblack@eecs.umich.edu resTemp = 0; 5257230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5267230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5277230Sgblack@eecs.umich.edu int low = i * 16; 5287230Sgblack@eecs.umich.edu int32_t midRes = 5297230Sgblack@eecs.umich.edu (uint64_t)(sext<16>(bits(Op1.sw, high, low)) - 5307230Sgblack@eecs.umich.edu sext<16>(bits(Op2.sw, high, low))) >> 1; 5317230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5327230Sgblack@eecs.umich.edu } 5337230Sgblack@eecs.umich.edu Dest = resTemp; 5347230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5357230Sgblack@eecs.umich.edu buildRegDataInst("shasx", ''' 5367230Sgblack@eecs.umich.edu int32_t midRes; 5377230Sgblack@eecs.umich.edu resTemp = 0; 5387230Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 5397230Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 5407230Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 5417230Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 5427230Sgblack@eecs.umich.edu midRes = (uint64_t)(arg1Low - arg2High) >> 1; 5437230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 5447230Sgblack@eecs.umich.edu midRes = (arg1High + arg2Low) >> 1; 5457230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 5467230Sgblack@eecs.umich.edu Dest = resTemp; 5477230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=True) 5487230Sgblack@eecs.umich.edu buildRegDataInst("shsax", ''' 5497230Sgblack@eecs.umich.edu int32_t midRes; 5507230Sgblack@eecs.umich.edu resTemp = 0; 5517230Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1.sw, 15, 0)); 5527230Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1.sw, 31, 16)); 5537230Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2.sw, 15, 0)); 5547230Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2.sw, 31, 16)); 5557230Sgblack@eecs.umich.edu midRes = (uint64_t)(arg1Low + arg2High) >> 1; 5567230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 5577230Sgblack@eecs.umich.edu midRes = (uint64_t)(arg1High - arg2Low) >> 1; 5587230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 5597230Sgblack@eecs.umich.edu Dest = resTemp; 5607230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=True) 5617230Sgblack@eecs.umich.edu 5627219Sgblack@eecs.umich.edu buildRegDataInst("uqadd16", ''' 5637219Sgblack@eecs.umich.edu uint32_t midRes; 5647219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5657219Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5667219Sgblack@eecs.umich.edu int low = i * 16; 5677219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 5687219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 5697219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1, arg2); 5707219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5717219Sgblack@eecs.umich.edu } 5727219Sgblack@eecs.umich.edu Dest = resTemp; 5737219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5747219Sgblack@eecs.umich.edu buildRegDataInst("uqadd8", ''' 5757219Sgblack@eecs.umich.edu uint32_t midRes; 5767219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 5777219Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 5787219Sgblack@eecs.umich.edu int low = i * 8; 5797219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 5807219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 5817219Sgblack@eecs.umich.edu uSaturateOp<8>(midRes, arg1, arg2); 5827219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5837219Sgblack@eecs.umich.edu } 5847219Sgblack@eecs.umich.edu Dest = resTemp; 5857219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5867219Sgblack@eecs.umich.edu buildRegDataInst("uqsub16", ''' 5877219Sgblack@eecs.umich.edu uint32_t midRes; 5887219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5897219Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5907219Sgblack@eecs.umich.edu int low = i * 16; 5917219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 5927219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 5937219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1, arg2, true); 5947219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5957219Sgblack@eecs.umich.edu } 5967219Sgblack@eecs.umich.edu Dest = resTemp; 5977219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5987219Sgblack@eecs.umich.edu buildRegDataInst("uqsub8", ''' 5997219Sgblack@eecs.umich.edu uint32_t midRes; 6007219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 6017219Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 6027219Sgblack@eecs.umich.edu int low = i * 8; 6037219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 6047219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 6057219Sgblack@eecs.umich.edu uSaturateOp<8>(midRes, arg1, arg2, true); 6067219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6077219Sgblack@eecs.umich.edu } 6087219Sgblack@eecs.umich.edu Dest = resTemp; 6097219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6107219Sgblack@eecs.umich.edu buildRegDataInst("uqasx", ''' 6117219Sgblack@eecs.umich.edu uint32_t midRes; 6127219Sgblack@eecs.umich.edu uint64_t arg1Low = bits(Op1.sw, 15, 0); 6137219Sgblack@eecs.umich.edu uint64_t arg1High = bits(Op1.sw, 31, 16); 6147219Sgblack@eecs.umich.edu uint64_t arg2Low = bits(Op2.sw, 15, 0); 6157219Sgblack@eecs.umich.edu uint64_t arg2High = bits(Op2.sw, 31, 16); 6167219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1Low, arg2High, true); 6177219Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 6187219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1High, arg2Low); 6197219Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 6207219Sgblack@eecs.umich.edu Dest = resTemp; 6217219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6227219Sgblack@eecs.umich.edu buildRegDataInst("uqsax", ''' 6237219Sgblack@eecs.umich.edu uint32_t midRes; 6247219Sgblack@eecs.umich.edu uint64_t arg1Low = bits(Op1.sw, 15, 0); 6257219Sgblack@eecs.umich.edu uint64_t arg1High = bits(Op1.sw, 31, 16); 6267219Sgblack@eecs.umich.edu uint64_t arg2Low = bits(Op2.sw, 15, 0); 6277219Sgblack@eecs.umich.edu uint64_t arg2High = bits(Op2.sw, 31, 16); 6287219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1Low, arg2High); 6297219Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 6307219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1High, arg2Low, true); 6317219Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 6327219Sgblack@eecs.umich.edu Dest = resTemp; 6337219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6347221Sgblack@eecs.umich.edu 6357221Sgblack@eecs.umich.edu buildRegDataInst("uadd16", ''' 6367221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6377221Sgblack@eecs.umich.edu resTemp = 0; 6387221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 6397221Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 6407221Sgblack@eecs.umich.edu int low = i * 16; 6417221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) + 6427221Sgblack@eecs.umich.edu bits(Op2, high, low); 6437221Sgblack@eecs.umich.edu if (midRes >= 0x10000) { 6447221Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 6457221Sgblack@eecs.umich.edu } 6467221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6477221Sgblack@eecs.umich.edu } 6487221Sgblack@eecs.umich.edu Dest = resTemp; 6497221Sgblack@eecs.umich.edu resTemp = geBits; 6507221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 6517221Sgblack@eecs.umich.edu buildRegDataInst("uadd8", ''' 6527221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6537221Sgblack@eecs.umich.edu resTemp = 0; 6547221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 6557221Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 6567221Sgblack@eecs.umich.edu int low = i * 8; 6577221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) + 6587221Sgblack@eecs.umich.edu bits(Op2, high, low); 6597221Sgblack@eecs.umich.edu if (midRes >= 0x100) { 6607221Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 6617221Sgblack@eecs.umich.edu } 6627221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6637221Sgblack@eecs.umich.edu } 6647221Sgblack@eecs.umich.edu Dest = resTemp; 6657221Sgblack@eecs.umich.edu resTemp = geBits; 6667221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 6677221Sgblack@eecs.umich.edu buildRegDataInst("usub16", ''' 6687221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6697221Sgblack@eecs.umich.edu resTemp = 0; 6707221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 6717221Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 6727221Sgblack@eecs.umich.edu int low = i * 16; 6737221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) - 6747221Sgblack@eecs.umich.edu bits(Op2, high, low); 6757221Sgblack@eecs.umich.edu if (midRes >= 0) { 6767221Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 6777221Sgblack@eecs.umich.edu } 6787221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6797221Sgblack@eecs.umich.edu } 6807221Sgblack@eecs.umich.edu Dest = resTemp; 6817221Sgblack@eecs.umich.edu resTemp = geBits; 6827221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 6837221Sgblack@eecs.umich.edu buildRegDataInst("usub8", ''' 6847221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6857221Sgblack@eecs.umich.edu resTemp = 0; 6867221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 6877221Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 6887221Sgblack@eecs.umich.edu int low = i * 8; 6897221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) - 6907221Sgblack@eecs.umich.edu bits(Op2, high, low); 6917221Sgblack@eecs.umich.edu if (midRes >= 0) { 6927221Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 6937221Sgblack@eecs.umich.edu } 6947221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6957221Sgblack@eecs.umich.edu } 6967221Sgblack@eecs.umich.edu Dest = resTemp; 6977221Sgblack@eecs.umich.edu resTemp = geBits; 6987221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 6997221Sgblack@eecs.umich.edu buildRegDataInst("uasx", ''' 7007221Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 7017221Sgblack@eecs.umich.edu resTemp = 0; 7027221Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1.sw, 15, 0); 7037221Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1.sw, 31, 16); 7047221Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2.sw, 15, 0); 7057221Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2.sw, 31, 16); 7067221Sgblack@eecs.umich.edu midRes = arg1Low - arg2High; 7077221Sgblack@eecs.umich.edu if (midRes >= 0) { 7087221Sgblack@eecs.umich.edu geBits = geBits | 0x3; 7097221Sgblack@eecs.umich.edu } 7107221Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 7117221Sgblack@eecs.umich.edu midRes = arg1High + arg2Low; 7127221Sgblack@eecs.umich.edu if (midRes >= 0x10000) { 7137221Sgblack@eecs.umich.edu geBits = geBits | 0xc; 7147221Sgblack@eecs.umich.edu } 7157221Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 7167221Sgblack@eecs.umich.edu Dest = resTemp; 7177221Sgblack@eecs.umich.edu resTemp = geBits; 7187221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 7197221Sgblack@eecs.umich.edu buildRegDataInst("usax", ''' 7207221Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 7217221Sgblack@eecs.umich.edu resTemp = 0; 7227221Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1.sw, 15, 0); 7237221Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1.sw, 31, 16); 7247221Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2.sw, 15, 0); 7257221Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2.sw, 31, 16); 7267221Sgblack@eecs.umich.edu midRes = arg1Low + arg2High; 7277221Sgblack@eecs.umich.edu if (midRes >= 0x10000) { 7287221Sgblack@eecs.umich.edu geBits = geBits | 0x3; 7297221Sgblack@eecs.umich.edu } 7307221Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 7317221Sgblack@eecs.umich.edu midRes = arg1High - arg2Low; 7327221Sgblack@eecs.umich.edu if (midRes >= 0) { 7337221Sgblack@eecs.umich.edu geBits = geBits | 0xc; 7347221Sgblack@eecs.umich.edu } 7357221Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 7367221Sgblack@eecs.umich.edu Dest = resTemp; 7377221Sgblack@eecs.umich.edu resTemp = geBits; 7387221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 7397230Sgblack@eecs.umich.edu 7407230Sgblack@eecs.umich.edu buildRegDataInst("uhadd16", ''' 7417230Sgblack@eecs.umich.edu resTemp = 0; 7427230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 7437230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 7447230Sgblack@eecs.umich.edu int low = i * 16; 7457230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) + 7467230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7477230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7487230Sgblack@eecs.umich.edu } 7497230Sgblack@eecs.umich.edu Dest = resTemp; 7507230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7517230Sgblack@eecs.umich.edu buildRegDataInst("uhadd8", ''' 7527230Sgblack@eecs.umich.edu resTemp = 0; 7537230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 7547230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 7557230Sgblack@eecs.umich.edu int low = i * 8; 7567230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) + 7577230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7587230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7597230Sgblack@eecs.umich.edu } 7607230Sgblack@eecs.umich.edu Dest = resTemp; 7617230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7627230Sgblack@eecs.umich.edu buildRegDataInst("uhsub16", ''' 7637230Sgblack@eecs.umich.edu resTemp = 0; 7647230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 7657230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 7667230Sgblack@eecs.umich.edu int low = i * 16; 7677230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) - 7687230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7697230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7707230Sgblack@eecs.umich.edu } 7717230Sgblack@eecs.umich.edu Dest = resTemp; 7727230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7737230Sgblack@eecs.umich.edu buildRegDataInst("uhsub8", ''' 7747230Sgblack@eecs.umich.edu resTemp = 0; 7757230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 7767230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 7777230Sgblack@eecs.umich.edu int low = i * 8; 7787230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) - 7797230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7807230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7817230Sgblack@eecs.umich.edu } 7827230Sgblack@eecs.umich.edu Dest = resTemp; 7837230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7847230Sgblack@eecs.umich.edu buildRegDataInst("uhasx", ''' 7857230Sgblack@eecs.umich.edu int32_t midRes; 7867230Sgblack@eecs.umich.edu resTemp = 0; 7877230Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1.sw, 15, 0); 7887230Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1.sw, 31, 16); 7897230Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2.sw, 15, 0); 7907230Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2.sw, 31, 16); 7917230Sgblack@eecs.umich.edu midRes = (arg1Low - arg2High) >> 1; 7927230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 7937230Sgblack@eecs.umich.edu midRes = (arg1High + arg2Low) >> 1; 7947230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 7957230Sgblack@eecs.umich.edu Dest = resTemp; 7967230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7977230Sgblack@eecs.umich.edu buildRegDataInst("uhsax", ''' 7987230Sgblack@eecs.umich.edu int32_t midRes; 7997230Sgblack@eecs.umich.edu resTemp = 0; 8007230Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1.sw, 15, 0); 8017230Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1.sw, 31, 16); 8027230Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2.sw, 15, 0); 8037230Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2.sw, 31, 16); 8047230Sgblack@eecs.umich.edu midRes = (arg1Low + arg2High) >> 1; 8057230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 8067230Sgblack@eecs.umich.edu midRes = (arg1High - arg2Low) >> 1; 8077230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 8087230Sgblack@eecs.umich.edu Dest = resTemp; 8097230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8107236Sgblack@eecs.umich.edu 8117236Sgblack@eecs.umich.edu buildRegDataInst("pkhbt", ''' 8127236Sgblack@eecs.umich.edu uint32_t resTemp = 0; 8137236Sgblack@eecs.umich.edu uint16_t arg1Low = bits(Op1, 15, 0); 8147236Sgblack@eecs.umich.edu uint16_t arg2High = bits(secondOp, 31, 16); 8157236Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, arg1Low); 8167236Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, arg2High); 8177236Sgblack@eecs.umich.edu Dest = resTemp; 8187236Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8197236Sgblack@eecs.umich.edu buildRegDataInst("pkhtb", ''' 8207236Sgblack@eecs.umich.edu uint32_t resTemp = 0; 8217236Sgblack@eecs.umich.edu uint16_t arg1High = bits(Op1, 31, 16); 8227236Sgblack@eecs.umich.edu uint16_t arg2Low = bits(secondOp, 15, 0); 8237236Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, arg2Low); 8247236Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, arg1High); 8257236Sgblack@eecs.umich.edu Dest = resTemp; 8267236Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8277138Sgblack@eecs.umich.edu}}; 828