seqop.isa revision 5662
15661Sgblack@eecs.umich.edu// Copyright (c) 2008 The Hewlett-Packard Development Company 25661Sgblack@eecs.umich.edu// All rights reserved. 35661Sgblack@eecs.umich.edu// 45661Sgblack@eecs.umich.edu// Redistribution and use of this software in source and binary forms, 55661Sgblack@eecs.umich.edu// with or without modification, are permitted provided that the 65661Sgblack@eecs.umich.edu// following conditions are met: 75661Sgblack@eecs.umich.edu// 85661Sgblack@eecs.umich.edu// The software must be used only for Non-Commercial Use which means any 95661Sgblack@eecs.umich.edu// use which is NOT directed to receiving any direct monetary 105661Sgblack@eecs.umich.edu// compensation for, or commercial advantage from such use. Illustrative 115661Sgblack@eecs.umich.edu// examples of non-commercial use are academic research, personal study, 125661Sgblack@eecs.umich.edu// teaching, education and corporate research & development. 135661Sgblack@eecs.umich.edu// Illustrative examples of commercial use are distributing products for 145661Sgblack@eecs.umich.edu// commercial advantage and providing services using the software for 155661Sgblack@eecs.umich.edu// commercial advantage. 165661Sgblack@eecs.umich.edu// 175661Sgblack@eecs.umich.edu// If you wish to use this software or functionality therein that may be 185661Sgblack@eecs.umich.edu// covered by patents for commercial use, please contact: 195661Sgblack@eecs.umich.edu// Director of Intellectual Property Licensing 205661Sgblack@eecs.umich.edu// Office of Strategy and Technology 215661Sgblack@eecs.umich.edu// Hewlett-Packard Company 225661Sgblack@eecs.umich.edu// 1501 Page Mill Road 235661Sgblack@eecs.umich.edu// Palo Alto, California 94304 245661Sgblack@eecs.umich.edu// 255661Sgblack@eecs.umich.edu// Redistributions of source code must retain the above copyright notice, 265661Sgblack@eecs.umich.edu// this list of conditions and the following disclaimer. Redistributions 275661Sgblack@eecs.umich.edu// in binary form must reproduce the above copyright notice, this list of 285661Sgblack@eecs.umich.edu// conditions and the following disclaimer in the documentation and/or 295661Sgblack@eecs.umich.edu// other materials provided with the distribution. Neither the name of 305661Sgblack@eecs.umich.edu// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 315661Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 325661Sgblack@eecs.umich.edu// this software without specific prior written permission. No right of 335661Sgblack@eecs.umich.edu// sublicense is granted herewith. Derivatives of the software and 345661Sgblack@eecs.umich.edu// output created using the software may be prepared, but only for 355661Sgblack@eecs.umich.edu// Non-Commercial Uses. Derivatives of the software may be shared with 365661Sgblack@eecs.umich.edu// others provided: (i) the others agree to abide by the list of 375661Sgblack@eecs.umich.edu// conditions herein which includes the Non-Commercial Use restrictions; 385661Sgblack@eecs.umich.edu// and (ii) such Derivatives of the software include the above copyright 395661Sgblack@eecs.umich.edu// notice to acknowledge the contribution from this software where 405661Sgblack@eecs.umich.edu// applicable, this list of conditions and the disclaimer below. 415661Sgblack@eecs.umich.edu// 425661Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 435661Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 445661Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 455661Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 465661Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 475661Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 485661Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 495661Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 505661Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 515661Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 525661Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 535661Sgblack@eecs.umich.edu// 545661Sgblack@eecs.umich.edu// Authors: Gabe Black 555661Sgblack@eecs.umich.edu 565661Sgblack@eecs.umich.eduoutput header {{ 575661Sgblack@eecs.umich.edu class SeqOpBase : public X86ISA::X86MicroopBase 585661Sgblack@eecs.umich.edu { 595661Sgblack@eecs.umich.edu protected: 605661Sgblack@eecs.umich.edu uint16_t target; 615661Sgblack@eecs.umich.edu uint8_t cc; 625661Sgblack@eecs.umich.edu 635661Sgblack@eecs.umich.edu public: 645661Sgblack@eecs.umich.edu SeqOpBase(ExtMachInst _machInst, const char * instMnem, 655661Sgblack@eecs.umich.edu const char * mnemonic, 665661Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 675661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 685661Sgblack@eecs.umich.edu 695661Sgblack@eecs.umich.edu SeqOpBase(ExtMachInst _machInst, const char * instMnem, 705661Sgblack@eecs.umich.edu const char * mnemonic, 715661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 725661Sgblack@eecs.umich.edu 735661Sgblack@eecs.umich.edu std::string generateDisassembly(Addr pc, 745661Sgblack@eecs.umich.edu const SymbolTable *symtab) const; 755661Sgblack@eecs.umich.edu }; 765661Sgblack@eecs.umich.edu}}; 775661Sgblack@eecs.umich.edu 785661Sgblack@eecs.umich.edudef template SeqOpDeclare {{ 795661Sgblack@eecs.umich.edu class %(class_name)s : public %(base_class)s 805661Sgblack@eecs.umich.edu { 815661Sgblack@eecs.umich.edu private: 825661Sgblack@eecs.umich.edu void buildMe(); 835661Sgblack@eecs.umich.edu public: 845661Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 855661Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 865661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 875661Sgblack@eecs.umich.edu 885661Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 895661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc); 905661Sgblack@eecs.umich.edu 915661Sgblack@eecs.umich.edu %(BasicExecDeclare)s 925661Sgblack@eecs.umich.edu }; 935661Sgblack@eecs.umich.edu}}; 945661Sgblack@eecs.umich.edu 955661Sgblack@eecs.umich.edudef template SeqOpExecute {{ 965661Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 975661Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 985661Sgblack@eecs.umich.edu { 995661Sgblack@eecs.umich.edu %(op_decl)s; 1005661Sgblack@eecs.umich.edu %(op_rd)s; 1015661Sgblack@eecs.umich.edu if (%(cond_test)s) { 1025661Sgblack@eecs.umich.edu %(code)s; 1035661Sgblack@eecs.umich.edu } else { 1045661Sgblack@eecs.umich.edu %(else_code)s; 1055661Sgblack@eecs.umich.edu } 1065661Sgblack@eecs.umich.edu %(op_wb)s; 1075661Sgblack@eecs.umich.edu return NoFault; 1085661Sgblack@eecs.umich.edu } 1095661Sgblack@eecs.umich.edu}}; 1105661Sgblack@eecs.umich.edu 1115661Sgblack@eecs.umich.eduoutput decoder {{ 1125661Sgblack@eecs.umich.edu inline SeqOpBase::SeqOpBase( 1135661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * mnemonic, const char * instMnem, 1145661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc) : 1155661Sgblack@eecs.umich.edu X86MicroopBase(machInst, mnemonic, instMnem, 1165661Sgblack@eecs.umich.edu false, false, false, false, No_OpClass), 1175661Sgblack@eecs.umich.edu target(_target), cc(_cc) 1185661Sgblack@eecs.umich.edu { 1195661Sgblack@eecs.umich.edu } 1205661Sgblack@eecs.umich.edu 1215661Sgblack@eecs.umich.edu inline SeqOpBase::SeqOpBase( 1225661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * mnemonic, const char * instMnem, 1235661Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1245661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc) : 1255661Sgblack@eecs.umich.edu X86MicroopBase(machInst, mnemonic, instMnem, 1265661Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, No_OpClass), 1275661Sgblack@eecs.umich.edu target(_target), cc(_cc) 1285661Sgblack@eecs.umich.edu { 1295661Sgblack@eecs.umich.edu } 1305661Sgblack@eecs.umich.edu}}; 1315661Sgblack@eecs.umich.edu 1325661Sgblack@eecs.umich.edudef template SeqOpConstructor {{ 1335661Sgblack@eecs.umich.edu 1345661Sgblack@eecs.umich.edu inline void %(class_name)s::buildMe() 1355661Sgblack@eecs.umich.edu { 1365661Sgblack@eecs.umich.edu %(constructor)s; 1375661Sgblack@eecs.umich.edu } 1385661Sgblack@eecs.umich.edu 1395661Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1405661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1415661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc) : 1425661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, _target, _cc) 1435661Sgblack@eecs.umich.edu { 1445661Sgblack@eecs.umich.edu buildMe(); 1455661Sgblack@eecs.umich.edu } 1465661Sgblack@eecs.umich.edu 1475661Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1485661Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1495661Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1505661Sgblack@eecs.umich.edu uint16_t _target, uint8_t _cc) : 1515661Sgblack@eecs.umich.edu %(base_class)s(machInst, "%(mnemonic)s", instMnem, 1525661Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, _target, _cc) 1535661Sgblack@eecs.umich.edu { 1545661Sgblack@eecs.umich.edu buildMe(); 1555661Sgblack@eecs.umich.edu } 1565661Sgblack@eecs.umich.edu}}; 1575661Sgblack@eecs.umich.edu 1585661Sgblack@eecs.umich.eduoutput decoder {{ 1595661Sgblack@eecs.umich.edu std::string SeqOpBase::generateDisassembly(Addr pc, 1605661Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1615661Sgblack@eecs.umich.edu { 1625661Sgblack@eecs.umich.edu std::stringstream response; 1635661Sgblack@eecs.umich.edu 1645661Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 1655661Sgblack@eecs.umich.edu ccprintf(response, "%#x", target); 1665661Sgblack@eecs.umich.edu 1675661Sgblack@eecs.umich.edu return response.str(); 1685661Sgblack@eecs.umich.edu } 1695661Sgblack@eecs.umich.edu}}; 1705661Sgblack@eecs.umich.edu 1715661Sgblack@eecs.umich.edulet {{ 1725662Sgblack@eecs.umich.edu class SeqOp(X86Microop): 1735661Sgblack@eecs.umich.edu def __init__(self, target, flags=None): 1745661Sgblack@eecs.umich.edu self.target = target 1755661Sgblack@eecs.umich.edu if flags: 1765661Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 1775661Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 1785661Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 1795661Sgblack@eecs.umich.edu self.className += "Flags" 1805661Sgblack@eecs.umich.edu else: 1815661Sgblack@eecs.umich.edu self.cond = "0" 1825661Sgblack@eecs.umich.edu 1835661Sgblack@eecs.umich.edu def getAllocator(self, *microFlags): 1845661Sgblack@eecs.umich.edu allocator = '''new %(class_name)s(machInst, mnemonic 1855661Sgblack@eecs.umich.edu %(flags)s, %(target)s, %(cc)s)''' % { 1865661Sgblack@eecs.umich.edu "class_name" : self.className, 1875661Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 1885661Sgblack@eecs.umich.edu "target" : self.target, 1895661Sgblack@eecs.umich.edu "cc" : self.cond} 1905661Sgblack@eecs.umich.edu return allocator 1915661Sgblack@eecs.umich.edu 1925662Sgblack@eecs.umich.edu class Br(SeqOp): 1935662Sgblack@eecs.umich.edu className = "MicroBranch" 1945662Sgblack@eecs.umich.edu 1955662Sgblack@eecs.umich.edu def getAllocator(self, *microFlags): 1965662Sgblack@eecs.umich.edu (is_micro, is_delayed, is_first, is_last) = microFlags 1975662Sgblack@eecs.umich.edu is_last = False 1985662Sgblack@eecs.umich.edu microFlags = (is_micro, is_delayed, is_first, is_last) 1995662Sgblack@eecs.umich.edu return super(Br, self).getAllocator(*microFlags) 2005662Sgblack@eecs.umich.edu 2015661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranchFlags", "SeqOpBase", 2025661Sgblack@eecs.umich.edu {"code": "nuIP = target", 2035661Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP", 2045661Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 2055661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2065661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2075661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2085661Sgblack@eecs.umich.edu iop = InstObjParams("br", "MicroBranch", "SeqOpBase", 2095661Sgblack@eecs.umich.edu {"code": "nuIP = target", 2105661Sgblack@eecs.umich.edu "else_code": "nuIP = nuIP", 2115661Sgblack@eecs.umich.edu "cond_test": "true"}) 2125661Sgblack@eecs.umich.edu exec_output += SeqOpExecute.subst(iop) 2135661Sgblack@eecs.umich.edu header_output += SeqOpDeclare.subst(iop) 2145661Sgblack@eecs.umich.edu decoder_output += SeqOpConstructor.subst(iop) 2155661Sgblack@eecs.umich.edu microopClasses["br"] = Br 2165661Sgblack@eecs.umich.edu}}; 217