specop.isa revision 6047
15449Sgblack@eecs.umich.edu// Copyright (c) 2007-2008 The Hewlett-Packard Development Company 24519Sgblack@eecs.umich.edu// All rights reserved. 34519Sgblack@eecs.umich.edu// 44519Sgblack@eecs.umich.edu// Redistribution and use of this software in source and binary forms, 54519Sgblack@eecs.umich.edu// with or without modification, are permitted provided that the 64519Sgblack@eecs.umich.edu// following conditions are met: 74519Sgblack@eecs.umich.edu// 84519Sgblack@eecs.umich.edu// The software must be used only for Non-Commercial Use which means any 94519Sgblack@eecs.umich.edu// use which is NOT directed to receiving any direct monetary 104519Sgblack@eecs.umich.edu// compensation for, or commercial advantage from such use. Illustrative 114519Sgblack@eecs.umich.edu// examples of non-commercial use are academic research, personal study, 124519Sgblack@eecs.umich.edu// teaching, education and corporate research & development. 134519Sgblack@eecs.umich.edu// Illustrative examples of commercial use are distributing products for 144519Sgblack@eecs.umich.edu// commercial advantage and providing services using the software for 154519Sgblack@eecs.umich.edu// commercial advantage. 164519Sgblack@eecs.umich.edu// 174519Sgblack@eecs.umich.edu// If you wish to use this software or functionality therein that may be 184519Sgblack@eecs.umich.edu// covered by patents for commercial use, please contact: 194519Sgblack@eecs.umich.edu// Director of Intellectual Property Licensing 204519Sgblack@eecs.umich.edu// Office of Strategy and Technology 214519Sgblack@eecs.umich.edu// Hewlett-Packard Company 224519Sgblack@eecs.umich.edu// 1501 Page Mill Road 234519Sgblack@eecs.umich.edu// Palo Alto, California 94304 244519Sgblack@eecs.umich.edu// 254519Sgblack@eecs.umich.edu// Redistributions of source code must retain the above copyright notice, 264519Sgblack@eecs.umich.edu// this list of conditions and the following disclaimer. Redistributions 274519Sgblack@eecs.umich.edu// in binary form must reproduce the above copyright notice, this list of 284519Sgblack@eecs.umich.edu// conditions and the following disclaimer in the documentation and/or 294519Sgblack@eecs.umich.edu// other materials provided with the distribution. Neither the name of 304519Sgblack@eecs.umich.edu// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its 314519Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from 324519Sgblack@eecs.umich.edu// this software without specific prior written permission. No right of 334519Sgblack@eecs.umich.edu// sublicense is granted herewith. Derivatives of the software and 344519Sgblack@eecs.umich.edu// output created using the software may be prepared, but only for 354519Sgblack@eecs.umich.edu// Non-Commercial Uses. Derivatives of the software may be shared with 364519Sgblack@eecs.umich.edu// others provided: (i) the others agree to abide by the list of 374519Sgblack@eecs.umich.edu// conditions herein which includes the Non-Commercial Use restrictions; 384519Sgblack@eecs.umich.edu// and (ii) such Derivatives of the software include the above copyright 394519Sgblack@eecs.umich.edu// notice to acknowledge the contribution from this software where 404519Sgblack@eecs.umich.edu// applicable, this list of conditions and the disclaimer below. 414519Sgblack@eecs.umich.edu// 424519Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 434519Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 444519Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 454519Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 464519Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 474519Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 484519Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 494519Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 504519Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 514519Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 524519Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 534519Sgblack@eecs.umich.edu// 544519Sgblack@eecs.umich.edu// Authors: Gabe Black 554519Sgblack@eecs.umich.edu 564519Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 574519Sgblack@eecs.umich.edu// 584519Sgblack@eecs.umich.edu// Fault Microop 594519Sgblack@eecs.umich.edu// 604519Sgblack@eecs.umich.edu////////////////////////////////////////////////////////////////////////// 614519Sgblack@eecs.umich.edu 624590Sgblack@eecs.umich.eduoutput header {{ 635163Sgblack@eecs.umich.edu class MicroFaultBase : public X86ISA::X86MicroopBase 644590Sgblack@eecs.umich.edu { 654590Sgblack@eecs.umich.edu protected: 664590Sgblack@eecs.umich.edu Fault fault; 675163Sgblack@eecs.umich.edu uint8_t cc; 684590Sgblack@eecs.umich.edu 694590Sgblack@eecs.umich.edu public: 705163Sgblack@eecs.umich.edu MicroFaultBase(ExtMachInst _machInst, const char * instMnem, 714590Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 725163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 734590Sgblack@eecs.umich.edu 745163Sgblack@eecs.umich.edu MicroFaultBase(ExtMachInst _machInst, const char * instMnem, 755163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 764696Sgblack@eecs.umich.edu 774696Sgblack@eecs.umich.edu std::string generateDisassembly(Addr pc, 784696Sgblack@eecs.umich.edu const SymbolTable *symtab) const; 794590Sgblack@eecs.umich.edu }; 805172Sgblack@eecs.umich.edu 815172Sgblack@eecs.umich.edu class MicroHalt : public X86ISA::X86MicroopBase 825172Sgblack@eecs.umich.edu { 835172Sgblack@eecs.umich.edu public: 845172Sgblack@eecs.umich.edu MicroHalt(ExtMachInst _machInst, const char * instMnem, 855172Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast) : 865172Sgblack@eecs.umich.edu X86MicroopBase(_machInst, "halt", instMnem, 875172Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, No_OpClass) 885172Sgblack@eecs.umich.edu { 895172Sgblack@eecs.umich.edu } 905172Sgblack@eecs.umich.edu 915172Sgblack@eecs.umich.edu MicroHalt(ExtMachInst _machInst, const char * instMnem) : 925172Sgblack@eecs.umich.edu X86MicroopBase(_machInst, "halt", instMnem, 935172Sgblack@eecs.umich.edu false, false, false, false, No_OpClass) 945172Sgblack@eecs.umich.edu { 955172Sgblack@eecs.umich.edu } 965172Sgblack@eecs.umich.edu 975172Sgblack@eecs.umich.edu %(BasicExecDeclare)s 985449Sgblack@eecs.umich.edu 995449Sgblack@eecs.umich.edu std::string generateDisassembly(Addr pc, 1005449Sgblack@eecs.umich.edu const SymbolTable *symtab) const; 1015172Sgblack@eecs.umich.edu }; 1024590Sgblack@eecs.umich.edu}}; 1034590Sgblack@eecs.umich.edu 1045163Sgblack@eecs.umich.edudef template MicroFaultDeclare {{ 1055163Sgblack@eecs.umich.edu class %(class_name)s : public %(base_class)s 1065163Sgblack@eecs.umich.edu { 1075163Sgblack@eecs.umich.edu private: 1085163Sgblack@eecs.umich.edu void buildMe(); 1095163Sgblack@eecs.umich.edu public: 1105163Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 1115163Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1125163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 1135163Sgblack@eecs.umich.edu 1145163Sgblack@eecs.umich.edu %(class_name)s(ExtMachInst _machInst, const char * instMnem, 1155163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc); 1165163Sgblack@eecs.umich.edu 1175163Sgblack@eecs.umich.edu %(BasicExecDeclare)s 1185163Sgblack@eecs.umich.edu }; 1195163Sgblack@eecs.umich.edu}}; 1205163Sgblack@eecs.umich.edu 1215163Sgblack@eecs.umich.edudef template MicroFaultExecute {{ 1225163Sgblack@eecs.umich.edu Fault %(class_name)s::execute(%(CPU_exec_context)s *xc, 1234519Sgblack@eecs.umich.edu Trace::InstRecord *traceData) const 1244519Sgblack@eecs.umich.edu { 1255163Sgblack@eecs.umich.edu %(op_decl)s; 1265163Sgblack@eecs.umich.edu %(op_rd)s; 1275163Sgblack@eecs.umich.edu if (%(cond_test)s) { 1285163Sgblack@eecs.umich.edu //Return the fault we were constructed with 1295163Sgblack@eecs.umich.edu return fault; 1305163Sgblack@eecs.umich.edu } else { 1315163Sgblack@eecs.umich.edu return NoFault; 1325163Sgblack@eecs.umich.edu } 1334519Sgblack@eecs.umich.edu } 1344519Sgblack@eecs.umich.edu}}; 1354519Sgblack@eecs.umich.edu 1365172Sgblack@eecs.umich.eduoutput exec {{ 1375172Sgblack@eecs.umich.edu Fault 1385172Sgblack@eecs.umich.edu MicroHalt::execute(%(CPU_exec_context)s *xc, 1395172Sgblack@eecs.umich.edu Trace::InstRecord * traceData) const 1405172Sgblack@eecs.umich.edu { 1415173Sgblack@eecs.umich.edu xc->tcBase()->suspend(); 1425172Sgblack@eecs.umich.edu return NoFault; 1435172Sgblack@eecs.umich.edu } 1445172Sgblack@eecs.umich.edu}}; 1455172Sgblack@eecs.umich.edu 1464590Sgblack@eecs.umich.eduoutput decoder {{ 1475163Sgblack@eecs.umich.edu inline MicroFaultBase::MicroFaultBase( 1485163Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1495163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1504590Sgblack@eecs.umich.edu X86MicroopBase(machInst, "fault", instMnem, 1515163Sgblack@eecs.umich.edu false, false, false, false, No_OpClass), 1525163Sgblack@eecs.umich.edu fault(_fault), cc(_cc) 1534519Sgblack@eecs.umich.edu { 1544519Sgblack@eecs.umich.edu } 1554519Sgblack@eecs.umich.edu 1565163Sgblack@eecs.umich.edu inline MicroFaultBase::MicroFaultBase( 1574519Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1584519Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1595163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1604590Sgblack@eecs.umich.edu X86MicroopBase(machInst, "fault", instMnem, 1614590Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, No_OpClass), 1625163Sgblack@eecs.umich.edu fault(_fault), cc(_cc) 1634519Sgblack@eecs.umich.edu { 1644519Sgblack@eecs.umich.edu } 1654519Sgblack@eecs.umich.edu}}; 1664519Sgblack@eecs.umich.edu 1675163Sgblack@eecs.umich.edudef template MicroFaultConstructor {{ 1685163Sgblack@eecs.umich.edu 1695163Sgblack@eecs.umich.edu inline void %(class_name)s::buildMe() 1705163Sgblack@eecs.umich.edu { 1715163Sgblack@eecs.umich.edu %(constructor)s; 1725163Sgblack@eecs.umich.edu } 1735163Sgblack@eecs.umich.edu 1745163Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1755163Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1765163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1775163Sgblack@eecs.umich.edu %(base_class)s(machInst, instMnem, _fault, _cc) 1785163Sgblack@eecs.umich.edu { 1795163Sgblack@eecs.umich.edu buildMe(); 1805163Sgblack@eecs.umich.edu } 1815163Sgblack@eecs.umich.edu 1825163Sgblack@eecs.umich.edu inline %(class_name)s::%(class_name)s( 1835163Sgblack@eecs.umich.edu ExtMachInst machInst, const char * instMnem, 1845163Sgblack@eecs.umich.edu bool isMicro, bool isDelayed, bool isFirst, bool isLast, 1855163Sgblack@eecs.umich.edu Fault _fault, uint8_t _cc) : 1865163Sgblack@eecs.umich.edu %(base_class)s(machInst, instMnem, 1875163Sgblack@eecs.umich.edu isMicro, isDelayed, isFirst, isLast, _fault, _cc) 1885163Sgblack@eecs.umich.edu { 1895163Sgblack@eecs.umich.edu buildMe(); 1905163Sgblack@eecs.umich.edu } 1915163Sgblack@eecs.umich.edu}}; 1925163Sgblack@eecs.umich.edu 1934696Sgblack@eecs.umich.eduoutput decoder {{ 1945163Sgblack@eecs.umich.edu std::string MicroFaultBase::generateDisassembly(Addr pc, 1954696Sgblack@eecs.umich.edu const SymbolTable *symtab) const 1964696Sgblack@eecs.umich.edu { 1974696Sgblack@eecs.umich.edu std::stringstream response; 1984696Sgblack@eecs.umich.edu 1994696Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 2004696Sgblack@eecs.umich.edu if(fault) 2014696Sgblack@eecs.umich.edu response << fault->name(); 2024696Sgblack@eecs.umich.edu else 2034696Sgblack@eecs.umich.edu response << "No Fault"; 2044696Sgblack@eecs.umich.edu 2054696Sgblack@eecs.umich.edu return response.str(); 2064696Sgblack@eecs.umich.edu } 2075449Sgblack@eecs.umich.edu 2085449Sgblack@eecs.umich.edu std::string MicroHalt::generateDisassembly(Addr pc, 2095449Sgblack@eecs.umich.edu const SymbolTable *symtab) const 2105449Sgblack@eecs.umich.edu { 2115449Sgblack@eecs.umich.edu std::stringstream response; 2125449Sgblack@eecs.umich.edu 2135449Sgblack@eecs.umich.edu printMnemonic(response, instMnem, mnemonic); 2145449Sgblack@eecs.umich.edu 2155449Sgblack@eecs.umich.edu return response.str(); 2165449Sgblack@eecs.umich.edu } 2174696Sgblack@eecs.umich.edu}}; 2184696Sgblack@eecs.umich.edu 2194519Sgblack@eecs.umich.edulet {{ 2204590Sgblack@eecs.umich.edu class Fault(X86Microop): 2215163Sgblack@eecs.umich.edu className = "MicroFault" 2225163Sgblack@eecs.umich.edu def __init__(self, fault, flags=None): 2234590Sgblack@eecs.umich.edu self.fault = fault 2245163Sgblack@eecs.umich.edu if flags: 2255163Sgblack@eecs.umich.edu if not isinstance(flags, (list, tuple)): 2265163Sgblack@eecs.umich.edu raise Exception, "flags must be a list or tuple of flags" 2275163Sgblack@eecs.umich.edu self.cond = " | ".join(flags) 2285163Sgblack@eecs.umich.edu self.className += "Flags" 2295163Sgblack@eecs.umich.edu else: 2305163Sgblack@eecs.umich.edu self.cond = "0" 2314590Sgblack@eecs.umich.edu 2324590Sgblack@eecs.umich.edu def getAllocator(self, *microFlags): 2335788Sgblack@eecs.umich.edu allocator = '''new %(class_name)s(machInst, macrocodeBlock 2345163Sgblack@eecs.umich.edu %(flags)s, %(fault)s, %(cc)s)''' % { 2355163Sgblack@eecs.umich.edu "class_name" : self.className, 2364590Sgblack@eecs.umich.edu "flags" : self.microFlagsText(microFlags), 2375163Sgblack@eecs.umich.edu "fault" : self.fault, 2385163Sgblack@eecs.umich.edu "cc" : self.cond} 2394590Sgblack@eecs.umich.edu return allocator 2405163Sgblack@eecs.umich.edu 2415293Sgblack@eecs.umich.edu iop = InstObjParams("fault", "MicroFaultFlags", "MicroFaultBase", 2425163Sgblack@eecs.umich.edu {"code": "", 2435163Sgblack@eecs.umich.edu "cond_test": "checkCondition(ccFlagBits, cc)"}) 2445163Sgblack@eecs.umich.edu exec_output = MicroFaultExecute.subst(iop) 2455163Sgblack@eecs.umich.edu header_output = MicroFaultDeclare.subst(iop) 2465163Sgblack@eecs.umich.edu decoder_output = MicroFaultConstructor.subst(iop) 2475293Sgblack@eecs.umich.edu iop = InstObjParams("fault", "MicroFault", "MicroFaultBase", 2485163Sgblack@eecs.umich.edu {"code": "", 2495163Sgblack@eecs.umich.edu "cond_test": "true"}) 2505163Sgblack@eecs.umich.edu exec_output += MicroFaultExecute.subst(iop) 2515163Sgblack@eecs.umich.edu header_output += MicroFaultDeclare.subst(iop) 2525163Sgblack@eecs.umich.edu decoder_output += MicroFaultConstructor.subst(iop) 2534590Sgblack@eecs.umich.edu microopClasses["fault"] = Fault 2545172Sgblack@eecs.umich.edu 2555172Sgblack@eecs.umich.edu class Halt(X86Microop): 2566047Sgblack@eecs.umich.edu className = "MicroHalt" 2575172Sgblack@eecs.umich.edu def __init__(self): 2585172Sgblack@eecs.umich.edu pass 2595172Sgblack@eecs.umich.edu 2605172Sgblack@eecs.umich.edu def getAllocator(self, *microFlags): 2615788Sgblack@eecs.umich.edu return "new MicroHalt(machInst, macrocodeBlock %s)" % \ 2625172Sgblack@eecs.umich.edu self.microFlagsText(microFlags) 2635172Sgblack@eecs.umich.edu 2645172Sgblack@eecs.umich.edu microopClasses["halt"] = Halt 2654519Sgblack@eecs.umich.edu}}; 266