pred.isa revision 7422
16019Shines@cs.fsu.edu// -*- mode:c++ -*- 26019Shines@cs.fsu.edu 37110Sgblack@eecs.umich.edu// Copyright (c) 2010 ARM Limited 47110Sgblack@eecs.umich.edu// All rights reserved 57110Sgblack@eecs.umich.edu// 67110Sgblack@eecs.umich.edu// The license below extends only to copyright in the software and shall 77110Sgblack@eecs.umich.edu// not be construed as granting a license to any other intellectual 87110Sgblack@eecs.umich.edu// property including but not limited to intellectual property relating 97110Sgblack@eecs.umich.edu// to a hardware implementation of the functionality of the software 107110Sgblack@eecs.umich.edu// licensed hereunder. You may use the software subject to the license 117110Sgblack@eecs.umich.edu// terms below provided that you ensure that this notice is replicated 127110Sgblack@eecs.umich.edu// unmodified and in its entirety in all distributions of the software, 137110Sgblack@eecs.umich.edu// modified or unmodified, in source code or in binary form. 147110Sgblack@eecs.umich.edu// 156019Shines@cs.fsu.edu// Copyright (c) 2007-2008 The Florida State University 166019Shines@cs.fsu.edu// All rights reserved. 176019Shines@cs.fsu.edu// 186019Shines@cs.fsu.edu// Redistribution and use in source and binary forms, with or without 196019Shines@cs.fsu.edu// modification, are permitted provided that the following conditions are 206019Shines@cs.fsu.edu// met: redistributions of source code must retain the above copyright 216019Shines@cs.fsu.edu// notice, this list of conditions and the following disclaimer; 226019Shines@cs.fsu.edu// redistributions in binary form must reproduce the above copyright 236019Shines@cs.fsu.edu// notice, this list of conditions and the following disclaimer in the 246019Shines@cs.fsu.edu// documentation and/or other materials provided with the distribution; 256019Shines@cs.fsu.edu// neither the name of the copyright holders nor the names of its 266019Shines@cs.fsu.edu// contributors may be used to endorse or promote products derived from 276019Shines@cs.fsu.edu// this software without specific prior written permission. 286019Shines@cs.fsu.edu// 296019Shines@cs.fsu.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 306019Shines@cs.fsu.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 316019Shines@cs.fsu.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 326019Shines@cs.fsu.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 336019Shines@cs.fsu.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 346019Shines@cs.fsu.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 356019Shines@cs.fsu.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 366019Shines@cs.fsu.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 376019Shines@cs.fsu.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 386019Shines@cs.fsu.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 396019Shines@cs.fsu.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 406019Shines@cs.fsu.edu// 416019Shines@cs.fsu.edu// Authors: Stephen Hines 426019Shines@cs.fsu.edu 436019Shines@cs.fsu.edulet {{ 446741Sgblack@eecs.umich.edu 456741Sgblack@eecs.umich.edu calcCcCode = ''' 466741Sgblack@eecs.umich.edu if (%(canOverflow)s){ 476741Sgblack@eecs.umich.edu cprintf("canOverflow: %%d\\n", Rd < resTemp); 486741Sgblack@eecs.umich.edu replaceBits(CondCodes, 27, Rd < resTemp); 496741Sgblack@eecs.umich.edu } else { 506741Sgblack@eecs.umich.edu uint16_t _ic, _iv, _iz, _in; 516741Sgblack@eecs.umich.edu _in = (resTemp >> %(negBit)d) & 1; 526741Sgblack@eecs.umich.edu _iz = (resTemp == 0); 536741Sgblack@eecs.umich.edu _iv = %(ivValue)s & 1; 546741Sgblack@eecs.umich.edu _ic = %(icValue)s & 1; 556741Sgblack@eecs.umich.edu 566741Sgblack@eecs.umich.edu CondCodes = _in << 31 | _iz << 30 | _ic << 29 | _iv << 28 | 576741Sgblack@eecs.umich.edu (CondCodes & 0x0FFFFFFF); 586019Shines@cs.fsu.edu 596741Sgblack@eecs.umich.edu DPRINTF(Arm, "in = %%d\\n", _in); 606741Sgblack@eecs.umich.edu DPRINTF(Arm, "iz = %%d\\n", _iz); 616741Sgblack@eecs.umich.edu DPRINTF(Arm, "ic = %%d\\n", _ic); 626741Sgblack@eecs.umich.edu DPRINTF(Arm, "iv = %%d\\n", _iv); 636741Sgblack@eecs.umich.edu } 646019Shines@cs.fsu.edu ''' 656019Shines@cs.fsu.edu}}; 666019Shines@cs.fsu.edu 676276Sgblack@eecs.umich.edulet {{ 686276Sgblack@eecs.umich.edu def getCcCode(flagtype): 696276Sgblack@eecs.umich.edu icReg = icImm = iv = '' 706741Sgblack@eecs.umich.edu negBit = 31 716741Sgblack@eecs.umich.edu canOverflow = 'false' 726741Sgblack@eecs.umich.edu 736276Sgblack@eecs.umich.edu if flagtype == "none": 746724Sgblack@eecs.umich.edu icReg = icImm = 'CondCodes<29:>' 756724Sgblack@eecs.umich.edu iv = 'CondCodes<28:>' 766741Sgblack@eecs.umich.edu elif flagtype == "llbit": 776741Sgblack@eecs.umich.edu icReg = icImm = 'CondCodes<29:>' 786741Sgblack@eecs.umich.edu iv = 'CondCodes<28:>' 796741Sgblack@eecs.umich.edu negBit = 63 806741Sgblack@eecs.umich.edu elif flagtype == "overflow": 816741Sgblack@eecs.umich.edu canOverflow = "true" 826741Sgblack@eecs.umich.edu icReg = icImm = iv = '0' 836276Sgblack@eecs.umich.edu elif flagtype == "add": 846276Sgblack@eecs.umich.edu icReg = icImm = 'findCarry(32, resTemp, Rn, op2)' 856276Sgblack@eecs.umich.edu iv = 'findOverflow(32, resTemp, Rn, op2)' 866276Sgblack@eecs.umich.edu elif flagtype == "sub": 876276Sgblack@eecs.umich.edu icReg = icImm ='findCarry(32, resTemp, Rn, ~op2)' 886276Sgblack@eecs.umich.edu iv = 'findOverflow(32, resTemp, Rn, ~op2)' 896276Sgblack@eecs.umich.edu elif flagtype == "rsb": 906276Sgblack@eecs.umich.edu icReg = icImm = 'findCarry(32, resTemp, op2, ~Rn)' 916276Sgblack@eecs.umich.edu iv = 'findOverflow(32, resTemp, op2, ~Rn)' 926276Sgblack@eecs.umich.edu else: 936741Sgblack@eecs.umich.edu icReg = 'shift_carry_rs(Rm, Rs<7:0>, shift, CondCodes<29:>)' 946724Sgblack@eecs.umich.edu icImm = 'shift_carry_imm(Rm, shift_size, shift, CondCodes<29:>)' 956724Sgblack@eecs.umich.edu iv = 'CondCodes<28:>' 966741Sgblack@eecs.umich.edu return (calcCcCode % {"icValue" : icReg, 976741Sgblack@eecs.umich.edu "ivValue" : iv, 986741Sgblack@eecs.umich.edu "negBit" : negBit, 996741Sgblack@eecs.umich.edu "canOverflow" : canOverflow }, 1006741Sgblack@eecs.umich.edu calcCcCode % {"icValue" : icImm, 1016741Sgblack@eecs.umich.edu "ivValue" : iv, 1026741Sgblack@eecs.umich.edu "negBit" : negBit, 1036741Sgblack@eecs.umich.edu "canOverflow" : canOverflow }) 1046276Sgblack@eecs.umich.edu 1056276Sgblack@eecs.umich.edu def getImmCcCode(flagtype): 1066276Sgblack@eecs.umich.edu ivValue = icValue = '' 1076741Sgblack@eecs.umich.edu negBit = 31 1086741Sgblack@eecs.umich.edu canOverflow = 'false' 1096276Sgblack@eecs.umich.edu if flagtype == "none": 1106724Sgblack@eecs.umich.edu icValue = 'CondCodes<29:>' 1116724Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1126741Sgblack@eecs.umich.edu elif flagtype == "llbit": 1136741Sgblack@eecs.umich.edu icValue = 'CondCodes<29:>' 1146741Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1156741Sgblack@eecs.umich.edu negBit = 63 1166741Sgblack@eecs.umich.edu elif flagtype == "overflow": 1176741Sgblack@eecs.umich.edu icVaule = ivValue = '0' 1186741Sgblack@eecs.umich.edu canOverflow = "true" 1196276Sgblack@eecs.umich.edu elif flagtype == "add": 1206276Sgblack@eecs.umich.edu icValue = 'findCarry(32, resTemp, Rn, rotated_imm)' 1216276Sgblack@eecs.umich.edu ivValue = 'findOverflow(32, resTemp, Rn, rotated_imm)' 1226276Sgblack@eecs.umich.edu elif flagtype == "sub": 1236276Sgblack@eecs.umich.edu icValue = 'findCarry(32, resTemp, Rn, ~rotated_imm)' 1246276Sgblack@eecs.umich.edu ivValue = 'findOverflow(32, resTemp, Rn, ~rotated_imm)' 1256276Sgblack@eecs.umich.edu elif flagtype == "rsb": 1266276Sgblack@eecs.umich.edu icValue = 'findCarry(32, resTemp, rotated_imm, ~Rn)' 1276276Sgblack@eecs.umich.edu ivValue = 'findOverflow(32, resTemp, rotated_imm, ~Rn)' 1287110Sgblack@eecs.umich.edu elif flagtype == "modImm": 1297110Sgblack@eecs.umich.edu icValue = 'rotated_carry' 1307110Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1316276Sgblack@eecs.umich.edu else: 1326724Sgblack@eecs.umich.edu icValue = '(rotate ? rotated_carry:CondCodes<29:>)' 1336724Sgblack@eecs.umich.edu ivValue = 'CondCodes<28:>' 1346276Sgblack@eecs.umich.edu return calcCcCode % vars() 1356276Sgblack@eecs.umich.edu}}; 1366276Sgblack@eecs.umich.edu 1376276Sgblack@eecs.umich.edudef format DataOp(code, flagtype = logic) {{ 1386276Sgblack@eecs.umich.edu (regCcCode, immCcCode) = getCcCode(flagtype) 1396741Sgblack@eecs.umich.edu regCode = '''uint32_t op2 = shift_rm_rs(Rm, Rs<7:0>, 1406741Sgblack@eecs.umich.edu shift, CondCodes<29:>); 1416272Sgblack@eecs.umich.edu op2 = op2;''' + code 1426272Sgblack@eecs.umich.edu immCode = '''uint32_t op2 = shift_rm_imm(Rm, shift_size, 1436741Sgblack@eecs.umich.edu shift, CondCodes<29:>); 1446272Sgblack@eecs.umich.edu op2 = op2;''' + code 1456265Sgblack@eecs.umich.edu regIop = InstObjParams(name, Name, 'PredIntOp', 1466265Sgblack@eecs.umich.edu {"code": regCode, 1476265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1486265Sgblack@eecs.umich.edu immIop = InstObjParams(name, Name + "Imm", 'PredIntOp', 1496265Sgblack@eecs.umich.edu {"code": immCode, 1506265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1516265Sgblack@eecs.umich.edu regCcIop = InstObjParams(name, Name + "Cc", 'PredIntOp', 1526273Sgblack@eecs.umich.edu {"code": regCode + regCcCode, 1537422Sgblack@eecs.umich.edu "predicate_test": condPredicateTest}) 1546265Sgblack@eecs.umich.edu immCcIop = InstObjParams(name, Name + "ImmCc", 'PredIntOp', 1556273Sgblack@eecs.umich.edu {"code": immCode + immCcCode, 1567422Sgblack@eecs.umich.edu "predicate_test": condPredicateTest}) 1576265Sgblack@eecs.umich.edu header_output = BasicDeclare.subst(regIop) + \ 1586265Sgblack@eecs.umich.edu BasicDeclare.subst(immIop) + \ 1596265Sgblack@eecs.umich.edu BasicDeclare.subst(regCcIop) + \ 1606265Sgblack@eecs.umich.edu BasicDeclare.subst(immCcIop) 1616265Sgblack@eecs.umich.edu decoder_output = BasicConstructor.subst(regIop) + \ 1626265Sgblack@eecs.umich.edu BasicConstructor.subst(immIop) + \ 1636265Sgblack@eecs.umich.edu BasicConstructor.subst(regCcIop) + \ 1646265Sgblack@eecs.umich.edu BasicConstructor.subst(immCcIop) 1656265Sgblack@eecs.umich.edu exec_output = PredOpExecute.subst(regIop) + \ 1666265Sgblack@eecs.umich.edu PredOpExecute.subst(immIop) + \ 1676265Sgblack@eecs.umich.edu PredOpExecute.subst(regCcIop) + \ 1686265Sgblack@eecs.umich.edu PredOpExecute.subst(immCcIop) 1696265Sgblack@eecs.umich.edu decode_block = DataDecode.subst(regIop) 1706265Sgblack@eecs.umich.edu}}; 1716265Sgblack@eecs.umich.edu 1726276Sgblack@eecs.umich.edudef format DataImmOp(code, flagtype = logic) {{ 1736270Sgblack@eecs.umich.edu code += "resTemp = resTemp;" 1746270Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredImmOp', 1756270Sgblack@eecs.umich.edu {"code": code, 1766270Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1776270Sgblack@eecs.umich.edu ccIop = InstObjParams(name, Name + "Cc", 'PredImmOp', 1786276Sgblack@eecs.umich.edu {"code": code + getImmCcCode(flagtype), 1797422Sgblack@eecs.umich.edu "predicate_test": condPredicateTest}) 1806270Sgblack@eecs.umich.edu header_output = BasicDeclare.subst(iop) + \ 1816270Sgblack@eecs.umich.edu BasicDeclare.subst(ccIop) 1826270Sgblack@eecs.umich.edu decoder_output = BasicConstructor.subst(iop) + \ 1836270Sgblack@eecs.umich.edu BasicConstructor.subst(ccIop) 1846270Sgblack@eecs.umich.edu exec_output = PredOpExecute.subst(iop) + \ 1856270Sgblack@eecs.umich.edu PredOpExecute.subst(ccIop) 1866270Sgblack@eecs.umich.edu decode_block = DataImmDecode.subst(iop) 1876270Sgblack@eecs.umich.edu}}; 1886270Sgblack@eecs.umich.edu 1896019Shines@cs.fsu.edudef format PredOp(code, *opt_flags) {{ 1906243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredOp', 1916243Sgblack@eecs.umich.edu {"code": code, 1926243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 1936243Sgblack@eecs.umich.edu opt_flags) 1946019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 1956019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 1966019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 1976019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 1986019Shines@cs.fsu.edu}}; 1996019Shines@cs.fsu.edu 2006019Shines@cs.fsu.edudef format PredImmOp(code, *opt_flags) {{ 2016243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredImmOp', 2026243Sgblack@eecs.umich.edu {"code": code, 2036243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2046243Sgblack@eecs.umich.edu opt_flags) 2056019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2066019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2076019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2086019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2096019Shines@cs.fsu.edu}}; 2106019Shines@cs.fsu.edu 211