Subversion Repositories open8_urisc

/* rl78-parse.y  Renesas RL78 parser

   Copyright 2011

   Free Software Foundation, Inc.

   This file is part of GAS, the GNU Assembler.

   GAS 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.

   GAS 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 GAS; see the file COPYING.  If not, write to the Free

   Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA

   02110-1301, USA.  */

%{

#include "as.h"

#include "safe-ctype.h"

#include "rl78-defs.h"

static int rl78_lex (void);

/* Ok, here are the rules for using these macros...

   B*() is used to specify the base opcode bytes.  Fields to be filled

        in later, leave zero.  Call this first.

   F() and FE() are used to fill in fields within the base opcode bytes.  You MUST

        call B*() before any F() or FE().

   [UN]*O*(), PC*() appends operands to the end of the opcode.  You

        must call P() and B*() before any of these, so that the fixups

        have the right byte location.

        O = signed, UO = unsigned, NO = negated, PC = pcrel

   IMM() adds an immediate and fills in the field for it.

   NIMM() same, but negates the immediate.

   NBIMM() same, but negates the immediate, for sbb.

   DSP() adds a displacement, and fills in the field for it.

   Note that order is significant for the O, IMM, and DSP macros, as

   they append their data to the operand buffer in the order that you

   call them.

   Use "disp" for displacements whenever possible; this handles the

   "0" case properly.  */

#define B1(b1)             rl78_base1 (b1)

#define B2(b1, b2)         rl78_base2 (b1, b2)

#define B3(b1, b2, b3)     rl78_base3 (b1, b2, b3)

#define B4(b1, b2, b3, b4) rl78_base4 (b1, b2, b3, b4)

/* POS is bits from the MSB of the first byte to the LSB of the last byte.  */

#define F(val,pos,sz)      rl78_field (val, pos, sz)

#define FE(exp,pos,sz)     rl78_field (exp_val (exp), pos, sz);

#define O1(v)              rl78_op (v, 1, RL78REL_DATA)

#define O2(v)              rl78_op (v, 2, RL78REL_DATA)

#define O3(v)              rl78_op (v, 3, RL78REL_DATA)

#define O4(v)              rl78_op (v, 4, RL78REL_DATA)

#define PC1(v)             rl78_op (v, 1, RL78REL_PCREL)

#define PC2(v)             rl78_op (v, 2, RL78REL_PCREL)

#define PC3(v)             rl78_op (v, 3, RL78REL_PCREL)

#define IMM(v,pos)         F (immediate (v, RL78REL_SIGNED, pos), pos, 2); \

                           if (v.X_op != O_constant && v.X_op != O_big) rl78_linkrelax_imm (pos)

#define NIMM(v,pos)        F (immediate (v, RL78REL_NEGATIVE, pos), pos, 2)

#define NBIMM(v,pos)       F (immediate (v, RL78REL_NEGATIVE_BORROW, pos), pos, 2)

#define DSP(v,pos,msz)     if (!v.X_md) rl78_relax (RL78_RELAX_DISP, pos); \

                           else rl78_linkrelax_dsp (pos); \

                           F (displacement (v, msz), pos, 2)

#define id24(a,b2,b3)      B3 (0xfb+a, b2, b3)

static int         expr_is_sfr (expressionS);

static int         expr_is_saddr (expressionS);

static int         expr_is_word_aligned (expressionS);

static int         exp_val (expressionS exp);

static int    need_flag = 0;

static int    rl78_in_brackets = 0;

static int    rl78_last_token = 0;

static char * rl78_init_start;

static char * rl78_last_exp_start = 0;

static int    rl78_bit_insn = 0;

#define YYDEBUG 1

#define YYERROR_VERBOSE 1

#define NOT_SADDR  rl78_error ("Expression not 0xFFE20 to 0xFFF1F")

#define SA(e) if (!expr_is_saddr (e)) NOT_SADDR;

#define NOT_SFR  rl78_error ("Expression not 0xFFF00 to 0xFFFFF")

#define SFR(e) if (!expr_is_sfr (e)) NOT_SFR;

#define NOT_SFR_OR_SADDR  rl78_error ("Expression not 0xFFE20 to 0xFFFFF")

#define NOT_ES if (rl78_has_prefix()) rl78_error ("ES: prefix not allowed here");

#define WA(x) if (!expr_is_word_aligned (x)) rl78_error ("Expression not word-aligned");

static void check_expr_is_bit_index (expressionS);

#define Bit(e) check_expr_is_bit_index (e);

/* Returns TRUE (non-zero) if the expression is a constant in the

   given range.  */

static int check_expr_is_const (expressionS, int vmin, int vmax);

/* Convert a "regb" value to a "reg_xbc" value.  Error if other

   registers are passed.  Needed to avoid reduce-reduce conflicts.  */

static int

reg_xbc (int reg)

{

  switch (reg)

    {

      case 0: /* X */

        return 0x10;

      case 3: /* B */

        return 0x20;

      case 2: /* C */

        return 0x30;

      default:

        rl78_error ("Only X, B, or C allowed here");

        return 0;

    }

}

%}

