Break out the one and two byte opcodes into different files. Also change what bits...
authorGabe Black <gblack@eecs.umich.edu>
Wed, 21 Mar 2007 19:19:53 +0000 (19:19 +0000)
committerGabe Black <gblack@eecs.umich.edu>
Wed, 21 Mar 2007 19:19:53 +0000 (19:19 +0000)
--HG--
extra : convert_revision : 8768676eac25e6a4f0dc50ce2dc576bdcdd6e025

14 files changed:
src/arch/x86/isa/base.isa [new file with mode: 0644]
src/arch/x86/isa/bitfields.isa
src/arch/x86/isa/decoder/decoder.isa
src/arch/x86/isa/decoder/one_byte_opcodes.isa [new file with mode: 0644]
src/arch/x86/isa/decoder/two_byte_opcodes.isa [new file with mode: 0644]
src/arch/x86/isa/formats/basic.isa
src/arch/x86/isa/formats/error.isa [new file with mode: 0644]
src/arch/x86/isa/formats/formats.isa
src/arch/x86/isa/formats/unimp.isa [new file with mode: 0644]
src/arch/x86/isa/main.isa
src/arch/x86/predecoder.cc
src/arch/x86/predecoder.hh
src/arch/x86/predecoder_tables.cc
src/arch/x86/types.hh

diff --git a/src/arch/x86/isa/base.isa b/src/arch/x86/isa/base.isa
new file mode 100644 (file)
index 0000000..4776f7a
--- /dev/null
@@ -0,0 +1,181 @@
+// Copyright (c) 2007 The Hewlett-Packard Development Company
+// All rights reserved.
+//
+// Redistribution and use of this software in source and binary forms,
+// with or without modification, are permitted provided that the
+// following conditions are met:
+//
+// The software must be used only for Non-Commercial Use which means any
+// use which is NOT directed to receiving any direct monetary
+// compensation for, or commercial advantage from such use.  Illustrative
+// examples of non-commercial use are academic research, personal study,
+// teaching, education and corporate research & development.
+// Illustrative examples of commercial use are distributing products for
+// commercial advantage and providing services using the software for
+// commercial advantage.
+//
+// If you wish to use this software or functionality therein that may be
+// covered by patents for commercial use, please contact:
+//     Director of Intellectual Property Licensing
+//     Office of Strategy and Technology
+//     Hewlett-Packard Company
+//     1501 Page Mill Road
+//     Palo Alto, California  94304
+//
+// Redistributions of source code must retain the above copyright notice,
+// this list of conditions and the following disclaimer.  Redistributions
+// in binary form must reproduce the above copyright notice, this list of
+// conditions and the following disclaimer in the documentation and/or
+// other materials provided with the distribution.  Neither the name of
+// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.  No right of
+// sublicense is granted herewith.  Derivatives of the software and
+// output created using the software may be prepared, but only for
+// Non-Commercial Uses.  Derivatives of the software may be shared with
+// others provided: (i) the others agree to abide by the list of
+// conditions herein which includes the Non-Commercial Use restrictions;
+// and (ii) such Derivatives of the software include the above copyright
+// notice to acknowledge the contribution from this software where
+// applicable, this list of conditions and the disclaimer below.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Gabe Black
+
+////////////////////////////////////////////////////////////////////
+//
+// Base class for sparc instructions, and some support functions
+//
+
+output header {{
+
+        /**
+         * Base class for all X86 static instructions.
+         */
+        class X86StaticInst : public StaticInst
+        {
+          protected:
+            // Constructor.
+            X86StaticInst(const char *mnem,
+                 ExtMachInst _machInst, OpClass __opClass)
+                    : StaticInst(mnem, _machInst, __opClass)
+                {
+                }
+
+            std::string generateDisassembly(Addr pc,
+                const SymbolTable *symtab) const;
+
+            void printReg(std::ostream &os, int reg) const;
+            void printSrcReg(std::ostream &os, int reg) const;
+            void printDestReg(std::ostream &os, int reg) const;
+        };
+}};
+
+output decoder {{
+
+        inline void printMnemonic(std::ostream &os, const char * mnemonic)
+        {
+            ccprintf(os, "\t%s   ", mnemonic);
+        }
+
+        void
+        X86StaticInst::printSrcReg(std::ostream &os, int reg) const
+        {
+            if(_numSrcRegs > reg)
+                printReg(os, _srcRegIdx[reg]);
+        }
+
+        void
+        X86StaticInst::printDestReg(std::ostream &os, int reg) const
+        {
+            if(_numDestRegs > reg)
+                printReg(os, _destRegIdx[reg]);
+        }
+
+        void
+        X86StaticInst::printReg(std::ostream &os, int reg) const
+        {
+            if (reg < FP_Base_DepTag) {
+                //FIXME These should print differently depending on the
+                //mode etc, but for now this will get the point across
+                switch (reg) {
+                  case INTREG_RAX:
+                    ccprintf(os, "rax");
+                    break;
+                  case INTREG_RBX:
+                    ccprintf(os, "rbx");
+                    break;
+                  case INTREG_RCX:
+                    ccprintf(os, "rcx");
+                    break;
+                  case INTREG_RDX:
+                    ccprintf(os, "rdx");
+                    break;
+                  case INTREG_RSP:
+                    ccprintf(os, "rsp");
+                    break;
+                  case INTREG_RBP:
+                    ccprintf(os, "rbp");
+                    break;
+                  case INTREG_RSI:
+                    ccprintf(os, "rsi");
+                    break;
+                  case INTREG_RDI:
+                    ccprintf(os, "rdi");
+                    break;
+                  case INTREG_R8W:
+                    ccprintf(os, "r8");
+                    break;
+                  case INTREG_R9W:
+                    ccprintf(os, "r9");
+                    break;
+                  case INTREG_R10W:
+                    ccprintf(os, "r10");
+                    break;
+                  case INTREG_R11W:
+                    ccprintf(os, "r11");
+                    break;
+                  case INTREG_R12W:
+                    ccprintf(os, "r12");
+                    break;
+                  case INTREG_R13W:
+                    ccprintf(os, "r13");
+                    break;
+                  case INTREG_R14W:
+                    ccprintf(os, "r14");
+                    break;
+                  case INTREG_R15W:
+                    ccprintf(os, "r15");
+                    break;
+                }
+            } else if (reg < Ctrl_Base_DepTag) {
+                ccprintf(os, "%%f%d", reg - FP_Base_DepTag);
+            } else {
+                switch (reg - Ctrl_Base_DepTag) {
+                  default:
+                    ccprintf(os, "%%ctrl%d", reg - Ctrl_Base_DepTag);
+                }
+            }
+        }
+
+        std::string X86StaticInst::generateDisassembly(Addr pc,
+            const SymbolTable *symtab) const
+        {
+            std::stringstream ss;
+
+            printMnemonic(ss, mnemonic);
+
+            return ss.str();
+        }
+}};
index 47aec4fa1e5e236dc8ed9babfb538b6a50a39501..fff324caade07c751f9d5839da53a2e55005ccd2 100644 (file)
 // Bitfield definitions.
 //
 
