specop.isa revision 7087
15449Sgblack@eecs.umich.edu// Copyright (c) 2007-2008 The Hewlett-Packard Development Company 24519Sgblack@eecs.umich.edu// All rights reserved. 34519Sgblack@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. 124519Sgblack@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 214519Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 227087Snate@binkert.org// this software without specific prior written permission. 234519Sgblack@eecs.umich.edu// 244519Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 254519Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 264519Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 274519Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 284519Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 294519Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 304519Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 314519Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 324519Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 334519Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 344519Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 354519Sgblack@eecs.umich.edu// 364519Sgblack@eecs.umich.edu// Authors: Gabe Black 374519Sgblack@eecs.umich.edu 384519Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 394519Sgblack@eecs.umich.edu// 404519Sgblack@eecs.umich.edu// Fault Microop 414519Sgblack@eecs.umich.edu// 424519Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 434519Sgblack@eecs.umich.edu 444590Sgblack@eecs.umich.eduoutput header {{ 455163Sgblack@eecs.umich.edu class MicroFaultBase : public X86ISA::X86MicroopBase 464590Sgblack@eecs.umich.edu { 474590Sgblack@eecs.umich.edu protected: 484590Sgblack@eecs.umich.edu Fault fault; 495163Sgblack@eecs.umich.edu uint8_t cc; 504590Sgblack@eecs.umich.edu 514590Sgblack@eecs.umich.edu public: 525163Sgblack@eecs.umich.edu MicroFaultBase(ExtMachInst _machInst, const char * instMnem, 534590Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 545163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 554590Sgblack@eecs.umich.edu 565163Sgblack@eecs.umich.edu MicroFaultBase(ExtMachInst _machInst, const char * instMnem, 575163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 584696Sgblack@eecs.umich.edu 594696Sgblack@eecs.umich.edu std::string generateDisassembly(Addr pc, 604696Sgblack@eecs.umich.edu const SymbolTable *symtab) const; 614590Sgblack@eecs.umich.edu }; 625172Sgblack@eecs.umich.edu 635172Sgblack@eecs.umich.edu class MicroHalt : public X86ISA::X86MicroopBase 645172Sgblack@eecs.umich.edu { 655172Sgblack@eecs.umich.edu public: 665172Sgblack@eecs.umich.edu MicroHalt(ExtMachInst _machInst, const char * instMnem, 675172Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast) : 685172Sgblack@eecs.umich.edu X86MicroopBase(_machInst, "halt", instMnem, 695172Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, No_OpClass) 705172Sgblack@eecs.umich.edu { 715172Sgblack@eecs.umich.edu } 725172Sgblack@eecs.umich.edu 735172Sgblack@eecs.umich.edu MicroHalt(ExtMachInst _machInst, const char * instMnem) : 745172Sgblack@eecs.umich.edu X86MicroopBase(_machInst, "halt", instMnem, 755172Sgblack@eecs.umich.edu false, false, false, false, No_OpClass) 765172Sgblack@eecs.umich.edu { 775172Sgblack@eecs.umich.edu } 785172Sgblack@eecs.umich.edu 795172Sgblack@eecs.umich.edu %(BasicExecDeclare)s 805449Sgblack@eecs.umich.edu 815449Sgblack@eecs.umich.edu std::string generateDisassembly(Addr pc, 825449Sgblack@eecs.umich.edu const SymbolTable *symtab) const; 835172Sgblack@eecs.umich.edu }; 844590Sgblack@eecs.umich.edu}}; 854590Sgblack@eecs.umich.edu 865163Sgblack@eecs.umich.edudef template MicroFaultDeclare {{ 875163Sgblack@eecs.umich.edu class %(class_name)s : public %(base_class)s 885163Sgblack@eecs.umich.edu { 895163Sgblack@eecs.umich.edu private: 905163Sgblack@eecs.umich.edu void buildMe(); 915163Sgblack@eecs.umich.edu public: 925163Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 935163Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 945163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 955163Sgblack@eecs.umich.edu 965163Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 975163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 985163Sgblack@eecs.umich.edu 995163Sgblack@eecs.umich.edu %(BasicExecDeclare)s 1005163Sgblack@eecs.umich.edu }; 1015163Sgblack@eecs.umich.edu}}; 1025163Sgblack@eecs.umich.edu 1035163Sgblack@eecs.umich.edudef template MicroFaultExecute {{ 1045163Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 1054519Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 1064519Sgblack@eecs.umich.edu { 1075163Sgblack@eecs.umich.edu %(op_decl)s; 1085163Sgblack@eecs.umich.edu %(op_rd)s; 1095163Sgblack@eecs.umich.edu if (%(cond_test)s) { 1105163Sgblack@eecs.umich.edu //Return the fault we were constructed with 1115163Sgblack@eecs.umich.edu return fault; 1125163Sgblack@eecs.umich.edu } else { 1135163Sgblack@eecs.umich.edu return NoFault; 1145163Sgblack@eecs.umich.edu } 1154519Sgblack@eecs.umich.edu } 1164519Sgblack@eecs.umich.edu}}; 1174519Sgblack@eecs.umich.edu 1185172Sgblack@eecs.umich.eduoutput exec {{ 1195172Sgblack@eecs.umich.edu Fault 1205172Sgblack@eecs.umich.edu MicroHalt::execute(%(CPU_exec_context)s *xc, 1215172Sgblack@eecs.umich.edu Trace::InstRecord * traceData) const 1225172Sgblack@eecs.umich.edu { 1235173Sgblack@eecs.umich.edu xc->tcBase()->suspend(); 1245172Sgblack@eecs.umich.edu return NoFault; 1255172Sgblack@eecs.umich.edu } 1265172Sgblack@eecs.umich.edu}}; 1275172Sgblack@eecs.umich.edu 1284590Sgblack@eecs.umich.eduoutput decoder {{ 1295163Sgblack@eecs.umich.edu inline MicroFaultBase::MicroFaultBase( 1305163Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1315163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1324590Sgblack@eecs.umich.edu X86MicroopBase(machInst, "fault", instMnem, 1335163Sgblack@eecs.umich.edu false, false, false, false, No_OpClass), 1345163Sgblack@eecs.umich.edu fault(_fault), cc(_cc) 1354519Sgblack@eecs.umich.edu { 1364519Sgblack@eecs.umich.edu } 1374519Sgblack@eecs.umich.edu 1385163Sgblack@eecs.umich.edu inline MicroFaultBase::MicroFaultBase( 1394519Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1404519Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1415163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1424590Sgblack@eecs.umich.edu X86MicroopBase(machInst, "fault", instMnem, 1434590Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, No_OpClass), 1445163Sgblack@eecs.umich.edu fault(_fault), cc(_cc) 1454519Sgblack@eecs.umich.edu { 1464519Sgblack@eecs.umich.edu } 1474519Sgblack@eecs.umich.edu}}; 1484519Sgblack@eecs.umich.edu 1495163Sgblack@eecs.umich.edudef template MicroFaultConstructor {{ 1505163Sgblack@eecs.umich.edu 1515163Sgblack@eecs.umich.edu inline void %(class_name)s::buildMe() 1525163Sgblack@eecs.umich.edu { 1535163Sgblack@eecs.umich.edu %(constructor)s; 1545163Sgblack@eecs.umich.edu } 1555163Sgblack@eecs.umich.edu 1565163Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1575163Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1585163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1595163Sgblack@eecs.umich.edu %(base_class)s(machInst, instMnem, _fault, _cc) 1605163Sgblack@eecs.umich.edu { 1615163Sgblack@eecs.umich.edu buildMe(); 1625163Sgblack@eecs.umich.edu } 1635163Sgblack@eecs.umich.edu 1645163Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1655163Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1665163Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1675163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1685163Sgblack@eecs.umich.edu %(base_class)s(machInst, instMnem, 1695163Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, _fault, _cc) 1705163Sgblack@eecs.umich.edu { 1715163Sgblack@eecs.umich.edu buildMe(); 1725163Sgblack@eecs.umich.edu } 1735163Sgblack@eecs.umich.edu}}; 1745163Sgblack@eecs.umich.edu 1754696Sgblack@eecs.umich.eduoutput decoder {{ 1765163Sgblack@eecs.umich.edu std::string MicroFaultBase::generateDisassembly(Addr pc, 1774696Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1784696Sgblack@eecs.umich.edu { 1794696Sgblack@eecs.umich.edu std::stringstream response; 1804696Sgblack@eecs.umich.edu 1814696Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 1824696Sgblack@eecs.umich.edu if(fault) 1834696Sgblack@eecs.umich.edu response << fault->name(); 1844696Sgblack@eecs.umich.edu else 1854696Sgblack@eecs.umich.edu response << "No Fault"; 1864696Sgblack@eecs.umich.edu 1874696Sgblack@eecs.umich.edu return response.str(); 1884696Sgblack@eecs.umich.edu } 1895449Sgblack@eecs.umich.edu 1905449Sgblack@eecs.umich.edu std::string MicroHalt::generateDisassembly(Addr pc, 1915449Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1925449Sgblack@eecs.umich.edu { 1935449Sgblack@eecs.umich.edu std::stringstream response; 1945449Sgblack@eecs.umich.edu 1955449Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 1965449Sgblack@eecs.umich.edu 1975449Sgblack@eecs.umich.edu return response.str(); 1985449Sgblack@eecs.umich.edu } 1994696Sgblack@eecs.umich.edu}}; 2004696Sgblack@eecs.umich.edu 2014519Sgblack@eecs.umich.edulet {{ 2024590Sgblack@eecs.umich.edu class Fault(X86Microop): 2035163Sgblack@eecs.umich.edu className = "MicroFault" 2045163Sgblack@eecs.umich.edu def __init__(self, fault, flags=None): 2054590Sgblack@eecs.umich.edu self.fault = fault 2065163Sgblack@eecs.umich.edu if flags: 2075163Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 2085163Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 2095163Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 2105163Sgblack@eecs.umich.edu self.className += "Flags" 2115163Sgblack@eecs.umich.edu else: 2125163Sgblack@eecs.umich.edu self.cond = "0" 2134590Sgblack@eecs.umich.edu 2144590Sgblack@eecs.umich.edu def getAllocator(self, *microFlags): 2155788Sgblack@eecs.umich.edu allocator = '''new %(class_name)s(machInst, macrocodeBlock 2165163Sgblack@eecs.umich.edu %(flags)s, %(fault)s, %(cc)s)''' % { 2175163Sgblack@eecs.umich.edu "class_name" : self.className, 2184590Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 2195163Sgblack@eecs.umich.edu "fault" : self.fault, 2205163Sgblack@eecs.umich.edu "cc" : self.cond} 2214590Sgblack@eecs.umich.edu return allocator 2225163Sgblack@eecs.umich.edu 2235293Sgblack@eecs.umich.edu iop = InstObjParams("fault", "MicroFaultFlags", "MicroFaultBase", 2245163Sgblack@eecs.umich.edu {"code": "", 2255163Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 2265163Sgblack@eecs.umich.edu exec_output = MicroFaultExecute.subst(iop) 2275163Sgblack@eecs.umich.edu header_output = MicroFaultDeclare.subst(iop) 2285163Sgblack@eecs.umich.edu decoder_output = MicroFaultConstructor.subst(iop) 2295293Sgblack@eecs.umich.edu iop = InstObjParams("fault", "MicroFault", "MicroFaultBase", 2305163Sgblack@eecs.umich.edu {"code": "", 2315163Sgblack@eecs.umich.edu "cond_test": "true"}) 2325163Sgblack@eecs.umich.edu exec_output += MicroFaultExecute.subst(iop) 2335163Sgblack@eecs.umich.edu header_output += MicroFaultDeclare.subst(iop) 2345163Sgblack@eecs.umich.edu decoder_output += MicroFaultConstructor.subst(iop) 2354590Sgblack@eecs.umich.edu microopClasses["fault"] = Fault 2365172Sgblack@eecs.umich.edu 2375172Sgblack@eecs.umich.edu class Halt(X86Microop): 2386047Sgblack@eecs.umich.edu className = "MicroHalt" 2395172Sgblack@eecs.umich.edu def __init__(self): 2405172Sgblack@eecs.umich.edu pass 2415172Sgblack@eecs.umich.edu 2425172Sgblack@eecs.umich.edu def getAllocator(self, *microFlags): 2435788Sgblack@eecs.umich.edu return "new MicroHalt(machInst, macrocodeBlock %s)" % \ 2445172Sgblack@eecs.umich.edu self.microFlagsText(microFlags) 2455172Sgblack@eecs.umich.edu 2465172Sgblack@eecs.umich.edu microopClasses["halt"] = Halt 2474519Sgblack@eecs.umich.edu}}; 248