%name-prefix="rl78_"

%union {

  int regno;

  expressionS exp;

}

%type  regb regb_na regw regw_na FLAG sfr

%type  A X B C D E H L AX BC DE HL

%type  EXPR

%type  addsub addsubw andor1 bt_bf setclr1 oneclrb oneclrw

%type  incdec incdecw

%token A X B C D E H L AX BC DE HL

%token SPL SPH PSW CS ES PMC MEM

%token FLAG SP CY

%token RB0 RB1 RB2 RB3

%token EXPR UNKNOWN_OPCODE IS_OPCODE

%token DOT_S DOT_B DOT_W DOT_L DOT_A DOT_UB DOT_UW

%token ADD ADDC ADDW AND_ AND1

/* BC is also a register pair */

%token BF BH BNC BNH BNZ BR BRK BRK1 BT BTCLR BZ

%token CALL CALLT CLR1 CLRB CLRW CMP CMP0 CMPS CMPW

%token DEC DECW DI DIVHU DIVWU

%token EI

%token HALT

%token INC INCW

%token MACH MACHU MOV MOV1 MOVS MOVW MULH MULHU MULU

%token NOP NOT1

%token ONEB ONEW OR OR1

%token POP PUSH

%token RET RETI RETB ROL ROLC ROLWC ROR RORC

%token SAR SARW SEL SET1 SHL SHLW SHR SHRW

%token   SKC SKH SKNC SKNH SKNZ SKZ STOP SUB SUBC SUBW

%token XCH XCHW XOR XOR1

%%

/* ====================================================================== */

statement :

          UNKNOWN_OPCODE

          { as_bad (_("Unknown opcode: %s"), rl78_init_start); }

/* The opcodes are listed in approximately alphabetical order.  */

/* For reference:

  sfr  = special function register - symbol, 0xFFF00 to 0xFFFFF

  sfrp = special function register - symbol, 0xFFF00 to 0xFFFFE, even only

  saddr  = 0xFFE20 to 0xFFF1F

  saddrp = 0xFFE20 to 0xFFF1E, even only

  addr20 = 0x00000 to 0xFFFFF

  addr16 = 0x00000 to 0x0FFFF, even only for 16-bit ops

  addr5  = 0x00000 to 0x000BE, even only

*/

/* ---------------------------------------------------------------------- */

/* addsub is ADD, ADDC, SUB, SUBC, AND, OR, XOR, and parts of CMP.  */

        | addsub A ',' '#' EXPR

          { B1 (0x0c|$1); O1 ($5); }

        | addsub EXPR {SA($2)} ',' '#' EXPR

          { B1 (0x0a|$1); O1 ($2); O1 ($6); }

        | addsub A ',' A

          { B2 (0x61, 0x01|$1); }

        | addsub A ',' regb_na

          { B2 (0x61, 0x08|$1); F ($4, 13, 3); }

        | addsub regb_na ',' A

          { B2 (0x61, 0x00|$1); F ($2, 13, 3); }

        | addsub A ',' EXPR {SA($4)}

          { B1 (0x0b|$1); O1 ($4); }

        | addsub A ',' opt_es '!' EXPR

          { B1 (0x0f|$1); O2 ($6); rl78_linkrelax_addr16 (); }

        | addsub A ',' opt_es '[' HL ']'

          { B1 (0x0d|$1); }

        | addsub A ',' opt_es '[' HL '+' EXPR ']'

          { B1 (0x0e|$1); O1 ($8); }

        | addsub A ',' opt_es '[' HL '+' B ']'

          { B2 (0x61, 0x80|$1); }

        | addsub A ',' opt_es '[' HL '+' C ']'

          { B2 (0x61, 0x82|$1); }

        | addsub opt_es '!' EXPR ',' '#' EXPR

          { if ($1 != 0x40)

              { rl78_error ("Only CMP takes these operands"); }

            else

              { B1 (0x00|$1); O2 ($4); O1 ($7); rl78_linkrelax_addr16 (); }

          }

