seqop.isa revision 5662
15661Sgblack@eecs.umich.edu// Copyright (c) 2008 The Hewlett-Packard Development Company
25661Sgblack@eecs.umich.edu// All rights reserved.
35661Sgblack@eecs.umich.edu//
45661Sgblack@eecs.umich.edu// Redistribution and use of this software in source and binary forms,
55661Sgblack@eecs.umich.edu// with or without modification, are permitted provided that the
65661Sgblack@eecs.umich.edu// following conditions are met:
75661Sgblack@eecs.umich.edu//
85661Sgblack@eecs.umich.edu// The software must be used only for Non-Commercial Use which means any
95661Sgblack@eecs.umich.edu// use which is NOT directed to receiving any direct monetary
105661Sgblack@eecs.umich.edu// compensation for, or commercial advantage from such use.  Illustrative
115661Sgblack@eecs.umich.edu// examples of non-commercial use are academic research, personal study,
125661Sgblack@eecs.umich.edu// teaching, education and corporate research & development.
135661Sgblack@eecs.umich.edu// Illustrative examples of commercial use are distributing products for
145661Sgblack@eecs.umich.edu// commercial advantage and providing services using the software for
155661Sgblack@eecs.umich.edu// commercial advantage.
165661Sgblack@eecs.umich.edu//
175661Sgblack@eecs.umich.edu// If you wish to use this software or functionality therein that may be
185661Sgblack@eecs.umich.edu// covered by patents for commercial use, please contact:
195661Sgblack@eecs.umich.edu//     Director of Intellectual Property Licensing
205661Sgblack@eecs.umich.edu//     Office of Strategy and Technology
215661Sgblack@eecs.umich.edu//     Hewlett-Packard Company
225661Sgblack@eecs.umich.edu//     1501 Page Mill Road
235661Sgblack@eecs.umich.edu//     Palo Alto, California  94304
245661Sgblack@eecs.umich.edu//
255661Sgblack@eecs.umich.edu// Redistributions of source code must retain the above copyright notice,
265661Sgblack@eecs.umich.edu// this list of conditions and the following disclaimer.  Redistributions
275661Sgblack@eecs.umich.edu// in binary form must reproduce the above copyright notice, this list of
285661Sgblack@eecs.umich.edu// conditions and the following disclaimer in the documentation and/or
295661Sgblack@eecs.umich.edu// other materials provided with the distribution.  Neither the name of
305661Sgblack@eecs.umich.edu// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
315661Sgblack@eecs.umich.edu// contributors may be used to endorse or promote products derived from
325661Sgblack@eecs.umich.edu// this software without specific prior written permission.  No right of
335661Sgblack@eecs.umich.edu// sublicense is granted herewith.  Derivatives of the software and
345661Sgblack@eecs.umich.edu// output created using the software may be prepared, but only for
355661Sgblack@eecs.umich.edu// Non-Commercial Uses.  Derivatives of the software may be shared with
365661Sgblack@eecs.umich.edu// others provided: (i) the others agree to abide by the list of
375661Sgblack@eecs.umich.edu// conditions herein which includes the Non-Commercial Use restrictions;
385661Sgblack@eecs.umich.edu// and (ii) such Derivatives of the software include the above copyright
395661Sgblack@eecs.umich.edu// notice to acknowledge the contribution from this software where
405661Sgblack@eecs.umich.edu// applicable, this list of conditions and the disclaimer below.
415661Sgblack@eecs.umich.edu//
425661Sgblack@eecs.umich.edu// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
435661Sgblack@eecs.umich.edu// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
445661Sgblack@eecs.umich.edu// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
455661Sgblack@eecs.umich.edu// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
465661Sgblack@eecs.umich.edu// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
475661Sgblack@eecs.umich.edu// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
485661Sgblack@eecs.umich.edu// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
495661Sgblack@eecs.umich.edu// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
505661Sgblack@eecs.umich.edu// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
515661Sgblack@eecs.umich.edu// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
525661Sgblack@eecs.umich.edu// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
535661Sgblack@eecs.umich.edu//
545661Sgblack@eecs.umich.edu// Authors: Gabe Black
555661Sgblack@eecs.umich.edu
565661Sgblack@eecs.umich.eduoutput header {{
575661Sgblack@eecs.umich.edu    class SeqOpBase : public X86ISA::X86MicroopBase
585661Sgblack@eecs.umich.edu    {
595661Sgblack@eecs.umich.edu      protected:
605661Sgblack@eecs.umich.edu        uint16_t target;
615661Sgblack@eecs.umich.edu        uint8_t cc;
625661Sgblack@eecs.umich.edu
635661Sgblack@eecs.umich.edu      public:
645661Sgblack@eecs.umich.edu        SeqOpBase(ExtMachInst _machInst, const char * instMnem,
655661Sgblack@eecs.umich.edu                const char * mnemonic,
665661Sgblack@eecs.umich.edu                bool isMicro, bool isDelayed, bool isFirst, bool isLast,
675661Sgblack@eecs.umich.edu                uint16_t _target, uint8_t _cc);
685661Sgblack@eecs.umich.edu
695661Sgblack@eecs.umich.edu        SeqOpBase(ExtMachInst _machInst, const char * instMnem,
705661Sgblack@eecs.umich.edu                const char * mnemonic,
715661Sgblack@eecs.umich.edu                uint16_t _target, uint8_t _cc);
725661Sgblack@eecs.umich.edu
735661Sgblack@eecs.umich.edu        std::string generateDisassembly(Addr pc,
745661Sgblack@eecs.umich.edu                const SymbolTable *symtab) const;
755661Sgblack@eecs.umich.edu    };
765661Sgblack@eecs.umich.edu}};
775661Sgblack@eecs.umich.edu
785661Sgblack@eecs.umich.edudef template SeqOpDeclare {{
795661Sgblack@eecs.umich.edu    class %(class_name)s : public %(base_class)s
805661Sgblack@eecs.umich.edu    {
815661Sgblack@eecs.umich.edu      private:
825661Sgblack@eecs.umich.edu        void buildMe();
835661Sgblack@eecs.umich.edu      public:
845661Sgblack@eecs.umich.edu        %(class_name)s(ExtMachInst _machInst, const char * instMnem,
855661Sgblack@eecs.umich.edu                bool isMicro, bool isDelayed, bool isFirst, bool isLast,
865661Sgblack@eecs.umich.edu                uint16_t _target, uint8_t _cc);
875661Sgblack@eecs.umich.edu
885661Sgblack@eecs.umich.edu        %(class_name)s(ExtMachInst _machInst, const char * instMnem,
895661Sgblack@eecs.umich.edu                uint16_t _target, uint8_t _cc);
905661Sgblack@eecs.umich.edu
915661Sgblack@eecs.umich.edu        %(BasicExecDeclare)s
925661Sgblack@eecs.umich.edu    };
935661Sgblack@eecs.umich.edu}};
945661Sgblack@eecs.umich.edu
955661Sgblack@eecs.umich.edudef template SeqOpExecute {{
965661Sgblack@eecs.umich.edu        Fault %(class_name)s::execute(%(CPU_exec_context)s *xc,
975661Sgblack@eecs.umich.edu                Trace::InstRecord *traceData) const
985661Sgblack@eecs.umich.edu        {
995661Sgblack@eecs.umich.edu            %(op_decl)s;
1005661Sgblack@eecs.umich.edu            %(op_rd)s;
1015661Sgblack@eecs.umich.edu            if (%(cond_test)s) {
1025661Sgblack@eecs.umich.edu                %(code)s;
1035661Sgblack@eecs.umich.edu            } else {
1045661Sgblack@eecs.umich.edu                %(else_code)s;
1055661Sgblack@eecs.umich.edu            }
1065661Sgblack@eecs.umich.edu            %(op_wb)s;
1075661Sgblack@eecs.umich.edu            return NoFault;
1085661Sgblack@eecs.umich.edu        }
1095661Sgblack@eecs.umich.edu}};
1105661Sgblack@eecs.umich.edu
1115661Sgblack@eecs.umich.eduoutput decoder {{
1125661Sgblack@eecs.umich.edu    inline SeqOpBase::SeqOpBase(
1135661Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * mnemonic, const char * instMnem,
1145661Sgblack@eecs.umich.edu            uint16_t _target, uint8_t _cc) :
1155661Sgblack@eecs.umich.edu        X86MicroopBase(machInst, mnemonic, instMnem,
1165661Sgblack@eecs.umich.edu                false, false, false, false, No_OpClass),
1175661Sgblack@eecs.umich.edu        target(_target), cc(_cc)
1185661Sgblack@eecs.umich.edu    {
1195661Sgblack@eecs.umich.edu    }
1205661Sgblack@eecs.umich.edu
1215661Sgblack@eecs.umich.edu    inline SeqOpBase::SeqOpBase(
1225661Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * mnemonic, const char * instMnem,
1235661Sgblack@eecs.umich.edu            bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1245661Sgblack@eecs.umich.edu            uint16_t _target, uint8_t _cc) :
1255661Sgblack@eecs.umich.edu        X86MicroopBase(machInst, mnemonic, instMnem,
1265661Sgblack@eecs.umich.edu                isMicro, isDelayed, isFirst, isLast, No_OpClass),
1275661Sgblack@eecs.umich.edu                target(_target), cc(_cc)
1285661Sgblack@eecs.umich.edu    {
1295661Sgblack@eecs.umich.edu    }
1305661Sgblack@eecs.umich.edu}};
1315661Sgblack@eecs.umich.edu
1325661Sgblack@eecs.umich.edudef template SeqOpConstructor {{
1335661Sgblack@eecs.umich.edu
1345661Sgblack@eecs.umich.edu    inline void %(class_name)s::buildMe()
1355661Sgblack@eecs.umich.edu    {
1365661Sgblack@eecs.umich.edu        %(constructor)s;
1375661Sgblack@eecs.umich.edu    }
1385661Sgblack@eecs.umich.edu
1395661Sgblack@eecs.umich.edu    inline %(class_name)s::%(class_name)s(
1405661Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1415661Sgblack@eecs.umich.edu            uint16_t _target, uint8_t _cc) :
1425661Sgblack@eecs.umich.edu        %(base_class)s(machInst, "%(mnemonic)s", instMnem, _target, _cc)
1435661Sgblack@eecs.umich.edu    {
1445661Sgblack@eecs.umich.edu        buildMe();
1455661Sgblack@eecs.umich.edu    }
1465661Sgblack@eecs.umich.edu
1475661Sgblack@eecs.umich.edu    inline %(class_name)s::%(class_name)s(
1485661Sgblack@eecs.umich.edu            ExtMachInst machInst, const char * instMnem,
1495661Sgblack@eecs.umich.edu            bool isMicro, bool isDelayed, bool isFirst, bool isLast,
1505661Sgblack@eecs.umich.edu            uint16_t _target, uint8_t _cc) :
1515661Sgblack@eecs.umich.edu        %(base_class)s(machInst, "%(mnemonic)s", instMnem,
1525661Sgblack@eecs.umich.edu                isMicro, isDelayed, isFirst, isLast, _target, _cc)
1535661Sgblack@eecs.umich.edu    {
1545661Sgblack@eecs.umich.edu        buildMe();
1555661Sgblack@eecs.umich.edu    }
1565661Sgblack@eecs.umich.edu}};
1575661Sgblack@eecs.umich.edu
1585661Sgblack@eecs.umich.eduoutput decoder {{
1595661Sgblack@eecs.umich.edu    std::string SeqOpBase::generateDisassembly(Addr pc,
1605661Sgblack@eecs.umich.edu            const SymbolTable *symtab) const
1615661Sgblack@eecs.umich.edu    {
1625661Sgblack@eecs.umich.edu        std::stringstream response;
1635661Sgblack@eecs.umich.edu
1645661Sgblack@eecs.umich.edu        printMnemonic(response, instMnem, mnemonic);
1655661Sgblack@eecs.umich.edu        ccprintf(response, "%#x", target);
1665661Sgblack@eecs.umich.edu
1675661Sgblack@eecs.umich.edu        return response.str();
1685661Sgblack@eecs.umich.edu    }
1695661Sgblack@eecs.umich.edu}};
1705661Sgblack@eecs.umich.edu
1715661Sgblack@eecs.umich.edulet {{
1725662Sgblack@eecs.umich.edu    class SeqOp(X86Microop):
1735661Sgblack@eecs.umich.edu        def __init__(self, target, flags=None):
1745661Sgblack@eecs.umich.edu            self.target = target
1755661Sgblack@eecs.umich.edu            if flags:
1765661Sgblack@eecs.umich.edu                if not isinstance(flags, (list, tuple)):
1775661Sgblack@eecs.umich.edu                    raise Exception, "flags must be a list or tuple of flags"
1785661Sgblack@eecs.umich.edu                self.cond = " | ".join(flags)
1795661Sgblack@eecs.umich.edu                self.className += "Flags"
1805661Sgblack@eecs.umich.edu            else:
1815661Sgblack@eecs.umich.edu                self.cond = "0"
1825661Sgblack@eecs.umich.edu
1835661Sgblack@eecs.umich.edu        def getAllocator(self, *microFlags):
1845661Sgblack@eecs.umich.edu            allocator = '''new %(class_name)s(machInst, mnemonic
1855661Sgblack@eecs.umich.edu                    %(flags)s, %(target)s, %(cc)s)''' % {
1865661Sgblack@eecs.umich.edu                "class_name" : self.className,
1875661Sgblack@eecs.umich.edu                "flags" : self.microFlagsText(microFlags),
1885661Sgblack@eecs.umich.edu                "target" : self.target,
1895661Sgblack@eecs.umich.edu                "cc" : self.cond}
1905661Sgblack@eecs.umich.edu            return allocator
1915661Sgblack@eecs.umich.edu
1925662Sgblack@eecs.umich.edu    class Br(SeqOp):
1935662Sgblack@eecs.umich.edu        className = "MicroBranch"
1945662Sgblack@eecs.umich.edu
1955662Sgblack@eecs.umich.edu        def getAllocator(self, *microFlags):
1965662Sgblack@eecs.umich.edu            (is_micro, is_delayed, is_first, is_last) = microFlags
1975662Sgblack@eecs.umich.edu            is_last = False
1985662Sgblack@eecs.umich.edu            microFlags = (is_micro, is_delayed, is_first, is_last)
1995662Sgblack@eecs.umich.edu            return super(Br, self).getAllocator(*microFlags)
2005662Sgblack@eecs.umich.edu
2015661Sgblack@eecs.umich.edu    iop = InstObjParams("br", "MicroBranchFlags", "SeqOpBase",
2025661Sgblack@eecs.umich.edu            {"code": "nuIP = target",
2035661Sgblack@eecs.umich.edu             "else_code": "nuIP = nuIP",
2045661Sgblack@eecs.umich.edu             "cond_test": "checkCondition(ccFlagBits, cc)"})
2055661Sgblack@eecs.umich.edu    exec_output += SeqOpExecute.subst(iop)
2065661Sgblack@eecs.umich.edu    header_output += SeqOpDeclare.subst(iop)
2075661Sgblack@eecs.umich.edu    decoder_output += SeqOpConstructor.subst(iop)
2085661Sgblack@eecs.umich.edu    iop = InstObjParams("br", "MicroBranch", "SeqOpBase",
2095661Sgblack@eecs.umich.edu            {"code": "nuIP = target",
2105661Sgblack@eecs.umich.edu             "else_code": "nuIP = nuIP",
2115661Sgblack@eecs.umich.edu             "cond_test": "true"})
2125661Sgblack@eecs.umich.edu    exec_output += SeqOpExecute.subst(iop)
2135661Sgblack@eecs.umich.edu    header_output += SeqOpDeclare.subst(iop)
2145661Sgblack@eecs.umich.edu    decoder_output += SeqOpConstructor.subst(iop)
2155661Sgblack@eecs.umich.edu    microopClasses["br"] = Br
2165661Sgblack@eecs.umich.edu}};
217