Subversion Repositories openrisc_2011-10-31

/* Assemble V850 instructions.

   Copyright 1996, 1997, 1998, 2000, 2001, 2002, 2003, 2005, 2007

   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 "sysdep.h"

#include "opcode/v850.h"

#include <stdio.h>

#include "opintl.h"

/* Regular opcodes.  */

#define OP(x)           ((x & 0x3f) << 5)

#define OP_MASK         OP (0x3f)

/* Conditional branch opcodes.  */

#define BOP(x)          ((0x0b << 7) | (x & 0x0f))

#define BOP_MASK        ((0x0f << 7) | 0x0f)

/* One-word opcodes.  */

#define one(x)          ((unsigned int) (x))

/* Two-word opcodes.  */

#define two(x,y)        ((unsigned int) (x) | ((unsigned int) (y) << 16))

/* The functions used to insert and extract complicated operands.  */

/* Note: There is a conspiracy between these functions and

   v850_insert_operand() in gas/config/tc-v850.c.  Error messages

   containing the string 'out of range' will be ignored unless a

   specific command line option is given to GAS.  */

static const char * not_valid    = N_ ("displacement value is not in range and is not aligned");

static const char * out_of_range = N_ ("displacement value is out of range");

static const char * not_aligned  = N_ ("displacement value is not aligned");

static const char * immediate_out_of_range = N_ ("immediate value is out of range");

static unsigned long

insert_d9 (unsigned long insn, long value, const char ** errmsg)

{

  if (value > 0xff || value < -0x100)

    {

      if ((value % 2) != 0)

        * errmsg = _("branch value not in range and to odd offset");

      else

        * errmsg = _("branch value out of range");

    }

  else if ((value % 2) != 0)

    * errmsg = _("branch to odd offset");

  return insn | ((value & 0x1f0) << 7) | ((value & 0x0e) << 3);

}

static unsigned long

extract_d9 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  unsigned long ret = ((insn & 0xf800) >> 7) | ((insn & 0x0070) >> 3);

  if ((insn & 0x8000) != 0)

    ret -= 0x0200;

  return ret;

}

static unsigned long

insert_d22 (unsigned long insn, long value, const char ** errmsg)

{

  if (value > 0x1fffff || value < -0x200000)

    {

      if ((value % 2) != 0)

        * errmsg = _("branch value not in range and to an odd offset");

      else

        * errmsg = _("branch value out of range");

    }

  else if ((value % 2) != 0)

    * errmsg = _("branch to odd offset");

  return insn | ((value & 0xfffe) << 16) | ((value & 0x3f0000) >> 16);

}

static unsigned long

extract_d22 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  signed long ret = ((insn & 0xfffe0000) >> 16) | ((insn & 0x3f) << 16);

  return (unsigned long) ((ret << 10) >> 10);

}

static unsigned long

insert_d16_15 (unsigned long insn, long value, const char ** errmsg)

{

  if (value > 0x7fff || value < -0x8000)

    {

      if ((value % 2) != 0)

        * errmsg = _(not_valid);

      else

        * errmsg = _(out_of_range);

    }

  else if ((value % 2) != 0)

    * errmsg = _(not_aligned);

  return insn | ((value & 0xfffe) << 16);

}

static unsigned long

extract_d16_15 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  signed long ret = (insn & 0xfffe0000);

  return ret >> 16;

}

static unsigned long

insert_d8_7 (unsigned long insn, long value, const char ** errmsg)

{

  if (value > 0xff || value < 0)

    {

      if ((value % 2) != 0)

        * errmsg = _(not_valid);

      else

        * errmsg = _(out_of_range);

    }

  else if ((value % 2) != 0)

    * errmsg = _(not_aligned);

  value >>= 1;

  return insn | (value & 0x7f);

}

static unsigned long

extract_d8_7 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  unsigned long ret = (insn & 0x7f);

  return ret << 1;

}

static unsigned long

insert_d8_6 (unsigned long insn, long value, const char ** errmsg)

{

  if (value > 0xff || value < 0)

    {

      if ((value % 4) != 0)

        *errmsg = _(not_valid);

      else

        * errmsg = _(out_of_range);

    }

  else if ((value % 4) != 0)

    * errmsg = _(not_aligned);

  value >>= 1;

  return insn | (value & 0x7e);

}

static unsigned long

extract_d8_6 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  unsigned long ret = (insn & 0x7e);

  return ret << 1;

}

static unsigned long

insert_d5_4 (unsigned long insn, long value, const char ** errmsg)