/* ---------------------------------------------------------------------- */

        | addsubw AX ',' '#' EXPR

          { B1 (0x04|$1); O2 ($5); }

        | addsubw AX ',' regw

          { B1 (0x01|$1); F ($4, 5, 2); }

        | addsubw AX ',' EXPR {SA($4)}

          { B1 (0x06|$1); O1 ($4); }

        | addsubw AX ',' opt_es '!' EXPR

          { B1 (0x02|$1); O2 ($6); rl78_linkrelax_addr16 (); }

        | addsubw AX ',' opt_es '[' HL '+' EXPR ']'

          { B2 (0x61, 0x09|$1); O1 ($8); }

        | addsubw AX ',' opt_es '[' HL ']'

          { B4 (0x61, 0x09|$1, 0, 0); }

        | addsubw SP ',' '#' EXPR

          { B1 ($1 ? 0x20 : 0x10); O1 ($5);

            if ($1 == 0x40)

              rl78_error ("CMPW SP,#imm not allowed");

          }

/* ---------------------------------------------------------------------- */

        | andor1 CY ',' sfr '.' EXPR {Bit($6)}

          { B3 (0x71, 0x08|$1, $4); FE ($6, 9, 3); }

        | andor1 CY ',' EXPR '.' EXPR {Bit($6)}

          { if (expr_is_sfr ($4))

              { B2 (0x71, 0x08|$1); FE ($6, 9, 3); O1 ($4); }

            else if (expr_is_saddr ($4))

              { B2 (0x71, 0x00|$1); FE ($6, 9, 3); O1 ($4); }

            else

              NOT_SFR_OR_SADDR;

          }

        | andor1 CY ',' A '.' EXPR {Bit($6)}

          { B2 (0x71, 0x88|$1);  FE ($6, 9, 3); }

        | andor1 CY ',' opt_es '[' HL ']' '.' EXPR {Bit($9)}

          { B2 (0x71, 0x80|$1);  FE ($9, 9, 3); }

/* ---------------------------------------------------------------------- */

        | BC '$' EXPR

          { B1 (0xdc); PC1 ($3); }

        | BNC '$' EXPR

          { B1 (0xde); PC1 ($3); }

        | BZ '$' EXPR

          { B1 (0xdd); PC1 ($3); }

        | BNZ '$' EXPR

          { B1 (0xdf); PC1 ($3); }

        | BH '$' EXPR

          { B2 (0x61, 0xc3); PC1 ($3); }

        | BNH '$' EXPR

          { B2 (0x61, 0xd3); PC1 ($3); }

/* ---------------------------------------------------------------------- */

        | bt_bf sfr '.' EXPR ',' '$' EXPR

          { B3 (0x31, 0x80|$1, $2); FE ($4, 9, 3); PC1 ($7); }

        | bt_bf EXPR '.' EXPR ',' '$' EXPR

          { if (expr_is_sfr ($2))

              { B2 (0x31, 0x80|$1); FE ($4, 9, 3); O1 ($2); PC1 ($7); }

            else if (expr_is_saddr ($2))

              { B2 (0x31, 0x00|$1); FE ($4, 9, 3); O1 ($2); PC1 ($7); }

            else

              NOT_SFR_OR_SADDR;

          }

        | bt_bf A '.' EXPR ',' '$' EXPR

          { B2 (0x31, 0x01|$1); FE ($4, 9, 3); PC1 ($7); }

        | bt_bf opt_es '[' HL ']' '.' EXPR ',' '$' EXPR

          { B2 (0x31, 0x81|$1); FE ($7, 9, 3); PC1 ($10); }

