specop.isa revision 5788
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):
2565172Sgblack@eecs.umich.edu        def __init__(self):
2575172Sgblack@eecs.umich.edu            pass
2585172Sgblack@eecs.umich.edu
2595172Sgblack@eecs.umich.edu        def getAllocator(self, *microFlags):
2605788Sgblack@eecs.umich.edu            return "new MicroHalt(machInst, macrocodeBlock %s)" % \
2615172Sgblack@eecs.umich.edu                    self.microFlagsText(microFlags)
2625172Sgblack@eecs.umich.edu
2635172Sgblack@eecs.umich.edu    microopClasses["halt"] = Halt
2644519Sgblack@eecs.umich.edu}};
265