-def bitfield EXAMPLE   <24>;
+//Prefixes
+def bitfield REX rex;
+def bitfield LEGACY legacy;
 
+// Pieces of the opcode
+def bitfield OPCODE_NUM opcode.num;
+def bitfield OPCODE_PREFIXA opcode.prefixA;
+def bitfield OPCODE_PREFIXB opcode.prefixB;
+def bitfield OPCODE_OP opcode.op;
+//The top 5 bits of the opcode tend to split the instructions into groups
+def bitfield OPCODE_OP_TOP5 opcode.op.top5;
+def bitfield OPCODE_OP_BOTTOM3 opcode.op.bottom3;
+
+// Immediate fields
+def bitfield IMMEDIATE immediate;
+def bitfield DISPLACEMENT displacement;
+
+//Modifier bytes
+def bitfield MODRM modRM;
+def bitfield MODRM_MOD modRM.mod;
+def bitfield MODRM_REG modRM.reg;
+def bitfield MODRM_RM modRM.rm;
+
+def bitfield SIB sib;
+def bitfield SIB_SCALE sib.scale;
+def bitfield SIB_INDEX sib.index;
+def bitfield SIB_BASE sib.base;
index 85f376b49e4c13a037551f3c2141d860a086e9be..20f31f882f35b22b00fcb5592c4417145bb58838 100644 (file)
 // The actual decoder specification
 //
 
-decode EXAMPLE default Unknown::unknown()
+decode OPCODE_NUM default Unknown::unknown()
 {
-    0x0: Unknown::unknown2();
+    0x0: M5InternalError::error(
+        {{"Saw an ExtMachInst with zero opcode bytes!"}});
+    //1 byte opcodes
+    ##include "one_byte_opcodes.isa"
+    //2 byte opcodes
+    ##include "two_byte_opcodes.isa"
+    //3 byte opcodes
+    0x3: decode OPCODE_PREFIXA {
+        0xF0: decode OPCODE_PREFIXB {
+            //We don't handle these properly in the predecoder yet, so there's
+            //no reason to implement them for now.
+            0x38: decode OPCODE_OP {
+                default: FailUnimpl::sseThreeEight();
+            }
+            0x3A: decode OPCODE_OP {
+                default: FailUnimpl::sseThreeA();
+            }
+            0xF0: decode OPCODE_OP {
+                default: FailUnimpl::threednow();
+            }
+            default: M5InternalError::error(
+                {{"Unexpected second opcode byte in three byte opcode!"}});
+        }
+        default: M5InternalError::error(
+            {{"Unexpected first opcode byte in three byte opcode!"}});
+    }
 }