/* ---------------------------------------------------------------------- */

        | BR AX

          { B2 (0x61, 0xcb); }

        | BR '$' EXPR

          { B1 (0xef); PC1 ($3); }

        | BR '$' '!' EXPR

          { B1 (0xee); PC2 ($4); rl78_linkrelax_branch (); }

        | BR '!' EXPR

          { B1 (0xed); O2 ($3); rl78_linkrelax_branch (); }

        | BR '!' '!' EXPR

          { B1 (0xec); O3 ($4); rl78_linkrelax_branch (); }

/* ---------------------------------------------------------------------- */

        | BRK

          { B2 (0x61, 0xcc); }

        | BRK1

          { B1 (0xff); }

/* ---------------------------------------------------------------------- */

        | CALL regw

          { B2 (0x61, 0xca); F ($2, 10, 2); }

        | CALL '$' '!' EXPR

          { B1 (0xfe); PC2 ($4); }

        | CALL '!' EXPR

          { B1 (0xfd); O2 ($3); }

        | CALL '!' '!' EXPR

          { B1 (0xfc); O3 ($4); rl78_linkrelax_branch (); }

        | CALLT '[' EXPR ']'

          { if ($3.X_op != O_constant)

              rl78_error ("CALLT requires a numeric address");

            else

              {

                int i = $3.X_add_number;

                if (i < 0x80 || i > 0xbe)

                  rl78_error ("CALLT address not 0x80..0xbe");

                else if (i & 1)

                  rl78_error ("CALLT address not even");

                else

                  {

                    B2 (0x61, 0x84);

                    F ((i >> 1) & 7, 9, 3);

                    F ((i >> 4) & 7, 14, 2);

                  }

              }

          }

/* ---------------------------------------------------------------------- */

        | setclr1 CY

          { B2 (0x71, $1 ? 0x88 : 0x80); }

        | setclr1 sfr '.' EXPR

          { B3 (0x71, 0x0a|$1, $2); FE ($4, 9, 3); }

        | setclr1 EXPR '.' EXPR

          { if (expr_is_sfr ($2))

              { B2 (0x71, 0x0a|$1); FE ($4, 9, 3); O1 ($2); }

            else if (expr_is_saddr ($2))

              { B2 (0x71, 0x02|$1); FE ($4, 9, 3); O1 ($2); }

            else

              NOT_SFR_OR_SADDR;

          }

        | setclr1 A '.' EXPR

          { B2 (0x71, 0x8a|$1);  FE ($4, 9, 3); }

        | setclr1 opt_es '!' EXPR '.' EXPR

          { B2 (0x71, 0x00+$1*0x08); FE ($6, 9, 3); O2 ($4); rl78_linkrelax_addr16 (); }

        | setclr1 opt_es '[' HL ']' '.' EXPR

          { B2 (0x71, 0x82|$1); FE ($7, 9, 3); }

/* ---------------------------------------------------------------------- */

        | oneclrb A

          { B1 (0xe1|$1); }

        | oneclrb X

          { B1 (0xe0|$1); }

        | oneclrb B

          { B1 (0xe3|$1); }

        | oneclrb C

          { B1 (0xe2|$1); }

        | oneclrb EXPR {SA($2)}

          { B1 (0xe4|$1); O1 ($2); }

        | oneclrb opt_es '!' EXPR

          { B1 (0xe5|$1); O2 ($4); rl78_linkrelax_addr16 (); }

/* ---------------------------------------------------------------------- */

        | oneclrw AX

          { B1 (0xe6|$1); }

        | oneclrw BC

          { B1 (0xe7|$1); }

/* ---------------------------------------------------------------------- */

        | CMP0 A

          { B1 (0xd1); }

        | CMP0 X

          { B1 (0xd0); }

        | CMP0 B

          { B1 (0xd3); }

        | CMP0 C

          { B1 (0xd2); }

        | CMP0 EXPR {SA($2)}

          { B1 (0xd4); O1 ($2); }

        | CMP0 opt_es '!' EXPR

          { B1 (0xd5); O2 ($4); rl78_linkrelax_addr16 (); }

/* ---------------------------------------------------------------------- */

        | CMPS X ',' opt_es '[' HL '+' EXPR ']'

          { B2 (0x61, 0xde); O1 ($8); }