{

  if (value > 0x1f || value < 0)

    {

      if (value & 1)

        * errmsg = _(not_valid);

      else

        *errmsg = _(out_of_range);

    }

  else if (value & 1)

    * errmsg = _(not_aligned);

  value >>= 1;

  return insn | (value & 0x0f);

}

static unsigned long

extract_d5_4 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  unsigned long ret = (insn & 0x0f);

  return ret << 1;

}

static unsigned long

insert_d16_16 (unsigned long insn, signed long value, const char ** errmsg)

{

  if (value > 0x7fff || value < -0x8000)

    * errmsg = _(out_of_range);

  return insn | ((value & 0xfffe) << 16) | ((value & 1) << 5);

}

static unsigned long

extract_d16_16 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  signed long ret = insn & 0xfffe0000;

  ret >>= 16;

  ret |= ((insn & 0x20) >> 5);

  return ret;

}

static unsigned long

insert_i9 (unsigned long insn, signed long value, const char ** errmsg)

{

  if (value > 0xff || value < -0x100)

    * errmsg = _(immediate_out_of_range);

  return insn | ((value & 0x1e0) << 13) | (value & 0x1f);

}

static unsigned long

extract_i9 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  signed long ret = insn & 0x003c0000;

  ret <<= 10;

  ret >>= 23;

  ret |= (insn & 0x1f);

  return ret;

}

static unsigned long

insert_u9 (unsigned long insn, long v, const char ** errmsg)

{

  unsigned long value = (unsigned long) v;

  if (value > 0x1ff)

    * errmsg = _(immediate_out_of_range);

  return insn | ((value & 0x1e0) << 13) | (value & 0x1f);

}

static unsigned long

extract_u9 (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  unsigned long ret = insn & 0x003c0000;

  ret >>= 13;

  ret |= (insn & 0x1f);

  return ret;

}

static unsigned long

insert_spe (unsigned long insn, long v, const char ** errmsg)

{

  unsigned long value = (unsigned long) v;

  if (value != 3)

    * errmsg = _("invalid register for stack adjustment");

  return insn & (~ 0x180000);

}

static unsigned long

extract_spe (unsigned long insn ATTRIBUTE_UNUSED,

             int * invalid ATTRIBUTE_UNUSED)

{

  return 3;

}

static unsigned long

insert_i5div (unsigned long insn, long v, const char ** errmsg)

{

  unsigned long value = (unsigned long) v;

  if (value > 0x1ff)

    {

      if (value & 1)

        * errmsg = _("immediate value not in range and not even");

      else

        * errmsg = _(immediate_out_of_range);

    }

  else if (value & 1)

    * errmsg = _("immediate value must be even");

  value = 32 - value;

  return insn | ((value & 0x1e) << 17);

}

static unsigned long

extract_i5div (unsigned long insn, int * invalid ATTRIBUTE_UNUSED)

{

  unsigned long ret = insn & 0x3c0000;

  ret >>= 17;

  ret = 32 - ret;

  return ret;

}

/* Warning: code in gas/config/tc-v850.c examines the contents of this array.

   If you change any of the values here, be sure to look for side effects in

   that code.  */

const struct v850_operand v850_operands[] =

