pred.isa revision 6273
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 {{ 376243Sgblack@eecs.umich.edu predicateTest = 'testPredicate(Cpsr, 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 {{ 846019Shines@cs.fsu.edu 856019Shines@cs.fsu.edu calcCcCode = ''' 866019Shines@cs.fsu.edu uint16_t _ic, _iv, _iz, _in; 876019Shines@cs.fsu.edu 886019Shines@cs.fsu.edu _in = (resTemp >> 31) & 1; 896019Shines@cs.fsu.edu _iz = (resTemp == 0); 906019Shines@cs.fsu.edu _iv = %(ivValue)s & 1; 916019Shines@cs.fsu.edu _ic = %(icValue)s & 1; 926019Shines@cs.fsu.edu 936019Shines@cs.fsu.edu Cpsr = _in << 31 | _iz << 30 | _ic << 29 | _iv << 28 | 946019Shines@cs.fsu.edu (Cpsr & 0x0FFFFFFF); 956019Shines@cs.fsu.edu 966019Shines@cs.fsu.edu DPRINTF(Arm, "in = %%d\\n", _in); 976019Shines@cs.fsu.edu DPRINTF(Arm, "iz = %%d\\n", _iz); 986019Shines@cs.fsu.edu DPRINTF(Arm, "ic = %%d\\n", _ic); 996019Shines@cs.fsu.edu DPRINTF(Arm, "iv = %%d\\n", _iv); 1006019Shines@cs.fsu.edu ''' 1016019Shines@cs.fsu.edu 1026019Shines@cs.fsu.edu}}; 1036019Shines@cs.fsu.edu 1046273Sgblack@eecs.umich.edudef format DataOp(code, icValue = {{ }}, 1056273Sgblack@eecs.umich.edu ivValue = {{ Cpsr<28:> }}) {{ 1066272Sgblack@eecs.umich.edu regCode = '''uint32_t op2 = shift_rm_rs(Rm, Rs, 1076272Sgblack@eecs.umich.edu shift, Cpsr<29:0>); 1086272Sgblack@eecs.umich.edu op2 = op2;''' + code 1096272Sgblack@eecs.umich.edu immCode = '''uint32_t op2 = shift_rm_imm(Rm, shift_size, 1106272Sgblack@eecs.umich.edu shift, Cpsr<29:0>); 1116272Sgblack@eecs.umich.edu op2 = op2;''' + code 1126273Sgblack@eecs.umich.edu if icValue == " ": 1136273Sgblack@eecs.umich.edu icValueReg = 'shift_carry_rs(Rm, Rs, shift, Cpsr<29:>)' 1146273Sgblack@eecs.umich.edu icValueImm = 'shift_carry_imm(Rm, shift_size, shift, Cpsr<29:>)' 1156273Sgblack@eecs.umich.edu else: 1166273Sgblack@eecs.umich.edu icValueReg = icValue 1176273Sgblack@eecs.umich.edu icValueImm = icValue 1186273Sgblack@eecs.umich.edu regCcCode = calcCcCode % {"icValue" : icValueReg, 1196273Sgblack@eecs.umich.edu "ivValue" : ivValue} 1206273Sgblack@eecs.umich.edu immCcCode = calcCcCode % {"icValue" : icValueImm, 1216273Sgblack@eecs.umich.edu "ivValue" : ivValue} 1226265Sgblack@eecs.umich.edu regIop = InstObjParams(name, Name, 'PredIntOp', 1236265Sgblack@eecs.umich.edu {"code": regCode, 1246265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1256265Sgblack@eecs.umich.edu immIop = InstObjParams(name, Name + "Imm", 'PredIntOp', 1266265Sgblack@eecs.umich.edu {"code": immCode, 1276265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1286265Sgblack@eecs.umich.edu regCcIop = InstObjParams(name, Name + "Cc", 'PredIntOp', 1296273Sgblack@eecs.umich.edu {"code": regCode + regCcCode, 1306265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1316265Sgblack@eecs.umich.edu immCcIop = InstObjParams(name, Name + "ImmCc", 'PredIntOp', 1326273Sgblack@eecs.umich.edu {"code": immCode + immCcCode, 1336265Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1346265Sgblack@eecs.umich.edu header_output = BasicDeclare.subst(regIop) + \ 1356265Sgblack@eecs.umich.edu BasicDeclare.subst(immIop) + \ 1366265Sgblack@eecs.umich.edu BasicDeclare.subst(regCcIop) + \ 1376265Sgblack@eecs.umich.edu BasicDeclare.subst(immCcIop) 1386265Sgblack@eecs.umich.edu decoder_output = BasicConstructor.subst(regIop) + \ 1396265Sgblack@eecs.umich.edu BasicConstructor.subst(immIop) + \ 1406265Sgblack@eecs.umich.edu BasicConstructor.subst(regCcIop) + \ 1416265Sgblack@eecs.umich.edu BasicConstructor.subst(immCcIop) 1426265Sgblack@eecs.umich.edu exec_output = PredOpExecute.subst(regIop) + \ 1436265Sgblack@eecs.umich.edu PredOpExecute.subst(immIop) + \ 1446265Sgblack@eecs.umich.edu PredOpExecute.subst(regCcIop) + \ 1456265Sgblack@eecs.umich.edu PredOpExecute.subst(immCcIop) 1466265Sgblack@eecs.umich.edu decode_block = DataDecode.subst(regIop) 1476265Sgblack@eecs.umich.edu}}; 1486265Sgblack@eecs.umich.edu 1496273Sgblack@eecs.umich.edudef format DataImmOp(code, 1506273Sgblack@eecs.umich.edu icValue = {{ (rotate ? rotated_carry:Cpsr<29:>) }}, 1516273Sgblack@eecs.umich.edu ivValue = {{ Cpsr<28:> }}) {{ 1526270Sgblack@eecs.umich.edu code += "resTemp = resTemp;" 1536270Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredImmOp', 1546270Sgblack@eecs.umich.edu {"code": code, 1556270Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1566270Sgblack@eecs.umich.edu ccIop = InstObjParams(name, Name + "Cc", 'PredImmOp', 1576270Sgblack@eecs.umich.edu {"code": code + calcCcCode % vars(), 1586270Sgblack@eecs.umich.edu "predicate_test": predicateTest}) 1596270Sgblack@eecs.umich.edu header_output = BasicDeclare.subst(iop) + \ 1606270Sgblack@eecs.umich.edu BasicDeclare.subst(ccIop) 1616270Sgblack@eecs.umich.edu decoder_output = BasicConstructor.subst(iop) + \ 1626270Sgblack@eecs.umich.edu BasicConstructor.subst(ccIop) 1636270Sgblack@eecs.umich.edu exec_output = PredOpExecute.subst(iop) + \ 1646270Sgblack@eecs.umich.edu PredOpExecute.subst(ccIop) 1656270Sgblack@eecs.umich.edu decode_block = DataImmDecode.subst(iop) 1666270Sgblack@eecs.umich.edu}}; 1676270Sgblack@eecs.umich.edu 1686019Shines@cs.fsu.edudef format PredOp(code, *opt_flags) {{ 1696243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredOp', 1706243Sgblack@eecs.umich.edu {"code": code, 1716243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 1726243Sgblack@eecs.umich.edu opt_flags) 1736019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 1746019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 1756019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 1766019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 1776019Shines@cs.fsu.edu}}; 1786019Shines@cs.fsu.edu 1796019Shines@cs.fsu.edudef format PredImmOp(code, *opt_flags) {{ 1806243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredImmOp', 1816243Sgblack@eecs.umich.edu {"code": code, 1826243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 1836243Sgblack@eecs.umich.edu opt_flags) 1846019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 1856019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 1866019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 1876019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 1886019Shines@cs.fsu.edu}}; 1896019Shines@cs.fsu.edu 1906019Shines@cs.fsu.edudef format PredImmOpCc(code, icValue, ivValue, *opt_flags) {{ 1916019Shines@cs.fsu.edu ccCode = calcCcCode % vars() 1926019Shines@cs.fsu.edu code += ccCode; 1936019Shines@cs.fsu.edu iop = InstObjParams(name, Name, 'PredImmOp', 1946243Sgblack@eecs.umich.edu {"code": code, 1956243Sgblack@eecs.umich.edu "cc_code": ccCode, 1966243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 1976243Sgblack@eecs.umich.edu opt_flags) 1986019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 1996019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2006019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2016019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2026019Shines@cs.fsu.edu}}; 2036019Shines@cs.fsu.edu 2046019Shines@cs.fsu.edudef format PredIntOp(code, *opt_flags) {{ 2056019Shines@cs.fsu.edu new_code = ArmGenericCodeSubs(code) 2066243Sgblack@eecs.umich.edu iop = InstObjParams(name, Name, 'PredIntOp', 2076243Sgblack@eecs.umich.edu {"code": new_code, 2086243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2096243Sgblack@eecs.umich.edu opt_flags) 2106019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2116019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2126019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2136019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2146019Shines@cs.fsu.edu}}; 2156019Shines@cs.fsu.edu 2166019Shines@cs.fsu.edudef format PredIntOpCc(code, icValue, ivValue, *opt_flags) {{ 2176019Shines@cs.fsu.edu ccCode = calcCcCode % vars() 2186019Shines@cs.fsu.edu code += ccCode; 2196019Shines@cs.fsu.edu new_code = ArmGenericCodeSubs(code) 2206019Shines@cs.fsu.edu iop = InstObjParams(name, Name, 'PredIntOp', 2216243Sgblack@eecs.umich.edu {"code": new_code, 2226243Sgblack@eecs.umich.edu "cc_code": ccCode, 2236243Sgblack@eecs.umich.edu "predicate_test": predicateTest}, 2246243Sgblack@eecs.umich.edu opt_flags) 2256019Shines@cs.fsu.edu header_output = BasicDeclare.subst(iop) 2266019Shines@cs.fsu.edu decoder_output = BasicConstructor.subst(iop) 2276019Shines@cs.fsu.edu decode_block = BasicDecode.subst(iop) 2286019Shines@cs.fsu.edu exec_output = PredOpExecute.subst(iop) 2296019Shines@cs.fsu.edu}}; 2306019Shines@cs.fsu.edu 231