seqop.isa revision 7789
15661Sgblack@eecs.umich.edu// Copyright (c) 2008 The Hewlett-Packard Development Company 25661Sgblack@eecs.umich.edu// All rights reserved. 35661Sgblack@eecs.umich.edu// 47087Snate@binkert.org// The license below extends only to copyright in the software and shall 57087Snate@binkert.org// not be construed as granting a license to any other intellectual 67087Snate@binkert.org// property including but not limited to intellectual property relating 77087Snate@binkert.org// to a hardware implementation of the functionality of the software 87087Snate@binkert.org// licensed hereunder. You may use the software subject to the license 97087Snate@binkert.org// terms below provided that you ensure that this notice is replicated 107087Snate@binkert.org// unmodified and in its entirety in all distributions of the software, 117087Snate@binkert.org// modified or unmodified, in source code or in binary form. 125661Sgblack@eecs.umich.edu// 137087Snate@binkert.org// Redistribution and use in source and binary forms, with or without 147087Snate@binkert.org// modification, are permitted provided that the following conditions are 157087Snate@binkert.org// met: redistributions of source code must retain the above copyright 167087Snate@binkert.org// notice, this list of conditions and the following disclaimer; 177087Snate@binkert.org// redistributions in binary form must reproduce the above copyright 187087Snate@binkert.org// notice, this list of conditions and the following disclaimer in the 197087Snate@binkert.org// documentation and/or other materials provided with the distribution; 207087Snate@binkert.org// neither the name of the copyright holders nor the names of its 215661Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 227087Snate@binkert.org// this software without specific prior written permission. 235661Sgblack@eecs.umich.edu// 245661Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 255661Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 265661Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 275661Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 285661Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 295661Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 305661Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 315661Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 325661Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 335661Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 345661Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 355661Sgblack@eecs.umich.edu// 365661Sgblack@eecs.umich.edu// Authors: Gabe Black 375661Sgblack@eecs.umich.edu 385661Sgblack@eecs.umich.eduoutput header {{ 395661Sgblack@eecs.umich.edu class SeqOpBase : public X86ISA::X86MicroopBase 405661Sgblack@eecs.umich.edu { 415661Sgblack@eecs.umich.edu protected: 425661Sgblack@eecs.umich.edu uint16_t target; 435661Sgblack@eecs.umich.edu uint8_t cc; 445661Sgblack@eecs.umich.edu 455661Sgblack@eecs.umich.edu public: 465661Sgblack@eecs.umich.edu SeqOpBase(ExtMachInst _machInst, const char * instMnem, 477620Sgblack@eecs.umich.edu const char * mnemonic, uint64_t setFlags, 485661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 495661Sgblack@eecs.umich.edu 505661Sgblack@eecs.umich.edu SeqOpBase(ExtMachInst _machInst, const char * instMnem, 515661Sgblack@eecs.umich.edu const char * mnemonic, 525661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 535661Sgblack@eecs.umich.edu 545661Sgblack@eecs.umich.edu std::string generateDisassembly(Addr pc, 555661Sgblack@eecs.umich.edu const SymbolTable *symtab) const; 565661Sgblack@eecs.umich.edu }; 575661Sgblack@eecs.umich.edu}}; 585661Sgblack@eecs.umich.edu 595661Sgblack@eecs.umich.edudef template SeqOpDeclare {{ 605661Sgblack@eecs.umich.edu class %(class_name)s : public %(base_class)s 615661Sgblack@eecs.umich.edu { 625661Sgblack@eecs.umich.edu public: 635661Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 647620Sgblack@eecs.umich.edu uint64_t setFlags, uint16_t _target, uint8_t _cc); 655661Sgblack@eecs.umich.edu 665661Sgblack@eecs.umich.edu %(BasicExecDeclare)s 675661Sgblack@eecs.umich.edu }; 685661Sgblack@eecs.umich.edu}}; 695661Sgblack@eecs.umich.edu 705661Sgblack@eecs.umich.edudef template SeqOpExecute {{ 715661Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 725661Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 735661Sgblack@eecs.umich.edu { 745661Sgblack@eecs.umich.edu %(op_decl)s; 755661Sgblack@eecs.umich.edu %(op_rd)s; 765661Sgblack@eecs.umich.edu if (%(cond_test)s) { 775661Sgblack@eecs.umich.edu %(code)s; 785661Sgblack@eecs.umich.edu } else { 795661Sgblack@eecs.umich.edu %(else_code)s; 805661Sgblack@eecs.umich.edu } 815661Sgblack@eecs.umich.edu %(op_wb)s; 825661Sgblack@eecs.umich.edu return NoFault; 835661Sgblack@eecs.umich.edu } 845661Sgblack@eecs.umich.edu}}; 855661Sgblack@eecs.umich.edu 865661Sgblack@eecs.umich.eduoutput decoder {{ 875661Sgblack@eecs.umich.edu inline SeqOpBase::SeqOpBase( 885661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * mnemonic, const char * instMnem, 897620Sgblack@eecs.umich.edu uint64_t setFlags, uint16_t _target, uint8_t _cc) : 907620Sgblack@eecs.umich.edu X86MicroopBase(machInst, mnemonic, instMnem, setFlags, No_OpClass), 915661Sgblack@eecs.umich.edu target(_target), cc(_cc) 925661Sgblack@eecs.umich.edu { 935661Sgblack@eecs.umich.edu } 945661Sgblack@eecs.umich.edu}}; 955661Sgblack@eecs.umich.edu 965661Sgblack@eecs.umich.edudef template SeqOpConstructor {{ 975661Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 985661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 997620Sgblack@eecs.umich.edu uint64_t setFlags, uint16_t _target, uint8_t _cc) : 1005661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, 1017620Sgblack@eecs.umich.edu setFlags, _target, _cc) 1025661Sgblack@eecs.umich.edu { 1037626Sgblack@eecs.umich.edu %(constructor)s; 1045661Sgblack@eecs.umich.edu } 1055661Sgblack@eecs.umich.edu}}; 1065661Sgblack@eecs.umich.edu 1075661Sgblack@eecs.umich.eduoutput decoder {{ 1085661Sgblack@eecs.umich.edu std::string SeqOpBase::generateDisassembly(Addr pc, 1095661Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1105661Sgblack@eecs.umich.edu { 1115661Sgblack@eecs.umich.edu std::stringstream response; 1125661Sgblack@eecs.umich.edu 1135661Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 1145661Sgblack@eecs.umich.edu ccprintf(response, "%#x", target); 1155661Sgblack@eecs.umich.edu 1165661Sgblack@eecs.umich.edu return response.str(); 1175661Sgblack@eecs.umich.edu } 1185661Sgblack@eecs.umich.edu}}; 1195661Sgblack@eecs.umich.edu 1205661Sgblack@eecs.umich.edulet {{ 1215662Sgblack@eecs.umich.edu class SeqOp(X86Microop): 1225661Sgblack@eecs.umich.edu def __init__(self, target, flags=None): 1235661Sgblack@eecs.umich.edu self.target = target 1245661Sgblack@eecs.umich.edu if flags: 1255661Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1265661Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1275661Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1285661Sgblack@eecs.umich.edu self.className += "Flags" 1295661Sgblack@eecs.umich.edu else: 1305661Sgblack@eecs.umich.edu self.cond = "0" 1315661Sgblack@eecs.umich.edu 1327620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1337620Sgblack@eecs.umich.edu allocator = '''new %(class_name)s(machInst, macrocodeBlock, 1345661Sgblack@eecs.umich.edu %(flags)s, %(target)s, %(cc)s)''' % { 1355661Sgblack@eecs.umich.edu "class_name" : self.className, 1365661Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 1375661Sgblack@eecs.umich.edu "target" : self.target, 1385661Sgblack@eecs.umich.edu "cc" : self.cond} 1395661Sgblack@eecs.umich.edu return allocator 1405661Sgblack@eecs.umich.edu 1415662Sgblack@eecs.umich.edu class Br(SeqOp): 1425662Sgblack@eecs.umich.edu className = "MicroBranch" 1435662Sgblack@eecs.umich.edu 1447620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1457620Sgblack@eecs.umich.edu if "IsLastMicroop" in microFlags: 1467620Sgblack@eecs.umich.edu microFlags.remove("IsLastMicroop") 1477620Sgblack@eecs.umich.edu if not "IsDelayedCommit" in microFlags: 1487620Sgblack@eecs.umich.edu microFlags.append("IsDelayedCommit") 1497620Sgblack@eecs.umich.edu return super(Br, self).getAllocator(microFlags) 1505662Sgblack@eecs.umich.edu 1515663Sgblack@eecs.umich.edu class Eret(SeqOp): 1525663Sgblack@eecs.umich.edu target = "normalMicroPC(0)" 1535663Sgblack@eecs.umich.edu className = "Eret" 1545663Sgblack@eecs.umich.edu 1555663Sgblack@eecs.umich.edu def __init__(self, flags=None): 1565663Sgblack@eecs.umich.edu if flags: 1575663Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1585663Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1595663Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1605663Sgblack@eecs.umich.edu self.className += "Flags" 1615663Sgblack@eecs.umich.edu else: 1625663Sgblack@eecs.umich.edu self.cond = "0" 1635663Sgblack@eecs.umich.edu 1647620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1657620Sgblack@eecs.umich.edu if not "IsLastMicroop" in microFlags: 1667620Sgblack@eecs.umich.edu microFlags.append("IsLastMicroop") 1677620Sgblack@eecs.umich.edu if "IsDelayedCommit" in microFlags: 1687620Sgblack@eecs.umich.edu microFlags.remove("IsDelayedCommit") 1697620Sgblack@eecs.umich.edu return super(Eret, self).getAllocator(microFlags) 1705663Sgblack@eecs.umich.edu 1715661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranchFlags", "SeqOpBase", 1727789Sgblack@eecs.umich.edu {"code": "nuIP = target;", 1737789Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP;", 1745661Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 1755661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 1765661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 1775661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 1785661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranch", "SeqOpBase", 1797789Sgblack@eecs.umich.edu {"code": "nuIP = target;", 1807789Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP;", 1815661Sgblack@eecs.umich.edu "cond_test": "true"}) 1825661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 1835661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 1845661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 1855661Sgblack@eecs.umich.edu microopClasses["br"] = Br 1865663Sgblack@eecs.umich.edu 1875663Sgblack@eecs.umich.edu iop = InstObjParams("eret", "EretFlags", "SeqOpBase", 1885663Sgblack@eecs.umich.edu {"code": "", "else_code": "", 1895663Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 1905663Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 1915663Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 1925663Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 1935663Sgblack@eecs.umich.edu iop = InstObjParams("eret", "Eret", "SeqOpBase", 1945663Sgblack@eecs.umich.edu {"code": "", "else_code": "", 1955663Sgblack@eecs.umich.edu "cond_test": "true"}) 1965663Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 1975663Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 1985663Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 1995663Sgblack@eecs.umich.edu microopClasses["eret"] = Eret 2005661Sgblack@eecs.umich.edu}}; 201