/* ---------------------------------------------------------------------- */

        | incdec regb

          { B1 (0x80|$1); F ($2, 5, 3); }

        | incdec EXPR {SA($2)}

          { B1 (0xa4|$1); O1 ($2); }

        | incdec '!' EXPR

          { B1 (0xa0|$1); O2 ($3); rl78_linkrelax_addr16 (); }

        | incdec ES ':' '!' EXPR

          { B2 (0x11, 0xa0|$1); O2 ($5); }

        | incdec '[' HL '+' EXPR ']'

          { B2 (0x61, 0x59+$1); O1 ($5); }

        | incdec ES ':' '[' HL '+' EXPR ']'

          { B3 (0x11, 0x61, 0x59+$1); O1 ($7); }

/* ---------------------------------------------------------------------- */

        | incdecw regw

          { B1 (0xa1|$1); F ($2, 5, 2); }

        | incdecw EXPR {SA($2)}

          { B1 (0xa6|$1); O1 ($2); }

        | incdecw opt_es '!' EXPR

          { B1 (0xa2|$1); O2 ($4); rl78_linkrelax_addr16 (); }

        | incdecw opt_es '[' HL '+' EXPR ']'

          { B2 (0x61, 0x79+$1); O1 ($6); }

/* ---------------------------------------------------------------------- */

        | DI

          { B3 (0x71, 0x7b, 0xfa); }

        | EI

          { B3 (0x71, 0x7a, 0xfa); }

/* ---------------------------------------------------------------------- */

        | MULHU

          { B3 (0xce, 0xfb, 0x01); }

        | MULH

          { B3 (0xce, 0xfb, 0x02); }

        | MULU X

          { B1 (0xd6); }

        | DIVHU

          { B3 (0xce, 0xfb, 0x03); }

        | DIVWU

          { B3 (0xce, 0xfb, 0x04); }

        | MACHU

          { B3 (0xce, 0xfb, 0x05); }

        | MACH

          { B3 (0xce, 0xfb, 0x06); }

/* ---------------------------------------------------------------------- */

        | HALT

          { B2 (0x61, 0xed); }

/* ---------------------------------------------------------------------- */