{

#define UNUSED  0

  { 0, 0, NULL, NULL, 0 },

/* The R1 field in a format 1, 6, 7, or 9 insn.  */

#define R1      (UNUSED + 1)

  { 5, 0, NULL, NULL, V850_OPERAND_REG },

/* As above, but register 0 is not allowed.  */

#define R1_NOTR0 (R1 + 1)

  { 5, 0, NULL, NULL, V850_OPERAND_REG | V850_NOT_R0 },

/* The R2 field in a format 1, 2, 4, 5, 6, 7, 9 insn.  */

#define R2      (R1_NOTR0 + 1)

  { 5, 11, NULL, NULL, V850_OPERAND_REG },

/* As above, but register 0 is not allowed.  */

#define R2_NOTR0 (R2 + 1)

  { 5, 11, NULL, NULL, V850_OPERAND_REG | V850_NOT_R0 },

/* The imm5 field in a format 2 insn.  */

#define I5      (R2_NOTR0 + 1)

  { 5, 0, NULL, NULL, V850_OPERAND_SIGNED },

/* The unsigned imm5 field in a format 2 insn.  */

#define I5U     (I5 + 1)

  { 5, 0, NULL, NULL, 0 },

/* The imm16 field in a format 6 insn.  */

#define I16     (I5U + 1)

  { 16, 16, NULL, NULL, V850_OPERAND_SIGNED },

/* The signed disp7 field in a format 4 insn.  */

#define D7      (I16 + 1)

  { 7, 0, NULL, NULL, 0},

/* The disp16 field in a format 6 insn.  */

#define D16_15  (D7 + 1)

  { 15, 17, insert_d16_15, extract_d16_15, V850_OPERAND_SIGNED },

/* The 3 bit immediate field in format 8 insn.  */

#define B3      (D16_15 + 1)

  { 3, 11, NULL, NULL, 0 },

/* The 4 bit condition code in a setf instruction */

#define CCCC    (B3 + 1)

  { 4, 0, NULL, NULL, V850_OPERAND_CC },

/* The unsigned DISP8 field in a format 4 insn.  */

#define D8_7    (CCCC + 1)

  { 7, 0, insert_d8_7, extract_d8_7, 0 },

/* The unsigned DISP8 field in a format 4 insn.  */

#define D8_6    (D8_7 + 1)

  { 6, 1, insert_d8_6, extract_d8_6, 0 },

/* System register operands.  */

#define SR1     (D8_6 + 1)

  { 5, 0, NULL, NULL, V850_OPERAND_SRG },

/* EP Register.  */

#define EP      (SR1 + 1)

  { 0, 0, NULL, NULL, V850_OPERAND_EP },

/* The imm16 field (unsigned) in a format 6 insn.  */

#define I16U    (EP + 1)

  { 16, 16, NULL, NULL, 0},

/* The R2 field as a system register.  */

#define SR2     (I16U + 1)

  { 5, 11, NULL, NULL, V850_OPERAND_SRG },

/* The disp16 field in a format 8 insn.  */

#define D16     (SR2 + 1)

  { 16, 16, NULL, NULL, V850_OPERAND_SIGNED },

/* The DISP9 field in a format 3 insn, relaxable.  */

#define D9_RELAX        (D16 + 1)

  { 9, 0, insert_d9, extract_d9, V850_OPERAND_RELAX | V850_OPERAND_SIGNED | V850_OPERAND_DISP },

/* The DISP22 field in a format 4 insn, relaxable.

   This _must_ follow D9_RELAX; the assembler assumes that the longer

   version immediately follows the shorter version for relaxing.  */

#define D22     (D9_RELAX + 1)

  { 22, 0, insert_d22, extract_d22, V850_OPERAND_SIGNED | V850_OPERAND_DISP },

/* The signed disp4 field in a format 4 insn.  */

#define D4      (D22 + 1)

  { 4, 0, NULL, NULL, 0},

/* The unsigned disp5 field in a format 4 insn.  */

#define D5_4    (D4 + 1)

  { 4, 0, insert_d5_4, extract_d5_4, 0 },

/* The disp16 field in an format 7 unsigned byte load insn.  */

#define D16_16  (D5_4 + 1)

  { -1, 0xfffe0020, insert_d16_16, extract_d16_16, 0 },

/* Third register in conditional moves.  */

#define R3      (D16_16 + 1)

  { 5, 27, NULL, NULL, V850_OPERAND_REG },

/* Condition code in conditional moves.  */

#define MOVCC   (R3 + 1)

  { 4, 17, NULL, NULL, V850_OPERAND_CC },

/* The imm9 field in a multiply word.  */

#define I9      (MOVCC + 1)

  { 9, 0, insert_i9, extract_i9, V850_OPERAND_SIGNED },

/* The unsigned imm9 field in a multiply word.  */

#define U9      (I9 + 1)

  { 9, 0, insert_u9, extract_u9, 0 },

/* A list of registers in a prepare/dispose instruction.  */

#define LIST12  (U9 + 1)

  { -1, 0xffe00001, NULL, NULL, V850E_PUSH_POP },

/* The IMM6 field in a call instruction.  */

#define I6      (LIST12 + 1)

  { 6, 0, NULL, NULL, 0 },

/* The 16 bit immediate following a 32 bit instruction.  */

#define IMM16   (I6 + 1)

  { 16, 16, NULL, NULL, V850_OPERAND_SIGNED | V850E_IMMEDIATE16 },

/* The 32 bit immediate following a 32 bit instruction.  */

#define IMM32   (IMM16 + 1)

  { 0, 0, NULL, NULL, V850E_IMMEDIATE32 },

/* The imm5 field in a push/pop instruction.  */

#define IMM5    (IMM32 + 1)

  { 5, 1, NULL, NULL, 0 },

/* Reg2 in dispose instruction.  */

#define R2DISPOSE       (IMM5 + 1)

  { 5, 16, NULL, NULL, V850_OPERAND_REG | V850_NOT_R0 },

/* Stack pointer in prepare instruction.  */

#define SP      (R2DISPOSE + 1)

  { 2, 19, insert_spe, extract_spe, V850_OPERAND_REG },

/* The IMM5 field in a divide N step instruction.  */

#define I5DIV   (SP + 1)

  { 9, 0, insert_i5div, extract_i5div, V850_OPERAND_SIGNED },

  /* The list of registers in a PUSHMH/POPMH instruction.  */

#define LIST18_H (I5DIV + 1)

  { -1, 0xfff8000f, NULL, NULL, V850E_PUSH_POP },

  /* The list of registers in a PUSHML/POPML instruction.  */

#define LIST18_L (LIST18_H + 1)

  /* The setting of the 4th bit is a flag to disassmble() in v850-dis.c.  */

  { -1, 0xfff8001f, NULL, NULL, V850E_PUSH_POP },

};

