17138Sgblack@eecs.umich.edu// -*- mode:c++ -*- 27138Sgblack@eecs.umich.edu 310037SARM gem5 Developers// Copyright (c) 2010, 2013 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 = ''' 478303SAli.Saidi@ARM.com CondCodesGE = 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 548305SAli.Saidi@ARM.com def createCcCode(negBit, carry, overflow): 558305SAli.Saidi@ARM.com code = "" 568305SAli.Saidi@ARM.com code += ''' 578305SAli.Saidi@ARM.com uint16_t _iz, _in; 588305SAli.Saidi@ARM.com _in = (resTemp >> %d) & 1; 598305SAli.Saidi@ARM.com _iz = (resTemp == 0); 608305SAli.Saidi@ARM.com CondCodesNZ = (_in << 1) | _iz; 618305SAli.Saidi@ARM.com DPRINTF(Arm, "(in, iz) = (%%d, %%d)\\n", _in, _iz); 628305SAli.Saidi@ARM.com ''' % negBit 638305SAli.Saidi@ARM.com if overflow and overflow != "none": 648305SAli.Saidi@ARM.com code += ''' 658305SAli.Saidi@ARM.com uint16_t _iv; 668305SAli.Saidi@ARM.com _iv = %s & 1; 678305SAli.Saidi@ARM.com CondCodesV = _iv; 688305SAli.Saidi@ARM.com DPRINTF(Arm, "(iv) = (%%d)\\n", _iv); 698305SAli.Saidi@ARM.com ''' % overflow 708305SAli.Saidi@ARM.com if carry and carry != "none": 718305SAli.Saidi@ARM.com code += ''' 728305SAli.Saidi@ARM.com uint16_t _ic; 738305SAli.Saidi@ARM.com _ic = %s & 1; 748305SAli.Saidi@ARM.com CondCodesC = _ic; 758305SAli.Saidi@ARM.com DPRINTF(Arm, "(ic) = (%%d)\\n", _ic); 768305SAli.Saidi@ARM.com ''' % carry 778305SAli.Saidi@ARM.com return code 787138Sgblack@eecs.umich.edu 797138Sgblack@eecs.umich.edu # Dict of code to set the carry flag. (imm, reg, reg-reg) 808303SAli.Saidi@ARM.com oldC = 'CondCodesC' 817138Sgblack@eecs.umich.edu carryCode = { 828305SAli.Saidi@ARM.com "none": ("none", "none", "none"), 838305SAli.Saidi@ARM.com "llbit": ("none", "none", "none"), 847193Sgblack@eecs.umich.edu "saturate": ('0', '0', '0'), 857138Sgblack@eecs.umich.edu "overflow": ('0', '0', '0'), 867215Sgblack@eecs.umich.edu "ge": ('0', '0', '0'), 877138Sgblack@eecs.umich.edu "add": ('findCarry(32, resTemp, Op1, secondOp)', 887138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, secondOp)', 897138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, secondOp)'), 907138Sgblack@eecs.umich.edu "sub": ('findCarry(32, resTemp, Op1, ~secondOp)', 917138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, ~secondOp)', 927138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, Op1, ~secondOp)'), 937138Sgblack@eecs.umich.edu "rsb": ('findCarry(32, resTemp, secondOp, ~Op1)', 947138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, secondOp, ~Op1)', 957138Sgblack@eecs.umich.edu 'findCarry(32, resTemp, secondOp, ~Op1)'), 967138Sgblack@eecs.umich.edu "logic": ('(rotC ? bits(secondOp, 31) : %s)' % oldC, 977138Sgblack@eecs.umich.edu 'shift_carry_imm(Op2, shiftAmt, shiftType, %s)' % oldC, 987138Sgblack@eecs.umich.edu 'shift_carry_rs(Op2, Shift<7:0>, shiftType, %s)' % oldC) 997138Sgblack@eecs.umich.edu } 1007138Sgblack@eecs.umich.edu # Dict of code to set the overflow flag. 1017138Sgblack@eecs.umich.edu overflowCode = { 1028305SAli.Saidi@ARM.com "none": "none", 1038305SAli.Saidi@ARM.com "llbit": "none", 1047193Sgblack@eecs.umich.edu "saturate": '0', 1057138Sgblack@eecs.umich.edu "overflow": '0', 1067215Sgblack@eecs.umich.edu "ge": '0', 1077138Sgblack@eecs.umich.edu "add": 'findOverflow(32, resTemp, Op1, secondOp)', 1087138Sgblack@eecs.umich.edu "sub": 'findOverflow(32, resTemp, Op1, ~secondOp)', 1097138Sgblack@eecs.umich.edu "rsb": 'findOverflow(32, resTemp, secondOp, ~Op1)', 1108305SAli.Saidi@ARM.com "logic": "none" 1117138Sgblack@eecs.umich.edu } 1127138Sgblack@eecs.umich.edu 1137138Sgblack@eecs.umich.edu secondOpRe = re.compile("secondOp") 1147138Sgblack@eecs.umich.edu immOp2 = "imm" 1158304SAli.Saidi@ARM.com regOp2 = "shift_rm_imm(Op2, shiftAmt, shiftType, OptShiftRmCondCodesC)" 1168304SAli.Saidi@ARM.com regRegOp2 = "shift_rm_rs(Op2, Shift<7:0>, shiftType, 0)" 1177138Sgblack@eecs.umich.edu 1187193Sgblack@eecs.umich.edu def buildImmDataInst(mnem, code, flagType = "logic", suffix = "Imm", \ 1199250SAli.Saidi@ARM.com buildCc = True, buildNonCc = True, isBranch = "0", \ 1209250SAli.Saidi@ARM.com instFlags = []): 1217138Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1227138Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1237138Sgblack@eecs.umich.edu negBit = 31 1247138Sgblack@eecs.umich.edu if flagType == "llbit": 1257138Sgblack@eecs.umich.edu negBit = 63 1267193Sgblack@eecs.umich.edu if flagType == "saturate": 1277184Sgblack@eecs.umich.edu immCcCode = calcQCode 1287214Sgblack@eecs.umich.edu elif flagType == "ge": 1297214Sgblack@eecs.umich.edu immCcCode = calcGECode 1307138Sgblack@eecs.umich.edu else: 1318305SAli.Saidi@ARM.com immCcCode = createCcCode(negBit, secondOpRe.sub(immOp2, cCode[0]), 1328305SAli.Saidi@ARM.com secondOpRe.sub(immOp2, vCode)) 1338305SAli.Saidi@ARM.com 1347184Sgblack@eecs.umich.edu immCode = secondOpRe.sub(immOp2, code) 1357188Sgblack@eecs.umich.edu immIop = InstObjParams(mnem, mnem.capitalize() + suffix, "DataImmOp", 1368304SAli.Saidi@ARM.com {"code" : immCode, 1379250SAli.Saidi@ARM.com "is_branch" : isBranch, 1388304SAli.Saidi@ARM.com "predicate_test": pickPredicate(immCode)}, instFlags) 1397188Sgblack@eecs.umich.edu immIopCc = InstObjParams(mnem + "s", mnem.capitalize() + suffix + "Cc", 1408304SAli.Saidi@ARM.com "DataImmOp", 1418304SAli.Saidi@ARM.com {"code" : immCode + immCcCode, 1429250SAli.Saidi@ARM.com "is_branch" : isBranch, 1438304SAli.Saidi@ARM.com "predicate_test": pickPredicate(immCode + immCcCode)}, instFlags) 1447184Sgblack@eecs.umich.edu 1457188Sgblack@eecs.umich.edu def subst(iop): 1467188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 1477188Sgblack@eecs.umich.edu header_output += DataImmDeclare.subst(iop) 1487188Sgblack@eecs.umich.edu decoder_output += DataImmConstructor.subst(iop) 1497188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 1507188Sgblack@eecs.umich.edu 1517193Sgblack@eecs.umich.edu if buildNonCc: 1527193Sgblack@eecs.umich.edu subst(immIop) 1537188Sgblack@eecs.umich.edu if buildCc: 1547188Sgblack@eecs.umich.edu subst(immIopCc) 1557188Sgblack@eecs.umich.edu 1567193Sgblack@eecs.umich.edu def buildRegDataInst(mnem, code, flagType = "logic", suffix = "Reg", \ 1578203SAli.Saidi@ARM.com buildCc = True, buildNonCc = True, isRasPop = "0", \ 1588203SAli.Saidi@ARM.com isBranch = "0", instFlags = []): 1597184Sgblack@eecs.umich.edu cCode = carryCode[flagType] 1607184Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 1617184Sgblack@eecs.umich.edu negBit = 31 1628305SAli.Saidi@ARM.com regCcCode = "" 1637184Sgblack@eecs.umich.edu if flagType == "llbit": 1647184Sgblack@eecs.umich.edu negBit = 63 1657193Sgblack@eecs.umich.edu if flagType == "saturate": 1667184Sgblack@eecs.umich.edu regCcCode = calcQCode 1677214Sgblack@eecs.umich.edu elif flagType == "ge": 1687215Sgblack@eecs.umich.edu regCcCode = calcGECode 1697184Sgblack@eecs.umich.edu else: 1708305SAli.Saidi@ARM.com regCcCode = createCcCode(negBit,secondOpRe.sub(regOp2, cCode[1]), 1718305SAli.Saidi@ARM.com secondOpRe.sub(regOp2, vCode)) 1728305SAli.Saidi@ARM.com 1737184Sgblack@eecs.umich.edu regCode = secondOpRe.sub(regOp2, code) 1748305SAli.Saidi@ARM.com 1758305SAli.Saidi@ARM.com # If we end up needing CondCodesC then remove any trace of the OptShift 1768305SAli.Saidi@ARM.com if re.search('(?<!OptShiftRm)CondCodesC(?!.*=)', regCode + regCcCode): 1778305SAli.Saidi@ARM.com regCode = re.sub('OptShiftRmCondCodesC', 'CondCodesC', regCode) 1788305SAli.Saidi@ARM.com regCcCode = re.sub('OptShiftRmCondCodesC', 'CondCodesC', regCcCode) 1798305SAli.Saidi@ARM.com 1807188Sgblack@eecs.umich.edu regIop = InstObjParams(mnem, mnem.capitalize() + suffix, "DataRegOp", 1818304SAli.Saidi@ARM.com {"code" : regCode, "is_ras_pop" : isRasPop, 1828304SAli.Saidi@ARM.com "is_branch" : isBranch, 1838304SAli.Saidi@ARM.com "predicate_test": pickPredicate(regCode)}, instFlags) 1847188Sgblack@eecs.umich.edu regIopCc = InstObjParams(mnem + "s", mnem.capitalize() + suffix + "Cc", 1858304SAli.Saidi@ARM.com "DataRegOp", 1868304SAli.Saidi@ARM.com {"code" : regCode + regCcCode, 1878304SAli.Saidi@ARM.com "predicate_test": pickPredicate(regCode + regCcCode), 1888304SAli.Saidi@ARM.com "is_ras_pop" : isRasPop, 1898304SAli.Saidi@ARM.com "is_branch" : isBranch}, instFlags) 1907184Sgblack@eecs.umich.edu 1917188Sgblack@eecs.umich.edu def subst(iop): 1927188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 1937188Sgblack@eecs.umich.edu header_output += DataRegDeclare.subst(iop) 1947188Sgblack@eecs.umich.edu decoder_output += DataRegConstructor.subst(iop) 1957188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 1967188Sgblack@eecs.umich.edu 1977193Sgblack@eecs.umich.edu if buildNonCc: 1987193Sgblack@eecs.umich.edu subst(regIop) 1997188Sgblack@eecs.umich.edu if buildCc: 2007188Sgblack@eecs.umich.edu subst(regIopCc) 2017188Sgblack@eecs.umich.edu 2027188Sgblack@eecs.umich.edu def buildRegRegDataInst(mnem, code, flagType = "logic", \ 2037193Sgblack@eecs.umich.edu suffix = "RegReg", \ 2047193Sgblack@eecs.umich.edu buildCc = True, buildNonCc = True): 2057184Sgblack@eecs.umich.edu cCode = carryCode[flagType] 2067184Sgblack@eecs.umich.edu vCode = overflowCode[flagType] 2077184Sgblack@eecs.umich.edu negBit = 31 2087184Sgblack@eecs.umich.edu if flagType == "llbit": 2097184Sgblack@eecs.umich.edu negBit = 63 2107193Sgblack@eecs.umich.edu if flagType == "saturate": 2117184Sgblack@eecs.umich.edu regRegCcCode = calcQCode 2127214Sgblack@eecs.umich.edu elif flagType == "ge": 2137215Sgblack@eecs.umich.edu regRegCcCode = calcGECode 2147184Sgblack@eecs.umich.edu else: 2158305SAli.Saidi@ARM.com regRegCcCode = createCcCode(negBit, 2168305SAli.Saidi@ARM.com secondOpRe.sub(regRegOp2, cCode[2]), 2178305SAli.Saidi@ARM.com secondOpRe.sub(regRegOp2, vCode)) 2188305SAli.Saidi@ARM.com 2197138Sgblack@eecs.umich.edu regRegCode = secondOpRe.sub(regRegOp2, code) 2207188Sgblack@eecs.umich.edu regRegIop = InstObjParams(mnem, mnem.capitalize() + suffix, 2218304SAli.Saidi@ARM.com "DataRegRegOp", 2228304SAli.Saidi@ARM.com {"code" : regRegCode, 2238304SAli.Saidi@ARM.com "predicate_test": pickPredicate(regRegCode)}) 2247138Sgblack@eecs.umich.edu regRegIopCc = InstObjParams(mnem + "s", 2258304SAli.Saidi@ARM.com mnem.capitalize() + suffix + "Cc", 2268304SAli.Saidi@ARM.com "DataRegRegOp", 2278304SAli.Saidi@ARM.com {"code" : regRegCode + regRegCcCode, 2288304SAli.Saidi@ARM.com "predicate_test": pickPredicate(regRegCode + regRegCcCode)}) 2297138Sgblack@eecs.umich.edu 2307188Sgblack@eecs.umich.edu def subst(iop): 2317188Sgblack@eecs.umich.edu global header_output, decoder_output, exec_output 2327188Sgblack@eecs.umich.edu header_output += DataRegRegDeclare.subst(iop) 2337188Sgblack@eecs.umich.edu decoder_output += DataRegRegConstructor.subst(iop) 2347188Sgblack@eecs.umich.edu exec_output += PredOpExecute.subst(iop) 2357184Sgblack@eecs.umich.edu 2367193Sgblack@eecs.umich.edu if buildNonCc: 2377193Sgblack@eecs.umich.edu subst(regRegIop) 2387188Sgblack@eecs.umich.edu if buildCc: 2397188Sgblack@eecs.umich.edu subst(regRegIopCc) 2407188Sgblack@eecs.umich.edu 2417188Sgblack@eecs.umich.edu def buildDataInst(mnem, code, flagType = "logic", \ 2427188Sgblack@eecs.umich.edu aiw = True, regRegAiw = True, 2438203SAli.Saidi@ARM.com subsPcLr = True, isRasPop = "0", isBranch = "0"): 2447188Sgblack@eecs.umich.edu regRegCode = instCode = code 2457188Sgblack@eecs.umich.edu if aiw: 2467188Sgblack@eecs.umich.edu instCode = "AIW" + instCode 2477188Sgblack@eecs.umich.edu if regRegAiw: 2487188Sgblack@eecs.umich.edu regRegCode = "AIW" + regRegCode 2497188Sgblack@eecs.umich.edu 2509250SAli.Saidi@ARM.com buildImmDataInst(mnem, instCode, flagType, isBranch = isBranch) 2518203SAli.Saidi@ARM.com buildRegDataInst(mnem, instCode, flagType, 2528203SAli.Saidi@ARM.com isRasPop = isRasPop, isBranch = isBranch) 2537188Sgblack@eecs.umich.edu buildRegRegDataInst(mnem, regRegCode, flagType) 2547188Sgblack@eecs.umich.edu if subsPcLr: 2557188Sgblack@eecs.umich.edu code += ''' 2567400SAli.Saidi@ARM.com SCTLR sctlr = Sctlr; 2578303SAli.Saidi@ARM.com CPSR old_cpsr = Cpsr; 2588303SAli.Saidi@ARM.com 2598303SAli.Saidi@ARM.com CPSR new_cpsr = 26010037SARM gem5 Developers cpsrWriteByInstr(old_cpsr, Spsr, Scr, Nsacr, 0xF, true, 26110037SARM gem5 Developers sctlr.nmfi, xc->tcBase()); 2628303SAli.Saidi@ARM.com Cpsr = ~CondCodesMask & new_cpsr; 2638303SAli.Saidi@ARM.com CondCodesNZ = new_cpsr.nz; 2648303SAli.Saidi@ARM.com CondCodesC = new_cpsr.c; 2658303SAli.Saidi@ARM.com CondCodesV = new_cpsr.v; 2668303SAli.Saidi@ARM.com CondCodesGE = new_cpsr.ge; 2678303SAli.Saidi@ARM.com 2688303SAli.Saidi@ARM.com NextThumb = (new_cpsr).t; 2698303SAli.Saidi@ARM.com NextJazelle = (new_cpsr).j; 2708303SAli.Saidi@ARM.com NextItState = (((new_cpsr).it2 << 2) & 0xFC) 2718303SAli.Saidi@ARM.com | ((new_cpsr).it1 & 0x3); 2728285SPrakash.Ramrakhyani@arm.com SevMailbox = 1; 2737188Sgblack@eecs.umich.edu ''' 2747188Sgblack@eecs.umich.edu buildImmDataInst(mnem + 's', code, flagType, 2757648SAli.Saidi@ARM.com suffix = "ImmPclr", buildCc = False, 27611355Smitch.hayenga@arm.com instFlags = ["IsSerializeAfter","IsNonSpeculative", 27711355Smitch.hayenga@arm.com "IsSquashAfter"]) 2787188Sgblack@eecs.umich.edu buildRegDataInst(mnem + 's', code, flagType, 2797648SAli.Saidi@ARM.com suffix = "RegPclr", buildCc = False, 28011355Smitch.hayenga@arm.com instFlags = ["IsSerializeAfter","IsNonSpeculative", 28111355Smitch.hayenga@arm.com "IsSquashAfter"]) 2827188Sgblack@eecs.umich.edu 2837188Sgblack@eecs.umich.edu buildDataInst("and", "Dest = resTemp = Op1 & secondOp;") 2847188Sgblack@eecs.umich.edu buildDataInst("eor", "Dest = resTemp = Op1 ^ secondOp;") 2859250SAli.Saidi@ARM.com buildDataInst("sub", "Dest = resTemp = Op1 - secondOp;", "sub", 2869250SAli.Saidi@ARM.com isBranch = "dest == INTREG_PC") 2877188Sgblack@eecs.umich.edu buildDataInst("rsb", "Dest = resTemp = secondOp - Op1;", "rsb") 2889250SAli.Saidi@ARM.com buildDataInst("add", "Dest = resTemp = Op1 + secondOp;", "add", 2899250SAli.Saidi@ARM.com isBranch = "dest == INTREG_PC") 2907185Sgblack@eecs.umich.edu buildImmDataInst("adr", ''' 2917797Sgblack@eecs.umich.edu Dest = resTemp = (PC & ~0x3) + 2927185Sgblack@eecs.umich.edu (op1 ? secondOp : -secondOp); 2939250SAli.Saidi@ARM.com ''', isBranch = "dest == INTREG_PC") 2947188Sgblack@eecs.umich.edu buildDataInst("adc", "Dest = resTemp = Op1 + secondOp + %s;" % oldC, "add") 2957188Sgblack@eecs.umich.edu buildDataInst("sbc", "Dest = resTemp = Op1 - secondOp - !%s;" % oldC, "sub") 2967188Sgblack@eecs.umich.edu buildDataInst("rsc", "Dest = resTemp = secondOp - Op1 - !%s;" % oldC, "rsb") 2977188Sgblack@eecs.umich.edu buildDataInst("tst", "resTemp = Op1 & secondOp;", aiw = False) 2987188Sgblack@eecs.umich.edu buildDataInst("teq", "resTemp = Op1 ^ secondOp;", aiw = False) 2997188Sgblack@eecs.umich.edu buildDataInst("cmp", "resTemp = Op1 - secondOp;", "sub", aiw = False) 3007188Sgblack@eecs.umich.edu buildDataInst("cmn", "resTemp = Op1 + secondOp;", "add", aiw = False) 3017188Sgblack@eecs.umich.edu buildDataInst("orr", "Dest = resTemp = Op1 | secondOp;") 3027188Sgblack@eecs.umich.edu buildDataInst("orn", "Dest = resTemp = Op1 | ~secondOp;", aiw = False) 3038203SAli.Saidi@ARM.com buildDataInst("mov", "Dest = resTemp = secondOp;", regRegAiw = False, 3049077SAli.Saidi@ARM.com isRasPop = "op2 == INTREG_LR", isBranch = "dest == INTREG_PC") 3057188Sgblack@eecs.umich.edu buildDataInst("bic", "Dest = resTemp = Op1 & ~secondOp;") 3067188Sgblack@eecs.umich.edu buildDataInst("mvn", "Dest = resTemp = ~secondOp;") 3077156Sgblack@eecs.umich.edu buildDataInst("movt", 3087188Sgblack@eecs.umich.edu "Dest = resTemp = insertBits(Op1, 31, 16, secondOp);", 3097188Sgblack@eecs.umich.edu aiw = False) 3107193Sgblack@eecs.umich.edu 3117193Sgblack@eecs.umich.edu buildRegDataInst("qadd", ''' 3127193Sgblack@eecs.umich.edu int32_t midRes; 3138588Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op1_sw, Op2_sw); 3147193Sgblack@eecs.umich.edu Dest = midRes; 3157193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3167193Sgblack@eecs.umich.edu buildRegDataInst("qadd16", ''' 3177193Sgblack@eecs.umich.edu int32_t midRes; 3187193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 3197193Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 3207193Sgblack@eecs.umich.edu int low = i * 16; 3218588Sgblack@eecs.umich.edu int64_t arg1 = sext<16>(bits(Op1_sw, high, low)); 3228588Sgblack@eecs.umich.edu int64_t arg2 = sext<16>(bits(Op2_sw, high, low)); 3237193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1, arg2); 3247193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3257193Sgblack@eecs.umich.edu } 3267193Sgblack@eecs.umich.edu Dest = resTemp; 3277193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3287193Sgblack@eecs.umich.edu buildRegDataInst("qadd8", ''' 3297193Sgblack@eecs.umich.edu int32_t midRes; 3307193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3317193Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3327193Sgblack@eecs.umich.edu int low = i * 8; 3338588Sgblack@eecs.umich.edu int64_t arg1 = sext<8>(bits(Op1_sw, high, low)); 3348588Sgblack@eecs.umich.edu int64_t arg2 = sext<8>(bits(Op2_sw, high, low)); 3357193Sgblack@eecs.umich.edu saturateOp<8>(midRes, arg1, arg2); 3367193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3377193Sgblack@eecs.umich.edu } 3387193Sgblack@eecs.umich.edu Dest = resTemp; 3397193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3407193Sgblack@eecs.umich.edu buildRegDataInst("qdadd", ''' 3417193Sgblack@eecs.umich.edu int32_t midRes; 3428588Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op2_sw, Op2_sw) | 3438588Sgblack@eecs.umich.edu saturateOp<32>(midRes, Op1_sw, midRes); 3447193Sgblack@eecs.umich.edu Dest = midRes; 3457193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3467193Sgblack@eecs.umich.edu buildRegDataInst("qsub", ''' 3477193Sgblack@eecs.umich.edu int32_t midRes; 3488588Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op1_sw, Op2_sw, true); 3497193Sgblack@eecs.umich.edu Dest = midRes; 3507193Sgblack@eecs.umich.edu ''', flagType="saturate") 3517193Sgblack@eecs.umich.edu buildRegDataInst("qsub16", ''' 3527193Sgblack@eecs.umich.edu int32_t midRes; 3537193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 3547193Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 3557193Sgblack@eecs.umich.edu int low = i * 16; 3568588Sgblack@eecs.umich.edu int64_t arg1 = sext<16>(bits(Op1_sw, high, low)); 3578588Sgblack@eecs.umich.edu int64_t arg2 = sext<16>(bits(Op2_sw, high, low)); 3587193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1, arg2, true); 3597193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3607193Sgblack@eecs.umich.edu } 3617193Sgblack@eecs.umich.edu Dest = resTemp; 3627193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3637193Sgblack@eecs.umich.edu buildRegDataInst("qsub8", ''' 3647193Sgblack@eecs.umich.edu int32_t midRes; 3657193Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 3667193Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 3677193Sgblack@eecs.umich.edu int low = i * 8; 3688588Sgblack@eecs.umich.edu int64_t arg1 = sext<8>(bits(Op1_sw, high, low)); 3698588Sgblack@eecs.umich.edu int64_t arg2 = sext<8>(bits(Op2_sw, high, low)); 3707193Sgblack@eecs.umich.edu saturateOp<8>(midRes, arg1, arg2, true); 3717193Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 3727193Sgblack@eecs.umich.edu } 3737193Sgblack@eecs.umich.edu Dest = resTemp; 3747193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3757193Sgblack@eecs.umich.edu buildRegDataInst("qdsub", ''' 3767193Sgblack@eecs.umich.edu int32_t midRes; 3778588Sgblack@eecs.umich.edu resTemp = saturateOp<32>(midRes, Op2_sw, Op2_sw) | 3788588Sgblack@eecs.umich.edu saturateOp<32>(midRes, Op1_sw, midRes, true); 3797193Sgblack@eecs.umich.edu Dest = midRes; 3807193Sgblack@eecs.umich.edu ''', flagType="saturate", buildNonCc=False) 3817193Sgblack@eecs.umich.edu buildRegDataInst("qasx", ''' 3827193Sgblack@eecs.umich.edu int32_t midRes; 3838588Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1_sw, 15, 0)); 3848588Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1_sw, 31, 16)); 3858588Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2_sw, 15, 0)); 3868588Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2_sw, 31, 16)); 3877193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1Low, arg2High, true); 3887193Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 3897193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1High, arg2Low); 3907193Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 3917193Sgblack@eecs.umich.edu Dest = resTemp; 3927193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 3937193Sgblack@eecs.umich.edu buildRegDataInst("qsax", ''' 3947193Sgblack@eecs.umich.edu int32_t midRes; 3958588Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1_sw, 15, 0)); 3968588Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1_sw, 31, 16)); 3978588Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2_sw, 15, 0)); 3988588Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2_sw, 31, 16)); 3997193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1Low, arg2High); 4007193Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 4017193Sgblack@eecs.umich.edu saturateOp<16>(midRes, arg1High, arg2Low, true); 4027193Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 4037193Sgblack@eecs.umich.edu Dest = resTemp; 4047193Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 4057215Sgblack@eecs.umich.edu 4067215Sgblack@eecs.umich.edu buildRegDataInst("sadd8", ''' 4077215Sgblack@eecs.umich.edu uint32_t geBits = 0; 4087215Sgblack@eecs.umich.edu resTemp = 0; 4097215Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4107215Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4117215Sgblack@eecs.umich.edu int low = i * 8; 4128588Sgblack@eecs.umich.edu int32_t midRes = sext<8>(bits(Op1_sw, high, low)) + 4138588Sgblack@eecs.umich.edu sext<8>(bits(Op2_sw, high, low)); 4147215Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4157215Sgblack@eecs.umich.edu if (midRes >= 0) { 4167215Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 4177215Sgblack@eecs.umich.edu } 4187215Sgblack@eecs.umich.edu } 4197215Sgblack@eecs.umich.edu Dest = resTemp; 4207215Sgblack@eecs.umich.edu resTemp = geBits; 4217215Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4227215Sgblack@eecs.umich.edu buildRegDataInst("sadd16", ''' 4237215Sgblack@eecs.umich.edu uint32_t geBits = 0; 4247215Sgblack@eecs.umich.edu resTemp = 0; 4257215Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4267215Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4277215Sgblack@eecs.umich.edu int low = i * 16; 4288588Sgblack@eecs.umich.edu int32_t midRes = sext<16>(bits(Op1_sw, high, low)) + 4298588Sgblack@eecs.umich.edu sext<16>(bits(Op2_sw, high, low)); 4307217Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4317217Sgblack@eecs.umich.edu if (midRes >= 0) { 4327217Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 4337217Sgblack@eecs.umich.edu } 4347217Sgblack@eecs.umich.edu } 4357217Sgblack@eecs.umich.edu Dest = resTemp; 4367217Sgblack@eecs.umich.edu resTemp = geBits; 4377217Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4387217Sgblack@eecs.umich.edu 4397217Sgblack@eecs.umich.edu buildRegDataInst("ssub8", ''' 4407217Sgblack@eecs.umich.edu uint32_t geBits = 0; 4417217Sgblack@eecs.umich.edu resTemp = 0; 4427217Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 4437217Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 4447217Sgblack@eecs.umich.edu int low = i * 8; 4458588Sgblack@eecs.umich.edu int32_t midRes = sext<8>(bits(Op1_sw, high, low)) - 4468588Sgblack@eecs.umich.edu sext<8>(bits(Op2_sw, high, low)); 4477217Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4487217Sgblack@eecs.umich.edu if (midRes >= 0) { 4497217Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 4507217Sgblack@eecs.umich.edu } 4517217Sgblack@eecs.umich.edu } 4527217Sgblack@eecs.umich.edu Dest = resTemp; 4537217Sgblack@eecs.umich.edu resTemp = geBits; 4547217Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4557217Sgblack@eecs.umich.edu buildRegDataInst("ssub16", ''' 4567217Sgblack@eecs.umich.edu uint32_t geBits = 0; 4577217Sgblack@eecs.umich.edu resTemp = 0; 4587217Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 4597217Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 4607217Sgblack@eecs.umich.edu int low = i * 16; 4618588Sgblack@eecs.umich.edu int32_t midRes = sext<16>(bits(Op1_sw, high, low)) - 4628588Sgblack@eecs.umich.edu sext<16>(bits(Op2_sw, high, low)); 4637215Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 4647215Sgblack@eecs.umich.edu if (midRes >= 0) { 4657215Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 4667215Sgblack@eecs.umich.edu } 4677215Sgblack@eecs.umich.edu } 4687215Sgblack@eecs.umich.edu Dest = resTemp; 4697215Sgblack@eecs.umich.edu resTemp = geBits; 4707215Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 4717223Sgblack@eecs.umich.edu buildRegDataInst("sasx", ''' 4727223Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 4737223Sgblack@eecs.umich.edu resTemp = 0; 4748588Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1_sw, 15, 0)); 4758588Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1_sw, 31, 16)); 4768588Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2_sw, 15, 0)); 4778588Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2_sw, 31, 16)); 4787223Sgblack@eecs.umich.edu midRes = arg1Low - arg2High; 4797223Sgblack@eecs.umich.edu if (midRes >= 0) { 4807223Sgblack@eecs.umich.edu geBits = geBits | 0x3; 4817223Sgblack@eecs.umich.edu } 4827223Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 4837223Sgblack@eecs.umich.edu midRes = arg1High + arg2Low; 4847223Sgblack@eecs.umich.edu if (midRes >= 0) { 4857223Sgblack@eecs.umich.edu geBits = geBits | 0xc; 4867223Sgblack@eecs.umich.edu } 4877223Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 4887223Sgblack@eecs.umich.edu Dest = resTemp; 4897223Sgblack@eecs.umich.edu resTemp = geBits; 4907223Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=True) 4917223Sgblack@eecs.umich.edu buildRegDataInst("ssax", ''' 4927223Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 4937223Sgblack@eecs.umich.edu resTemp = 0; 4948588Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1_sw, 15, 0)); 4958588Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1_sw, 31, 16)); 4968588Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2_sw, 15, 0)); 4978588Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2_sw, 31, 16)); 4987223Sgblack@eecs.umich.edu midRes = arg1Low + arg2High; 4997223Sgblack@eecs.umich.edu if (midRes >= 0) { 5007223Sgblack@eecs.umich.edu geBits = geBits | 0x3; 5017223Sgblack@eecs.umich.edu } 5027223Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 5037223Sgblack@eecs.umich.edu midRes = arg1High - arg2Low; 5047223Sgblack@eecs.umich.edu if (midRes >= 0) { 5057223Sgblack@eecs.umich.edu geBits = geBits | 0xc; 5067223Sgblack@eecs.umich.edu } 5077223Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 5087223Sgblack@eecs.umich.edu Dest = resTemp; 5097223Sgblack@eecs.umich.edu resTemp = geBits; 5107223Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=True) 5117219Sgblack@eecs.umich.edu 5127230Sgblack@eecs.umich.edu buildRegDataInst("shadd8", ''' 5137230Sgblack@eecs.umich.edu resTemp = 0; 5147230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 5157230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 5167230Sgblack@eecs.umich.edu int low = i * 8; 5177230Sgblack@eecs.umich.edu int32_t midRes = 5188588Sgblack@eecs.umich.edu (uint64_t)(sext<8>(bits(Op1_sw, high, low)) + 5198588Sgblack@eecs.umich.edu sext<8>(bits(Op2_sw, high, low))) >> 1; 5207230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5217230Sgblack@eecs.umich.edu } 5227230Sgblack@eecs.umich.edu Dest = resTemp; 5237230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5247230Sgblack@eecs.umich.edu buildRegDataInst("shadd16", ''' 5257230Sgblack@eecs.umich.edu resTemp = 0; 5267230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5277230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5287230Sgblack@eecs.umich.edu int low = i * 16; 5297230Sgblack@eecs.umich.edu int32_t midRes = 5308588Sgblack@eecs.umich.edu (uint64_t)(sext<16>(bits(Op1_sw, high, low)) + 5318588Sgblack@eecs.umich.edu sext<16>(bits(Op2_sw, high, low))) >> 1; 5327230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5337230Sgblack@eecs.umich.edu } 5347230Sgblack@eecs.umich.edu Dest = resTemp; 5357230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5367230Sgblack@eecs.umich.edu buildRegDataInst("shsub8", ''' 5377230Sgblack@eecs.umich.edu resTemp = 0; 5387230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 5397230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 5407230Sgblack@eecs.umich.edu int low = i * 8; 5417230Sgblack@eecs.umich.edu int32_t midRes = 5428588Sgblack@eecs.umich.edu (uint64_t)(sext<8>(bits(Op1_sw, high, low)) - 5438588Sgblack@eecs.umich.edu sext<8>(bits(Op2_sw, high, low))) >> 1; 5447230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5457230Sgblack@eecs.umich.edu } 5467230Sgblack@eecs.umich.edu Dest = resTemp; 5477230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5487230Sgblack@eecs.umich.edu buildRegDataInst("shsub16", ''' 5497230Sgblack@eecs.umich.edu resTemp = 0; 5507230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5517230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5527230Sgblack@eecs.umich.edu int low = i * 16; 5537230Sgblack@eecs.umich.edu int32_t midRes = 5548588Sgblack@eecs.umich.edu (uint64_t)(sext<16>(bits(Op1_sw, high, low)) - 5558588Sgblack@eecs.umich.edu sext<16>(bits(Op2_sw, high, low))) >> 1; 5567230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5577230Sgblack@eecs.umich.edu } 5587230Sgblack@eecs.umich.edu Dest = resTemp; 5597230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5607230Sgblack@eecs.umich.edu buildRegDataInst("shasx", ''' 5617230Sgblack@eecs.umich.edu int32_t midRes; 5627230Sgblack@eecs.umich.edu resTemp = 0; 5638588Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1_sw, 15, 0)); 5648588Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1_sw, 31, 16)); 5658588Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2_sw, 15, 0)); 5668588Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2_sw, 31, 16)); 5677230Sgblack@eecs.umich.edu midRes = (uint64_t)(arg1Low - arg2High) >> 1; 5687230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 5697230Sgblack@eecs.umich.edu midRes = (arg1High + arg2Low) >> 1; 5707230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 5717230Sgblack@eecs.umich.edu Dest = resTemp; 5727230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=True) 5737230Sgblack@eecs.umich.edu buildRegDataInst("shsax", ''' 5747230Sgblack@eecs.umich.edu int32_t midRes; 5757230Sgblack@eecs.umich.edu resTemp = 0; 5768588Sgblack@eecs.umich.edu int64_t arg1Low = sext<16>(bits(Op1_sw, 15, 0)); 5778588Sgblack@eecs.umich.edu int64_t arg1High = sext<16>(bits(Op1_sw, 31, 16)); 5788588Sgblack@eecs.umich.edu int64_t arg2Low = sext<16>(bits(Op2_sw, 15, 0)); 5798588Sgblack@eecs.umich.edu int64_t arg2High = sext<16>(bits(Op2_sw, 31, 16)); 5807230Sgblack@eecs.umich.edu midRes = (uint64_t)(arg1Low + arg2High) >> 1; 5817230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 5827230Sgblack@eecs.umich.edu midRes = (uint64_t)(arg1High - arg2Low) >> 1; 5837230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 5847230Sgblack@eecs.umich.edu Dest = resTemp; 5857230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=True) 5867230Sgblack@eecs.umich.edu 5877219Sgblack@eecs.umich.edu buildRegDataInst("uqadd16", ''' 5887219Sgblack@eecs.umich.edu uint32_t midRes; 5897219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 5907219Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 5917219Sgblack@eecs.umich.edu int low = i * 16; 5927219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 5937219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 5947219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1, arg2); 5957219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 5967219Sgblack@eecs.umich.edu } 5977219Sgblack@eecs.umich.edu Dest = resTemp; 5987219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 5997219Sgblack@eecs.umich.edu buildRegDataInst("uqadd8", ''' 6007219Sgblack@eecs.umich.edu uint32_t midRes; 6017219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 6027219Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 6037219Sgblack@eecs.umich.edu int low = i * 8; 6047219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 6057219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 6067219Sgblack@eecs.umich.edu uSaturateOp<8>(midRes, arg1, arg2); 6077219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6087219Sgblack@eecs.umich.edu } 6097219Sgblack@eecs.umich.edu Dest = resTemp; 6107219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6117219Sgblack@eecs.umich.edu buildRegDataInst("uqsub16", ''' 6127219Sgblack@eecs.umich.edu uint32_t midRes; 6137219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 6147219Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 6157219Sgblack@eecs.umich.edu int low = i * 16; 6167219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 6177219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 6187219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1, arg2, true); 6197219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6207219Sgblack@eecs.umich.edu } 6217219Sgblack@eecs.umich.edu Dest = resTemp; 6227219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6237219Sgblack@eecs.umich.edu buildRegDataInst("uqsub8", ''' 6247219Sgblack@eecs.umich.edu uint32_t midRes; 6257219Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 6267219Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 6277219Sgblack@eecs.umich.edu int low = i * 8; 6287219Sgblack@eecs.umich.edu uint64_t arg1 = bits(Op1, high, low); 6297219Sgblack@eecs.umich.edu uint64_t arg2 = bits(Op2, high, low); 6307219Sgblack@eecs.umich.edu uSaturateOp<8>(midRes, arg1, arg2, true); 6317219Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6327219Sgblack@eecs.umich.edu } 6337219Sgblack@eecs.umich.edu Dest = resTemp; 6347219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6357219Sgblack@eecs.umich.edu buildRegDataInst("uqasx", ''' 6367219Sgblack@eecs.umich.edu uint32_t midRes; 6378588Sgblack@eecs.umich.edu uint64_t arg1Low = bits(Op1_sw, 15, 0); 6388588Sgblack@eecs.umich.edu uint64_t arg1High = bits(Op1_sw, 31, 16); 6398588Sgblack@eecs.umich.edu uint64_t arg2Low = bits(Op2_sw, 15, 0); 6408588Sgblack@eecs.umich.edu uint64_t arg2High = bits(Op2_sw, 31, 16); 6417219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1Low, arg2High, true); 6427219Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 6437219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1High, arg2Low); 6447219Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 6457219Sgblack@eecs.umich.edu Dest = resTemp; 6467219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6477219Sgblack@eecs.umich.edu buildRegDataInst("uqsax", ''' 6487219Sgblack@eecs.umich.edu uint32_t midRes; 6498588Sgblack@eecs.umich.edu uint64_t arg1Low = bits(Op1_sw, 15, 0); 6508588Sgblack@eecs.umich.edu uint64_t arg1High = bits(Op1_sw, 31, 16); 6518588Sgblack@eecs.umich.edu uint64_t arg2Low = bits(Op2_sw, 15, 0); 6528588Sgblack@eecs.umich.edu uint64_t arg2High = bits(Op2_sw, 31, 16); 6537219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1Low, arg2High); 6547219Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 6557219Sgblack@eecs.umich.edu uSaturateOp<16>(midRes, arg1High, arg2Low, true); 6567219Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 6577219Sgblack@eecs.umich.edu Dest = resTemp; 6587219Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 6597221Sgblack@eecs.umich.edu 6607221Sgblack@eecs.umich.edu buildRegDataInst("uadd16", ''' 6617221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6627221Sgblack@eecs.umich.edu resTemp = 0; 6637221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 6647221Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 6657221Sgblack@eecs.umich.edu int low = i * 16; 6667221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) + 6677221Sgblack@eecs.umich.edu bits(Op2, high, low); 6687221Sgblack@eecs.umich.edu if (midRes >= 0x10000) { 6697221Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 6707221Sgblack@eecs.umich.edu } 6717221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6727221Sgblack@eecs.umich.edu } 6737221Sgblack@eecs.umich.edu Dest = resTemp; 6747221Sgblack@eecs.umich.edu resTemp = geBits; 6757221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 6767221Sgblack@eecs.umich.edu buildRegDataInst("uadd8", ''' 6777221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6787221Sgblack@eecs.umich.edu resTemp = 0; 6797221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 6807221Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 6817221Sgblack@eecs.umich.edu int low = i * 8; 6827221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) + 6837221Sgblack@eecs.umich.edu bits(Op2, high, low); 6847221Sgblack@eecs.umich.edu if (midRes >= 0x100) { 6857221Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 6867221Sgblack@eecs.umich.edu } 6877221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 6887221Sgblack@eecs.umich.edu } 6897221Sgblack@eecs.umich.edu Dest = resTemp; 6907221Sgblack@eecs.umich.edu resTemp = geBits; 6917221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 6927221Sgblack@eecs.umich.edu buildRegDataInst("usub16", ''' 6937221Sgblack@eecs.umich.edu uint32_t geBits = 0; 6947221Sgblack@eecs.umich.edu resTemp = 0; 6957221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 6967221Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 6977221Sgblack@eecs.umich.edu int low = i * 16; 6987221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) - 6997221Sgblack@eecs.umich.edu bits(Op2, high, low); 7007221Sgblack@eecs.umich.edu if (midRes >= 0) { 7017221Sgblack@eecs.umich.edu geBits = geBits | (0x3 << (i * 2)); 7027221Sgblack@eecs.umich.edu } 7037221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7047221Sgblack@eecs.umich.edu } 7057221Sgblack@eecs.umich.edu Dest = resTemp; 7067221Sgblack@eecs.umich.edu resTemp = geBits; 7077221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 7087221Sgblack@eecs.umich.edu buildRegDataInst("usub8", ''' 7097221Sgblack@eecs.umich.edu uint32_t geBits = 0; 7107221Sgblack@eecs.umich.edu resTemp = 0; 7117221Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 7127221Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 7137221Sgblack@eecs.umich.edu int low = i * 8; 7147221Sgblack@eecs.umich.edu int32_t midRes = bits(Op1, high, low) - 7157221Sgblack@eecs.umich.edu bits(Op2, high, low); 7167221Sgblack@eecs.umich.edu if (midRes >= 0) { 7177221Sgblack@eecs.umich.edu geBits = geBits | (1 << i); 7187221Sgblack@eecs.umich.edu } 7197221Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7207221Sgblack@eecs.umich.edu } 7217221Sgblack@eecs.umich.edu Dest = resTemp; 7227221Sgblack@eecs.umich.edu resTemp = geBits; 7237221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 7247221Sgblack@eecs.umich.edu buildRegDataInst("uasx", ''' 7257221Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 7267221Sgblack@eecs.umich.edu resTemp = 0; 7278588Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1_sw, 15, 0); 7288588Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1_sw, 31, 16); 7298588Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2_sw, 15, 0); 7308588Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2_sw, 31, 16); 7317221Sgblack@eecs.umich.edu midRes = arg1Low - arg2High; 7327221Sgblack@eecs.umich.edu if (midRes >= 0) { 7337221Sgblack@eecs.umich.edu geBits = geBits | 0x3; 7347221Sgblack@eecs.umich.edu } 7357221Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 7367221Sgblack@eecs.umich.edu midRes = arg1High + arg2Low; 7377221Sgblack@eecs.umich.edu if (midRes >= 0x10000) { 7387221Sgblack@eecs.umich.edu geBits = geBits | 0xc; 7397221Sgblack@eecs.umich.edu } 7407221Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 7417221Sgblack@eecs.umich.edu Dest = resTemp; 7427221Sgblack@eecs.umich.edu resTemp = geBits; 7437221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 7447221Sgblack@eecs.umich.edu buildRegDataInst("usax", ''' 7457221Sgblack@eecs.umich.edu int32_t midRes, geBits = 0; 7467221Sgblack@eecs.umich.edu resTemp = 0; 7478588Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1_sw, 15, 0); 7488588Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1_sw, 31, 16); 7498588Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2_sw, 15, 0); 7508588Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2_sw, 31, 16); 7517221Sgblack@eecs.umich.edu midRes = arg1Low + arg2High; 7527221Sgblack@eecs.umich.edu if (midRes >= 0x10000) { 7537221Sgblack@eecs.umich.edu geBits = geBits | 0x3; 7547221Sgblack@eecs.umich.edu } 7557221Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 7567221Sgblack@eecs.umich.edu midRes = arg1High - arg2Low; 7577221Sgblack@eecs.umich.edu if (midRes >= 0) { 7587221Sgblack@eecs.umich.edu geBits = geBits | 0xc; 7597221Sgblack@eecs.umich.edu } 7607221Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 7617221Sgblack@eecs.umich.edu Dest = resTemp; 7627221Sgblack@eecs.umich.edu resTemp = geBits; 7637221Sgblack@eecs.umich.edu ''', flagType="ge", buildNonCc=False) 7647230Sgblack@eecs.umich.edu 7657230Sgblack@eecs.umich.edu buildRegDataInst("uhadd16", ''' 7667230Sgblack@eecs.umich.edu resTemp = 0; 7677230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 7687230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 7697230Sgblack@eecs.umich.edu int low = i * 16; 7707230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) + 7717230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7727230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7737230Sgblack@eecs.umich.edu } 7747230Sgblack@eecs.umich.edu Dest = resTemp; 7757230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7767230Sgblack@eecs.umich.edu buildRegDataInst("uhadd8", ''' 7777230Sgblack@eecs.umich.edu resTemp = 0; 7787230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 7797230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 7807230Sgblack@eecs.umich.edu int low = i * 8; 7817230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) + 7827230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7837230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7847230Sgblack@eecs.umich.edu } 7857230Sgblack@eecs.umich.edu Dest = resTemp; 7867230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7877230Sgblack@eecs.umich.edu buildRegDataInst("uhsub16", ''' 7887230Sgblack@eecs.umich.edu resTemp = 0; 7897230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 2; i++) { 7907230Sgblack@eecs.umich.edu int high = (i + 1) * 16 - 1; 7917230Sgblack@eecs.umich.edu int low = i * 16; 7927230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) - 7937230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 7947230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 7957230Sgblack@eecs.umich.edu } 7967230Sgblack@eecs.umich.edu Dest = resTemp; 7977230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 7987230Sgblack@eecs.umich.edu buildRegDataInst("uhsub8", ''' 7997230Sgblack@eecs.umich.edu resTemp = 0; 8007230Sgblack@eecs.umich.edu for (unsigned i = 0; i < 4; i++) { 8017230Sgblack@eecs.umich.edu int high = (i + 1) * 8 - 1; 8027230Sgblack@eecs.umich.edu int low = i * 8; 8037230Sgblack@eecs.umich.edu int32_t midRes = (bits(Op1, high, low) - 8047230Sgblack@eecs.umich.edu bits(Op2, high, low)) >> 1; 8057230Sgblack@eecs.umich.edu replaceBits(resTemp, high, low, midRes); 8067230Sgblack@eecs.umich.edu } 8077230Sgblack@eecs.umich.edu Dest = resTemp; 8087230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8097230Sgblack@eecs.umich.edu buildRegDataInst("uhasx", ''' 8107230Sgblack@eecs.umich.edu int32_t midRes; 8117230Sgblack@eecs.umich.edu resTemp = 0; 8128588Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1_sw, 15, 0); 8138588Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1_sw, 31, 16); 8148588Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2_sw, 15, 0); 8158588Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2_sw, 31, 16); 8167230Sgblack@eecs.umich.edu midRes = (arg1Low - arg2High) >> 1; 8177230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 8187230Sgblack@eecs.umich.edu midRes = (arg1High + arg2Low) >> 1; 8197230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 8207230Sgblack@eecs.umich.edu Dest = resTemp; 8217230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8227230Sgblack@eecs.umich.edu buildRegDataInst("uhsax", ''' 8237230Sgblack@eecs.umich.edu int32_t midRes; 8247230Sgblack@eecs.umich.edu resTemp = 0; 8258588Sgblack@eecs.umich.edu int64_t arg1Low = bits(Op1_sw, 15, 0); 8268588Sgblack@eecs.umich.edu int64_t arg1High = bits(Op1_sw, 31, 16); 8278588Sgblack@eecs.umich.edu int64_t arg2Low = bits(Op2_sw, 15, 0); 8288588Sgblack@eecs.umich.edu int64_t arg2High = bits(Op2_sw, 31, 16); 8297230Sgblack@eecs.umich.edu midRes = (arg1Low + arg2High) >> 1; 8307230Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, midRes); 8317230Sgblack@eecs.umich.edu midRes = (arg1High - arg2Low) >> 1; 8327230Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, midRes); 8337230Sgblack@eecs.umich.edu Dest = resTemp; 8347230Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8357236Sgblack@eecs.umich.edu 8367236Sgblack@eecs.umich.edu buildRegDataInst("pkhbt", ''' 8377236Sgblack@eecs.umich.edu uint32_t resTemp = 0; 8387236Sgblack@eecs.umich.edu uint16_t arg1Low = bits(Op1, 15, 0); 8397236Sgblack@eecs.umich.edu uint16_t arg2High = bits(secondOp, 31, 16); 8407236Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, arg1Low); 8417236Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, arg2High); 8427236Sgblack@eecs.umich.edu Dest = resTemp; 8437236Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8447236Sgblack@eecs.umich.edu buildRegDataInst("pkhtb", ''' 8457236Sgblack@eecs.umich.edu uint32_t resTemp = 0; 8467236Sgblack@eecs.umich.edu uint16_t arg1High = bits(Op1, 31, 16); 8477236Sgblack@eecs.umich.edu uint16_t arg2Low = bits(secondOp, 15, 0); 8487236Sgblack@eecs.umich.edu replaceBits(resTemp, 15, 0, arg2Low); 8497236Sgblack@eecs.umich.edu replaceBits(resTemp, 31, 16, arg1High); 8507236Sgblack@eecs.umich.edu Dest = resTemp; 8517236Sgblack@eecs.umich.edu ''', flagType="none", buildCc=False) 8527138Sgblack@eecs.umich.edu}}; 853