diff mbox

[moxie,2/5] Add moxie disassembler

Message ID CACxje59ao59z-1kTA5qzZ8JqqKMgym6eBWMwBo-zz+8kKCSoZw@mail.gmail.com
State New
Headers show

Commit Message

Anthony Green Feb. 14, 2013, 1:07 a.m. UTC
This patch adds the disassembler logic for moxie.


Signed-off-by: Anthony Green <green@moxielogic.com>
---
 disas.c             |   6 +
 disas/Makefile.objs |   1 +
 disas/moxie.c       | 369 ++++++++++++++++++++++++++++++++++++++++++++++++++++
 include/disas/bfd.h |   2 +
 4 files changed, 378 insertions(+)
 create mode 100644 disas/moxie.c




--
1.8.1.2

Comments

Anthony Liguori Feb. 14, 2013, 2:28 a.m. UTC | #1
Anthony Green <green@moxielogic.com> writes:

> This patch adds the disassembler logic for moxie.
>
>
> Signed-off-by: Anthony Green <green@moxielogic.com>
> diff --git a/disas/moxie.c b/disas/moxie.c
>  new file mode 100644
> index 0000000..20ae0eb
> --- /dev/null
> +++ b/disas/moxie.c
> @@ -0,0 +1,369 @@
> +/* Disassemble moxie instructions.
> +   Copyright 2009
> +   Free Software Foundation, Inc.
> +
> +   This file is part of the GNU opcodes library.
> +
> +   This library is free software; you can redistribute it and/or modify
> +   it under the terms of the GNU General Public License as published by
> +   the Free Software Foundation; either version 3, or (at your option)
> +   any later version.
> +
> +   It is distributed in the hope that it will be useful, but WITHOUT
> +   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
> +   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
> +   License for more details.
> +
> +   You should have received a copy of the GNU General Public License
> +   along with this program; if not, write to the Free Software
> +   Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
> +   MA 02110-1301, USA.  */

QEMU is GPLv2 only so we can't take GPLv3 code.  We're stuck on binutils
code that predates the v3 relicense.

Regards,

Anthony Liguori
Richard Henderson Feb. 14, 2013, 9:10 p.m. UTC | #2
On 02/13/2013 06:28 PM, Anthony Liguori wrote:
> QEMU is GPLv2 only so we can't take GPLv3 code.  We're stuck on binutils
> code that predates the v3 relicense.

Ok, this is something that's going to bite us more and more.

We need *some* solution that allows us to disassemble current cpus.
What we've got in disas/ is, except for really old cpus, completely out
of date:

 * x86 missing all opcodes from sse4 and beyond,
 * s390 missing tons of opcodes (I filled in some, but not all)
 * ppc missing tons of opcodes (2.06 and later?)

The only options I can see going forward are

 1) Provide a configure time option to link to the "system" libopcodes.
 2) Use someone else's (bsd licensed?) disassember.
 3) Rearrange relevant translators so that they can disassemble and
    not translate.

The complete solution could be a combination of all three.

To me, option (1) means that qemu the project is not "infecting" the
binary with GPLv3, but requiring the user to make that choice.  Which
seems fine; those that have moral objections to v3 can simply not use
that configure option.  It's a bit awkward that most distributions don't
package up libopcodes for install, but if you manually build binutils
you'll have it done.

I hope we'll all agree that option (3) is not ideal, since having a
separate disassembler works as a check against the translator.  However,
for odd parts that will never be a host it's not a totally unreasonable
solution, as it at least provides *some* disassembly.

As for option (2), I'm not even sure what to suggest.  I suppose there's
some part of LLVM that does textual disassembly.  Whether we want to
drag that in as a submodule or just require it to be installed and
notice it at configure time, I have no opinion.  But because of the odd
parts, (2) can't be the only option.

But most of all I think we should have a plan.


r~
Peter Maydell Feb. 14, 2013, 9:40 p.m. UTC | #3
On 14 February 2013 21:10, Richard Henderson <rth@twiddle.net> wrote:
> The only options I can see going forward are
>
>  1) Provide a configure time option to link to the "system" libopcodes.
>  2) Use someone else's (bsd licensed?) disassember.
>  3) Rearrange relevant translators so that they can disassemble and
>     not translate.
>
> The complete solution could be a combination of all three.