/* Reg - Reg instruction format (Format I).  */

#define IF1     {R1, R2}

/* Imm - Reg instruction format (Format II).  */

#define IF2     {I5, R2}

/* Conditional branch instruction format (Format III).  */

#define IF3     {D9_RELAX}

/* 3 operand instruction (Format VI).  */

#define IF6     {I16, R1, R2}

/* 3 operand instruction (Format VI).  */

#define IF6U    {I16U, R1, R2}

/* The opcode table.

   The format of the opcode table is:

   NAME         OPCODE                  MASK                   { OPERANDS }        MEMOP    PROCESSOR

   NAME is the name of the instruction.

   OPCODE is the instruction opcode.

   MASK is the opcode mask; this is used to tell the disassembler

     which bits in the actual opcode must match OPCODE.

   OPERANDS is the list of operands.

   MEMOP specifies which operand (if any) is a memory operand.

   PROCESSORS specifies which CPU(s) support the opcode.

   The disassembler reads the table in order and prints the first

   instruction which matches, so this table is sorted to put more

   specific instructions before more general instructions.  It is also

   sorted by major opcode.

   The table is also sorted by name.  This is used by the assembler.

   When parsing an instruction the assembler finds the first occurance

   of the name of the instruciton in this table and then attempts to

   match the instruction's arguments with description of the operands

   associated with the entry it has just found in this table.  If the

   match fails the assembler looks at the next entry in this table.

   If that entry has the same name as the previous entry, then it

   tries to match the instruction against that entry and so on.  This

   is how the assembler copes with multiple, different formats of the

   same instruction.  */

const struct v850_opcode v850_opcodes[] =

