seqop.isa revision 9010
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; 1047894SBrad.Beckmann@amd.com %(cond_control_flag_init)s; 1055661Sgblack@eecs.umich.edu } 1065661Sgblack@eecs.umich.edu}}; 1075661Sgblack@eecs.umich.edu 1085661Sgblack@eecs.umich.eduoutput decoder {{ 1095661Sgblack@eecs.umich.edu std::string SeqOpBase::generateDisassembly(Addr pc, 1105661Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1115661Sgblack@eecs.umich.edu { 1125661Sgblack@eecs.umich.edu std::stringstream response; 1135661Sgblack@eecs.umich.edu 1145661Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 1155661Sgblack@eecs.umich.edu ccprintf(response, "%#x", target); 1165661Sgblack@eecs.umich.edu 1175661Sgblack@eecs.umich.edu return response.str(); 1185661Sgblack@eecs.umich.edu } 1195661Sgblack@eecs.umich.edu}}; 1205661Sgblack@eecs.umich.edu 1215661Sgblack@eecs.umich.edulet {{ 1225662Sgblack@eecs.umich.edu class SeqOp(X86Microop): 1235661Sgblack@eecs.umich.edu def __init__(self, target, flags=None): 1245661Sgblack@eecs.umich.edu self.target = target 1255661Sgblack@eecs.umich.edu if flags: 1265661Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1275661Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1285661Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1295661Sgblack@eecs.umich.edu self.className += "Flags" 1305661Sgblack@eecs.umich.edu else: 1315661Sgblack@eecs.umich.edu self.cond = "0" 1325661Sgblack@eecs.umich.edu 1337620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1347620Sgblack@eecs.umich.edu allocator = '''new %(class_name)s(machInst, macrocodeBlock, 1355661Sgblack@eecs.umich.edu %(flags)s, %(target)s, %(cc)s)''' % { 1365661Sgblack@eecs.umich.edu "class_name" : self.className, 1375661Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 1385661Sgblack@eecs.umich.edu "target" : self.target, 1395661Sgblack@eecs.umich.edu "cc" : self.cond} 1405661Sgblack@eecs.umich.edu return allocator 1415661Sgblack@eecs.umich.edu 1425662Sgblack@eecs.umich.edu class Br(SeqOp): 1435662Sgblack@eecs.umich.edu className = "MicroBranch" 1445662Sgblack@eecs.umich.edu 1457620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1467620Sgblack@eecs.umich.edu if "IsLastMicroop" in microFlags: 1477620Sgblack@eecs.umich.edu microFlags.remove("IsLastMicroop") 1487620Sgblack@eecs.umich.edu if not "IsDelayedCommit" in microFlags: 1497620Sgblack@eecs.umich.edu microFlags.append("IsDelayedCommit") 1507620Sgblack@eecs.umich.edu return super(Br, self).getAllocator(microFlags) 1515662Sgblack@eecs.umich.edu 1525663Sgblack@eecs.umich.edu class Eret(SeqOp): 1535663Sgblack@eecs.umich.edu target = "normalMicroPC(0)" 1545663Sgblack@eecs.umich.edu className = "Eret" 1555663Sgblack@eecs.umich.edu 1565663Sgblack@eecs.umich.edu def __init__(self, flags=None): 1575663Sgblack@eecs.umich.edu if flags: 1585663Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1595663Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1605663Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1615663Sgblack@eecs.umich.edu self.className += "Flags" 1625663Sgblack@eecs.umich.edu else: 1635663Sgblack@eecs.umich.edu self.cond = "0" 1645663Sgblack@eecs.umich.edu 1657620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1667620Sgblack@eecs.umich.edu if not "IsLastMicroop" in microFlags: 1677620Sgblack@eecs.umich.edu microFlags.append("IsLastMicroop") 1687620Sgblack@eecs.umich.edu if "IsDelayedCommit" in microFlags: 1697620Sgblack@eecs.umich.edu microFlags.remove("IsDelayedCommit") 1707620Sgblack@eecs.umich.edu return super(Eret, self).getAllocator(microFlags) 1715663Sgblack@eecs.umich.edu 1725661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranchFlags", "SeqOpBase", 1737789Sgblack@eecs.umich.edu {"code": "nuIP = target;", 1747789Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP;", 1759010Snilay@cs.wisc.edu "cond_test": "checkCondition(ccFlagBits | cfofBits | \ 1769010Snilay@cs.wisc.edu ecfBit | ezfBit, cc)", 1777894SBrad.Beckmann@amd.com "cond_control_flag_init": "flags[IsCondControl] = true"}) 1785661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 1795661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 1805661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 1815661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranch", "SeqOpBase", 1827789Sgblack@eecs.umich.edu {"code": "nuIP = target;", 1837789Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP;", 1847894SBrad.Beckmann@amd.com "cond_test": "true", 1857894SBrad.Beckmann@amd.com "cond_control_flag_init": ""}) 1865661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 1875661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 1885661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 1895661Sgblack@eecs.umich.edu microopClasses["br"] = Br 1905663Sgblack@eecs.umich.edu 1915663Sgblack@eecs.umich.edu iop = InstObjParams("eret", "EretFlags", "SeqOpBase", 1925663Sgblack@eecs.umich.edu {"code": "", "else_code": "", 1939010Snilay@cs.wisc.edu "cond_test": "checkCondition(ccFlagBits | cfofBits | \ 1949010Snilay@cs.wisc.edu ecfBit | ezfBit, cc)", 1957894SBrad.Beckmann@amd.com "cond_control_flag_init": ""}) 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 iop = InstObjParams("eret", "Eret", "SeqOpBase", 2005663Sgblack@eecs.umich.edu {"code": "", "else_code": "", 2017894SBrad.Beckmann@amd.com "cond_test": "true", 2027894SBrad.Beckmann@amd.com "cond_control_flag_init": ""}) 2035663Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2045663Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2055663Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2065663Sgblack@eecs.umich.edu microopClasses["eret"] = Eret 2075661Sgblack@eecs.umich.edu}}; 208