4) Since we only do disassembly for debug logging, have our debug
logging just log hex, with postprocessing by a script that runs
objdump or something

> To me, option (1) means that qemu the project is not "infecting" the
> binary with GPLv3, but requiring the user to make that choice.  Which
> seems fine; those that have moral objections to v3 can simply not use
> that configure option.  It's a bit awkward that most distributions don't
> package up libopcodes for install, but if you manually build binutils
> you'll have it done.

I'm not hugely convinced by the idea of "here's a configure switch
to produce binaries you can't legally distribute".

> I hope we'll all agree that option (3) is not ideal, since having a
> separate disassembler works as a check against the translator.  However,
> for odd parts that will never be a host it's not a totally unreasonable
> solution, as it at least provides *some* disassembly.
>
> As for option (2), I'm not even sure what to suggest.  I suppose there's
> some part of LLVM that does textual disassembly.  Whether we want to
> drag that in as a submodule or just require it to be installed and
> notice it at configure time, I have no opinion.  But because of the odd
> parts, (2) can't be the only option.

I had a look at the LLVM disassembler the other day. From a quick
glance it seems like LLVM drives the disassembler off a generalised
machine description language (which it also uses for various other
things), so getting the disassemblers would also require us to
pull in quite a bit of LLVM infrastructure for parsing the machine
descriptions. It didn't look particularly easy, but this is just
from 15 minutes browsing a source tree, so if anybody more LLVM
aware here has an opinion do say.

> But most of all I think we should have a plan.

Agreed.

-- PMM
Anthony Liguori Feb. 14, 2013, 9:41 p.m. UTC | #4
Richard Henderson <rth@twiddle.net> writes:

> On 02/13/2013 06:28 PM, Anthony Liguori wrote:
>> QEMU is GPLv2 only so we can't take GPLv3 code.  We're stuck on binutils
>> code that predates the v3 relicense.
>
> Ok, this is something that's going to bite us more and more.
>
> We need *some* solution that allows us to disassemble current cpus.
> What we've got in disas/ is, except for really old cpus, completely out
> of date:

disas/ is just used for tracing, right?

Could we not write out a binary log and then have another tool that was
GPLv3 and linked against libopcodes to display the logs in a text
format?

Regards,

Anthony Liguori

>
>  * x86 missing all opcodes from sse4 and beyond,
>  * s390 missing tons of opcodes (I filled in some, but not all)
>  * ppc missing tons of opcodes (2.06 and later?)
>
> The only options I can see going forward are
>
>  1) Provide a configure time option to link to the "system" libopcodes.
>  2) Use someone else's (bsd licensed?) disassember.
>  3) Rearrange relevant translators so that they can disassemble and
>     not translate.
>
> The complete solution could be a combination of all three.
>
> To me, option (1) means that qemu the project is not "infecting" the
> binary with GPLv3, but requiring the user to make that choice.  Which
> seems fine; those that have moral objections to v3 can simply not use
> that configure option.  It's a bit awkward that most distributions don't
> package up libopcodes for install, but if you manually build binutils
> you'll have it done.
>
> I hope we'll all agree that option (3) is not ideal, since having a
> separate disassembler works as a check against the translator.  However,
> for odd parts that will never be a host it's not a totally unreasonable
> solution, as it at least provides *some* disassembly.
>
> As for option (2), I'm not even sure what to suggest.  I suppose there's
> some part of LLVM that does textual disassembly.  Whether we want to
> drag that in as a submodule or just require it to be installed and
> notice it at configure time, I have no opinion.  But because of the odd
> parts, (2) can't be the only option.
>
> But most of all I think we should have a plan.
>
>
> r~
Blue Swirl Feb. 14, 2013, 9:51 p.m. UTC | #5
On Thu, Feb 14, 2013 at 9:10 PM, Richard Henderson <rth@twiddle.net> wrote:
> On 02/13/2013 06:28 PM, Anthony Liguori wrote:
>> QEMU is GPLv2 only so we can't take GPLv3 code.  We're stuck on binutils
>> code that predates the v3 relicense.
>
> Ok, this is something that's going to bite us more and more.
>
> We need *some* solution that allows us to disassemble current cpus.
> What we've got in disas/ is, except for really old cpus, completely out
> of date:
>
>  * x86 missing all opcodes from sse4 and beyond,
>  * s390 missing tons of opcodes (I filled in some, but not all)
>  * ppc missing tons of opcodes (2.06 and later?)

