Subversion Repositories or1k

/* Assemble V850 instructions.

   Copyright 1996, 1997, 1998, 2000, 2001 Free Software Foundation, Inc.

This program 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 2 of the License, or

(at your option) any later version.

This program 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */

#include "sysdep.h"

#include "opcode/v850.h"

#include <stdio.h>

#include "opintl.h"

/* regular opcode */

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

#define OP_MASK         OP (0x3f)

/* conditional branch opcode */

#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))

static long unsigned insert_d9      PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d9     PARAMS ((long unsigned, int *));

static long unsigned insert_d22     PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d22    PARAMS ((long unsigned, int *));

static long unsigned insert_d16_15  PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d16_15 PARAMS ((long unsigned, int *));

static long unsigned insert_d8_7    PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d8_7   PARAMS ((long unsigned, int *));

static long unsigned insert_d8_6    PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d8_6   PARAMS ((long unsigned, int *));

static long unsigned insert_d5_4    PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d5_4   PARAMS ((long unsigned, int *));

static long unsigned insert_d16_16  PARAMS ((long unsigned, long, const char **));

static long unsigned extract_d16_16 PARAMS ((long unsigned, int *));

static long unsigned insert_i9      PARAMS ((long unsigned, long, const char **));

static long unsigned extract_i9     PARAMS ((long unsigned, int *));

static long unsigned insert_u9      PARAMS ((long unsigned, long, const char **));

static long unsigned extract_u9     PARAMS ((long unsigned, int *));

static long unsigned insert_spe     PARAMS ((long unsigned, long, const char **));

static long unsigned extract_spe    PARAMS ((long unsigned, int *));

static long unsigned insert_i5div   PARAMS ((long unsigned, long, const char **));

static long unsigned extract_i5div  PARAMS ((long unsigned, int *));

/* 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 (insn, value, errmsg)

     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 (insn, invalid)

     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 (insn, value, errmsg)

     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 (insn, invalid)

     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 (insn, value, errmsg)

     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 (insn, invalid)

     unsigned long insn;

     int *         invalid ATTRIBUTE_UNUSED;

{

  signed long ret = (insn & 0xfffe0000);

  return ret >> 16;

}

static unsigned long

insert_d8_7 (insn, value, errmsg)

     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 (insn, invalid)

     unsigned long insn;

     int *         invalid ATTRIBUTE_UNUSED;

{

  unsigned long ret = (insn & 0x7f);

  return ret << 1;

}

static unsigned long

insert_d8_6 (insn, value, errmsg)

     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 (insn, invalid)

     unsigned long insn;

     int *         invalid ATTRIBUTE_UNUSED;

{

  unsigned long ret = (insn & 0x7e);

  return ret << 1;

}

static unsigned long

insert_d5_4 (insn, value, errmsg)

     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 (insn, invalid)

     unsigned long insn;

     int *         invalid ATTRIBUTE_UNUSED;

{

  unsigned long ret = (insn & 0x0f);

  return ret << 1;

}

static unsigned long

insert_d16_16 (insn, value, errmsg)

     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 (insn, invalid)

     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 (insn, value, errmsg)

     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 (insn, invalid)

     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 (insn, v, errmsg)

     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 (insn, invalid)

     unsigned long insn;

     int *         invalid ATTRIBUTE_UNUSED;

{

  unsigned long ret = insn & 0x003c0000;

  ret >>= 13;

  ret |= (insn & 0x1f);

  return ret;

}

static unsigned long

insert_spe (insn, v, errmsg)

     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 (insn, invalid)

     unsigned long insn ATTRIBUTE_UNUSED;

     int *         invalid ATTRIBUTE_UNUSED;

{

  return 3;

}

static unsigned long

insert_i5div (insn, v, errmsg)

     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 (insn, invalid)

     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)

  { -1, 0xfff8001f, NULL, NULL, V850E_PUSH_POP }, /* The setting of the 4th bit is a flag to disassmble() in v850-dis.c */

} ;

/* 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 },

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

/* load/store instructions */

{ "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_V850E },

{ "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_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 },