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