{

{ "breakpoint", 0xffff,                 0xffff,                 {UNUSED},               0, PROCESSOR_ALL },

{ "dbtrap",     one (0xf840),           one (0xffff),           {UNUSED},               0, PROCESSOR_V850E1 },

{ "jmp",        one (0x0060),           one (0xffe0),           {R1},                   1, PROCESSOR_ALL },

/* Load/store instructions.  */

{ "sld.bu",     one (0x0060),           one (0x07f0),           {D4,   EP,   R2_NOTR0}, 1, PROCESSOR_V850E1 },

{ "sld.bu",     one (0x0060),           one (0x07f0),           {D4,   EP,   R2_NOTR0}, 1, PROCESSOR_V850E },

{ "sld.hu",     one (0x0070),           one (0x07f0),           {D5_4, EP,   R2_NOTR0}, 1, PROCESSOR_V850E1 },

{ "sld.hu",     one (0x0070),           one (0x07f0),           {D5_4, EP,   R2_NOTR0}, 1, PROCESSOR_V850E },

{ "sld.b",      one (0x0300),           one (0x0780),           {D7,   EP,   R2},       1, PROCESSOR_V850E1 },

{ "sld.b",      one (0x0300),           one (0x0780),           {D7,   EP,   R2},       1, PROCESSOR_V850E },

{ "sld.b",      one (0x0300),           one (0x0780),           {D7,   EP,   R2},       1, PROCESSOR_V850 },

{ "sld.h",      one (0x0400),           one (0x0780),           {D8_7, EP,   R2},       1, PROCESSOR_V850E1 },

{ "sld.h",      one (0x0400),           one (0x0780),           {D8_7, EP,   R2},       1, PROCESSOR_V850E },

{ "sld.h",      one (0x0400),           one (0x0780),           {D8_7, EP,   R2},       1, PROCESSOR_V850 },

{ "sld.w",      one (0x0500),           one (0x0781),           {D8_6, EP,   R2},       1, PROCESSOR_ALL },

{ "sst.b",      one (0x0380),           one (0x0780),           {R2,   D7,   EP},       2, PROCESSOR_ALL },

{ "sst.h",      one (0x0480),           one (0x0780),           {R2,   D8_7, EP},       2, PROCESSOR_ALL },

{ "sst.w",      one (0x0501),           one (0x0781),           {R2,   D8_6, EP},       2, PROCESSOR_ALL },

{ "prepare",    two (0x0780, 0x0003),   two (0xffc0, 0x001f),   {LIST12, IMM5, SP},     0, PROCESSOR_NOT_V850 },

{ "prepare",    two (0x0780, 0x000b),   two (0xffc0, 0x001f),   {LIST12, IMM5, IMM16},  0, PROCESSOR_NOT_V850 },

{ "prepare",    two (0x0780, 0x0013),   two (0xffc0, 0x001f),   {LIST12, IMM5, IMM16},  0, PROCESSOR_NOT_V850 },

{ "prepare",    two (0x0780, 0x001b),   two (0xffc0, 0x001f),   {LIST12, IMM5, IMM32},  0, PROCESSOR_NOT_V850 },

{ "prepare",    two (0x0780, 0x0001),   two (0xffc0, 0x001f),   {LIST12, IMM5},         0, PROCESSOR_NOT_V850 },

{ "dispose",    one (0x0640),           one (0xffc0),           {IMM5, LIST12, R2DISPOSE},0, PROCESSOR_NOT_V850 },

{ "dispose",    two (0x0640, 0x0000),   two (0xffc0, 0x001f),   {IMM5, LIST12},         0, PROCESSOR_NOT_V850 },

{ "ld.b",       two (0x0700, 0x0000),   two (0x07e0, 0x0000),   {D16, R1, R2},          1, PROCESSOR_ALL },

{ "ld.h",       two (0x0720, 0x0000),   two (0x07e0, 0x0001),   {D16_15, R1, R2},       1, PROCESSOR_ALL },

{ "ld.w",       two (0x0720, 0x0001),   two (0x07e0, 0x0001),   {D16_15, R1, R2},       1, PROCESSOR_ALL },

{ "ld.bu",      two (0x0780, 0x0001),   two (0x07c0, 0x0001),   {D16_16, R1, R2_NOTR0}, 1, PROCESSOR_NOT_V850 },

{ "ld.hu",      two (0x07e0, 0x0001),   two (0x07e0, 0x0001),   {D16_15, R1, R2_NOTR0}, 1, PROCESSOR_NOT_V850 },

{ "st.b",       two (0x0740, 0x0000),   two (0x07e0, 0x0000),   {R2, D16, R1},          2, PROCESSOR_ALL },

{ "st.h",       two (0x0760, 0x0000),   two (0x07e0, 0x0001),   {R2, D16_15, R1},       2, PROCESSOR_ALL },

{ "st.w",       two (0x0760, 0x0001),   two (0x07e0, 0x0001),   {R2, D16_15, R1},       2, PROCESSOR_ALL },

/* Byte swap/extend instructions.  */

{ "zxb",        one (0x0080),           one (0xffe0),           {R1_NOTR0},             0, PROCESSOR_NOT_V850 },

{ "zxh",        one (0x00c0),           one (0xffe0),           {R1_NOTR0},             0, PROCESSOR_NOT_V850 },

{ "sxb",        one (0x00a0),           one (0xffe0),           {R1_NOTR0},             0, PROCESSOR_NOT_V850 },

{ "sxh",        one (0x00e0),           one (0xffe0),           {R1_NOTR0},             0, PROCESSOR_NOT_V850 },

{ "bsh",        two (0x07e0, 0x0342),   two (0x07ff, 0x07ff),   {R2, R3},               0, PROCESSOR_NOT_V850 },

{ "bsw",        two (0x07e0, 0x0340),   two (0x07ff, 0x07ff),   {R2, R3},               0, PROCESSOR_NOT_V850 },

{ "hsw",        two (0x07e0, 0x0344),   two (0x07ff, 0x07ff),   {R2, R3},               0, PROCESSOR_NOT_V850 },

/* Jump table instructions.  */

{ "switch",     one (0x0040),           one (0xffe0),           {R1},                   1, PROCESSOR_NOT_V850 },

{ "callt",      one (0x0200),           one (0xffc0),           {I6},                   0, PROCESSOR_NOT_V850 },

{ "ctret",      two (0x07e0, 0x0144),   two (0xffff, 0xffff),   {0},                     0, PROCESSOR_NOT_V850 },