specop.isa revision 5163
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    };
804590Sgblack@eecs.umich.edu}};
814590Sgblack@eecs.umich.edu
825163Sgblack@eecs.umich.edudef template MicroFaultDeclare {{
835163Sgblack@eecs.umich.edu    class %(class_name)s : public %(base_class)s
845163Sgblack@eecs.umich.edu    {
855163Sgblack@eecs.umich.edu      private:
865163Sgblack@eecs.umich.edu        void buildMe();
875163Sgblack@eecs.umich.edu      public:
885163Sgblack@eecs.umich.edu        %(class_name)s(ExtMachInst _machInst, const char * instMnem,
895163Sgblack@eecs.umich.edu                bool isMicro, bool isDelayed, bool isFirst, bool isLast,
905163Sgblack@eecs.umich.edu                Fault _fault, uint8_t _cc);
915163Sgblack@eecs.umich.edu
925163Sgblack@eecs.umich.edu        %(class_name)s(ExtMachInst _machInst, const char * instMnem,
935163Sgblack@eecs.umich.edu                Fault _fault, uint8_t _cc);
945163Sgblack@eecs.umich.edu
955163Sgblack@eecs.umich.edu        %(BasicExecDeclare)s
965163Sgblack@eecs.umich.edu    };
975163Sgblack@eecs.umich.edu}};
985163Sgblack@eecs.umich.edu
995163Sgblack@eecs.umich.edudef template MicroFaultExecute {{
1005163Sgblack@eecs.umich.edu        Fault %(class_name)s::execute(%(CPU_exec_context)s *xc,
1014519Sgblack@eecs.umich.edu                Trace::InstRecord *traceData) const
1024519Sgblack@eecs.umich.edu        {
1035163Sgblack@eecs.umich.edu            %(op_decl)s;
1045163Sgblack@eecs.umich.edu            %(op_rd)s;
1055163Sgblack@eecs.umich.edu            if (%(cond_test)s) {
1065163Sgblack@eecs.umich.edu                //Return the fault we were constructed with
1075163Sgblack@eecs.umich.edu                return fault;
1085163Sgblack@eecs.umich.edu            } else {
1095163Sgblack@eecs.umich.edu                return NoFault;
1105163Sgblack@eecs.umich.edu            }
1114519Sgblack@eecs.umich.edu        }
1124519Sgblack@eecs.umich.edu}};
1134519Sgblack@eecs.umich.edu
1144590Sgblack@eecs.umich.eduoutput decoder {{
1155163Sgblack@eecs.umich.edu    inline MicroFaultBase::MicroFaultBase(
1165163Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1175163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1184590Sgblack@eecs.umich.edu        X86MicroopBase(machInst, "fault", instMnem,
1195163Sgblack@eecs.umich.edu                false, false, false, false, No_OpClass),
1205163Sgblack@eecs.umich.edu        fault(_fault), cc(_cc)
1214519Sgblack@eecs.umich.edu    {
1224519Sgblack@eecs.umich.edu    }
1234519Sgblack@eecs.umich.edu
1245163Sgblack@eecs.umich.edu    inline MicroFaultBase::MicroFaultBase(
1254519Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1264519Sgblack@eecs.umich.edu            bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1275163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1284590Sgblack@eecs.umich.edu        X86MicroopBase(machInst, "fault", instMnem,
1294590Sgblack@eecs.umich.edu                isMicro, isDelayed, isFirst, isLast, No_OpClass),
1305163Sgblack@eecs.umich.edu                fault(_fault), cc(_cc)
1314519Sgblack@eecs.umich.edu    {
1324519Sgblack@eecs.umich.edu    }
1334519Sgblack@eecs.umich.edu}};
1344519Sgblack@eecs.umich.edu
1355163Sgblack@eecs.umich.edudef template MicroFaultConstructor {{
1365163Sgblack@eecs.umich.edu
1375163Sgblack@eecs.umich.edu    inline void %(class_name)s::buildMe()
1385163Sgblack@eecs.umich.edu    {
1395163Sgblack@eecs.umich.edu        %(constructor)s;
1405163Sgblack@eecs.umich.edu    }
1415163Sgblack@eecs.umich.edu
1425163Sgblack@eecs.umich.edu    inline %(class_name)s::%(class_name)s(
1435163Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1445163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1455163Sgblack@eecs.umich.edu        %(base_class)s(machInst, instMnem, _fault, _cc)
1465163Sgblack@eecs.umich.edu    {
1475163Sgblack@eecs.umich.edu        buildMe();
1485163Sgblack@eecs.umich.edu    }
1495163Sgblack@eecs.umich.edu
1505163Sgblack@eecs.umich.edu    inline %(class_name)s::%(class_name)s(
1515163Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1525163Sgblack@eecs.umich.edu            bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1535163Sgblack@eecs.umich.edu            Fault _fault, uint8_t _cc) :
1545163Sgblack@eecs.umich.edu        %(base_class)s(machInst, instMnem,
1555163Sgblack@eecs.umich.edu                isMicro, isDelayed, isFirst, isLast, _fault, _cc)
1565163Sgblack@eecs.umich.edu    {
1575163Sgblack@eecs.umich.edu        buildMe();
1585163Sgblack@eecs.umich.edu    }
1595163Sgblack@eecs.umich.edu}};
1605163Sgblack@eecs.umich.edu
1614696Sgblack@eecs.umich.eduoutput decoder {{
1625163Sgblack@eecs.umich.edu    std::string MicroFaultBase::generateDisassembly(Addr pc,
1634696Sgblack@eecs.umich.edu            const SymbolTable *symtab) const
1644696Sgblack@eecs.umich.edu    {
1654696Sgblack@eecs.umich.edu        std::stringstream response;
1664696Sgblack@eecs.umich.edu
1674696Sgblack@eecs.umich.edu        printMnemonic(response, instMnem, mnemonic);
1684696Sgblack@eecs.umich.edu        if(fault)
1694696Sgblack@eecs.umich.edu            response << fault->name();
1704696Sgblack@eecs.umich.edu        else
1714696Sgblack@eecs.umich.edu            response << "No Fault";
1724696Sgblack@eecs.umich.edu
1734696Sgblack@eecs.umich.edu        return response.str();
1744696Sgblack@eecs.umich.edu    }
1754696Sgblack@eecs.umich.edu}};
1764696Sgblack@eecs.umich.edu
1774519Sgblack@eecs.umich.edulet {{
1784590Sgblack@eecs.umich.edu    class Fault(X86Microop):
1795163Sgblack@eecs.umich.edu        className = "MicroFault"
1805163Sgblack@eecs.umich.edu        def __init__(self, fault, flags=None):
1814590Sgblack@eecs.umich.edu            self.fault = fault
1825163Sgblack@eecs.umich.edu            if flags:
1835163Sgblack@eecs.umich.edu                if not isinstance(flags, (list, tuple)):
1845163Sgblack@eecs.umich.edu                    raise Exception, "flags must be a list or tuple of flags"
1855163Sgblack@eecs.umich.edu                self.cond = " | ".join(flags)
1865163Sgblack@eecs.umich.edu                self.className += "Flags"
1875163Sgblack@eecs.umich.edu            else:
1885163Sgblack@eecs.umich.edu                self.cond = "0"
1894590Sgblack@eecs.umich.edu
1904590Sgblack@eecs.umich.edu        def getAllocator(self, *microFlags):
1915163Sgblack@eecs.umich.edu            allocator = '''new %(class_name)s(machInst, mnemonic
1925163Sgblack@eecs.umich.edu                    %(flags)s, %(fault)s, %(cc)s)''' % {
1935163Sgblack@eecs.umich.edu                "class_name" : self.className,
1944590Sgblack@eecs.umich.edu                "flags" : self.microFlagsText(microFlags),
1955163Sgblack@eecs.umich.edu                "fault" : self.fault,
1965163Sgblack@eecs.umich.edu                "cc" : self.cond}
1974590Sgblack@eecs.umich.edu            return allocator
1985163Sgblack@eecs.umich.edu
1995163Sgblack@eecs.umich.edu    iop = InstObjParams("fault", "MicroFault", "MicroFaultBase",
2005163Sgblack@eecs.umich.edu            {"code": "",
2015163Sgblack@eecs.umich.edu             "cond_test": "checkCondition(ccFlagBits, cc)"})
2025163Sgblack@eecs.umich.edu    exec_output = MicroFaultExecute.subst(iop)
2035163Sgblack@eecs.umich.edu    header_output = MicroFaultDeclare.subst(iop)
2045163Sgblack@eecs.umich.edu    decoder_output = MicroFaultConstructor.subst(iop)
2055163Sgblack@eecs.umich.edu    iop = InstObjParams("fault", "MicroFaultFlags", "MicroFaultBase",
2065163Sgblack@eecs.umich.edu            {"code": "",
2075163Sgblack@eecs.umich.edu             "cond_test": "true"})
2085163Sgblack@eecs.umich.edu    exec_output += MicroFaultExecute.subst(iop)
2095163Sgblack@eecs.umich.edu    header_output += MicroFaultDeclare.subst(iop)
2105163Sgblack@eecs.umich.edu    decoder_output += MicroFaultConstructor.subst(iop)
2114590Sgblack@eecs.umich.edu    microopClasses["fault"] = Fault
2124519Sgblack@eecs.umich.edu}};
213