pred.isa revision 6741
16019Shines@cs.fsu.edu// -*- mode:c++ -*- 26019Shines@cs.fsu.edu 36019Shines@cs.fsu.edu// Copyright (c) 2007-2008 The Florida State University 46019Shines@cs.fsu.edu// All rights reserved. 56019Shines@cs.fsu.edu// 66019Shines@cs.fsu.edu// Redistribution and use in source and binary forms, with or without 76019Shines@cs.fsu.edu// modification, are permitted provided that the following conditions are 86019Shines@cs.fsu.edu// met: redistributions of source code must retain the above copyright 96019Shines@cs.fsu.edu// notice, this list of conditions and the following disclaimer; 106019Shines@cs.fsu.edu// redistributions in binary form must reproduce the above copyright 116019Shines@cs.fsu.edu// notice, this list of conditions and the following disclaimer in the 126019Shines@cs.fsu.edu// documentation and/or other materials provided with the distribution; 136019Shines@cs.fsu.edu// neither the name of the copyright holders nor the names of its 146019Shines@cs.fsu.edu// contributors may be used to endorse or promote products derived from 156019Shines@cs.fsu.edu// this software without specific prior written permission. 166019Shines@cs.fsu.edu// 176019Shines@cs.fsu.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 186019Shines@cs.fsu.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 196019Shines@cs.fsu.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 206019Shines@cs.fsu.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 216019Shines@cs.fsu.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 226019Shines@cs.fsu.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 236019Shines@cs.fsu.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 246019Shines@cs.fsu.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 256019Shines@cs.fsu.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 266019Shines@cs.fsu.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 276019Shines@cs.fsu.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 286019Shines@cs.fsu.edu// 296019Shines@cs.fsu.edu// Authors: Stephen Hines 306019Shines@cs.fsu.edu 316019Shines@cs.fsu.edu//////////////////////////////////////////////////////////////////// 326019Shines@cs.fsu.edu// 336019Shines@cs.fsu.edu// Predicated Instruction Execution 346019Shines@cs.fsu.edu// 356019Shines@cs.fsu.edu 366243Sgblack@eecs.umich.edulet {{ 376724Sgblack@eecs.umich.edu predicateTest = 'testPredicate(CondCodes, condCode)' 386243Sgblack@eecs.umich.edu}}; 396243Sgblack@eecs.umich.edu 406019Shines@cs.fsu.edudef template PredOpExecute {{ 416019Shines@cs.fsu.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, Trace::InstRecord *traceData) const 426019Shines@cs.fsu.edu { 436019Shines@cs.fsu.edu Fault fault = NoFault; 446271Sgblack@eecs.umich.edu uint64_t resTemp = 0; 456271Sgblack@eecs.umich.edu resTemp = resTemp; 466019Shines@cs.fsu.edu %(op_decl)s; 476019Shines@cs.fsu.edu %(op_rd)s; 486019Shines@cs.fsu.edu 496243Sgblack@eecs.umich.edu if (%(predicate_test)s) 506019Shines@cs.fsu.edu { 516243Sgblack@eecs.umich.edu %(code)s; 526019Shines@cs.fsu.edu if (fault == NoFault) 536019Shines@cs.fsu.edu { 546019Shines@cs.fsu.edu %(op_wb)s; 556019Shines@cs.fsu.edu } 566019Shines@cs.fsu.edu } 576019Shines@cs.fsu.edu 586019Shines@cs.fsu.edu return fault; 596019Shines@cs.fsu.edu } 606019Shines@cs.fsu.edu}}; 616019Shines@cs.fsu.edu 626265Sgblack@eecs.umich.edudef template DataDecode {{ 636265Sgblack@eecs.umich.edu if (machInst.opcode4 == 0) { 646265Sgblack@eecs.umich.edu if (machInst.sField == 0) 656265Sgblack@eecs.umich.edu return new %(class_name)sImm(machInst); 666265Sgblack@eecs.umich.edu else 676265Sgblack@eecs.umich.edu return new %(class_name)sImmCc(machInst); 686265Sgblack@eecs.umich.edu } else { 696265Sgblack@eecs.umich.edu if (machInst.sField == 0) 706265Sgblack@eecs.umich.edu return new %(class_name)s(machInst); 716265Sgblack@eecs.umich.edu else 726265Sgblack@eecs.umich.edu return new %(class_name)sCc(machInst); 736265Sgblack@eecs.umich.edu } 746265Sgblack@eecs.umich.edu}}; 756265Sgblack@eecs.umich.edu 766270Sgblack@eecs.umich.edudef template DataImmDecode {{ 776270Sgblack@eecs.umich.edu if (machInst.sField == 0) 786270Sgblack@eecs.umich.edu return new %(class_name)s(machInst); 796270Sgblack@eecs.umich.edu else 806270Sgblack@eecs.umich.edu return new %(class_name)sCc(machInst); 816270Sgblack@eecs.umich.edu}}; 826270Sgblack@eecs.umich.edu 836019Shines@cs.fsu.edulet {{ 846741Sgblack@eecs.umich.edu 856741Sgblack@eecs.umich.edu calcCcCode = ''' 866741Sgblack@eecs.umich.edu if (%(canOverflow)s){ 876741Sgblack@eecs.umich.edu cprintf("canOverflow: %%d\\n", Rd < resTemp); 886741Sgblack@eecs.umich.edu replaceBits(CondCodes, 27, Rd < resTemp); 896741Sgblack@eecs.umich.edu } else { 906741Sgblack@eecs.umich.edu uint16_t _ic, _iv, _iz, _in; 916741Sgblack@eecs.umich.edu _in = (resTemp >> %(negBit)d) & 1; 926741Sgblack@eecs.umich.edu _iz = (resTemp == 0); 936741Sgblack@eecs.umich.edu _iv = %(ivValue)s & 1; 946741Sgblack@eecs.umich.edu _ic = %(icValue)s & 1; 956741Sgblack@eecs.umich.edu 966741Sgblack@eecs.umich.edu CondCodes = _in << 31 | _iz << 30 | _ic << 29 | _iv << 28 | 976741Sgblack@eecs.umich.edu (CondCodes & 0x0FFFFFFF); 986019Shines@cs.fsu.edu 996741Sgblack@eecs.umich.edu DPRINTF(Arm, "in = %%d\\n", _in); 1006741Sgblack@eecs.umich.edu DPRINTF(Arm, "iz = %%d\\n", _iz); 1016741Sgblack@eecs.umich.edu DPRINTF(Arm, "ic = %%d\\n", _ic); 1026741Sgblack@eecs.umich.edu DPRINTF(Arm, "iv = %%d\\n", _iv); 1036741Sgblack@eecs.umich.edu } 1046019Shines@cs.fsu.edu ''' 1056019Shines@cs.fsu.edu}}; 1066019Shines@cs.fsu.edu 1076276Sgblack@eecs.umich.edulet {{ 1086276Sgblack@eecs.umich.edu def getCcCode(flagtype): 1096276Sgblack@eecs.umich.edu icReg = icImm = iv = '' 1106741Sgblack@eecs.umich.edu negBit = 31 1116741Sgblack@eecs.umich.edu canOverflow = 'false' 1126741Sgblack@eecs.umich.edu 1136276Sgblack@eecs.umich.edu if flagtype == "none": 1146724Sgblack@eecs.umich.edu icReg = icImm = 'CondCodes<29:>' 1156724Sgblack@eecs.umich.edu iv = 'CondCodes<28:>' 1166741Sgblack@eecs.umich.edu elif flagtype == "llbit": 1176741Sgblack@eecs.umich.edu icReg = icImm = 'CondCodes<29:>' 1186741Sgblack@eecs.umich.edu iv = 'CondCodes<28:>' 1196741Sgblack@eecs.umich.edu negBit = 63 1206741Sgblack@eecs.umich.edu elif flagtype == "overflow": 1216741Sgblack@eecs.umich.edu canOverflow = "true" 1226741Sgblack@eecs.umich.edu icReg = icImm = iv = '0' 1236276Sgblack@eecs.umich.edu elif flagtype == "add": 1246276Sgblack@eecs.umich.edu icReg = icImm = 'findCarry(32, resTemp, Rn, op2)' 1256276Sgblack@eecs.umich.edu iv = 'findOverflow(32, resTemp, Rn, op2)' 1266276Sgblack@eecs.umich.edu elif flagtype == "sub": 1276276Sgblack@eecs.umich.edu icReg = icImm ='findCarry(32, resTemp, Rn, ~op2)' 1286276Sgblack@eecs.umich.edu iv = 'findOverflow(32, resTemp, Rn, ~op2)' 1296276Sgblack@eecs.umich.edu elif flagtype == "rsb": 1306276Sgblack@eecs.umich.edu icReg = icImm = 'findCarry(32, resTemp, op2, ~Rn)' 1316276Sgblack@eecs.umich.edu iv = 'findOverflow(32, resTemp, op2, ~Rn)' 1326276Sgblack@eecs.umich.edu else: 1336741Sgblack@eecs.umich.edu icReg = 'shift_carry_rs(Rm, Rs<7:0>, shift, CondCodes<29:>)' 1346724Sgblack@eecs.umich.edu icImm = 'shift_carry_imm(Rm, shift_size, shift, CondCodes<29:>)' 1356724Sgblack@eecs.umich.edu iv = 'CondCodes<28:>' 1366741Sgblack@eecs.umich.edu return (calcCcCode % {"icValue" : icReg, 1376741Sgblack@eecs.umich.edu "ivValue" : iv, 1386741Sgblack@eecs.umich.edu "negBit" : negBit, 1396741Sgblack@eecs.umich.edu "canOverflow" : canOverflow }, 1406741Sgblack@eecs.umich.edu calcCcCode % {"icValue" : icImm, 1416741Sgblack@eecs.umich.edu "ivValue" : iv, 1426741Sgblack@eecs.umich.edu "negBit" : negBit, 1436741Sgblack@eecs.umich.edu "canOverflow" : canOverflow }) 1446276Sgblack@eecs.umich.edu 1456276Sgblack@eecs.umich.edu def getImmCcCode(flagtype): 1466276Sgblack@eecs.umich.edu ivValue = icValue = '' 1476741Sgblack@eecs.umich.edu negBit = 31 1486741Sgblack@eecs.umich.edu canOverflow = 'false' 1496276Sgblack@eecs.umich.edu if flagtype == "none": 1506724Sgblack@eecs.umich.edu icValue = 'CondCodes<29:>' 1516724Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1526741Sgblack@eecs.umich.edu elif flagtype == "llbit": 1536741Sgblack@eecs.umich.edu icValue = 'CondCodes<29:>' 1546741Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1556741Sgblack@eecs.umich.edu negBit = 63 1566741Sgblack@eecs.umich.edu elif flagtype == "overflow": 1576741Sgblack@eecs.umich.edu icVaule = ivValue = '0' 1586741Sgblack@eecs.umich.edu canOverflow = "true" 1596276Sgblack@eecs.umich.edu elif flagtype == "add": 1606276Sgblack@eecs.umich.edu icValue = 'findCarry(32, resTemp, Rn, rotated_imm)' 1616276Sgblack@eecs.umich.edu ivValue = 'findOverflow(32, resTemp, Rn, rotated_imm)' 1626276Sgblack@eecs.umich.edu elif flagtype == "sub": 1636276Sgblack@eecs.umich.edu icValue = 'findCarry(32, resTemp, Rn, ~rotated_imm)' 1646276Sgblack@eecs.umich.edu ivValue = 'findOverflow(32, resTemp, Rn, ~rotated_imm)' 1656276Sgblack@eecs.umich.edu elif flagtype == "rsb": 1666276Sgblack@eecs.umich.edu icValue = 'findCarry(32, resTemp, rotated_imm, ~Rn)' 1676276Sgblack@eecs.umich.edu ivValue = 'findOverflow(32, resTemp, rotated_imm, ~Rn)' 1686276Sgblack@eecs.umich.edu else: 1696724Sgblack@eecs.umich.edu icValue = '(rotate ? rotated_carry:CondCodes<29:>)' 1706724Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1716276Sgblack@eecs.umich.edu return calcCcCode % vars() 1726276Sgblack@eecs.umich.edu}}; 1736276Sgblack@eecs.umich.edu 1746276Sgblack@eecs.umich.edudef format DataOp(code, flagtype = logic) {{ 1756276Sgblack@eecs.umich.edu (regCcCode, immCcCode) = getCcCode(flagtype) 1766741Sgblack@eecs.umich.edu regCode = '''uint32_t op2 = shift_rm_rs(Rm, Rs<7:0>, 1776741Sgblack@eecs.umich.edu shift, CondCodes<29:>); 1786272Sgblack@eecs.umich.edu op2 = op2;''' + code 1796272Sgblack@eecs.umich.edu immCode = '''uint32_t op2 = shift_rm_imm(Rm, shift_size, 1806741Sgblack@eecs.umich.edu shift, CondCodes<29:>); 1816272Sgblack@eecs.umich.edu op2 = op2;''' + code 1826265Sgblack@eecs.umich.edu regIop = InstObjParams(name, Name, 'PredIntOp', 1836265Sgblack@eecs.umich.edu {"code": regCode, 1846265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1856265Sgblack@eecs.umich.edu immIop = InstObjParams(name, Name + "Imm", 'PredIntOp', 1866265Sgblack@eecs.umich.edu {"code": immCode, 1876265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1886265Sgblack@eecs.umich.edu regCcIop = InstObjParams(name, Name + "Cc", 'PredIntOp', 1896273Sgblack@eecs.umich.edu {"code": regCode + regCcCode, 1906265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1916265Sgblack@eecs.umich.edu immCcIop = InstObjParams(name, Name + "ImmCc", 'PredIntOp', 1926273Sgblack@eecs.umich.edu {"code": immCode + immCcCode, 1936265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1946265Sgblack@eecs.umich.edu header_output = BasicDeclare.subst(regIop) + \ 1956265Sgblack@eecs.umich.edu BasicDeclare.subst(immIop) + \ 1966265Sgblack@eecs.umich.edu BasicDeclare.subst(regCcIop) + \ 1976265Sgblack@eecs.umich.edu BasicDeclare.subst(immCcIop) 1986265Sgblack@eecs.umich.edu decoder_output = BasicConstructor.subst(regIop) + \ 1996265Sgblack@eecs.umich.edu BasicConstructor.subst(immIop) + \ 2006265Sgblack@eecs.umich.edu BasicConstructor.subst(regCcIop) + \ 2016265Sgblack@eecs.umich.edu BasicConstructor.subst(immCcIop) 2026265Sgblack@eecs.umich.edu exec_output = PredOpExecute.subst(regIop) + \ 2036265Sgblack@eecs.umich.edu PredOpExecute.subst(immIop) + \ 2046265Sgblack@eecs.umich.edu PredOpExecute.subst(regCcIop) + \ 2056265Sgblack@eecs.umich.edu PredOpExecute.subst(immCcIop) 2066265Sgblack@eecs.umich.edu decode_block = DataDecode.subst(regIop) 2076265Sgblack@eecs.umich.edu}}; 2086265Sgblack@eecs.umich.edu 2096276Sgblack@eecs.umich.edudef format DataImmOp(code, flagtype = logic) {{ 2106270Sgblack@eecs.umich.edu code += "resTemp = resTemp;" 2116270Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredImmOp', 2126270Sgblack@eecs.umich.edu {"code": code, 2136270Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 2146270Sgblack@eecs.umich.edu ccIop = InstObjParams(name, Name + "Cc", 'PredImmOp', 2156276Sgblack@eecs.umich.edu {"code": code + getImmCcCode(flagtype), 2166270Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 2176270Sgblack@eecs.umich.edu header_output = BasicDeclare.subst(iop) + \ 2186270Sgblack@eecs.umich.edu BasicDeclare.subst(ccIop) 2196270Sgblack@eecs.umich.edu decoder_output = BasicConstructor.subst(iop) + \ 2206270Sgblack@eecs.umich.edu BasicConstructor.subst(ccIop) 2216270Sgblack@eecs.umich.edu exec_output = PredOpExecute.subst(iop) + \ 2226270Sgblack@eecs.umich.edu PredOpExecute.subst(ccIop) 2236270Sgblack@eecs.umich.edu decode_block = DataImmDecode.subst(iop) 2246270Sgblack@eecs.umich.edu}}; 2256270Sgblack@eecs.umich.edu 2266019Shines@cs.fsu.edudef format PredOp(code, *opt_flags) {{ 2276243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredOp', 2286243Sgblack@eecs.umich.edu {"code": code, 2296243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2306243Sgblack@eecs.umich.edu opt_flags) 2316019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2326019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2336019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2346019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2356019Shines@cs.fsu.edu}}; 2366019Shines@cs.fsu.edu 2376019Shines@cs.fsu.edudef format PredImmOp(code, *opt_flags) {{ 2386243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredImmOp', 2396243Sgblack@eecs.umich.edu {"code": code, 2406243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2416243Sgblack@eecs.umich.edu opt_flags) 2426019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2436019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2446019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2456019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2466019Shines@cs.fsu.edu}}; 2476019Shines@cs.fsu.edu 2486019Shines@cs.fsu.edudef format PredImmOpCc(code, icValue, ivValue, *opt_flags) {{ 2496019Shines@cs.fsu.edu ccCode = calcCcCode % vars() 2506019Shines@cs.fsu.edu code += ccCode; 2516019Shines@cs.fsu.edu iop = InstObjParams(name, Name, 'PredImmOp', 2526243Sgblack@eecs.umich.edu {"code": code, 2536243Sgblack@eecs.umich.edu "cc_code": ccCode, 2546243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2556243Sgblack@eecs.umich.edu opt_flags) 2566019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2576019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2586019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2596019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2606019Shines@cs.fsu.edu}}; 2616019Shines@cs.fsu.edu 2626019Shines@cs.fsu.edudef format PredIntOp(code, *opt_flags) {{ 2636019Shines@cs.fsu.edu new_code = ArmGenericCodeSubs(code) 2646243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredIntOp', 2656243Sgblack@eecs.umich.edu {"code": new_code, 2666243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2676243Sgblack@eecs.umich.edu opt_flags) 2686019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2696019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2706019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2716019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2726019Shines@cs.fsu.edu}}; 2736019Shines@cs.fsu.edu 2746019Shines@cs.fsu.edudef format PredIntOpCc(code, icValue, ivValue, *opt_flags) {{ 2756019Shines@cs.fsu.edu ccCode = calcCcCode % vars() 2766019Shines@cs.fsu.edu code += ccCode; 2776019Shines@cs.fsu.edu new_code = ArmGenericCodeSubs(code) 2786019Shines@cs.fsu.edu iop = InstObjParams(name, Name, 'PredIntOp', 2796243Sgblack@eecs.umich.edu {"code": new_code, 2806243Sgblack@eecs.umich.edu "cc_code": ccCode, 2816243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2826243Sgblack@eecs.umich.edu opt_flags) 2836019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2846019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2856019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2866019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2876019Shines@cs.fsu.edu}}; 2886019Shines@cs.fsu.edu 289