Sparc64 is probably missing a few opcodes too.

>
> The only options I can see going forward are
>
>  1) Provide a configure time option to link to the "system" libopcodes.
>  2) Use someone else's (bsd licensed?) disassember.
>  3) Rearrange relevant translators so that they can disassemble and
>     not translate.

4) Ask binutils' authors of x86, s390 and ppc disassembly code (or
FSF) to dual license their code as GPLv2+ and GPLv3. May be difficult.

5) Relicense QEMU as GPLv3. Need to reimplement some parts.

>
> The complete solution could be a combination of all three.
>
> To me, option (1) means that qemu the project is not "infecting" the
> binary with GPLv3, but requiring the user to make that choice.  Which
> seems fine; those that have moral objections to v3 can simply not use
> that configure option.  It's a bit awkward that most distributions don't
> package up libopcodes for install, but if you manually build binutils
> you'll have it done.
>
> I hope we'll all agree that option (3) is not ideal, since having a
> separate disassembler works as a check against the translator.  However,
> for odd parts that will never be a host it's not a totally unreasonable
> solution, as it at least provides *some* disassembly.
>
> As for option (2), I'm not even sure what to suggest.  I suppose there's
> some part of LLVM that does textual disassembly.  Whether we want to
> drag that in as a submodule or just require it to be installed and
> notice it at configure time, I have no opinion.  But because of the odd
> parts, (2) can't be the only option.
>
> But most of all I think we should have a plan.
>
>
> r~
>
Anthony Liguori Feb. 14, 2013, 10:03 p.m. UTC | #6
Peter Maydell <peter.maydell@linaro.org> writes:

> On 14 February 2013 21:10, Richard Henderson <rth@twiddle.net> wrote:
>> The only options I can see going forward are
>>
>>  1) Provide a configure time option to link to the "system" libopcodes.
>>  2) Use someone else's (bsd licensed?) disassember.
>>  3) Rearrange relevant translators so that they can disassemble and
>>     not translate.
>>
>> The complete solution could be a combination of all three.
>
> 4) Since we only do disassembly for debug logging, have our debug
> logging just log hex, with postprocessing by a script that runs
> objdump or something

Ack.  A simple binary format would be nice too since you probably want
the traces to be as small a possible.

>
>> To me, option (1) means that qemu the project is not "infecting" the
>> binary with GPLv3, but requiring the user to make that choice.  Which
>> seems fine; those that have moral objections to v3 can simply not use
>> that configure option.  It's a bit awkward that most distributions don't
>> package up libopcodes for install, but if you manually build binutils
>> you'll have it done.
>
> I'm not hugely convinced by the idea of "here's a configure switch
> to produce binaries you can't legally distribute".
>
>> I hope we'll all agree that option (3) is not ideal, since having a
>> separate disassembler works as a check against the translator.  However,
>> for odd parts that will never be a host it's not a totally unreasonable
>> solution, as it at least provides *some* disassembly.
>>
>> As for option (2), I'm not even sure what to suggest.  I suppose there's
>> some part of LLVM that does textual disassembly.  Whether we want to
>> drag that in as a submodule or just require it to be installed and
>> notice it at configure time, I have no opinion.  But because of the odd
>> parts, (2) can't be the only option.
>
> I had a look at the LLVM disassembler the other day. From a quick
> glance it seems like LLVM drives the disassembler off a generalised
> machine description language (which it also uses for various other
> things), so getting the disassemblers would also require us to
> pull in quite a bit of LLVM infrastructure for parsing the machine
> descriptions. It didn't look particularly easy, but this is just
> from 15 minutes browsing a source tree, so if anybody more LLVM
> aware here has an opinion do say.

