seqop.isa revision 7620
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 private: 635661Sgblack@eecs.umich.edu void buildMe(); 645661Sgblack@eecs.umich.edu public: 655661Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 667620Sgblack@eecs.umich.edu uint64_t setFlags, uint16_t _target, uint8_t _cc); 675661Sgblack@eecs.umich.edu 685661Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 695661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 705661Sgblack@eecs.umich.edu 715661Sgblack@eecs.umich.edu %(BasicExecDeclare)s 725661Sgblack@eecs.umich.edu }; 735661Sgblack@eecs.umich.edu}}; 745661Sgblack@eecs.umich.edu 755661Sgblack@eecs.umich.edudef template SeqOpExecute {{ 765661Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 775661Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 785661Sgblack@eecs.umich.edu { 795661Sgblack@eecs.umich.edu %(op_decl)s; 805661Sgblack@eecs.umich.edu %(op_rd)s; 815661Sgblack@eecs.umich.edu if (%(cond_test)s) { 825661Sgblack@eecs.umich.edu %(code)s; 835661Sgblack@eecs.umich.edu } else { 845661Sgblack@eecs.umich.edu %(else_code)s; 855661Sgblack@eecs.umich.edu } 865661Sgblack@eecs.umich.edu %(op_wb)s; 875661Sgblack@eecs.umich.edu return NoFault; 885661Sgblack@eecs.umich.edu } 895661Sgblack@eecs.umich.edu}}; 905661Sgblack@eecs.umich.edu 915661Sgblack@eecs.umich.eduoutput decoder {{ 925661Sgblack@eecs.umich.edu inline SeqOpBase::SeqOpBase( 935661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * mnemonic, const char * instMnem, 945661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc) : 957620Sgblack@eecs.umich.edu X86MicroopBase(machInst, mnemonic, instMnem, 0, No_OpClass), 965661Sgblack@eecs.umich.edu target(_target), cc(_cc) 975661Sgblack@eecs.umich.edu { 985661Sgblack@eecs.umich.edu } 995661Sgblack@eecs.umich.edu 1005661Sgblack@eecs.umich.edu inline SeqOpBase::SeqOpBase( 1015661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * mnemonic, const char * instMnem, 1027620Sgblack@eecs.umich.edu uint64_t setFlags, uint16_t _target, uint8_t _cc) : 1037620Sgblack@eecs.umich.edu X86MicroopBase(machInst, mnemonic, instMnem, setFlags, No_OpClass), 1045661Sgblack@eecs.umich.edu target(_target), cc(_cc) 1055661Sgblack@eecs.umich.edu { 1065661Sgblack@eecs.umich.edu } 1075661Sgblack@eecs.umich.edu}}; 1085661Sgblack@eecs.umich.edu 1095661Sgblack@eecs.umich.edudef template SeqOpConstructor {{ 1105661Sgblack@eecs.umich.edu 1115661Sgblack@eecs.umich.edu inline void %(class_name)s::buildMe() 1125661Sgblack@eecs.umich.edu { 1135661Sgblack@eecs.umich.edu %(constructor)s; 1145661Sgblack@eecs.umich.edu } 1155661Sgblack@eecs.umich.edu 1165661Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1175661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1185661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc) : 1195661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, _target, _cc) 1205661Sgblack@eecs.umich.edu { 1215661Sgblack@eecs.umich.edu buildMe(); 1225661Sgblack@eecs.umich.edu } 1235661Sgblack@eecs.umich.edu 1245661Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1255661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1267620Sgblack@eecs.umich.edu uint64_t setFlags, uint16_t _target, uint8_t _cc) : 1275661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, 1287620Sgblack@eecs.umich.edu setFlags, _target, _cc) 1295661Sgblack@eecs.umich.edu { 1305661Sgblack@eecs.umich.edu buildMe(); 1315661Sgblack@eecs.umich.edu } 1325661Sgblack@eecs.umich.edu}}; 1335661Sgblack@eecs.umich.edu 1345661Sgblack@eecs.umich.eduoutput decoder {{ 1355661Sgblack@eecs.umich.edu std::string SeqOpBase::generateDisassembly(Addr pc, 1365661Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1375661Sgblack@eecs.umich.edu { 1385661Sgblack@eecs.umich.edu std::stringstream response; 1395661Sgblack@eecs.umich.edu 1405661Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 1415661Sgblack@eecs.umich.edu ccprintf(response, "%#x", target); 1425661Sgblack@eecs.umich.edu 1435661Sgblack@eecs.umich.edu return response.str(); 1445661Sgblack@eecs.umich.edu } 1455661Sgblack@eecs.umich.edu}}; 1465661Sgblack@eecs.umich.edu 1475661Sgblack@eecs.umich.edulet {{ 1485662Sgblack@eecs.umich.edu class SeqOp(X86Microop): 1495661Sgblack@eecs.umich.edu def __init__(self, target, flags=None): 1505661Sgblack@eecs.umich.edu self.target = target 1515661Sgblack@eecs.umich.edu if flags: 1525661Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1535661Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1545661Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1555661Sgblack@eecs.umich.edu self.className += "Flags" 1565661Sgblack@eecs.umich.edu else: 1575661Sgblack@eecs.umich.edu self.cond = "0" 1585661Sgblack@eecs.umich.edu 1597620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1607620Sgblack@eecs.umich.edu allocator = '''new %(class_name)s(machInst, macrocodeBlock, 1615661Sgblack@eecs.umich.edu %(flags)s, %(target)s, %(cc)s)''' % { 1625661Sgblack@eecs.umich.edu "class_name" : self.className, 1635661Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 1645661Sgblack@eecs.umich.edu "target" : self.target, 1655661Sgblack@eecs.umich.edu "cc" : self.cond} 1665661Sgblack@eecs.umich.edu return allocator 1675661Sgblack@eecs.umich.edu 1685662Sgblack@eecs.umich.edu class Br(SeqOp): 1695662Sgblack@eecs.umich.edu className = "MicroBranch" 1705662Sgblack@eecs.umich.edu 1717620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1727620Sgblack@eecs.umich.edu if "IsLastMicroop" in microFlags: 1737620Sgblack@eecs.umich.edu microFlags.remove("IsLastMicroop") 1747620Sgblack@eecs.umich.edu if not "IsDelayedCommit" in microFlags: 1757620Sgblack@eecs.umich.edu microFlags.append("IsDelayedCommit") 1767620Sgblack@eecs.umich.edu return super(Br, self).getAllocator(microFlags) 1775662Sgblack@eecs.umich.edu 1785663Sgblack@eecs.umich.edu class Eret(SeqOp): 1795663Sgblack@eecs.umich.edu target = "normalMicroPC(0)" 1805663Sgblack@eecs.umich.edu className = "Eret" 1815663Sgblack@eecs.umich.edu 1825663Sgblack@eecs.umich.edu def __init__(self, flags=None): 1835663Sgblack@eecs.umich.edu if flags: 1845663Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1855663Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1865663Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1875663Sgblack@eecs.umich.edu self.className += "Flags" 1885663Sgblack@eecs.umich.edu else: 1895663Sgblack@eecs.umich.edu self.cond = "0" 1905663Sgblack@eecs.umich.edu 1917620Sgblack@eecs.umich.edu def getAllocator(self, microFlags): 1927620Sgblack@eecs.umich.edu if not "IsLastMicroop" in microFlags: 1937620Sgblack@eecs.umich.edu microFlags.append("IsLastMicroop") 1947620Sgblack@eecs.umich.edu if "IsDelayedCommit" in microFlags: 1957620Sgblack@eecs.umich.edu microFlags.remove("IsDelayedCommit") 1967620Sgblack@eecs.umich.edu return super(Eret, self).getAllocator(microFlags) 1975663Sgblack@eecs.umich.edu 1985661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranchFlags", "SeqOpBase", 1995661Sgblack@eecs.umich.edu {"code": "nuIP = target", 2005661Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP", 2015661Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 2025661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2035661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2045661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2055661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranch", "SeqOpBase", 2065661Sgblack@eecs.umich.edu {"code": "nuIP = target", 2075661Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP", 2085661Sgblack@eecs.umich.edu "cond_test": "true"}) 2095661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2105661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2115661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2125661Sgblack@eecs.umich.edu microopClasses["br"] = Br 2135663Sgblack@eecs.umich.edu 2145663Sgblack@eecs.umich.edu iop = InstObjParams("eret", "EretFlags", "SeqOpBase", 2155663Sgblack@eecs.umich.edu {"code": "", "else_code": "", 2165663Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 2175663Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2185663Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2195663Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2205663Sgblack@eecs.umich.edu iop = InstObjParams("eret", "Eret", "SeqOpBase", 2215663Sgblack@eecs.umich.edu {"code": "", "else_code": "", 2225663Sgblack@eecs.umich.edu "cond_test": "true"}) 2235663Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2245663Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2255663Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2265663Sgblack@eecs.umich.edu microopClasses["eret"] = Eret 2275661Sgblack@eecs.umich.edu}}; 228