/* Note that opt_es is included even when it's not an option, to avoid

   shift/reduce conflicts.  The NOT_ES macro produces an error if ES:

   is given by the user.  */

        | MOV A ',' '#' EXPR

          { B1 (0x51); O1 ($5); }

        | MOV regb_na ',' '#' EXPR

          { B1 (0x50); F($2, 5, 3); O1 ($5); }

        | MOV sfr ',' '#' EXPR

          { if ($2 != 0xfd)

              { B2 (0xce, $2); O1 ($5); }

            else

              { B1 (0x41); O1 ($5); }

          }

        | MOV opt_es EXPR ',' '#' EXPR  {NOT_ES}

          { if (expr_is_sfr ($3))

              { B1 (0xce); O1 ($3); O1 ($6); }

            else if (expr_is_saddr ($3))

              { B1 (0xcd); O1 ($3); O1 ($6); }

            else

              NOT_SFR_OR_SADDR;

          }

        | MOV '!' EXPR ',' '#' EXPR

          { B1 (0xcf); O2 ($3); O1 ($6); rl78_linkrelax_addr16 (); }

        | MOV ES ':' '!' EXPR ',' '#' EXPR

          { B2 (0x11, 0xcf); O2 ($5); O1 ($8); }

        | MOV regb_na ',' A

          { B1 (0x70); F ($2, 5, 3); }

        | MOV A ',' regb_na

          { B1 (0x60); F ($4, 5, 3); }

        | MOV opt_es EXPR ',' A  {NOT_ES}

          { if (expr_is_sfr ($3))

              { B1 (0x9e); O1 ($3); }

            else if (expr_is_saddr ($3))

              { B1 (0x9d); O1 ($3); }

            else

              NOT_SFR_OR_SADDR;

          }

        | MOV A ',' opt_es '!' EXPR

          { B1 (0x8f); O2 ($6); rl78_linkrelax_addr16 (); }

        | MOV '!' EXPR ',' A

          { B1 (0x9f); O2 ($3); rl78_linkrelax_addr16 (); }

        | MOV ES ':' '!' EXPR ',' A

          { B2 (0x11, 0x9f); O2 ($5); }

        | MOV regb_na ',' opt_es '!' EXPR

          { B1 (0xc9|reg_xbc($2)); O2 ($6); rl78_linkrelax_addr16 (); }

        | MOV A ',' opt_es EXPR  {NOT_ES}

          { if (expr_is_saddr ($5))

              { B1 (0x8d); O1 ($5); }

            else if (expr_is_sfr ($5))

              { B1 (0x8e); O1 ($5); }

            else

              NOT_SFR_OR_SADDR;

          }

        | MOV regb_na ',' opt_es EXPR {SA($5)} {NOT_ES}

          { B1 (0xc8|reg_xbc($2)); O1 ($5); }

        | MOV A ',' sfr

          { B2 (0x8e, $4); }

        | MOV sfr ',' regb

          { if ($4 != 1)

              rl78_error ("Only A allowed here");

            else

              { B2 (0x9e, $2); }

          }

        | MOV sfr ',' opt_es EXPR {SA($5)} {NOT_ES}

          { if ($2 != 0xfd)

              rl78_error ("Only ES allowed here");

            else

              { B2 (0x61, 0xb8); O1 ($5); }

          }

        | MOV A ',' opt_es '[' DE ']'

          { B1 (0x89); }

        | MOV opt_es '[' DE ']' ',' A

          { B1 (0x99); }

        | MOV opt_es '[' DE '+' EXPR ']' ',' '#' EXPR

          { B1 (0xca); O1 ($6); O1 ($10); }

        | MOV A ',' opt_es '[' DE '+' EXPR ']'

          { B1 (0x8a); O1 ($8); }

        | MOV opt_es '[' DE '+' EXPR ']' ',' A

          { B1 (0x9a); O1 ($6); }

        | MOV A ',' opt_es '[' HL ']'

          { B1 (0x8b); }

        | MOV opt_es '[' HL ']' ',' A

          { B1 (0x9b); }

        | MOV opt_es '[' HL '+' EXPR ']' ',' '#' EXPR

          { B1 (0xcc); O1 ($6); O1 ($10); }

        | MOV A ',' opt_es '[' HL '+' EXPR ']'

          { B1 (0x8c); O1 ($8); }

        | MOV opt_es '[' HL '+' EXPR ']' ',' A

          { B1 (0x9c); O1 ($6); }

        | MOV A ',' opt_es '[' HL '+' B ']'

          { B2 (0x61, 0xc9); }

        | MOV opt_es '[' HL '+' B ']' ',' A

          { B2 (0x61, 0xd9); }

        | MOV A ',' opt_es '[' HL '+' C ']'

          { B2 (0x61, 0xe9); }

        | MOV opt_es '[' HL '+' C ']' ',' A

          { B2 (0x61, 0xf9); }

        | MOV opt_es EXPR '[' B ']' ',' '#' EXPR

          { B1 (0x19); O2 ($3); O1 ($9); }

        | MOV A ',' opt_es EXPR '[' B ']'

          { B1 (0x09); O2 ($5); }

        | MOV opt_es EXPR '[' B ']' ',' A

          { B1 (0x18); O2 ($3); }

        | MOV opt_es EXPR '[' C ']' ',' '#' EXPR

          { B1 (0x38); O2 ($3); O1 ($9); }

        | MOV A ',' opt_es EXPR '[' C ']'

          { B1 (0x29); O2 ($5); }

        | MOV opt_es EXPR '[' C ']' ',' A

          { B1 (0x28); O2 ($3); }

        | MOV opt_es EXPR '[' BC ']' ',' '#' EXPR

          { B1 (0x39); O2 ($3); O1 ($9); }

        | MOV opt_es '[' BC ']' ',' '#' EXPR

          { B3 (0x39, 0, 0); O1 ($8); }

        | MOV A ',' opt_es EXPR '[' BC ']'

          { B1 (0x49); O2 ($5); }

        | MOV A ',' opt_es '[' BC ']'

          { B3 (0x49, 0, 0); }

        | MOV opt_es EXPR '[' BC ']' ',' A

          { B1 (0x48); O2 ($3); }

        | MOV opt_es '[' BC ']' ',' A

          { B3 (0x48, 0, 0); }

        | MOV opt_es '[' SP '+' EXPR ']' ',' '#' EXPR  {NOT_ES}

          { B1 (0xc8); O1 ($6); O1 ($10); }

        | MOV opt_es '[' SP ']' ',' '#' EXPR  {NOT_ES}

          { B2 (0xc8, 0); O1 ($8); }

        | MOV A ',' opt_es '[' SP '+' EXPR ']'  {NOT_ES}

          { B1 (0x88); O1 ($8); }

        | MOV A ',' opt_es '[' SP ']'  {NOT_ES}

          { B2 (0x88, 0); }

        | MOV opt_es '[' SP '+' EXPR ']' ',' A  {NOT_ES}

          { B1 (0x98); O1 ($6); }

        | MOV opt_es '[' SP ']' ',' A  {NOT_ES}

          { B2 (0x98, 0); }

