specop.isa revision 5172
14519Sgblack@eecs.umich.edu// Copyright (c) 2007 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
985172Sgblack@eecs.umich.edu    };
994590Sgblack@eecs.umich.edu}};
1004590Sgblack@eecs.umich.edu
1015163Sgblack@eecs.umich.edudef template MicroFaultDeclare {{
1025163Sgblack@eecs.umich.edu    class %(class_name)s : public %(base_class)s
1035163Sgblack@eecs.umich.edu    {
1045163Sgblack@eecs.umich.edu      private:
1055163Sgblack@eecs.umich.edu        void buildMe();
1065163Sgblack@eecs.umich.edu      public:
1075163Sgblack@eecs.umich.edu        %(class_name)s(ExtMachInst _machInst, const char * instMnem,
1085163Sgblack@eecs.umich.edu                bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1095163Sgblack@eecs.umich.edu                Fault _fault, uint8_t _cc);
1105163Sgblack@eecs.umich.edu
1115163Sgblack@eecs.umich.edu        %(class_name)s(ExtMachInst _machInst, const char * instMnem,
1125163Sgblack@eecs.umich.edu                Fault _fault, uint8_t _cc);
1135163Sgblack@eecs.umich.edu
1145163Sgblack@eecs.umich.edu        %(BasicExecDeclare)s
1155163Sgblack@eecs.umich.edu    };
1165163Sgblack@eecs.umich.edu}};
1175163Sgblack@eecs.umich.edu
1185163Sgblack@eecs.umich.edudef template MicroFaultExecute {{
1195163Sgblack@eecs.umich.edu        Fault %(class_name)s::execute(%(CPU_exec_context)s *xc,
1204519Sgblack@eecs.umich.edu                Trace::InstRecord *traceData) const
1214519Sgblack@eecs.umich.edu        {
1225163Sgblack@eecs.umich.edu            %(op_decl)s;
1235163Sgblack@eecs.umich.edu            %(op_rd)s;
1245163Sgblack@eecs.umich.edu            if (%(cond_test)s) {
1255163Sgblack@eecs.umich.edu                //Return the fault we were constructed with
1265163Sgblack@eecs.umich.edu                return fault;
1275163Sgblack@eecs.umich.edu            } else {
1285163Sgblack@eecs.umich.edu                return NoFault;
1295163Sgblack@eecs.umich.edu            }
1304519Sgblack@eecs.umich.edu        }
1314519Sgblack@eecs.umich.edu}};
1324519Sgblack@eecs.umich.edu
1335172Sgblack@eecs.umich.eduoutput exec {{
1345172Sgblack@eecs.umich.edu    Fault
1355172Sgblack@eecs.umich.edu    MicroHalt::execute(%(CPU_exec_context)s *xc,
1365172Sgblack@eecs.umich.edu            Trace::InstRecord * traceData) const
1375172Sgblack@eecs.umich.edu    {
1385172Sgblack@eecs.umich.edu        xc->suspend();
1395172Sgblack@eecs.umich.edu        return NoFault;
1405172Sgblack@eecs.umich.edu    }
1415172Sgblack@eecs.umich.edu}};
1425172Sgblack@eecs.umich.edu
1434590Sgblack@eecs.umich.eduoutput decoder {{
1445163Sgblack@eecs.umich.edu    inline MicroFaultBase::MicroFaultBase(
1455163Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1465163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1474590Sgblack@eecs.umich.edu        X86MicroopBase(machInst, "fault", instMnem,
1485163Sgblack@eecs.umich.edu                false, false, false, false, No_OpClass),
1495163Sgblack@eecs.umich.edu        fault(_fault), cc(_cc)
1504519Sgblack@eecs.umich.edu    {
1514519Sgblack@eecs.umich.edu    }
1524519Sgblack@eecs.umich.edu
1535163Sgblack@eecs.umich.edu    inline MicroFaultBase::MicroFaultBase(
1544519Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1554519Sgblack@eecs.umich.edu            bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1565163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1574590Sgblack@eecs.umich.edu        X86MicroopBase(machInst, "fault", instMnem,
1584590Sgblack@eecs.umich.edu                isMicro, isDelayed, isFirst, isLast, No_OpClass),
1595163Sgblack@eecs.umich.edu                fault(_fault), cc(_cc)
1604519Sgblack@eecs.umich.edu    {
1614519Sgblack@eecs.umich.edu    }
1624519Sgblack@eecs.umich.edu}};
1634519Sgblack@eecs.umich.edu
1645163Sgblack@eecs.umich.edudef template MicroFaultConstructor {{
1655163Sgblack@eecs.umich.edu
1665163Sgblack@eecs.umich.edu    inline void %(class_name)s::buildMe()
1675163Sgblack@eecs.umich.edu    {
1685163Sgblack@eecs.umich.edu        %(constructor)s;
1695163Sgblack@eecs.umich.edu    }
1705163Sgblack@eecs.umich.edu
1715163Sgblack@eecs.umich.edu    inline %(class_name)s::%(class_name)s(
1725163Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1735163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1745163Sgblack@eecs.umich.edu        %(base_class)s(machInst, instMnem, _fault, _cc)
1755163Sgblack@eecs.umich.edu    {
1765163Sgblack@eecs.umich.edu        buildMe();
1775163Sgblack@eecs.umich.edu    }
1785163Sgblack@eecs.umich.edu
1795163Sgblack@eecs.umich.edu    inline %(class_name)s::%(class_name)s(
1805163Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1815163Sgblack@eecs.umich.edu            bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1825163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1835163Sgblack@eecs.umich.edu        %(base_class)s(machInst, instMnem,
1845163Sgblack@eecs.umich.edu                isMicro, isDelayed, isFirst, isLast, _fault, _cc)
1855163Sgblack@eecs.umich.edu    {
1865163Sgblack@eecs.umich.edu        buildMe();
1875163Sgblack@eecs.umich.edu    }
1885163Sgblack@eecs.umich.edu}};
1895163Sgblack@eecs.umich.edu
1904696Sgblack@eecs.umich.eduoutput decoder {{
1915163Sgblack@eecs.umich.edu    std::string MicroFaultBase::generateDisassembly(Addr pc,
1924696Sgblack@eecs.umich.edu            const SymbolTable *symtab) const
1934696Sgblack@eecs.umich.edu    {
1944696Sgblack@eecs.umich.edu        std::stringstream response;
1954696Sgblack@eecs.umich.edu
1964696Sgblack@eecs.umich.edu        printMnemonic(response, instMnem, mnemonic);
1974696Sgblack@eecs.umich.edu        if(fault)
1984696Sgblack@eecs.umich.edu            response << fault->name();
1994696Sgblack@eecs.umich.edu        else
2004696Sgblack@eecs.umich.edu            response << "No Fault";
2014696Sgblack@eecs.umich.edu
2024696Sgblack@eecs.umich.edu        return response.str();
2034696Sgblack@eecs.umich.edu    }
2044696Sgblack@eecs.umich.edu}};
2054696Sgblack@eecs.umich.edu
2064519Sgblack@eecs.umich.edulet {{
2074590Sgblack@eecs.umich.edu    class Fault(X86Microop):
2085163Sgblack@eecs.umich.edu        className = "MicroFault"
2095163Sgblack@eecs.umich.edu        def __init__(self, fault, flags=None):
2104590Sgblack@eecs.umich.edu            self.fault = fault
2115163Sgblack@eecs.umich.edu            if flags:
2125163Sgblack@eecs.umich.edu                if not isinstance(flags, (list, tuple)):
2135163Sgblack@eecs.umich.edu                    raise Exception, "flags must be a list or tuple of flags"
2145163Sgblack@eecs.umich.edu                self.cond = " | ".join(flags)
2155163Sgblack@eecs.umich.edu                self.className += "Flags"
2165163Sgblack@eecs.umich.edu            else:
2175163Sgblack@eecs.umich.edu                self.cond = "0"
2184590Sgblack@eecs.umich.edu
2194590Sgblack@eecs.umich.edu        def getAllocator(self, *microFlags):
2205163Sgblack@eecs.umich.edu            allocator = '''new %(class_name)s(machInst, mnemonic
2215163Sgblack@eecs.umich.edu                    %(flags)s, %(fault)s, %(cc)s)''' % {
2225163Sgblack@eecs.umich.edu                "class_name" : self.className,
2234590Sgblack@eecs.umich.edu                "flags" : self.microFlagsText(microFlags),
2245163Sgblack@eecs.umich.edu                "fault" : self.fault,
2255163Sgblack@eecs.umich.edu                "cc" : self.cond}
2264590Sgblack@eecs.umich.edu            return allocator
2275163Sgblack@eecs.umich.edu
2285163Sgblack@eecs.umich.edu    iop = InstObjParams("fault", "MicroFault", "MicroFaultBase",
2295163Sgblack@eecs.umich.edu            {"code": "",
2305163Sgblack@eecs.umich.edu             "cond_test": "checkCondition(ccFlagBits, cc)"})
2315163Sgblack@eecs.umich.edu    exec_output = MicroFaultExecute.subst(iop)
2325163Sgblack@eecs.umich.edu    header_output = MicroFaultDeclare.subst(iop)
2335163Sgblack@eecs.umich.edu    decoder_output = MicroFaultConstructor.subst(iop)
2345163Sgblack@eecs.umich.edu    iop = InstObjParams("fault", "MicroFaultFlags", "MicroFaultBase",
2355163Sgblack@eecs.umich.edu            {"code": "",
2365163Sgblack@eecs.umich.edu             "cond_test": "true"})
2375163Sgblack@eecs.umich.edu    exec_output += MicroFaultExecute.subst(iop)
2385163Sgblack@eecs.umich.edu    header_output += MicroFaultDeclare.subst(iop)
2395163Sgblack@eecs.umich.edu    decoder_output += MicroFaultConstructor.subst(iop)
2404590Sgblack@eecs.umich.edu    microopClasses["fault"] = Fault
2415172Sgblack@eecs.umich.edu
2425172Sgblack@eecs.umich.edu    class Halt(X86Microop):
2435172Sgblack@eecs.umich.edu        def __init__(self):
2445172Sgblack@eecs.umich.edu            pass
2455172Sgblack@eecs.umich.edu
2465172Sgblack@eecs.umich.edu        def getAllocator(self, *microFlags):
2475172Sgblack@eecs.umich.edu            return "new MicroHalt(machInst, mnemonic %(flags)s)" % \
2485172Sgblack@eecs.umich.edu                    self.microFlagsText(microFlags)
2495172Sgblack@eecs.umich.edu
2505172Sgblack@eecs.umich.edu    microopClasses["halt"] = Halt
2514519Sgblack@eecs.umich.edu}};
252