diff --git a/src/arch/x86/isa/decoder/one_byte_opcodes.isa b/src/arch/x86/isa/decoder/one_byte_opcodes.isa
new file mode 100644 (file)
index 0000000..482786e
--- /dev/null
@@ -0,0 +1,398 @@
+// Copyright (c) 2007 The Hewlett-Packard Development Company
+// All rights reserved.
+//
+// Redistribution and use of this software in source and binary forms,
+// with or without modification, are permitted provided that the
+// following conditions are met:
+//
+// The software must be used only for Non-Commercial Use which means any
+// use which is NOT directed to receiving any direct monetary
+// compensation for, or commercial advantage from such use.  Illustrative
+// examples of non-commercial use are academic research, personal study,
+// teaching, education and corporate research & development.
+// Illustrative examples of commercial use are distributing products for
+// commercial advantage and providing services using the software for
+// commercial advantage.
+//
+// If you wish to use this software or functionality therein that may be
+// covered by patents for commercial use, please contact:
+//     Director of Intellectual Property Licensing
+//     Office of Strategy and Technology
+//     Hewlett-Packard Company
+//     1501 Page Mill Road
+//     Palo Alto, California  94304
+//
+// Redistributions of source code must retain the above copyright notice,
+// this list of conditions and the following disclaimer.  Redistributions
+// in binary form must reproduce the above copyright notice, this list of
+// conditions and the following disclaimer in the documentation and/or
+// other materials provided with the distribution.  Neither the name of
+// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.  No right of
+// sublicense is granted herewith.  Derivatives of the software and
+// output created using the software may be prepared, but only for
+// Non-Commercial Uses.  Derivatives of the software may be shared with
+// others provided: (i) the others agree to abide by the list of
+// conditions herein which includes the Non-Commercial Use restrictions;
+// and (ii) such Derivatives of the software include the above copyright
+// notice to acknowledge the contribution from this software where
+// applicable, this list of conditions and the disclaimer below.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Gabe Black
+
+////////////////////////////////////////////////////////////////////
+//
+// Decode the one byte opcodes
+//
+
+0x1: decode OPCODE_OP_TOP5 {
+    format WarnUnimpl {
+        0x00: decode OPCODE_OP_BOTTOM3 {
+            0x0: add_Eb_Gb();
+            0x1: add_Ev_Gv();
+            0x2: add_Gb_Eb();
+            0x3: add_Gv_Ev();
+            0x4: add_Al_Ib();
+            0x5: add_rAX_Iz();
+            0x6: push_ES();
+            0x7: pop_ES();
+        }
+        0x01: decode OPCODE_OP_BOTTOM3 {
+            0x0: or_Eb_Gb();
+            0x1: or_Ev_Gv();
+            0x2: or_Gb_Eb();
+            0x3: or_Gv_Ev();
+            0x4: or_Al_Ib();
+            0x5: or_rAX_Iz();
+            0x6: push_CS();
+            //Any time this is seen, it should generate a two byte opcode
+            0x7: M5InternalError::error(
+                {{"Saw a one byte opcode whose value was 0x0F!"}});
+        }
+        0x02: decode OPCODE_OP_BOTTOM3 {
+            0x0: adc_Eb_Gb();
+            0x1: adc_Ev_Gv();
+            0x2: adc_Gb_Eb();
+            0x3: adc_Gv_Ev();
+            0x4: adc_Al_Ib();
+            0x5: adc_rAX_Iz();
+            0x6: push_SS();
+            0x7: pop_SS();
+        }
+        0x03: decode OPCODE_OP_BOTTOM3 {
+            0x0: sbb_Eb_Gb();
+            0x1: sbb_Ev_Gv();
+            0x2: sbb_Gb_Eb();
+            0x3: sbb_Gv_Ev();
+            0x4: sbb_Al_Ib();
+            0x5: sbb_rAX_Iz();
+            0x6: push_DS();
+            0x7: pop_DS();
+        }
+        0x04: decode OPCODE_OP_BOTTOM3 {
+            0x0: and_Eb_Gb();
+            0x1: and_Ev_Gv();
+            0x2: and_Gb_Eb();
+            0x3: and_Gv_Ev();
+            0x4: and_Al_Ib();
+            0x5: and_rAX_Iz();
+            0x6: M5InternalError::error(
+                {{"Tried to execute the ES segment override prefix!"}});
+            0x7: daa();
+        }
+        0x05: decode OPCODE_OP_BOTTOM3 {
+            0x0: sub_Eb_Gb();
+            0x1: sub_Ev_Gv();
+            0x2: sub_Gb_Eb();
+            0x3: sub_Gv_Ev();
+            0x4: sub_Al_Ib();
+            0x5: sub_rAX_Iz();
+            0x6: M5InternalError::error(
+                {{"Tried to execute the CS segment override prefix!"}});
+            0x7: das();
+        }
+        0x06: decode OPCODE_OP_BOTTOM3 {
+            0x0: xor_Eb_Gb();
+            0x1: xor_Ev_Gv();
+            0x2: xor_Gb_Eb();
+            0x3: xor_Gv_Ev();
+            0x4: xor_Al_Ib();
+            0x5: xor_rAX_Iz();
+            0x6: M5InternalError::error(
+                {{"Tried to execute the SS segment override prefix!"}});
+            0x7: aaa();
+        }
+        0x07: decode OPCODE_OP_BOTTOM3 {
+            0x0: cmp_Eb_Gb();
+            0x1: cmp_Ev_Gv();
+            0x2: cmp_Gb_Eb();
+            0x3: cmp_Gv_Ev();
+            0x4: cmp_Al_Ib();
+            0x5: cmp_rAX_Iz();
+            0x6: M5InternalError::error(
+                {{"Tried to execute the DS segment override prefix!"}});
+            0x7: aas();
+        }
+        0x08: decode OPCODE_OP_BOTTOM3 {
+            0x0: inc_eAX();
+            0x1: inc_eCX();
+            0x2: inc_eDX();
+            0x3: inc_eBX();
+            0x4: inc_eSP();
+            0x5: inc_eBP();
+            0x6: inc_eSI();
+            0x7: inc_eDI();
+        }
+        0x09: decode OPCODE_OP_BOTTOM3 {
+            0x0: dec_eAX();
+            0x1: dec_eCX();
+            0x2: dec_eDX();
+            0x3: dec_eBX();
+            0x4: dec_eSP();
+            0x5: dec_eBP();
+            0x6: dec_eSI();
+            0x7: dec_eDI();
+        }
+        0x0A: decode OPCODE_OP_BOTTOM3 {
+            0x0: push_rAX();
+            0x1: push_rCX();
+            0x2: push_rDX();
+            0x3: push_rBX();
+            0x4: push_rSP();
+            0x5: push_rBP();
+            0x6: push_rSI();
+            0x7: push_rDI();
+        }
+        0x0B: decode OPCODE_OP_BOTTOM3 {
+            0x0: pop_rAX();
+            0x1: pop_rCX();
+            0x2: pop_rDX();
+            0x3: pop_rBX();
+            0x4: pop_rSP();
+            0x5: pop_rBP();
+            0x6: pop_rSI();
+            0x7: pop_rDI();
+        }
+        0x0C: decode OPCODE_OP_BOTTOM3 {
+            0x0: pusha();
+            0x1: popa();
+            0x2: bound_Gv_Ma();
+            0x3: arpl_Ew_Gw();
+            0x4: M5InternalError::error(
+                {{"Tried to execute the FS segment override prefix!"}});
+            0x5: M5InternalError::error(
+                {{"Tried to execute the GS segment override prefix!"}});
+            0x6: M5InternalError::error(
+                {{"Tried to execute the operand size override prefix!"}});
+            0x7: M5InternalError::error(
+                {{"Tried to execute the DS address size override prefix!"}});
+        }
+        0x0D: decode OPCODE_OP_BOTTOM3 {
+            0x0: push_Iz();
+            0x1: imul_Gv_Ev_Iz();
+            0x2: push_Ib();
+            0x3: imul_Gv_Ev_Ib();
+            0x4: ins_Yb_Dx();
+            0x5: ins_Yz_Dx();
+            0x6: outs_Dx_Xb();
+            0x7: outs_Dx_Xz();
+        }
+        0x0E: decode OPCODE_OP_BOTTOM3 {
+            0x0: jo_Jb();
+            0x1: jno_Jb();
+            0x2: jb_Jb();
+            0x3: jnb_Jb();
+            0x4: jz_Jb();
+            0x5: jnz_Jb();
+            0x6: jbe_Jb();
+            0x7: jnbe_Jb();
+        }
+        0x0F: decode OPCODE_OP_BOTTOM3 {
+            0x0: js_Jb();
+            0x1: jns_Jb();
+            0x2: jp_Jb();
+            0x3: jnp_Jb();
+            0x4: jl_Jb();
+            0x5: jnl_Jb();
+            0x6: jle_Jb();
+            0x7: jnke_Jb();
+        }
+        0x10: decode OPCODE_OP_BOTTOM3 {
+            0x0: group1_Eb_Ib();
+            0x1: group1_Ev_Iz();
+            0x2: group1_Eb_Ib();
+            0x3: group1_Ev_Ib();
+            0x4: test_Eb_Gb();
+            0x5: test_Ev_Gv();
+            0x6: xchg_Eb_Gb();
+            0x7: xchg_Ev_Gv();
+        }
+        0x11: decode OPCODE_OP_BOTTOM3 {
+            0x0: mov_Eb_Gb();
+            0x1: mov_Ev_Gv();
+            0x2: mov_Gb_Eb();
+            0x3: mov_Gv_Ev();
+            0x4: mov_MwRv_Sw();
+            0x5: lea_Gv_M();
+            0x6: mov_Sw_MwRv();
+            0x7: group10_Ev(); //Make sure this is Ev
+        }
+        0x12: decode OPCODE_OP_BOTTOM3 {
+            0x0: nop_or_pause(); //Check for repe prefix
+            0x1: xchg_rCX_rAX();
+            0x2: xchg_rDX_rAX();
+            0x3: xchg_rVX_rAX();
+            0x4: xchg_rSP_rAX();
+            0x5: xchg_rBP_rAX();
+            0x6: xchg_rSI_rAX();
+            0x7: xchg_rDI_rAX();
+        }
+        0x13: decode OPCODE_OP_BOTTOM3 {
+            0x0: cbw_or_cwde_or_cdqe_rAX();
+            0x1: cwd_or_cdq_or_cqo_rAX_rDX();
+            0x2: call_Ap();
+            0x3: fwait(); //aka wait
+            0x4: pushf_Fv();
+            0x5: popf_Fv();
+            0x6: sahf();
+            0x7: lahf();
+        }
+        0x14: decode OPCODE_OP_BOTTOM3 {
+            0x0: mov_Al_Ob();
+            0x1: mov_rAX_Ov();
+            0x2: mov_Ob_Al();
+            0x3: mov_Ov_rAX();
+            0x4: movs_Yb_Xb();
+            0x5: movs_Yv_Xv();
+            0x6: cmps_Yb_Xb();
+            0x7: cmps_Yv_Xv();
+        }
+        0x15: decode OPCODE_OP_BOTTOM3 {
+            0x0: test_Al_Ib();
+            0x1: test_rAX_Iz();
+            0x2: stos_Yb_Al();
+            0x3: stos_Yv_rAX();
+            0x4: lods_Al_Xb();
+            0x5: lods_rAX_Xv();
+            0x6: scas_Yb_Al();
+            0x7: scas_Yv_rAX();
+        }
+        0x16: decode OPCODE_OP_BOTTOM3 {
+            0x0: mov_Al_Ib();
+            0x1: mov_Cl_Ib();
+            0x2: mov_Dl_Ib();
+            0x3: mov_Bl_Ib();
+            0x4: mov_Ah_Ib();
+            0x5: mov_Ch_Ib();
+            0x6: mov_Dh_Ib();
+            0x7: mov_Bh_Ib();
+        }
+        0x17: decode OPCODE_OP_BOTTOM3 {
+            0x0: mov_rAX_Iv();
+            0x1: mov_rCX_Iv();
+            0x2: mov_rDX_Iv();
+            0x3: mov_rBX_Iv();
+            0x4: mov_rSP_Iv();
+            0x5: mov_rBP_Iv();
+            0x6: mov_rSI_Iv();
+            0x7: mov_rDI_Iv();
+        }
+        0x18: decode OPCODE_OP_BOTTOM3 {
+            0x0: group2_Eb_Ib();
+            0x1: group2_Ev_Ib();
+            0x2: ret_near_Iw();
+            0x3: ret_near();
+            0x4: les_Gz_Mp();
+            0x5: lds_Gz_Mp();
+            0x6: group12_Eb_Ib();
+            0x7: group12_Ev_Iz();
+        }
+        0x19: decode OPCODE_OP_BOTTOM3 {
+            0x0: enter_Iw_Ib();
+            0x1: leave();
+            0x2: ret_far_Iw();
+            0x3: ret_far();
+            0x4: int3();
+            0x5: int_Ib();
+            0x6: into();
+            0x7: iret();
+        }
+        0x1A: decode OPCODE_OP_BOTTOM3 {
+            0x0: group2_Eb_1();
+            0x1: group2_Ev_1();
+            0x2: group2_Eb_Cl();
+            0x3: group2_Ev_Cl();
+            0x4: aam_Ib();
+            0x5: aad_Ib();
+            0x6: salc();
+            0x7: xlat();
+        }
+        0x1B: decode OPCODE_OP_BOTTOM3 {
+            0x0: esc0();
+            0x1: esc1();
+            0x2: esc2();
+            0x3: esc3();
+            0x4: esc4();
+            0x5: esc5();
+            0x6: esc6();
+            0x7: esc7();
+        }
+        0x1C: decode OPCODE_OP_BOTTOM3 {
+            0x0: loopne_Jb();
+            0x1: loope_Jb();
+            0x2: loop_Jb();
+            0x3: jcxz_or_jecx_or_jrcx();
+            0x4: in_Al_Ib();
+            0x5: in_eAX_Ib();
+            0x6: out_Ib_Al();
+            0x7: out_Ib_eAX();
+        }
+        0x1D: decode OPCODE_OP_BOTTOM3 {
+            0x0: call_Jz();
+            0x1: jmp_Jz();
+            0x2: jmp_Ap();
+            0x3: jmp_Jb();
+            0x4: in_Al_Dx();
+            0x5: in_eAX_Dx();
+            0x6: out_Dx_Al();
+            0x7: out_Dx_eAX();
+        }
+        0x1E: decode OPCODE_OP_BOTTOM3 {
+            0x0: M5InternalError::error(
+                {{"Tried to execute the lock prefix!"}});
+            0x1: int1();
+            0x2: M5InternalError::error(
+                {{"Tried to execute the repne prefix!"}});
+            0x3: M5InternalError::error(
+                {{"Tried to execute the rep/repe prefix!"}});
+            0x4: hlt();
+            0x5: cmc();
+            0x6: group3_Eb();
+            0x7: group3_Ev();
+        }
+        0x1F: decode OPCODE_OP_BOTTOM3 {
+            0x0: clc();
+            0x1: stc();
+            0x2: cli();
+            0x3: sti();
+            0x4: cld();
+            0x5: std();
+            0x6: group4();
+            0x7: group5();
+        }
+    }
+    default: FailUnimpl::oneByteOps();
+}
diff --git a/src/arch/x86/isa/decoder/two_byte_opcodes.isa b/src/arch/x86/isa/decoder/two_byte_opcodes.isa
new file mode 100644 (file)
index 0000000..f05c33b
--- /dev/null
@@ -0,0 +1,393 @@
+// Copyright (c) 2007 The Hewlett-Packard Development Company
+// All rights reserved.
+//
+// Redistribution and use of this software in source and binary forms,
+// with or without modification, are permitted provided that the
+// following conditions are met:
+//
+// The software must be used only for Non-Commercial Use which means any
+// use which is NOT directed to receiving any direct monetary
+// compensation for, or commercial advantage from such use.  Illustrative
+// examples of non-commercial use are academic research, personal study,
+// teaching, education and corporate research & development.
+// Illustrative examples of commercial use are distributing products for
+// commercial advantage and providing services using the software for
+// commercial advantage.
+//
+// If you wish to use this software or functionality therein that may be
+// covered by patents for commercial use, please contact:
+//     Director of Intellectual Property Licensing
+//     Office of Strategy and Technology
+//     Hewlett-Packard Company
+//     1501 Page Mill Road
+//     Palo Alto, California  94304
+//
+// Redistributions of source code must retain the above copyright notice,
+// this list of conditions and the following disclaimer.  Redistributions
+// in binary form must reproduce the above copyright notice, this list of
+// conditions and the following disclaimer in the documentation and/or
+// other materials provided with the distribution.  Neither the name of
+// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.  No right of
+// sublicense is granted herewith.  Derivatives of the software and
+// output created using the software may be prepared, but only for
+// Non-Commercial Uses.  Derivatives of the software may be shared with
+// others provided: (i) the others agree to abide by the list of
+// conditions herein which includes the Non-Commercial Use restrictions;
+// and (ii) such Derivatives of the software include the above copyright
+// notice to acknowledge the contribution from this software where
+// applicable, this list of conditions and the disclaimer below.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Gabe Black
+
+////////////////////////////////////////////////////////////////////
+//
+// Decode the two byte opcodes
+//
+0x2: decode OPCODE_PREFIXA {
+    0xF0: decode OPCODE_OP_TOP5 {
+        format WarnUnimpl {
+            0x00: decode OPCODE_OP_BOTTOM3 {
+                0x00: group6();
+                0x01: group7();
+                0x02: lar_Gv_Ew();
+                0x03: lsl_Gv_Ew();
+                //sandpile.org doesn't seem to know what this is... ?
+                0x04: loadall_or_reset_or_hang();
+                //sandpile.org says (AMD) after syscall, so I might want to check
+                //if that means amd64 or AMD machines
+                0x05: loadall_or_syscall();
+                0x06: clts();
+                //sandpile.org says (AMD) after sysret, so I might want to check
+                //if that means amd64 or AMD machines
+                0x07: loadall_or_sysret();
+            }
+            0x01: decode OPCODE_OP_BOTTOM3 {
+                0x0: holderholder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x02: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x03: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x04: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x05: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x06: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x07: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x08: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x09: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x0A: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x0B: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x0C: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x0D: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x0E: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x0F: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x10: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x11: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x12: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x13: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x14: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x15: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x16: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x17: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x18: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x19: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x1A: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x1B: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x1C: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x1D: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x1E: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            0x1F: decode OPCODE_OP_BOTTOM3 {
+                0x0: holder();
+                0x1: holder();
+                0x2: holder();
+                0x3: holder();
+                0x4: holder();
+                0x5: holder();
+                0x6: holder();
+                0x7: holder();
+            }
+            default: FailUnimpl::twoByteOps();
+        }
+    }
+    default: M5InternalError::error(
+        {{"Unexpected first opcode byte in two byte opcode!"}});
+}
index 7aea7085fdab01e5dd175a2afeb674261fb52aef..ea224d638448e363830d0b0e0b6fb19152cfca7f 100644 (file)
@@ -147,3 +147,12 @@ def template BasicDecode {{
 def template BasicDecodeWithMnemonic {{
     return new %(class_name)s("%(mnemonic)s", machInst);
 }};
+
+// The most basic instruction format... used only for a few misc. insts
+def format BasicOperate(code, *flags) {{
+        iop = InstObjParams(name, Name, 'SparcStaticInst', code, flags)
+        header_output = BasicDeclare.subst(iop)
+        decoder_output = BasicConstructor.subst(iop)
+        decode_block = BasicDecode.subst(iop)
+        exec_output = BasicExecute.subst(iop)
+}};
diff --git a/src/arch/x86/isa/formats/error.isa b/src/arch/x86/isa/formats/error.isa
new file mode 100644 (file)
index 0000000..8ac2ea4
--- /dev/null
@@ -0,0 +1,77 @@
+// -*- mode:c++ -*-
+
+// Copyright (c) 2007 The Hewlett-Packard Development Company
+// All rights reserved.
+//
+// Redistribution and use of this software in source and binary forms,
+// with or without modification, are permitted provided that the
+// following conditions are met:
+//
+// The software must be used only for Non-Commercial Use which means any
+// use which is NOT directed to receiving any direct monetary
+// compensation for, or commercial advantage from such use.  Illustrative
+// examples of non-commercial use are academic research, personal study,
+// teaching, education and corporate research & development.
+// Illustrative examples of commercial use are distributing products for
+// commercial advantage and providing services using the software for
+// commercial advantage.
+//
+// If you wish to use this software or functionality therein that may be
+// covered by patents for commercial use, please contact:
+//     Director of Intellectual Property Licensing
+//     Office of Strategy and Technology
+//     Hewlett-Packard Company
+//     1501 Page Mill Road
+//     Palo Alto, California  94304
+//
+// Redistributions of source code must retain the above copyright notice,
+// this list of conditions and the following disclaimer.  Redistributions
+// in binary form must reproduce the above copyright notice, this list of
+// conditions and the following disclaimer in the documentation and/or
+// other materials provided with the distribution.  Neither the name of
+// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.  No right of
+// sublicense is granted herewith.  Derivatives of the software and
+// output created using the software may be prepared, but only for
+// Non-Commercial Uses.  Derivatives of the software may be shared with
+// others provided: (i) the others agree to abide by the list of
+// conditions herein which includes the Non-Commercial Use restrictions;
+// and (ii) such Derivatives of the software include the above copyright
+// notice to acknowledge the contribution from this software where
+// applicable, this list of conditions and the disclaimer below.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Gabe Black
+
+////////////////////////////////////////////////////////////////////
+//
+// "Format" which really indicates an internal error. This is a more
+// significant problem for x86 than for other ISAs because of it's complex
+// ExtMachInst type.
+//
+
+def template ErrorDecode {{
+    {
+        panic("X86 decoder internal error: '%%s' %%s",
+                %(message)s, machInst);
+    }
+}};
+
+def format M5InternalError(error_message) {{
+    iop = InstObjParams(name, 'M5InternalError')
+    iop.message = error_message
+    decode_block = ErrorDecode.subst(iop)
+}};
+
index 0d3d1c6dc17cb4ed56df8f4f4b5669a5e07c1fff..3287b92c54343d33cfcded524fb0a9eb83915059 100644 (file)
 
 //Include the "unknown" format
 ##include "unknown.isa"
+
+//Include the "unimp" format
+##include "unimp.isa"
+
+//Include a format to signal m5 internal errors. This is used to indicate a
+//malfunction of the decode mechanism.
+##include "error.isa"
diff --git a/src/arch/x86/isa/formats/unimp.isa b/src/arch/x86/isa/formats/unimp.isa
new file mode 100644 (file)
index 0000000..12fa838
--- /dev/null
@@ -0,0 +1,174 @@
+// -*- mode:c++ -*-
+
+// Copyright (c) 2007 The Hewlett-Packard Development Company
+// All rights reserved.
+//
+// Redistribution and use of this software in source and binary forms,
+// with or without modification, are permitted provided that the
+// following conditions are met:
+//
+// The software must be used only for Non-Commercial Use which means any
+// use which is NOT directed to receiving any direct monetary
+// compensation for, or commercial advantage from such use.  Illustrative
+// examples of non-commercial use are academic research, personal study,
+// teaching, education and corporate research & development.
+// Illustrative examples of commercial use are distributing products for
+// commercial advantage and providing services using the software for
+// commercial advantage.
+//
+// If you wish to use this software or functionality therein that may be
+// covered by patents for commercial use, please contact:
+//     Director of Intellectual Property Licensing
+//     Office of Strategy and Technology
+//     Hewlett-Packard Company
+//     1501 Page Mill Road
+//     Palo Alto, California  94304
+//
+// Redistributions of source code must retain the above copyright notice,
+// this list of conditions and the following disclaimer.  Redistributions
+// in binary form must reproduce the above copyright notice, this list of
+// conditions and the following disclaimer in the documentation and/or
+// other materials provided with the distribution.  Neither the name of
+// the COPYRIGHT HOLDER(s), HEWLETT-PACKARD COMPANY, nor the names of its
+// contributors may be used to endorse or promote products derived from
+// this software without specific prior written permission.  No right of
+// sublicense is granted herewith.  Derivatives of the software and
+// output created using the software may be prepared, but only for
+// Non-Commercial Uses.  Derivatives of the software may be shared with
+// others provided: (i) the others agree to abide by the list of
+// conditions herein which includes the Non-Commercial Use restrictions;
+// and (ii) such Derivatives of the software include the above copyright
+// notice to acknowledge the contribution from this software where
+// applicable, this list of conditions and the disclaimer below.
+//
+// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+//
+// Authors: Gabe Black
+
+////////////////////////////////////////////////////////////////////
+//
+// Unimplemented instructions
+//
+
+output header {{
+    /**
+     * Static instruction class for unimplemented instructions that
+     * cause simulator termination.  Note that these are recognized
+     * (legal) instructions that the simulator does not support; the
+     * 'Unknown' class is used for unrecognized/illegal instructions.
+     * This is a leaf class.
+     */
+    class FailUnimplemented : public X86StaticInst
+    {
+      public:
+        /// Constructor
+        FailUnimplemented(const char *_mnemonic, ExtMachInst _machInst)
+            : X86StaticInst(_mnemonic, _machInst, No_OpClass)
+        {
+            // don't call execute() (which panics) if we're on a
+            // speculative path
+            flags[IsNonSpeculative] = true;
+        }
+
+        %(BasicExecDeclare)s
+
+        std::string
+        generateDisassembly(Addr pc, const SymbolTable *symtab) const;
+    };
+
+    /**
+     * Base class for unimplemented instructions that cause a warning
+     * to be printed (but do not terminate simulation).  This
+     * implementation is a little screwy in that it will print a
+     * warning for each instance of a particular unimplemented machine
+     * instruction, not just for each unimplemented opcode.  Should
+     * probably make the 'warned' flag a static member of the derived
+     * class.
+     */
+    class WarnUnimplemented : public X86StaticInst
+    {
+      private:
+        /// Have we warned on this instruction yet?
+        mutable bool warned;
+
+      public:
+        /// Constructor
+        WarnUnimplemented(const char *_mnemonic, ExtMachInst _machInst)
+            : X86StaticInst(_mnemonic, _machInst, No_OpClass), warned(false)
+        {
+            // don't call execute() (which panics) if we're on a
+            // speculative path
+            flags[IsNonSpeculative] = true;
+        }
+
+        %(BasicExecDeclare)s
+
+        std::string
+        generateDisassembly(Addr pc, const SymbolTable *symtab) const;
+    };
+}};
+
+output decoder {{
+    std::string
+    FailUnimplemented::generateDisassembly(Addr pc,
+                                           const SymbolTable *symtab) const
+    {
+        return csprintf("%-10s (unimplemented)", mnemonic);
+    }
+
+    std::string
+    WarnUnimplemented::generateDisassembly(Addr pc,
+                                           const SymbolTable *symtab) const
+    {
+#ifdef SS_COMPATIBLE_DISASSEMBLY
+        return csprintf("%-10s", mnemonic);
+#else
+        return csprintf("%-10s (unimplemented)", mnemonic);
+#endif
+    }
+}};
+
+output exec {{
+    Fault
+    FailUnimplemented::execute(%(CPU_exec_context)s *xc,
+                               Trace::InstRecord *traceData) const
+    {
+        panic("attempt to execute unimplemented instruction '%s' %s",
+                mnemonic, machInst);
+        return NoFault;
+    }
+
+    Fault
+    WarnUnimplemented::execute(%(CPU_exec_context)s *xc,
+                               Trace::InstRecord *traceData) const
+    {
+        if (!warned) {
+            warn("instruction '%s' unimplemented\n", mnemonic);
+            warned = true;
+        }
+
+        return NoFault;
+    }
+}};
+
+
+def format FailUnimpl() {{
+    iop = InstObjParams(name, 'FailUnimplemented')
+    decode_block = BasicDecodeWithMnemonic.subst(iop)
+}};
+
+def format WarnUnimpl() {{
+    iop = InstObjParams(name, 'WarnUnimplemented')
+    decode_block = BasicDecodeWithMnemonic.subst(iop)
+}};
+
index fd1b461f0e69f58836fe24a8664e31d1f3aa1711..146f714a7c3e76c5a727c41f6b8818d4de20da2e 100644 (file)
@@ -79,10 +79,10 @@ namespace X86ISA;
 ##include "operands.isa"
 
 //Include the base class for x86 instructions, and some support code
-//##include "base.isa"
+##include "base.isa"
 
 //Include the definitions for the instruction formats
 ##include "formats/formats.isa"
 
 //Include the decoder definition
-##include "decoder.isa"
+##include "decoder/decoder.isa"
index 5ea960b36786806b80b2a388ee9617e522174432..fbed4fe41d3ad1d06d64ff11d2d84e404d86817c 100644 (file)
@@ -78,22 +78,22 @@ namespace X86ISA
             uint8_t nextByte = getNextByte();
             switch(state)
             {
-              case Prefix:
+              case PrefixState:
                 state = doPrefixState(nextByte);
                 break;
-              case Opcode:
+              case OpcodeState:
                 state = doOpcodeState(nextByte);
                 break;
-              case ModRM:
+              case ModRMState:
                 state = doModRMState(nextByte);
                 break;
-              case SIB:
+              case SIBState:
                 state = doSIBState(nextByte);
                 break;
-              case Displacement:
+              case DisplacementState:
                 state = doDisplacementState();
                 break;
-              case Immediate:
+              case ImmediateState:
                 state = doImmediateState();
                 break;
               case ErrorState:
@@ -109,7 +109,7 @@ namespace X86ISA
     Predecoder::State Predecoder::doPrefixState(uint8_t nextByte)
     {
         uint8_t prefix = Prefixes[nextByte];
-        State nextState = Prefix;
+        State nextState = PrefixState;
         if(prefix)
             consumeByte();
         switch(prefix)
@@ -149,13 +149,13 @@ namespace X86ISA
           case Repne:
             DPRINTF(Predecoder, "Found repne prefix.\n");
             break;
-          case Rex:
+          case RexPrefix:
             DPRINTF(Predecoder, "Found Rex prefix %#x.\n", nextByte);
-            emi.rexPrefix = nextByte;
+            emi.rex = nextByte;
             break;
           case 0:
-            emi.numOpcodes = 0;
-            nextState = Opcode;
+            emi.opcode.num = 0;
+            nextState = OpcodeState;
             break;
           default:
             panic("Unrecognized prefix %#x\n", nextByte);
@@ -168,18 +168,29 @@ namespace X86ISA
     Predecoder::State Predecoder::doOpcodeState(uint8_t nextByte)
     {
         State nextState = ErrorState;
-        emi.numOpcodes++;
+        emi.opcode.num++;
         //We can't handle 3+ byte opcodes right now
-        assert(emi.numOpcodes < 2);
+        assert(emi.opcode.num < 3);
         consumeByte();
-        if(nextByte == 0xf0)
+        if(emi.opcode.num == 1 && nextByte == 0x0f)
         {
-            nextState = Opcode;
+            nextState = OpcodeState;
             DPRINTF(Predecoder, "Found two byte opcode.\n");
+            emi.opcode.prefixA = nextByte;
+        }
+        else if(emi.opcode.num == 2 &&
+                (nextByte == 0x0f ||
+                 (nextByte & 0xf8) == 0x38))
+        {
+            panic("Three byte opcodes aren't yet supported!\n");
+            nextState = OpcodeState;
+            DPRINTF(Predecoder, "Found three byte opcode.\n");
+            emi.opcode.prefixB = nextByte;
         }
         else
         {
             DPRINTF(Predecoder, "Found opcode %#x.\n", nextByte);
+            emi.opcode.op = nextByte;
 
             //Prepare for any immediate/displacement we might need
             immediateCollected = 0;
@@ -190,22 +201,22 @@ namespace X86ISA
             //Figure out how big of an immediate we'll retreive based
             //on the opcode.
             int immType = ImmediateType[
-                emi.numOpcodes - 1][nextByte];
+                emi.opcode.num - 1][nextByte];
             if(0) //16 bit mode
                 immediateSize = ImmediateTypeToSize[0][immType];
-            else if(!(emi.rexPrefix & 0x4)) //32 bit mode
+            else if(!(emi.rex & 0x4)) //32 bit mode
                 immediateSize = ImmediateTypeToSize[1][immType];
             else //64 bit mode
                 immediateSize = ImmediateTypeToSize[2][immType];
 
             //Determine what to expect next
-            if (UsesModRM[emi.numOpcodes - 1][nextByte]) {
-                nextState = ModRM;
+            if (UsesModRM[emi.opcode.num - 1][nextByte]) {
+                nextState = ModRMState;
             } else if(immediateSize) {
-                nextState = Immediate;
+                nextState = ImmediateState;
             } else {
                 emiIsReady = true;
-                nextState = Prefix;
+                nextState = PrefixState;
             }
         }
         return nextState;
@@ -217,6 +228,7 @@ namespace X86ISA
     Predecoder::State Predecoder::doModRMState(uint8_t nextByte)
     {
         State nextState = ErrorState;
+        emi.modRM = nextByte;
         DPRINTF(Predecoder, "Found modrm byte %#x.\n", nextByte);
         if (0) {//FIXME in 16 bit mode
             //figure out 16 bit displacement size
@@ -242,14 +254,14 @@ namespace X86ISA
         if(nextByte & 0x7 == 4 &&
                 nextByte & 0xC0 != 0xC0) {
                 // && in 32/64 bit mode)
-            nextState = SIB;
+            nextState = SIBState;
         } else if(displacementSize) {
-            nextState = Displacement;
+            nextState = DisplacementState;
         } else if(immediateSize) {
-            nextState = Immediate;
+            nextState = ImmediateState;
         } else {
             emiIsReady = true;
-            nextState = Prefix;
+            nextState = PrefixState;
         }
         //The ModRM byte is consumed no matter what
         consumeByte();
@@ -262,15 +274,16 @@ namespace X86ISA
     Predecoder::State Predecoder::doSIBState(uint8_t nextByte)
     {
         State nextState = ErrorState;
+        emi.sib = nextByte;
         DPRINTF(Predecoder, "Found SIB byte %#x.\n", nextByte);
         consumeByte();
         if(displacementSize) {
-            nextState = Displacement;
+            nextState = DisplacementState;
         } else if(immediateSize) {
-            nextState = Immediate;
+            nextState = ImmediateState;
         } else {
             emiIsReady = true;
-            nextState = Prefix;
+            nextState = PrefixState;
         }
         return nextState;
     }
@@ -307,14 +320,14 @@ namespace X86ISA
             DPRINTF(Predecoder, "Collected displacement %#x.\n",
                     emi.displacement);
             if(immediateSize) {
-                nextState = Immediate;
+                nextState = ImmediateState;
             } else {
                 emiIsReady = true;
-                nextState = Prefix;
+                nextState = PrefixState;
             }
         }
         else
-            nextState = Displacement;
+            nextState = DisplacementState;
         return nextState;
     }
 
@@ -336,10 +349,10 @@ namespace X86ISA
             DPRINTF(Predecoder, "Collected immediate %#x.\n",
                     emi.immediate);
             emiIsReady = true;
-            nextState = Prefix;
+            nextState = PrefixState;
         }
         else
-            nextState = Immediate;
+            nextState = ImmediateState;
         return nextState;
     }
 }
index d7734be882c447d919da8c82697a5d527e32c8df..1df17d6d2f80dc306a0ae61ed47afa19fba3fca0 100644 (file)
@@ -144,12 +144,12 @@ namespace X86ISA
         int immediateCollected;
 
         enum State {
-            Prefix,
-            Opcode,
-            ModRM,
-            SIB,
-            Displacement,
-            Immediate,
+            PrefixState,
+            OpcodeState,
+            ModRMState,
+            SIBState,
+            DisplacementState,
+            ImmediateState,
             //We should never get to this state. Getting here is an error.
             ErrorState
         };
@@ -168,7 +168,7 @@ namespace X86ISA
         Predecoder(ThreadContext * _tc) :
             tc(_tc), basePC(0), offset(0),
             outOfBytes(true), emiIsReady(false),
-            state(Prefix)
+            state(PrefixState)
         {}
 
         ThreadContext * getTC()
index 0cebef61a23068ee4b94f57171dbf82926fa2e35..f233ad234d3be5fb5072b32dd45626dd97f8816d 100644 (file)
@@ -72,7 +72,7 @@ namespace X86ISA
     const uint8_t LO = Lock;
     const uint8_t RE = Rep;
     const uint8_t RN = Repne;
-    const uint8_t RX = Rex;
+    const uint8_t RX = RexPrefix;
 
     //This table identifies whether a byte is a prefix, and if it is,
     //which prefix it is.
index 583f03d553d4d2089f53b802cfb220b34fd6fa2c..ca4a15d243424704ca4308336507728a2bcd0154 100644 (file)
@@ -61,6 +61,9 @@
 #include <inttypes.h>
 #include <iostream>
 
+#include "base/bitfield.hh"
+#include "base/cprintf.hh"
+
 namespace X86ISA
 {
     //This really determines how many bytes are passed to the predecoder.
@@ -76,7 +79,7 @@ namespace X86ISA
         SSOverride = 6,
         //The Rex prefix obviously doesn't fit in with the above, but putting
         //it here lets us save double the space the enums take up.
-        Rex = 7,
+        RexPrefix = 7,
         //There can be only one segment override, so they share the
         //first 3 bits in the legacyPrefixes bitfield.
         SegmentOverride = 0x7,
@@ -87,43 +90,71 @@ namespace X86ISA
         Repne = 128
     };
 
+    BitUnion8(ModRM)
+        Bitfield<7,6> mod;
+        Bitfield<5,3> reg;
+        Bitfield<2,0> rm;
+    EndBitUnion(ModRM)
+
+    BitUnion8(Sib)
+        Bitfield<7,6> scale;
+        Bitfield<5,3> index;
+        Bitfield<2,0> base;
+    EndBitUnion(Sib)
+
+    BitUnion8(Rex)
+        Bitfield<3> w;
+        Bitfield<2> r;
+        Bitfield<1> x;
+        Bitfield<0> b;
+    EndBitUnion(Rex)
+
+    BitUnion8(Opcode)
+        Bitfield<7,3> top5;
+        Bitfield<2,0> bottom3;
+    EndBitUnion(Opcode)
+
     //The intermediate structure the x86 predecoder returns.
     struct ExtMachInst
     {
-      public: //XXX These should be hidden in the future
-
-        uint8_t legacyPrefixes;
-        uint8_t rexPrefix;
-        //Right now, we ignore that this can be 3 in
-        //some cases
-        uint8_t numOpcodes;
-        //This will need to be decoded specially later
-        bool is3dnow;
-        uint8_t opcode;
+        //Prefixes
+        uint8_t legacy;
+        Rex rex;
+        //This holds all of the bytes of the opcode
+        struct
+        {
+            //The number of bytes in this opcode. Right now, we ignore that
+            //this can be 3 in some cases
+            uint8_t num;
+            //The first byte detected in a 2+ byte opcode. Should be 0xF0.
+            uint8_t prefixA;
+            //The second byte detected in a 3+ byte opcode. Could be 0xF0 for
+            //3dnow instructions, or 0x38-0x3F for some SSE instructions.
+            uint8_t prefixB;
+            //The main opcode byte. The highest addressed byte in the opcode.
+            Opcode op;
+        } opcode;
+        //Modifier bytes
+        ModRM modRM;
+        uint8_t sib;
+        //Immediate fields
         uint64_t immediate;
         uint64_t displacement;
-
-      public:
-
-        //These are to pacify the decoder for now. This will go away once
-        //it can handle non integer inputs, and in the mean time allow me to
-        //excercise the predecoder a little.
-        operator unsigned int()
-        {
-            return 0;
-        }
-
-        ExtMachInst(unsigned int)
-        {;}
-
-        ExtMachInst()
-        {;}
     };
 
     inline static std::ostream &
         operator << (std::ostream & os, const ExtMachInst & emi)
     {
-        os << "{X86 ExtMachInst}";
+        ccprintf(os, "\n{\n\tleg = %#x,\n\trex = %#x,\n\t"
+                     "op = {\n\t\tnum = %d,\n\t\top = %#x,\n\t\t"
+                           "prefixA = %#x,\n\t\tprefixB = %#x\n\t},\n\t"
+                     "modRM = %#x,\n\tsib = %#x,\n\t"
+                     "immediate = %#x,\n\tdisplacement = %#x\n}\n",
+                     emi.legacy, (uint8_t)emi.rex,
+                     emi.opcode.num, emi.opcode.op,
+                     emi.opcode.prefixA, emi.opcode.prefixB,
+                     (uint8_t)emi.modRM, (uint8_t)emi.sib,
+                     emi.immediate, emi.displacement);
         return os;
     }