/* ---------------------------------------------------------------------- */

        | mov1 CY ',' EXPR '.' EXPR

          { if (expr_is_saddr ($4))

              { B2 (0x71, 0x04); FE ($6, 9, 3); O1 ($4); }

            else if (expr_is_sfr ($4))

              { B2 (0x71, 0x0c); FE ($6, 9, 3); O1 ($4); }

            else

              NOT_SFR_OR_SADDR;

          }

        | mov1 CY ',' A '.' EXPR

          { B2 (0x71, 0x8c); FE ($6, 9, 3); }

        | mov1 CY ',' sfr '.' EXPR

          { B3 (0x71, 0x0c, $4); FE ($6, 9, 3); }

        | mov1 CY ',' opt_es '[' HL ']' '.' EXPR

          { B2 (0x71, 0x84); FE ($9, 9, 3); }

        | mov1 EXPR '.' EXPR ',' CY

          { if (expr_is_saddr ($2))

              { B2 (0x71, 0x01); FE ($4, 9, 3); O1 ($2); }

            else if (expr_is_sfr ($2))

              { B2 (0x71, 0x09); FE ($4, 9, 3); O1 ($2); }

            else

              NOT_SFR_OR_SADDR;

          }

        | mov1 A '.' EXPR ',' CY

          { B2 (0x71, 0x89); FE ($4, 9, 3); }

        | mov1 sfr '.' EXPR ',' CY

          { B3 (0x71, 0x09, $2); FE ($4, 9, 3); }

        | mov1 opt_es '[' HL ']' '.' EXPR ',' CY

          { B2 (0x71, 0x81); FE ($7, 9, 3); }

/* ---------------------------------------------------------------------- */

        | MOVS opt_es '[' HL '+' EXPR ']' ',' X

          { B2 (0x61, 0xce); O1 ($6); }