LLVM is a beast.  I played around with using cfront to make a QAPI front
end and it took 4-5G worth of dispatch just to get it building.

Regards,

Anthony Liguori

>
>> But most of all I think we should have a plan.
>
> Agreed.
>
> -- PMM
diff mbox

Patch

diff --git a/disas.c b/disas.c
index a46faee..74d3ba0 100644
--- a/disas.c
+++ b/disas.c
@@ -256,6 +256,9 @@  void target_disas(FILE *out, CPUArchState *env,
target_ulong code,
 #elif defined(TARGET_MICROBLAZE)
     s.info.mach = bfd_arch_microblaze;
     print_insn = print_insn_microblaze;
+#elif defined(TARGET_MOXIE)
+    s.info.mach = bfd_arch_moxie;
+    print_insn = print_insn_moxie;
 #elif defined(TARGET_LM32)
     s.info.mach = bfd_mach_lm32;
     print_insn = print_insn_lm32;
@@ -462,6 +465,9 @@  void monitor_disas(Monitor *mon, CPUArchState *env,
 #elif defined(TARGET_S390X)
     s.info.mach = bfd_mach_s390_64;
     print_insn = print_insn_s390;
+#elif defined(TARGET_MOXIE)
+    s.info.mach = bfd_arch_moxie;
+    print_insn = print_insn_moxie;
 #elif defined(TARGET_LM32)
     s.info.mach = bfd_mach_lm32;
     print_insn = print_insn_lm32;
diff --git a/disas/Makefile.objs b/disas/Makefile.objs
index ed75f9a..3b1e77a 100644
--- a/disas/Makefile.objs
+++ b/disas/Makefile.objs
@@ -7,6 +7,7 @@  common-obj-$(CONFIG_IA64_DIS) += ia64.o
 common-obj-$(CONFIG_M68K_DIS) += m68k.o
 common-obj-$(CONFIG_MICROBLAZE_DIS) += microblaze.o
 common-obj-$(CONFIG_MIPS_DIS) += mips.o
+common-obj-$(CONFIG_MOXIE_DIS) += moxie.o
 common-obj-$(CONFIG_PPC_DIS) += ppc.o
 common-obj-$(CONFIG_S390_DIS) += s390.o
 common-obj-$(CONFIG_SH4_DIS) += sh4.o
diff --git a/disas/moxie.c b/disas/moxie.c
 new file mode 100644
index 0000000..20ae0eb
--- /dev/null
+++ b/disas/moxie.c
@@ -0,0 +1,369 @@ 
+/* Disassemble moxie instructions.
+   Copyright 2009
+   Free Software Foundation, Inc.
+
+   This file is part of the GNU opcodes library.
+
+   This library is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3, or (at your option)
+   any later version.
+
+   It is distributed in the hope that it will be useful, but WITHOUT
+   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+   License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
+   MA 02110-1301, USA.  */
+
+#include <stdio.h>
+#define STATIC_TABLE
+#define DEFINE_TABLE
+
+#include "disas/bfd.h"
+
+static void *stream;
+
+/* Form 1 instructions come in different flavors:
+
+   Some have no arguments                          (MOXIE_F1_NARG)
+   Some only use the A operand                     (MOXIE_F1_A)
+   Some use A and B registers                      (MOXIE_F1_AB)
+   Some use A and consume a 4 byte immediate value (MOXIE_F1_A4)
+   Some use just a 4 byte immediate value          (MOXIE_F1_4)
+   Some use just a 4 byte memory address           (MOXIE_F1_M)
+   Some use B and an indirect A                    (MOXIE_F1_AiB)
+   Some use A and an indirect B                    (MOXIE_F1_ABi)
+   Some consume a 4 byte immediate value and use X (MOXIE_F1_4A)
+   Some use B and an indirect A plus 4 bytes       (MOXIE_F1_AiB4)
+   Some use A and an indirect B plus 4 bytes       (MOXIE_F1_ABi4)
+
+   Form 2 instructions also come in different flavors:
+
+   Some have no arguments                          (MOXIE_F2_NARG)
+   Some use the A register and an 8-bit value      (MOXIE_F2_A8V)
+
+   Form 3 instructions also come in different flavors:
+
+   Some have no arguments                          (MOXIE_F3_NARG)
+   Some have a 10-bit PC relative operand          (MOXIE_F3_PCREL).  */
+
+#define MOXIE_F1_NARG 0x100
+#define MOXIE_F1_A    0x101
+#define MOXIE_F1_AB   0x102
+/* #define MOXIE_F1_ABC  0x103 */
+#define MOXIE_F1_A4   0x104
+#define MOXIE_F1_4    0x105
+#define MOXIE_F1_AiB  0x106
+#define MOXIE_F1_ABi  0x107
+#define MOXIE_F1_4A   0x108
+#define MOXIE_F1_AiB4 0x109
+#define MOXIE_F1_ABi4 0x10a
+#define MOXIE_F1_M    0x10b
+
+#define MOXIE_F2_NARG 0x200
+#define MOXIE_F2_A8V  0x201
+
+#define MOXIE_F3_NARG  0x300
+#define MOXIE_F3_PCREL 0x301
+
+typedef struct moxie_opc_info_t {
+  short         opcode;
+  unsigned      itype;
+  const char *  name;
+} moxie_opc_info_t;
+
+extern const moxie_opc_info_t moxie_form1_opc_info[64];
+extern const moxie_opc_info_t moxie_form2_opc_info[4];
+extern const moxie_opc_info_t moxie_form3_opc_info[16];
+
+/* The moxie processor's 16-bit instructions come in two forms:
+
+   FORM 1 instructions start with a 0 bit...
+
+   0oooooooaaaabbbb
+   0              F
+
+   ooooooo - form 1 opcode number
+   aaaa    - operand A
+   bbbb    - operand B
+
+   FORM 2 instructions start with bits "10"...
+
+   10ooaaaavvvvvvvv
+   0              F
+
+   oo       - form 2 opcode number
+   aaaa     - operand A
+   vvvvvvvv - 8-bit immediate value
+
+   FORM 3 instructions start with a bits "11"...
+
+   11oooovvvvvvvvvv
+   0              F
+
+   oooo         - form 3 opcode number
+   vvvvvvvvvv   - 10-bit immediate value.  */
+
+const moxie_opc_info_t moxie_form1_opc_info[64] =
+  {
+    { 0x00, MOXIE_F1_NARG, "nop" },
+    { 0x01, MOXIE_F1_A4,   "ldi.l" },
+    { 0x02, MOXIE_F1_AB,   "mov" },
+    { 0x03, MOXIE_F1_M,    "jsra" },
+    { 0x04, MOXIE_F1_NARG, "ret" },
+    { 0x05, MOXIE_F1_AB,   "add.l" },
+    { 0x06, MOXIE_F1_AB,   "push" },
+    { 0x07, MOXIE_F1_AB,   "pop" },
+    { 0x08, MOXIE_F1_A4,   "lda.l" },
+    { 0x09, MOXIE_F1_4A,   "sta.l" },
+    { 0x0a, MOXIE_F1_ABi,  "ld.l" },
+    { 0x0b, MOXIE_F1_AiB,  "st.l" },
+    { 0x0c, MOXIE_F1_ABi4, "ldo.l" },
+    { 0x0d, MOXIE_F1_AiB4, "sto.l" },
+    { 0x0e, MOXIE_F1_AB,   "cmp" },
+    { 0x0f, MOXIE_F1_NARG, "bad" },
+    { 0x10, MOXIE_F1_NARG, "bad" },
+    { 0x11, MOXIE_F1_NARG, "bad" },
+    { 0x12, MOXIE_F1_NARG, "bad" },
+    { 0x13, MOXIE_F1_NARG, "bad" },
+    { 0x14, MOXIE_F1_NARG, "bad" },
+    { 0x15, MOXIE_F1_NARG, "bad" },
+    { 0x16, MOXIE_F1_NARG, "bad" },
+    { 0x17, MOXIE_F1_NARG, "bad" },
+    { 0x18, MOXIE_F1_NARG, "bad" },
+    { 0x19, MOXIE_F1_A,    "jsr" },
+    { 0x1a, MOXIE_F1_M,    "jmpa" },
+    { 0x1b, MOXIE_F1_A4,   "ldi.b" },
+    { 0x1c, MOXIE_F1_ABi,  "ld.b" },
+    { 0x1d, MOXIE_F1_A4,   "lda.b" },
+    { 0x1e, MOXIE_F1_AiB,  "st.b" },
+    { 0x1f, MOXIE_F1_4A,   "sta.b" },
+    { 0x20, MOXIE_F1_A4,   "ldi.s" },
+    { 0x21, MOXIE_F1_ABi,  "ld.s" },
+    { 0x22, MOXIE_F1_A4,   "lda.s" },
+    { 0x23, MOXIE_F1_AiB,  "st.s" },
+    { 0x24, MOXIE_F1_4A,   "sta.s" },
+    { 0x25, MOXIE_F1_A,    "jmp" },
+    { 0x26, MOXIE_F1_AB,   "and" },
+    { 0x27, MOXIE_F1_AB,   "lshr" },
+    { 0x28, MOXIE_F1_AB,   "ashl" },
+    { 0x29, MOXIE_F1_AB,   "sub.l" },
+    { 0x2a, MOXIE_F1_AB,   "neg" },
+    { 0x2b, MOXIE_F1_AB,   "or" },
+    { 0x2c, MOXIE_F1_AB,   "not" },
+    { 0x2d, MOXIE_F1_AB,   "ashr" },
+    { 0x2e, MOXIE_F1_AB,   "xor" },
+    { 0x2f, MOXIE_F1_AB,   "mul.l" },
+    { 0x30, MOXIE_F1_4,    "swi" },
+    { 0x31, MOXIE_F1_AB,   "div.l" },
+    { 0x32, MOXIE_F1_AB,   "udiv.l" },
+    { 0x33, MOXIE_F1_AB,   "mod.l" },
+    { 0x34, MOXIE_F1_AB,   "umod.l" },
+    { 0x35, MOXIE_F1_NARG, "brk" },
+    { 0x36, MOXIE_F1_ABi4, "ldo.b" },
+    { 0x37, MOXIE_F1_AiB4, "sto.b" },
+    { 0x38, MOXIE_F1_ABi4, "ldo.s" },
+    { 0x39, MOXIE_F1_AiB4, "sto.s" },
+    { 0x3a, MOXIE_F1_NARG, "bad" },
+    { 0x3b, MOXIE_F1_NARG, "bad" },
+    { 0x3c, MOXIE_F1_NARG, "bad" },
+    { 0x3d, MOXIE_F1_NARG, "bad" },
+    { 0x3e, MOXIE_F1_NARG, "bad" },
+    { 0x3f, MOXIE_F1_NARG, "bad" }
+  };
+
+const moxie_opc_info_t moxie_form2_opc_info[4] =
+  {
+    { 0x00, MOXIE_F2_A8V,  "inc" },
+    { 0x01, MOXIE_F2_A8V,  "dec" },
+    { 0x02, MOXIE_F2_A8V,  "gsr" },
+    { 0x03, MOXIE_F2_A8V,  "ssr" }
+  };
+
+const moxie_opc_info_t moxie_form3_opc_info[16] =
+  {
+    { 0x00, MOXIE_F3_PCREL,"beq" },
+    { 0x01, MOXIE_F3_PCREL,"bne" },
+    { 0x02, MOXIE_F3_PCREL,"blt" },
+    { 0x03, MOXIE_F3_PCREL,"bgt" },
+    { 0x04, MOXIE_F3_PCREL,"bltu" },
+    { 0x05, MOXIE_F3_PCREL,"bgtu" },
+    { 0x06, MOXIE_F3_PCREL,"bge" },
+    { 0x07, MOXIE_F3_PCREL,"ble" },
+    { 0x08, MOXIE_F3_PCREL,"bgeu" },
+    { 0x09, MOXIE_F3_PCREL,"bleu" },
+    { 0x0a, MOXIE_F3_NARG, "bad" },
+    { 0x0b, MOXIE_F3_NARG, "bad" },
+    { 0x0c, MOXIE_F3_NARG, "bad" },
+    { 0x0d, MOXIE_F3_NARG, "bad" },
+    { 0x0e, MOXIE_F3_NARG, "bad" },
+    { 0x0f, MOXIE_F3_NARG, "bad" }
+  };
+
+/* Macros to extract operands from the instruction word.  */
+#define OP_A(i) ((i >> 4) & 0xf)
+#define OP_B(i) (i & 0xf)
+#define INST2OFFSET(o) ((((signed short)((o & ((1<<10)-1))<<6))>>6)<<1)
+
+static const char * reg_names[16] =
+  { "$fp", "$sp", "$r0", "$r1", "$r2", "$r3", "$r4", "$r5",
+    "$r6", "$r7", "$r8", "$r9", "$r10", "$r11", "$r12", "$r13" };
+
+int
+print_insn_moxie (bfd_vma addr, struct disassemble_info * info)
+{
+  int length = 2;
+  int status;
+  stream = info->stream;
+  const moxie_opc_info_t * opcode;
+  bfd_byte buffer[4];
+  unsigned short iword;
+  fprintf_function fpr = info->fprintf_func;
+
+  if ((status = info->read_memory_func(addr, buffer, 2, info)))
+    goto fail;
+  iword = (bfd_getb16(buffer) >> 16);
+
+  /* Form 1 instructions have the high bit set to 0.  */
+  if ((iword & (1<<15)) == 0)
+    {
+      /* Extract the Form 1 opcode.  */
+      opcode = &moxie_form1_opc_info[iword >> 8];
+      switch (opcode->itype)
+        {
+        case MOXIE_F1_NARG:
+          fpr(stream, "%s", opcode->name);
+          break;
+        case MOXIE_F1_A:
+          fpr(stream, "%s\t%s", opcode->name,
+              reg_names[OP_A(iword)]);
+          break;
+        case MOXIE_F1_AB:
+          fpr(stream, "%s\t%s, %s", opcode->name,
+              reg_names[OP_A(iword)],
+              reg_names[OP_B(iword)]);
+          break;
+        case MOXIE_F1_A4:
+          {
+            unsigned imm;
+            if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
+              goto fail;
+            imm = bfd_getb32(buffer);
+            fpr (stream, "%s\t%s, 0x%x", opcode->name,
+                 reg_names[OP_A(iword)], imm);
+            length = 6;
+          }
+          break;
+        case MOXIE_F1_4:
+          {
+            unsigned imm;
+            if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
+              goto fail;
+            imm = bfd_getb32(buffer);
+            fpr(stream, "%s\t0x%x", opcode->name, imm);
+            length = 6;
+          }
+          break;
+        case MOXIE_F1_M:
+          {
+            unsigned imm;
+            if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
+              goto fail;
+            imm = bfd_getb32(buffer);
+            fpr (stream, "%s\t", opcode->name);
+            info->print_address_func((bfd_vma) imm, info);
+            length = 6;
+          }
+          break;
+        case MOXIE_F1_AiB:
+          fpr (stream, "%s\t(%s), %s", opcode->name,
+               reg_names[OP_A(iword)], reg_names[OP_B(iword)]);
+          break;
+        case MOXIE_F1_ABi:
+          fpr(stream, "%s\t%s, (%s)", opcode->name,
+              reg_names[OP_A(iword)], reg_names[OP_B(iword)]);
+          break;
+        case MOXIE_F1_4A:
+          {
+            unsigned imm;
+            if ((status = info->read_memory_func(addr + 2, buffer, 4, info)))
+              goto fail;
+            imm = bfd_getb32(buffer);
+            fpr(stream, "%s\t0x%x, %s",
+                opcode->name, imm, reg_names[OP_A(iword)]);
+            length = 6;
+          }
+          break;
+        case MOXIE_F1_AiB4:
+          {
+            unsigned imm;
+            if ((status = info->read_memory_func(addr+2, buffer, 4, info)))
+              goto fail;
+            imm = bfd_getb32(buffer);
+            fpr(stream, "%s\t0x%x(%s), %s", opcode->name,
+                imm,
+                reg_names[OP_A(iword)],
+                reg_names[OP_B(iword)]);
+            length = 6;
+          }
+          break;
+        case MOXIE_F1_ABi4:
+          {
+            unsigned imm;
+            if ((status = info->read_memory_func(addr+2, buffer, 4, info)))
+              goto fail;
+            imm = bfd_getb32(buffer);
+            fpr(stream, "%s\t%s, 0x%x(%s)",
+                opcode->name,
+                reg_names[OP_A(iword)],
+                imm,
+                reg_names[OP_B(iword)]);
+            length = 6;
+          }
+          break;
+        default:
+          abort();
+        }
+    }
+  else if ((iword & (1<<14)) == 0) {
+      /* Extract the Form 2 opcode.  */
+      opcode = &moxie_form2_opc_info[(iword >> 12) & 3];
+      switch (opcode->itype)
+        {
+        case MOXIE_F2_A8V:
+          fpr(stream, "%s\t%s, 0x%x",
+              opcode->name,
+              reg_names[(iword >> 8) & 0xf],
+              iword & ((1 << 8) - 1));
+          break;
+        case MOXIE_F2_NARG:
+          fpr(stream, "%s", opcode->name);
+          break;
+        default:
+          abort();
+        }
+  } else {
+      /* Extract the Form 3 opcode.  */
+      opcode = &moxie_form3_opc_info[(iword >> 10) & 15];
+      switch (opcode->itype)
+        {
+        case MOXIE_F3_PCREL:
+          fpr(stream, "%s\t", opcode->name);
+          info->print_address_func((bfd_vma) (addr + INST2OFFSET(iword) + 2),
+                                   info);
+          break;
+        default:
+              iword & ((1 << 8) - 1));
+          break;
+        case MOXIE_F2_NARG:
+          fpr(stream, "%s", opcode->name);
+          break;
+        default:
+          abort();
+        }
+  } else {
+      /* Extract the Form 3 opcode.  */
+      opcode = &moxie_form3_opc_info[(iword >> 10) & 15];
+      switch (opcode->itype)
+        {
+        case MOXIE_F3_PCREL:
+          fpr(stream, "%s\t", opcode->name);
+          info->print_address_func((bfd_vma) (addr + INST2OFFSET(iword) + 2),
+                                   info);
+          break;
+        default:
+          abort();
+        }
+    }
+
+  return length;
+
+ fail:
+  info->memory_error_func(status, addr, info);
+  return -1;
+}
diff --git a/include/disas/bfd.h b/include/disas/bfd.h
index 3944b3c..4d207aa 100644
--- a/include/disas/bfd.h
+++ b/include/disas/bfd.h
@@ -218,6 +218,7 @@  enum bfd_architecture
 #define bfd_mach_cris_v32      32
 #define bfd_mach_cris_v10_v32  1032
   bfd_arch_microblaze, /* Xilinx MicroBlaze.  */
+  bfd_arch_moxie,      /* The Moxie core.  */
   bfd_arch_ia64,      /* HP/Intel ia64 */
 #define bfd_mach_ia64_elf64    64
 #define bfd_mach_ia64_elf32    32
@@ -405,6 +406,7 @@  int print_insn_s390             (bfd_vma,
disassemble_info*);
 int print_insn_crisv32          (bfd_vma, disassemble_info*);
 int print_insn_crisv10          (bfd_vma, disassemble_info*);
 int print_insn_microblaze       (bfd_vma, disassemble_info*);
+int print_insn_moxie            (bfd_vma, disassemble_info*);
 int print_insn_ia64             (bfd_vma, disassemble_info*);
 int print_insn_lm32             (bfd_vma, disassemble_info*);