/* ---------------------------------------------------------------------- */

        | MOVW AX ',' '#' EXPR

          { B1 (0x30); O2 ($5); }

        | MOVW regw_na ',' '#' EXPR

          { B1 (0x30); F ($2, 5, 2); O2 ($5); }

        | MOVW opt_es EXPR ',' '#' EXPR {NOT_ES}

          { if (expr_is_saddr ($3))

              { B1 (0xc9); O1 ($3); O2 ($6); }

            else if (expr_is_sfr ($3))

              { B1 (0xcb); O1 ($3); O2 ($6); }

            else

              NOT_SFR_OR_SADDR;

          }

        | MOVW AX ',' opt_es EXPR {NOT_ES}

          { if (expr_is_saddr ($5))

              { B1 (0xad); O1 ($5); WA($5); }

            else if (expr_is_sfr ($5))

              { B1 (0xae); O1 ($5); WA($5); }

            else

              NOT_SFR_OR_SADDR;

          }

        | MOVW opt_es EXPR ',' AX {NOT_ES}

          { if (expr_is_saddr ($3))

              { B1 (0xbd); O1 ($3); WA($3); }

            else if (expr_is_sfr ($3))

              { B1 (0xbe); O1 ($3); WA($3); }

            else

              NOT_SFR_OR_SADDR;

          }

        | MOVW AX ',' regw_na

          { B1 (0x11); F ($4, 5, 2); }

        | MOVW regw_na ',' AX

          { B1 (0x10); F ($2, 5, 2); }

        | MOVW AX ',' opt_es '!' EXPR

          { B1 (0xaf); O2 ($6); WA($6); rl78_linkrelax_addr16 (); }

        | MOVW opt_es '!' EXPR ',' AX

          { B1 (0xbf); O2 ($4); WA($4); rl78_linkrelax_addr16 (); }

        | MOVW AX ',' opt_es '[' DE ']'

          { B1 (0xa9); }

        | MOVW opt_es '[' DE ']' ',' AX

          { B1 (0xb9); }

        | MOVW AX ',' opt_es '[' DE '+' EXPR ']'

          { B1 (0xaa); O1 ($8); }

        | MOVW opt_es '[' DE '+' EXPR ']' ',' AX

          { B1 (0xba); O1 ($6); }

        | MOVW AX ',' opt_es '[' HL ']'

          { B1 (0xab); }

        | MOVW opt_es '[' HL ']' ',' AX

          { B1 (0xbb); }

        | MOVW AX ',' opt_es '[' HL '+' EXPR ']'

          { B1 (0xac); O1 ($8); }

        | MOVW opt_es '[' HL '+' EXPR ']' ',' AX

          { B1 (0xbc); O1 ($6); }

        | MOVW AX ',' opt_es EXPR '[' B ']'

          { B1 (0x59); O2 ($5); }

        | MOVW opt_es EXPR '[' B ']' ',' AX

          { B1 (0x58); O2 ($3); }

        | MOVW AX ',' opt_es EXPR '[' C ']'

          { B1 (0x69); O2 ($5); }

        | MOVW opt_es EXPR '[' C ']' ',' AX

          { B1 (0x68); O2 ($3); }

        | MOVW AX ',' opt_es EXPR '[' BC ']'

          { B1 (0x79); O2 ($5); }

        | MOVW AX ',' opt_es '[' BC ']'

          { B3 (0x79, 0, 0); }

        | MOVW opt_es EXPR '[' BC ']' ',' AX

          { B1 (0x78); O2 ($3); }

        | MOVW opt_es '[' BC ']' ',' AX

          { B3 (0x78, 0, 0); }

        | MOVW AX ',' opt_es '[' SP '+' EXPR ']' {NOT_ES}

          { B1 (0xa8); O1 ($8);  WA($8);}

        | MOVW AX ',' opt_es '[' SP ']' {NOT_ES}

          { B2 (0xa8, 0); }

        | MOVW opt_es '[' SP '+' EXPR ']' ',' AX {NOT_ES}

          { B1 (0xb8); O1 ($6); WA($6); }

        | MOVW opt_es '[' SP ']' ',' AX {NOT_ES}

          { B2 (0xb8, 0); }

        | MOVW regw_na ',' EXPR {SA($4)}

          { B1 (0xca); F ($2, 2, 2); O1 ($4); WA($4); }

        | MOVW regw_na ',' opt_es '!' EXPR

          { B1 (0xcb); F ($2, 2, 2); O2 ($6); WA($6); rl78_linkrelax_addr16 (); }

        | MOVW SP ',' '#' EXPR

          { B2 (0xcb, 0xf8); O2 ($5); }

        | MOVW SP ',' AX

          { B2 (0xbe, 0xf8); }

        | MOVW AX ',' SP

          { B2 (0xae, 0xf8); }

        | MOVW regw_na ',' SP

          { B3 (0xcb, 0xf8, 0xff); F ($2, 2, 2); }

/* ---------------------------------------------------------------------- */

        | NOP

          { B1 (0x00); }

/* ---------------------------------------------------------------------- */

        | NOT1 CY

          { B2 (0x71, 0xc0); }

/* ---------------------------------------------------------------------- */

        | POP regw

          { B1 (0xc0); F ($2, 5, 2); }

        | POP PSW

          { B2 (0x61, 0xcd); };

        | PUSH regw

          { B1 (0xc1); F ($2, 5, 2); }

        | PUSH PSW

          { B2 (0x61, 0xdd); };

/* ---------------------------------------------------------------------- */

        | RET

          { B1 (0xd7); }

        | RETI

          { B2 (0x61, 0xfc); }

        | RETB

          { B2 (0x61, 0xec); }

/* ---------------------------------------------------------------------- */

        | ROL A ',' EXPR

          { if (check_expr_is_const ($4, 1, 1))

              { B2 (0x61, 0xeb); }

          }

        | ROLC A ',' EXPR

          { if (check_expr_is_const ($4, 1, 1))

              { B2 (0x61, 0xdc); }

          }

        | ROLWC AX ',' EXPR