+%{
+/*******************************************************
+ *
+ * a56 - a DSP56001 assembler
+ *
+ * Written by Quinn C. Jensen
+ * July 1990
+ *
+ *******************************************************/
+
+/*
+ * Copyright (C) 1990-1994 Quinn C. Jensen
+ *
+ * Permission to use, copy, modify, distribute, and sell this software
+ * and its documentation for any purpose is hereby granted without fee,
+ * provided that the above copyright notice appear in all copies and
+ * that both that copyright notice and this permission notice appear
+ * in supporting documentation. The author makes no representations
+ * about the suitability of this software for any purpose. It is
+ * provided "as is" without express or implied warranty.
+ *
+ */
+
+/*
+ * a56.y - The YACC grammar for the assembler.
+ *
+ * Note: This module requires a "BIG" version of YACC. I had to
+ * recompile YACC in the largest mode available.
+ *
+ * Other notes:
+ *
+ * MOVEC, MOVEM and MOVEP must be used explicitly--MOVE can't yet figure
+ * out which form to use.
+ *
+ */
+
+#include "a56.h"
+#include <math.h>
+
+unsigned int w0, w1; /* workspace for the actual generated code */
+BOOL uses_w1; /* says whether w1 is alive */
+unsigned int pc; /* current program counter */
+int seg; /* current segment P: X: Y: or L: */
+int expr_seg; /* segment of current expression */
+
+int just_rep = 0; /* keeps track of REP instruction */
+int hot_rreg = -1; /* rreg loaded by prev inst. or -1 */
+int hot_nreg = -1; /* nreg loaded by prev inst. or -1 */
+int hot_mreg = -1; /* mreg loaded by prev inst. or -1 */
+int prev_hot_rreg = -1; /* rreg loaded by prev inst. or -1 */
+int prev_hot_nreg = -1; /* nreg loaded by prev inst. or -1 */
+int prev_hot_mreg = -1; /* mreg loaded by prev inst. or -1 */
+
+int substatement = 0; /* in a substatement */
+BOOL long_symbolic_expr = FALSE; /* a parser flag */
+char *new_include = NULL; /* file to be included */
+
+/* listing stuff */
+
+char segs[] = "uPXYL*";
+extern BOOL list_on_next; /* listing to turn on or off */
+BOOL list_on; /* listing on at the moment */
+extern char *cur_line; /* points to line being lex'd */
+char list_buf[1024 + 80]; /* listing buffer */
+char list_buf2[1024 + 80]; /* listing buffer for two-line code */
+BOOL uses_buf2 = FALSE; /* list_buf2 is alive */
+BOOL list_print_line = FALSE; /* whether or not to print line in listing */
+char *spaces(), *luntab();
+
+struct n binary_op();
+struct n unary_op();
+struct n sym_ref();
+
+#define R_R6 0x0001
+#define R_R5 0x0002
+#define R_R4 0x0004
+#define R_DATA_ALU_ACCUM 0x0008
+#define R_CTL_REG 0x0010
+#define R_FUNKY_CTL_REG 0x0020
+#define R_SDX 0x0040
+#define R_SDY 0x0080
+#define R_LSD 0x0100
+#define R_AB 0x0200
+#define R_XREG 0x0400
+#define R_YREG 0x0800
+/* registers to which short immediate move is an unsigned int */
+#define R_UINT 0x1000
+/* registers to which short immediate move is an signed frac */
+#define R_SFRAC 0x2000
+%}
+
+%union {
+ int ival; /* integer value */
+ struct n n; /* just like in struct sym */
+ double dval; /* floating point value */
+ char *sval; /* string */
+ int cval; /* character */
+ char cond; /* condition */
+ struct regs {
+ int r6, r5, r4, data_alu_accum, ctl_reg, funky_ctl_reg;
+ int sdx, sdy, lsd, ab, xreg, yreg;
+ int flags;
+ } regs;
+ struct ea {
+ int mode;
+ int ext;
+ int pp;
+ } ea;
+}
+
+%token <n> CHEX CDEC FRAC
+%token <ival> AREG BREG MREG NREG RREG XREG YREG
+%token <ival> OP OPA OPP
+%token <cond> OP_JCC OP_JSCC OP_TCC
+%token <sval> SYM
+%token <sval> STRING
+%token <cval> CHAR
+%token XMEM
+%token YMEM
+%token LMEM
+%token PMEM
+%token AAAA
+%token A10
+%token BBBB
+%token B10
+%token AABB
+%token BBAA
+%token XXXX
+%token YYYY
+%token SR
+%token MR
+%token CCR
+%token OMR
+%token SP
+%token SSH
+%token SSL
+%token LA
+%token LC
+%token EOL
+%token EOS
+%token LEXBAD
+
+%token OP_ABS
+%token OP_ADC
+%token OP_ADD
+%token OP_ADDL
+%token OP_ADDR
+%token OP_ASL
+%token OP_ASR
+%token OP_CLR
+%token OP_CMP
+%token OP_CMPM
+%token OP_DIV
+%token OP_MAC
+%token OP_MACR
+%token OP_MPY
+%token OP_MPYR
+%token OP_NEG
+%token OP_NORM
+%token OP_RND
+%token OP_SBC
+%token OP_SUB
+%token OP_SUBL
+%token OP_SUBR
+%token OP_TFR
+%token OP_TST
+%token OP_AND
+%token OP_ANDI
+%token OP_EOR
+%token OP_LSL
+%token OP_LSR
+%token OP_NOT
+%token OP_OR
+%token OP_ORI
+%token OP_ROL
+%token OP_ROR
+%token OP_BCLR
+%token OP_BSET
+%token OP_BCHG
+%token OP_BTST
+%token OP_DO
+%token OP_ENDDO
+%token OP_LUA
+%token OP_MOVE
+%token OP_MOVEC
+%token OP_MOVEM
+%token OP_MOVEP
+%token OP_ILLEGAL
+%token OP_INCLUDE
+%token OP_JMP
+%token OP_JCLR
+%token OP_JSET
+%token OP_JSR
+%token OP_JSCLR
+%token OP_JSSET
+%token OP_NOP
+%token OP_REP
+%token OP_RESET
+%token OP_RTI
+%token OP_RTS
+%token OP_STOP
+%token OP_SWI
+%token OP_WAIT
+%token OP_EQU
+%token OP_ORG
+%token OP_DC
+%token OP_DS
+%token OP_DSM
+%token OP_END
+%token OP_PAGE
+%token OP_PSECT
+%token OP_ALIGN
+%token OP_INT
+%token SHL
+%token SHR
+%token OP_PI
+%token OP_SIN
+%token OP_COS
+%token OP_TAN
+%token OP_ATAN
+%token OP_ASIN
+%token OP_ACOS
+%token OP_EXP
+%token OP_LN
+%token OP_LOG
+%token OP_POW
+
+%type <n> num num_or_sym
+%type <n> num_or_sym_expr
+%type <n> expr
+%type <n> ix
+%type <n> ix_long
+
+%type <ival> abs_addr abs_short_addr io_short_addr
+%type <ival> a_b x_or_y ea b5_10111_max
+%type <ival> p6_ean_a6 ea_no_ext p6_ea_a6 ea_a6 ea_a12
+%type <ival> ea_short
+%type <ival> prog_ctl_reg
+%type <ival> op8_1 op8_2 op8_3 op8_4 op8_5 op8_6 op8_7 op8_8
+%type <ival> mpy_arg mpy_srcs plus_minus
+%type <ival> sd3
+%type <ival> funky_ctl_reg tcc_sd space
+%type <sval> opt_label
+
+%type <regs> regs
+%type <ea> movep_ea_pp
+
+%left '|'
+%left '^'
+%left SHL SHR
+%left '&'
+%left '+' '-'
+%left '*' '/' '%'
+%right '~'
+
+%start input
+
+%%
+
+/*%%%********************* top syntax ***********************/
+
+input : /* empty */
+ | input statement
+ ;
+
+statement
+ : good_stuff EOL
+ {
+ if(pass == 2 && list_on && list_print_line) {
+ printf(ldebug ? "\n(%s|%s)\n" : "%s%s\n",
+ list_buf, substatement == 0 ? luntab(cur_line) : "");
+ if(uses_buf2)
+ printf(ldebug ? "\n(%s|)\n" : "%s\n",
+ list_buf2);
+ list_buf[0] = list_buf2[0] = '\0';
+ }
+ curline++;
+ uses_buf2 = FALSE;
+ list_print_line = TRUE;
+ list_on = list_on_next;
+ substatement = 0;
+ if(NOT check_psect(seg, pc) && pass == 2)
+ yyerror("%04X: psect violation", pc);
+ }
+ | good_stuff EOS
+ {
+ if(pass == 2 && list_on && list_print_line) {
+ printf(ldebug ? "\n(%s" : "%s", list_buf);
+ if(substatement == 0)
+ printf(ldebug ? "|%s)\n" : "%s\n", luntab(cur_line));
+ else
+ printf(ldebug ? ")\n" : "\n");
+ if(uses_buf2)
+ printf(ldebug ? "\n(%s|)\n" : "%s\n",
+ list_buf2);
+ list_buf[0] = list_buf2[0] = '\0';
+ }
+ substatement++;
+ uses_buf2 = FALSE;
+ list_print_line = TRUE;
+ list_on = list_on_next;
+ if(NOT check_psect(seg, pc) && pass == 2)
+ yyerror("%04X: psect violation", pc);
+ }
+ | error EOL
+ {curline++; substatement = 0;}
+ ;
+
+good_stuff
+ : /* empty */
+ {sprintf(list_buf, "%s", spaces(0));}
+ | cpp_droppings
+ {list_print_line = FALSE;}
+ | assembler_ops
+ {long_symbolic_expr = FALSE;}
+ | label_field operation_field
+ {char *printcode();
+ if(pass == 2) {
+ gencode(seg, pc, w0);
+ sprintf(list_buf, "%c:%04X %s ", segs[seg], pc, printcode(w0));
+ pc++;
+ if(uses_w1) {
+ gencode(seg, pc, w1);
+ sprintf(list_buf2, "%c:%04X %s", segs[seg], pc,
+ printcode(w1 & 0xFFFFFF));
+ uses_buf2++;
+ pc++;
+ }
+ } else {
+ pc++;
+ if(uses_w1)
+ pc++;
+ }
+ w0 = w1 = 0; uses_w1 = FALSE;
+ long_symbolic_expr = FALSE;}
+ | SYM
+ {sym_def($1, INT, seg, pc);
+ free($1);
+ if(pass == 2 && list_on) {
+ sprintf(list_buf, "%c:%04X%s", segs[seg], pc, spaces(14-8));
+ long_symbolic_expr = FALSE;
+ }}
+ ;
+
+cpp_droppings
+ : '#' num STRING
+ {if(strlen($3) > 0)
+ curfile = $3;
+ else
+ curfile = "<stdin>";
+ curline = $2.val.i - 1;}
+ ;
+
+assembler_ops
+ : SYM OP_EQU expr
+ {sym_def($1, $3.type, ANY, $3.val.i, $3.val.f);
+ free($1);
+ if(pass == 2 && list_on) {
+ if($3.type == INT)
+ sprintf(list_buf, "%06X%s",
+ $3.val.i & 0xFFFFFF,
+ spaces(14-8));
+ else
+ sprintf(list_buf, "%10g%s", $3.val.f,
+ spaces(14-4));
+ }}
+ | OP_ALIGN expr
+ {int ival = n2int($2);
+ if($2.type == UNDEF) {
+ yyerror("illegal forward reference");
+ } else if (ival <= 1) {
+ yyerror("%d: illegal alignment", ival);
+ } else {
+ if(pc % ival != 0)
+ pc += ival - pc % ival;
+ }
+ if(pass == 2 && list_on)
+ sprintf(list_buf, "%c:%04X%s", segs[seg], pc,
+ spaces(14-8));
+ }
+ | OP_PSECT SYM
+ {struct psect *pp = find_psect($2);
+ if(NOT pp) {
+ if(pass == 2)
+ yyerror("%s: undefined psect", $2);
+ } else {
+ seg = pp->seg;
+ pc = pp->pc;
+ set_psect(pp);
+ if(pass == 2 && list_on)
+ sprintf(list_buf, "%c:%04X%s", segs[seg], pc,
+ spaces(14-8));
+ }
+ free($2);}
+ | OP_PSECT SYM space expr ':' expr
+ {new_psect($2, $3, n2int($4), n2int($6));
+ if(pass == 2 && list_on)
+ sprintf(list_buf, "%c:%04X %04X%s",
+ segs[$3], n2int($4), n2int($6), spaces(14-8+4+1));
+ }
+ | OP_ORG space expr
+ {pc = n2int($3);
+ seg = $2;
+ if(pass == 2 && list_on)
+ sprintf(list_buf, "%c:%04X%s", segs[seg], pc,
+ spaces(14-8));
+ }
+ | OP_ORG space expr ',' space expr
+ {pc = n2int($3);
+ seg = $2;
+ if(pass == 2 && list_on)
+ sprintf(list_buf, "%c:%04X%s", segs[seg], pc,
+ spaces(14-8));
+ }
+ | label_field OP_DC dc_list
+ | label_field OP_DS expr
+ {pc += n2int($3);
+ if(pass == 2 && list_on)
+ sprintf(list_buf, "%c:%04X%s", segs[seg], pc,
+ spaces(14-8));
+ }
+ | opt_label OP_DSM expr
+ {int size = n2int($3);
+ if(size)
+ { int align = 1;
+ while(align < size)
+ align <<= 1;
+ pc += (align - (pc % align));
+ }
+ if($1)
+ { sym_def($1, INT, seg, pc);
+ free($1);
+ }
+ pc += size;
+ }
+ | OP_PAGE num ',' num ',' num ',' num
+ {if(pass == 2 && list_on) {
+ sprintf(list_buf, "%s", spaces(0));
+ }}
+ | OP_INCLUDE STRING
+ {if(pass == 2 && list_on) {
+ printf(ldebug ? "\n(%s|%s)\n" : "%s%s\n",
+ spaces(0), luntab(cur_line));
+ list_print_line = FALSE;
+ }
+ include($2); /* free($2); */
+ }
+ | OP_END
+ {if(pass == 2 && list_on) {
+ sprintf(list_buf, "%s", spaces(0));
+ }}
+ ;
+
+dc_list
+ : dc_list ',' dc_stuff
+ | dc_stuff
+ ;
+
+dc_stuff
+ : STRING
+ {int len = strlen($1), i; char *cp; w0 = 0;
+ if(len % 3 == 2)
+ len++; /* force empty word */
+ for(i = 0, cp = $1; i < len; i++, cp++) {
+ w0 |= (*cp & 0xFF) << (2 - (i % 3)) * 8;
+ if(i % 3 == 2 || i == len - 1) {
+ if(pass == 2) {
+ if(list_on) sprintf(list_buf, "%c:%04X %06X%s",
+ segs[seg], pc, w0,
+ spaces(14-6+5));
+ gencode(seg, pc, w0);
+ }
+ pc++; w0 = 0;
+ }
+ }
+ free($1);}
+ | expr
+ {int frac = n2frac($1);
+ if(pass == 2) {
+ if(list_on) {
+ sprintf(list_buf, "%c:%04X %06X%s", segs[seg], pc,
+ frac & 0xFFFFFF, spaces(14-6+5));
+ }
+ gencode(seg, pc, frac);
+ }
+ pc++;}
+
+space
+ : PMEM
+ {$$ = PROG;}
+ | XMEM
+ {$$ = XDATA;}
+ | YMEM
+ {$$ = YDATA;}
+ | LMEM
+ {$$ = LDATA;}
+ ;
+
+label_field
+ : SYM
+ {sym_def($1, INT, seg, pc);
+ free($1);}
+ | /* empty */
+ ;
+
+opt_label
+ : SYM {$$ = $1;}
+ | /* empty */ {$$ = NULL;}
+ ;
+
+operation_field
+ : operation
+ {prev_hot_rreg = hot_rreg;
+ prev_hot_nreg = hot_nreg;
+ prev_hot_mreg = hot_mreg;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ if(just_rep)
+ just_rep--;}
+ ;
+
+operation
+ : no_parallel
+ | parallel_ok
+ {w0 |= 0x200000;}
+ | parallel_ok parallel_move
+ ;
+
+/*%%%************* instructions that allow parallel moves ****************/
+
+parallel_ok
+ :
+ OP_MPY mpy_arg
+ {w0 |= 0x80 | $2 << 2;}
+ | OP_MPYR mpy_arg
+ {w0 |= 0x81 | $2 << 2;}
+ | OP_MAC mpy_arg
+ {w0 |= 0x82 | $2 << 2;}
+ | OP_MACR mpy_arg
+ {w0 |= 0x83 | $2 << 2;}
+
+ | OP_SUB op8_1
+ {w0 |= 0x04 | $2 << 3;}
+ | OP_ADD op8_1
+ {w0 |= 0x00 | $2 << 3;}
+ | OP_MOVE
+ {w0 |= 0x00;}
+
+ | OP_TFR op8_2
+ {w0 |= 0x01 | $2 << 3;}
+ | OP_CMP op8_2
+ {w0 |= 0x05 | $2 << 3;}
+ | OP_CMPM op8_2
+ {w0 |= 0x07 | $2 << 3;}
+
+ | OP_RND op8_3
+ {w0 |= 0x11 | $2 << 3;}
+ | OP_ADDL op8_3
+ {w0 |= 0x12 | $2 << 3;}
+ | OP_CLR op8_3
+ {w0 |= 0x13 | $2 << 3;}
+ | OP_SUBL op8_3
+ {w0 |= 0x16 | $2 << 3;}
+ | OP_NOT op8_3
+ {w0 |= 0x17 | $2 << 3;}
+
+ | OP_ADDR op8_4
+ {w0 |= 0x02 | $2 << 3;}
+ | OP_TST op8_4
+ {w0 |= 0x03 | $2 << 3;}
+ | OP_SUBR op8_4
+ {w0 |= 0x06 | $2 << 3;}
+
+ | OP_AND op8_5
+ {w0 |= 0x46 | $2 << 3;}
+ | OP_OR op8_5
+ {w0 |= 0x42 | $2 << 3;}
+ | OP_EOR op8_5
+ {w0 |= 0x43 | $2 << 3;}
+
+ | OP_ASR op8_6
+ {w0 |= 0x22 | $2 << 3;}
+ | OP_LSR op8_6
+ {w0 |= 0x23 | $2 << 3;}
+ | OP_ABS op8_6
+ {w0 |= 0x26 | $2 << 3;}
+ | OP_ROR op8_6
+ {w0 |= 0x27 | $2 << 3;}
+
+ | OP_ASL op8_7
+ {w0 |= 0x32 | $2 << 3;}
+ | OP_LSL op8_7
+ {w0 |= 0x33 | $2 << 3;}
+ | OP_NEG op8_7
+ {w0 |= 0x36 | $2 << 3;}
+ | OP_ROL op8_7
+ {w0 |= 0x37 | $2 << 3;}
+
+ | OP_ADC op8_8
+ {w0 |= 0x21 | $2 << 3;}
+ | OP_SBC op8_8
+ {w0 |= 0x25 | $2 << 3;}
+ ;
+
+mpy_arg : plus_minus mpy_srcs ',' a_b
+ {$$ = $1 | $4 << 1 | $2 << 2;}
+ ;
+
+plus_minus
+ : '+'
+ {$$ = 0;}
+ | '-'
+ {$$ = 1;}
+ |
+ {$$ = 0;}
+ ;
+
+mpy_srcs
+ : XREG ',' XREG
+ {switch ($1 << 4 | $3) {
+ case 0x00: $$ = 0x0; break;
+ case 0x01:
+ case 0x10: $$ = 0x2; break;
+ case 0x11:
+ yyerror("illegal source operands");
+ break;
+ }}
+ | YREG ',' YREG
+ {switch ($1 << 4 | $3) {
+ case 0x00: $$ = 0x1; break;
+ case 0x01:
+ case 0x10: $$ = 0x3; break;
+ case 0x11:
+ yyerror("illegal source operands");
+ break;
+ }}
+ | XREG ',' YREG
+ {switch ($1 << 4 | $3) {
+ case 0x00: $$ = 0x5; break;
+ case 0x01: $$ = 0x4; break;
+ case 0x10: $$ = 0x6; break;
+ case 0x11: $$ = 0x7; break;
+ }}
+ | YREG ',' XREG
+ {switch ($1 << 4 | $3) {
+ case 0x00: $$ = 0x5; break;
+ case 0x01: $$ = 0x6; break;
+ case 0x10: $$ = 0x4; break;
+ case 0x11: $$ = 0x7; break;
+ }}
+ ;
+
+op8_1 : BBBB ',' AAAA
+ {$$ = 0x2;}
+ | AAAA ',' BBBB
+ {$$ = 0x3;}
+ | XXXX ',' a_b
+ {$$ = 0x4 | $3;}
+ | YYYY ',' a_b
+ {$$ = 0x6 | $3;}
+ | XREG ',' a_b
+ {$$ = 0x8 | $1 << 2 | $3;}
+ | YREG ',' a_b
+ {$$ = 0xA | $1 << 2 | $3;}
+ ;
+
+op8_2 : BBBB ',' AAAA
+ {$$ = 0x0;}
+ | AAAA ',' BBBB
+ {$$ = 0x1;}
+ | XREG ',' a_b
+ {$$ = 0x8 | $1 << 2 | $3;}
+ | YREG ',' a_b
+ {$$ = 0xA | $1 << 2 | $3;}
+ ;
+
+op8_3 : AAAA
+ {$$ = 0x0;}
+ | BBBB
+ {$$ = 0x1;}
+ | BBBB ',' AAAA
+ {$$ = 0x0;}
+ | AAAA ',' BBBB
+ {$$ = 0x1;}
+ ;
+
+op8_4 : op8_3
+ {$$ = $1;}
+ ;
+
+op8_5 : XREG ',' a_b
+ {$$ = 0x0 | $1 << 2 | $3;}
+ | YREG ',' a_b
+ {$$ = 0x2 | $1 << 2 | $3;}
+ ;
+
+op8_6 : a_b
+ {$$ = $1;}
+ ;
+
+op8_7 : a_b
+ {$$ = $1;}
+ ;
+
+op8_8 : XXXX ',' a_b
+ {$$ = 0x0 | $3;}
+ | YYYY ',' a_b
+ {$$ = 0x2 | $3;}
+ ;
+
+a_b : AAAA
+ {$$ = 0;}
+ | BBBB
+ {$$ = 1;}
+ ;
+
+no_parallel
+ : control_inst
+ {if(just_rep == 1)
+ yyerror("instruction not allowed after REP");}
+ | bit_inst
+ | move_inst
+ | arith_inst
+ ;
+
+/*%%%************** non-parallel arithmetic and logical ********************/
+
+arith_inst
+ : OP_NORM RREG ',' a_b
+ {w0 |= 0x01D815 | $2 << 8 | $4 << 3;}
+ | OP_DIV sd3
+ {w0 |= 0x018040 | $2 << 3;}
+ | or_op ix ',' funky_ctl_reg
+ {w0 |= 0x0000F8 | (n2int($2) & 0xFF) << 8 | $4;}
+ | and_op ix ',' funky_ctl_reg
+ {w0 |= 0x0000B8 | (n2int($2) & 0xFF) << 8 | $4;}
+ ;
+
+or_op : OP_OR
+ | OP_ORI
+ ;
+
+and_op : OP_AND
+ | OP_ANDI
+ ;
+
+/*%%%******************************* control instructions **********************/
+
+control_inst
+ : OP_JSCC ea_a12
+ {if($2) {
+ w0 |= 0x0BC0A0 | $1 << 0;
+ } else {
+ w0 |= 0x0F0000 | $1 << 12;
+ }}
+ | OP_JCC ea_a12
+ {if($2) {
+ w0 |= 0x0AC0A0 | $1 << 0;
+ } else {
+ w0 |= 0x0E0000 | $1 << 12;
+ }}
+ | OP_JSR ea_a12
+ {if($2) {
+ w0 |= 0x0BC080;
+ } else {
+ w0 |= 0x0D0000;
+ }}
+ | OP_JMP ea_a12
+ {if($2) {
+ w0 |= 0x0AC080;
+ } else {
+ w0 |= 0x0C0000;
+ }}
+
+ | OP_JSSET control_args
+ {w0 |= 0x0B0020;}
+ | OP_JSCLR control_args
+ {w0 |= 0x0B0000;}
+ | OP_JSET control_args
+ {w0 |= 0x0A0020;}
+ | OP_JCLR control_args
+ {w0 |= 0x0A0000;}
+
+ | OP_REP rep_args
+ {just_rep = 2;}
+ | OP_DO do_args
+ {uses_w1++;}
+ | OP_ENDDO
+ {w0 |= 0x00008C;}
+ | OP_STOP
+ {w0 |= 0x000087;}
+ | OP_WAIT
+ {w0 |= 0x000086;}
+ | OP_RESET
+ {w0 |= 0x000084;}
+ | OP_RTS
+ {w0 |= 0x00000C;}
+ | OP_SWI
+ {w0 |= 0x000006;}
+ | OP_ILLEGAL
+ {w0 |= 0x000005;}
+ | OP_RTI
+ {w0 |= 0x000004;}
+ | OP_NOP
+ {w0 |= 0x000000;
+ just_rep = 0;}
+ ;
+
+do_args
+ : ix ',' abs_addr
+ {int ival = n2int($1);
+ w0 |= 0x060080 | (ival & 0xFF) << 8 | (ival & 0xF00)>> 8;
+ if(ival > 0xFFF && pass == 2) {
+ yywarning("warning: immediate operand truncated");
+ }
+ w1 |= $3-1;}
+ | regs ',' abs_addr
+ {w0 |= 0x06C000 | $1.r6 << 8;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ w1 |= $3-1;}
+ | x_or_y ea_no_ext ',' abs_addr
+ {w0 |= 0x064000 | $2 << 8 | $1 << 6;
+ w1 |= $4-1;}
+ | x_or_y abs_short_addr ',' abs_addr /* allow forced */
+ {w0 |= 0x060000 | ($2 & 0x3F) << 8 | $1 << 6;
+ /*
+ * $$$ oops, can't check expr_seg because both abs_short_addr and
+ * abs_addr touch it
+ */
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w1 |= $4-1;}
+ | x_or_y abs_addr ',' abs_addr
+ {w0 |= 0x060000 | ($2 & 0x3F) << 8 | $1 << 6;
+ /*
+ * $$$ oops, can't check expr_seg because both abs_short_addr and
+ * abs_addr touch it
+ */
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w1 |= $4-1;}
+ ;
+
+rep_args
+ : ix
+ {int ival = n2int($1);
+ w0 |= 0x0600A0 | (ival & 0xFF) << 8 | (ival & 0xF00)>> 8;
+ if(ival > 0xFFF && pass == 2) {
+ yywarning("warning: immediate operand truncated");
+ }}
+ | regs
+ {w0 |= 0x06C020 | $1.r6 << 8;
+ hot_rreg = hot_nreg = hot_mreg = -1;}
+ | x_or_y ea_no_ext
+ {w0 |= 0x064020 | $1 << 6 | $2 << 8;}
+ | x_or_y abs_addr
+ {w0 |= 0x060020 | $1 << 6 | ($2 & 0x3F) << 8;
+ if(expr_seg != ANY && ($1 == 0 && expr_seg != XDATA ||
+ $1 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ | x_or_y abs_short_addr /* forced */
+ {w0 |= 0x060020 | $1 << 6 | ($2 & 0x3F) << 8;
+ if(expr_seg != ANY && ($1 == 0 && expr_seg != XDATA ||
+ $1 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ ;
+
+control_args
+ : b5_10111_max ',' x_or_y p6_ean_a6 ',' abs_addr
+ {w0 |= $1 << 0 | $3 << 6;
+ uses_w1++;
+ w1 = $6;}
+ | b5_10111_max ',' regs ',' abs_addr
+ {w0 |= 0x00C000 | $1 << 0 | $3.r6 << 8;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ uses_w1++;
+ w1 = $5;}
+ ;
+
+p6_ean_a6
+ : abs_addr /* in pass 2 can always discern size. */
+ /* Sometimes in pass one, too. But since */
+ /* address extension is always used for the */
+ /* branch target, pass 1 can assume the */
+ /* symbol value will fit; warning in pass 2 */
+ /* if it doesn't */
+ {if($1 != -1) { /* symbol defined */
+ w0 |= ($1 & 0x3F) << 8;
+ if($1 >= 0xFFC0) {
+ w0 |= 0x008080;
+ } else {
+ w0 |= 0x000080;
+ if($1 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ }}
+ | abs_short_addr
+ {if($1 != -1) {
+ if($1 > 0x3F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w0 |= 0x000080 | ($1 & 0x3F) << 8;
+ }}
+ | io_short_addr
+ {if($1 != -1) {
+ if($1 < 0xFFC0 && pass == 2)
+ yywarning("warning: address operand truncated");
+ w0 |= 0x008080 | ($1 & 0x3F) << 8;
+ }}
+ | ea_no_ext
+ {w0 |= 0x004080 | $1 << 8;}
+ ;
+
+/*%%%**************************** bit instructions ***************************/
+
+bit_inst
+ : OP_BTST bit_args
+ {w0 |= 0x0B0020;}
+ | OP_BCHG bit_args
+ {w0 |= 0x0B0000;}
+ | OP_BSET bit_args
+ {w0 |= 0x0A0020;}
+ | OP_BCLR bit_args
+ {w0 |= 0x0A0000;}
+ ;
+
+bit_args
+ : b5_10111_max ',' x_or_y p6_ea_a6
+ {w0 |= $1 << 0 | $3 << 6;
+ }
+ | b5_10111_max ',' regs
+ {w0 |= 0x00C040 | $1 << 0 | $3.r6 << 8;}
+ ;
+
+p6_ea_a6
+ : io_short_addr /* must be forced to tell from abs_addr */
+ {if($1 != -1) {
+ w0 |= ($1 & 0x3F) << 8 | 0x008000;
+ if($1 < 0xFFC0 && pass == 2)
+ yywarning("warning: address operand truncated");
+ }}
+ | abs_short_addr /* must be forced to tell from abs_addr */
+ {if($1 != -1) {
+ w0 |= ($1 & 0x3F) << 8 | 0x000000;
+ if($1 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }}
+ | ea /* can use abs_addr */
+ {w0 |= 0x004000;}
+ ;
+
+/*%%%************************** move instructions **********************/
+
+move_inst
+ : OP_MOVEP movep_args
+ | OP_MOVEM movem_args
+ | OP_MOVEC movec_args
+ | OP_LUA ea_short ',' regs
+ {w0 |= 0x044010 | $2 << 8 | $4.r4;}
+ | OP_TCC tcc_args
+ {w0 |= $1 << 12;}
+ ;
+
+tcc_args
+ : tcc_sd
+ {w0 |= 0x020000 | $1 << 3;}
+ | tcc_sd RREG ',' RREG
+ {w0 |= 0x030000 | $1 << 3 | $2 << 8 | $4;}
+ ;
+
+tcc_sd
+ : regs /* a_b */ ',' regs /* a_b */
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($1.flags & R_AB && $3.flags & R_AB) {
+ if($1.ab == $3.ab)
+ yyerror("source and dest must be different");
+ $$ = $3.ab;
+ } else if($1.flags & R_XREG && $3.flags & R_AB) {
+ $$ = 0x8 | $1.xreg << 2 | $3.ab;
+ } else if($1.flags & R_YREG && $3.flags & R_AB) {
+ $$ = 0xA | $1.yreg << 2 | $3.ab;
+ } else
+ yyerror("illegal TCC operands");
+ }
+ ;
+
+sd3 : regs /* XREG */ ',' regs /* a_b */
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($1.flags & R_XREG && $3.flags & R_AB) {
+ $$ = $1.xreg << 2 | $3.ab;
+ } else if($1.flags & R_YREG && $3.flags & R_AB) {
+ $$ = $1.yreg << 2 | 2 | $3.ab;
+ }}
+ ;
+
+movec_args
+ : x_or_y ea ',' regs /* ctl_reg */
+ {if(NOT ($4.flags & R_CTL_REG))
+ yyerror("bad MOVEC target register");
+ if(expr_seg != ANY && ($1 == 0 && expr_seg != XDATA ||
+ $1 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($1 == 0) {
+ w0 |= 0x05C020 | $4.ctl_reg;
+ } else {
+ w0 |= 0x05C060 | $4.ctl_reg;
+ }}
+ | regs /* ctl_reg */ ',' x_or_y ea
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if(NOT ($1.flags & R_CTL_REG))
+ yyerror("bad MOVEC source register");
+ if($3 == 0) {
+ w0 |= 0x054020 | $1.ctl_reg;
+ } else {
+ w0 |= 0x054060 | $1.ctl_reg;
+ }}
+ | ix ',' regs /* ctl_reg */
+ {int ival = n2int($1);
+ if(NOT ($3.flags & R_CTL_REG))
+ yyerror("bad MOVEC target register");
+ if(ival < 256 && NOT long_symbolic_expr) {
+ w0 |= 0x0500A0 | (ival & 0xFF) << 8 | $3.ctl_reg;
+ } else {
+ w0 |= 0x05C020 | 0x003400 | $3.ctl_reg;
+ uses_w1++; w1 = ival & 0xFFFF;
+ }}
+ | x_or_y abs_short_addr ',' regs /* ctl_reg */
+ {if($1 == 0) {
+ w0 |= 0x058020 | ($2 & 0x3F) << 8 | $4.ctl_reg;
+ } else {
+ w0 |= 0x058060 | ($2 & 0x3F) << 8 | $4.ctl_reg;
+ }
+ if(NOT ($4.flags & R_CTL_REG))
+ yyerror("bad MOVEC target register");
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ | regs /* ctl_reg */ ',' x_or_y abs_short_addr
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($3 == 0) {
+ w0 |= 0x050020 | ($4 & 0x3F) << 8 | $1.ctl_reg;
+ } else {
+ w0 |= 0x050060 | ($4 & 0x3F) << 8 | $1.ctl_reg;
+ }
+ if(NOT ($1.flags & R_CTL_REG))
+ yyerror("bad MOVEC source register");
+ if($4 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ | regs /* ctl_reg */ ',' regs
+ {if($1.flags & R_CTL_REG) {
+ w0 |= 0x0440A0 | $3.r6 << 8 | $1.ctl_reg;
+ } else if($3.flags & R_CTL_REG) {
+ w0 |= 0x04C0A0 | $1.r6 << 8 | $3.ctl_reg;
+ } else if($1.flags & $3.flags & R_CTL_REG) {
+ /* bogus? $$$ */
+ w0 |= 0x04C0A0 | ($1.ctl_reg | 0x20) << 8 |
+ $3.ctl_reg;
+ } else {
+ yyerror("MOVEC must reference a control reg");
+ }}
+ ;
+
+movep_args
+ : x_or_y movep_ea_pp ',' x_or_y movep_ea_pp
+ {w0 |= 0x084080;
+ switch($2.pp << 1 | $5.pp) {
+ case 0: case 3:
+ yyerror("illegal MOVEP; can't move EA to EA or IO to IO");
+ break;
+ case 1: /* ea, pp */
+ w0 |= $4 << 16 | 1 << 15 | $1 << 6 |
+ ($5.ext & 0x3F);
+ if($2.mode == 0x003000) {
+ w0 |= 0x003000;
+ uses_w1++;
+ w1 = $2.ext;
+ } else {
+ w0 |= $2.mode;
+ }
+ break;
+ case 2: /* pp, ea */
+ w0 |= $1 << 16 | 0 << 15 | $4 << 6 |
+ ($2.ext & 0x3F);
+ if($5.mode == 0x003000) {
+ w0 |= 0x003000;
+ uses_w1++;
+ w1 = $5.ext;
+ } else {
+ w0 |= $5.mode;
+ }
+ break;
+ }}
+ | ix ',' x_or_y num_or_sym
+ {w0 |= 0x084080;
+ w0 |= $3 << 16 | 1 << 15 | 0x34 << 8 |
+ (n2int($4) & 0x3F);
+ uses_w1++;
+ w1 = n2int($1);}
+ | PMEM ea ',' x_or_y num_or_sym
+ {w0 |= 0x084040;
+ w0 |= $4 << 16 | 1 << 15 | (n2int($5) & 0x3F);}
+ | x_or_y movep_ea_pp ',' PMEM ea
+ {w0 |= 0x084040;
+ if($2.mode != 0x003000 && $2.mode != 0)
+ yyerror("illegal MOVEP");
+ w0 |= $1 << 16 | 0 << 15 | ($2.ext & 0x3F);}
+ | regs ',' x_or_y num_or_sym
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ w0 |= 0x084000;
+ w0 |= $3 << 16 | 1 << 15 | $1.r6 << 8 |
+ (n2int($4) & 0x3F);}
+ | x_or_y movep_ea_pp ',' regs
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ w0 |= 0x084000;
+ if(!$2.pp)
+ yyerror("illegal MOVEP");
+ w0 |= $1 << 16 | 0 << 15 | $4.r6 << 8 | ($2.ext & 0x3F);}
+ ;
+
+movep_ea_pp
+ : abs_addr
+ {if($1 != UNDEF && $1 >= 0xFFC0) {
+ /* defined symbol or constant, in i/o range */
+ $$.pp = 1;
+ $$.mode = 0;
+ } else {
+ /* either out of i/o range or symbol not */
+ /* yet defined: assume ea extension */
+ $$.pp = 0;
+ $$.mode = 0x003000;
+ }
+ $$.ext = $1;}
+ | io_short_addr /* forced i/o short */
+ {$$.pp = 1;
+ $$.mode = 0;
+ if($1 < 0xFFC0 && pass == 2)
+ yywarning("warning: address operand truncated");
+ $$.ext = $1;}
+ | ea_no_ext
+ {$$.pp = 0;
+ $$.mode = $1 << 8;
+ $$.ext = $1;}
+ ;
+
+movem_args
+ : regs ',' PMEM ea_a6
+ {w0 |= 0x070000 | 0 << 15 | $1.r6;}
+ | PMEM ea_a6 ',' regs
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ w0 |= 0x070000 | 1 << 15 | $4.r6;}
+ ;
+
+/*%%%**************** memory reference fields ************************/
+
+b5_10111_max
+ : ix
+ {int ival = n2int($1);
+ $$ = ival; if(ival > 0x17)
+ yyerror("%d: illegal bit number", ival);}
+ ;
+
+x_or_y
+ : XMEM
+ {$$ = 0;}
+ | YMEM
+ {$$ = 1;}
+ ;
+
+/*%%%**************** effective address fields ************************/
+
+ea_a6
+ : ea
+ {w0 |= 0x004080;}
+ | abs_short_addr
+ {w0 |= ($1 & 0x3F) << 8;
+ if($1 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ ;
+
+ea_a12
+ : ea
+ {$$ = 1;}
+ | abs_short_addr
+ {w0 |= $1 & 0xFFF; $$ = 0;
+ if($1 > 0x0FFF && pass == 2)
+ yywarning("warning: address operand truncated");
+ }
+ ;
+
+ea : abs_addr
+ {w0 |= 0x003000;
+ uses_w1++;
+ w1 |= $1;
+ $$ = 0x003000;}
+ | ea_no_ext
+ {w0 |= $1 << 8;
+ $$ = $1 << 8;
+ expr_seg = ANY;}
+ ;
+
+ea_no_ext
+ : ea_short
+ {$$ = $1;}
+ | '(' RREG ')'
+ {if($2 == prev_hot_rreg) yywarning("warning: r%d just loaded", $2);
+ $$ = 4 << 3 | $2;}
+ | '(' RREG '+' NREG ')'
+ {if($2 == prev_hot_rreg) yywarning("warning: r%d just loaded", $2);
+ if($4 == prev_hot_nreg) yywarning("warning: n%d just loaded", $4);
+ if($2 == prev_hot_mreg) yywarning("warning: m%d just loaded", $2);
+ $$ = 5 << 3 | $2;
+ if($2 != $4) yyerror("Rn and Nn must be same number");}
+ | '-' '(' RREG ')'
+ {if($3 == prev_hot_rreg) yywarning("warning: r%d just loaded", $3);
+ if($3 == prev_hot_mreg) yywarning("warning: m%d just loaded", $3);
+ $$ = 7 << 3 | $3;}
+ ;
+
+ea_short
+ : '(' RREG ')' '-' NREG
+ {if($2 == prev_hot_rreg) yywarning("warning: r%d just loaded", $2);
+ if($5 == prev_hot_nreg) yywarning("warning: n%d just loaded", $5);
+ if($2 == prev_hot_mreg) yywarning("warning: m%d just loaded", $2);
+ $$ = 0 << 3 | $2;
+ expr_seg = ANY;
+ if($2 != $5) yyerror("Rn and Nn must be same number");}
+ | '(' RREG ')' '+' NREG
+ {if($2 == prev_hot_rreg) yywarning("warning: r%d just loaded", $2);
+ if($5 == prev_hot_nreg) yywarning("warning: n%d just loaded", $5);
+ if($2 == prev_hot_mreg) yywarning("warning: m%d just loaded", $2);
+ $$ = 1 << 3 | $2;
+ expr_seg = ANY;
+ if($2 != $5) yyerror("Rn and Nn must be same number");}
+ | '(' RREG ')' '-'
+ {if($2 == prev_hot_rreg) yywarning("warning: r%d just loaded", $2);
+ if($2 == prev_hot_mreg) yywarning("warning: m%d just loaded", $2);
+ expr_seg = ANY;
+ $$ = 2 << 3 | $2;}
+ | '(' RREG ')' '+'
+ {if($2 == prev_hot_rreg) yywarning("warning: r%d just loaded", $2);
+ if($2 == prev_hot_mreg) yywarning("warning: m%d just loaded", $2);
+ expr_seg = ANY;
+ $$ = 3 << 3 | $2;}
+ ;
+
+/*%%%******************* register fields ******************************/
+
+regs
+ : XREG
+ {$$.r6 = $$.r5 = 0x04 | $1;
+ $$.sdx = $1;
+ $$.xreg = $1;
+ $$.flags = R_R6|R_R5|R_XREG|R_SDX|R_SFRAC;}
+ | YREG
+ {$$.r6 = $$.r5 = 0x06 | $1;
+ $$.sdy = $1;
+ $$.yreg = $1;
+ $$.flags = R_R6|R_R5|R_SDY|R_YREG|R_SFRAC;}
+ | AREG
+ {switch($1) {
+ case 0:
+ $$.r6 = $$.r5 = 0x08 | 0;
+ break;
+ case 1:
+ $$.r6 = $$.r5 = 0x08 | 4;
+ break;
+ case 2:
+ $$.r6 = $$.r5 = 0x08 | 2;
+ break;
+ }
+ $$.flags = R_R6|R_R5|R_UINT;}
+ | BREG
+ {switch($1) {
+ case 0:
+ $$.r6 = $$.r5 = 0x08 | 1; break;
+ case 1:
+ $$.r6 = $$.r5 = 0x08 | 5; break;
+ case 2:
+ $$.r6 = $$.r5 = 0x08 | 3; break;
+ }
+ $$.flags = R_R6|R_R5|R_UINT;}
+ | AAAA
+ {$$.r6 = $$.r5 = 0x0E;
+ $$.sdx = $$.sdy = 0x2;
+ $$.ab = 0;
+ $$.lsd = 4;
+ $$.flags = R_R6|R_R5|R_SDX|R_SDY|R_AB|R_LSD|R_SFRAC;}
+ | BBBB
+ {$$.r6 = $$.r5 = 0x0F;
+ $$.sdx = $$.sdy = 0x3;
+ $$.ab = 1;
+ $$.lsd = 5;
+ $$.flags = R_R6|R_R5|R_SDX|R_SDY|R_AB|R_LSD|R_SFRAC;}
+ | RREG
+ {$$.r6 = $$.r5 = 0x10 | $1;
+ $$.r4 = 0x00 | $1;
+ $$.flags = R_R6|R_R5|R_R4|R_UINT;
+ hot_rreg = $1;}
+ | NREG
+ {$$.r6 = $$.r5 = 0x18 | $1;
+ $$.r4 = 0x08 | $1;
+ $$.flags = R_R6|R_R5|R_R4|R_UINT;
+ hot_nreg = $1;}
+ | MREG
+ {$$.r6 = 0x20 | $1;
+ $$.r5 = -1;
+ $$.ctl_reg = $1;
+ $$.flags = R_R6|R_R5|R_CTL_REG|R_UINT;
+ hot_mreg = $1;}
+ | prog_ctl_reg
+ {$$.r6 = 0x38 | $1;
+ $$.r5 = -1;
+ $$.ctl_reg = 0x18 | $1;
+ $$.flags = R_R6|R_R5|R_CTL_REG|R_UINT;}
+ | A10
+ {$$.lsd = 0;
+ $$.flags = R_LSD;}
+ | B10
+ {$$.lsd = 1;
+ $$.flags = R_LSD;}
+ | XXXX
+ {$$.lsd = 2;
+ $$.flags = R_LSD;}
+ | YYYY
+ {$$.lsd = 3;
+ $$.flags = R_LSD;}
+ | AABB
+ {$$.lsd = 6;
+ $$.flags = R_LSD;}
+ | BBAA
+ {$$.lsd = 7;
+ $$.flags = R_LSD;}
+ ;
+
+prog_ctl_reg
+ : SR
+ {$$ = 1;}
+ | OMR
+ {$$ = 2;}
+ | SP
+ {$$ = 3;}
+ | SSH
+ {$$ = 4;}
+ | SSL
+ {$$ = 5;}
+ | LA
+ {$$ = 6;}
+ | LC
+ {$$ = 7;}
+ ;
+
+funky_ctl_reg
+ : MR
+ {$$ = 0;}
+ | CCR
+ {$$ = 1;}
+ | OMR
+ {$$ = 2;}
+ ;
+
+/*%%%************************* parallel moves *************/
+
+parallel_move
+ : i_move
+ | u_move
+ | x_or_y_move
+ | xr_move
+ | ry_move
+ | r_move
+ | xy_move
+ | l_move
+ ;
+
+i_move : ix ',' regs
+ {int ival = n2int($1);
+ int frac = n2frac($1);
+ int value;
+ BOOL shortform = FALSE;
+ if($3.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ if(($3.flags & R_SFRAC) && $1.type == FLT) {
+ if((frac & 0xFFFF) == 0 &&
+ NOT long_symbolic_expr) {
+ value = frac >> 16;
+ shortform++;
+ } else {
+ value = frac;
+ }
+ } else {
+ if(ival <= 0xFF && ival >= -0xFF && NOT long_symbolic_expr) {
+ value = ival;
+ shortform++;
+ } else {
+ value = ival;
+ }
+ }
+
+ if(shortform) {
+ w0 |= 0x200000 | (value & 0xFF) << 8 |
+ $3.r5 << 16;
+ } else {
+ w0 |= 0x400000 | 0x00F400 |
+ ($3.r5 >> 3 & 3) << 20 |
+ ($3.r5 & 7) << 16;
+ uses_w1++; w1 = value;
+ }}
+ ;
+
+r_move : regs ',' regs
+ {
+ if($3.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ if($1.flags & R_R5 & $3.flags)
+ w0 |= 0x200000 | $3.r5 << 8 | $1.r5 << 13;
+ else
+ yyerror("illegal R move");
+ }
+ ;
+
+u_move : ea_short
+ {w0 |= 0x204000 | $1 << 8;}
+ ;
+
+x_or_y_move
+ : x_or_y ea ',' regs
+ {w0 |= 0x40C000 | $1 << 19;
+ if(expr_seg != ANY && ($1 == 0 && expr_seg != XDATA ||
+ $1 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($4.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ w0 |= ($4.r5 >> 3 & 3) << 20 | ($4.r5 & 7) << 16;}
+ | x_or_y abs_short_addr ',' regs
+ {w0 |= 0x408000 | $1 << 19 | ($2 & 0x3F) << 8;
+ if(expr_seg != ANY && ($1 == 0 && expr_seg != XDATA ||
+ $1 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($4.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w0 |= ($4.r5>> 3 & 3) << 20 | ($4.r5 & 7) << 16;}
+ | regs ',' x_or_y ea
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ w0 |= 0x404000 | $3 << 19;
+ if(expr_seg != ANY && ($3 == 0 && expr_seg != XDATA ||
+ $3 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($1.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ w0 |= ($1.r5 >> 3 & 3) << 20 | ($1.r5 & 7) << 16;}
+ | regs ',' x_or_y abs_short_addr
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ w0 |= 0x400000 | $3 << 19 | ($4 & 0x3F) << 8;
+ if($1.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ if(expr_seg != ANY && ($3 == 0 && expr_seg != XDATA ||
+ $3 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($4 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w0 |= ($1.r5 >> 3 & 3) << 20 | ($1.r5 & 7) << 16;}
+ | ix_long ',' regs
+ {w0 |= 0x400000 | 0x00F400 | ($3.r5 >> 3 & 3) << 20 |
+ ($3.r5 & 7) << 16;
+ if($3.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ uses_w1++; w1 = n2frac($1);
+ }
+ ;
+
+xr_move
+ : x_or_y /* XMEM */ ea ',' regs regs /* a_b */ ',' YREG
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if(expr_seg != ANY && ($1 == 0 && expr_seg != XDATA ||
+ $1 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($1 == 0 && $5.flags & R_AB) {
+ w0 |= 0x108000 | $4.sdx << 18 | $5.ab << 17 |
+ $7 << 16;
+ } else {
+ yyerror("illegal X:R move");
+ }}
+ | ix ',' regs regs /* a_b */ ',' YREG
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($4.flags & R_AB) {
+ w0 |= 0x10B400 | $3.sdx << 18 | $4.ab << 17 |
+ $6 << 16;
+ uses_w1++;
+ w1 |= n2frac($1) & 0xFFFFFF;
+ } else {
+ yyerror("illegal X:R move");
+ }}
+ | regs ',' x_or_y /* XMEM */ ea regs /* a_b */ ',' regs/*YREG*/
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if(expr_seg != ANY && ($3 == 0 && expr_seg != XDATA ||
+ $3 == 1 && expr_seg != YDATA))
+ yywarning("warning: space mismatch");
+ if($1.flags & R_SDX && $3 == 0 && $5.flags & R_AB &&
+ $7.flags & R_YREG) {
+ w0 |= 0x100000 | $1.sdx << 18 | $5.ab << 17 |
+ $7.yreg << 16;
+ } else if($1.flags & R_AB && $3 == 0 &&
+ $5.flags & R_XREG && $7.flags & R_AB) {
+ if($5.xreg != 0) yyerror("must use X0");
+ if($1.ab == 0 && $7.ab == 0)
+ w0 |= 0x080000;
+ else if($1.ab == 1 && $7.ab == 1)
+ w0 |= 0x090000;
+ else
+ yyerror("illegal X:R move");
+ } else {
+ yyerror("illegal X:R move");
+ }}
+ ;
+
+ry_move : regs /* a_b */ ',' regs /* XREG */ YMEM ea ',' regs
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($3.flags & R_XREG && $7.flags & (R_YREG|R_AB)) {
+ w0 |= 0x10C000 | $1.ab << 19 | $3.xreg << 18 |
+ $7.sdy << 16;
+ } else {
+ yyerror("illegal R:Y move");
+ }}
+ | regs /* a_b */ ',' regs /* XREG */ ix ',' regs
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($3.flags & R_XREG && $6.flags & (R_YREG|R_AB)) {
+ w0 |= 0x10F400 | $1.ab << 19 | $3.xreg << 18 |
+ $6.sdy << 16;
+ uses_w1++;
+ w1 |= n2frac($4) & 0xFFFFFF;
+ } else {
+ yyerror("illegal R:Y move");
+ }}
+ | regs /* a_b */ ',' regs /* XREG */ regs ',' YMEM ea
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($1.flags & R_AB && $3.flags & R_XREG) {
+ w0 |= 0x104000 | $1.ab << 19 | $3.xreg << 18 |
+ $4.sdy << 16;
+ } else if ($1.flags & R_YREG && $3.flags & R_AB &&
+ $4.flags & R_AB) {
+ if($1.yreg != 0) yyerror("must use Y0");
+ if($3.ab == 0 && $4.ab == 0)
+ w0 |= 0x088000;
+ else if($3.ab == 1 && $4.ab == 1)
+ w0 |= 0x098000;
+ else
+ yyerror("illegal R:Y move");
+ } else {
+ yyerror("illegal R:Y move");
+ }}
+ ;
+
+l_move
+ : LMEM ea ',' regs /* lsd */
+ {if($4.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ w0 |= 0x40C000 | ($4.lsd & 3) << 16 | ($4.lsd >> 2) << 19;}
+ | regs /* lsd */ ',' LMEM ea
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ if($1.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ w0 |= 0x404000 | ($1.lsd & 3) << 16 | ($1.lsd >> 2) << 19;}
+ | LMEM abs_short_addr ',' regs /* lsd */
+ {w0 |= 0x408000 | ($4.lsd & 3) << 16 | ($4.lsd >> 2) << 19;
+ if($4.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ if($2 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w0 |= ($2 & 0x3F) << 8;}
+ | regs /* lsd */ ',' LMEM abs_short_addr
+ {hot_rreg = hot_nreg = hot_mreg = -1;
+ w0 |= 0x400000 | ($1.lsd & 3) << 16 | ($1.lsd >> 2) << 19;
+ if($1.flags & R_CTL_REG) {
+ yyerror("please use MOVEC for control register moves");
+ break;
+ }
+ if($4 > 0x003F && pass == 2)
+ yywarning("warning: address operand truncated");
+ w0 |= ($4 & 0x3F) << 8;}
+ ;
+
+xy_move
+ : x_or_y /*XMEM*/ ea /*ea_strange*/ ',' regs YMEM ea /*ea_strange*/ ',' regs
+ {int eax = $2, eay = $6,
+ regx = ($4.flags & R_AB) ? $4.ab | 2 : $4.xreg,
+ regy = ($8.flags & R_AB) ? $8.ab | 2 : $8.yreg;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ if((eax & 0x400) == (eay & 0x400))
+ yyerror("registers must be in opposite halves");
+ if(!($4.flags & (R_AB | R_XREG)))
+ yyerror("invalid X move register");
+ if(!($8.flags & (R_AB | R_YREG)))
+ yyerror("invalid Y move register");
+ if($4.flags & R_AB &&
+ $8.flags & R_AB &&
+ $4.ab == $8.ab)
+ yyerror("duplicate destination register");
+ w0 = w0 & 0xFF | 0xC08000; /* both write */
+ w0 |= eax & 0x1f00 | (eay & 0x300) << 5 | (eay & 0x1800) << 9 | regx << 18 | regy << 16;}
+ | x_or_y /*XMEM*/ ea /*ea_strange*/ ',' regs regs ',' YMEM ea /*ea_strange*/
+ {int eax = $2, eay = $8,
+ regx = ($4.flags & R_AB) ? $4.ab | 2 : $4.xreg,
+ regy = ($5.flags & R_AB) ? $5.ab | 2 : $5.yreg;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ if((eax & 0x400) == (eay & 0x400))
+ yyerror("registers must be in opposite halves");
+ if(!($4.flags & (R_AB | R_XREG)))
+ yyerror("invalid X move register");
+ if(!($5.flags & (R_AB | R_YREG)))
+ yyerror("invalid Y move register");
+ w0 = w0 & 0xFF | 0x808000; /* X:write, Y:read */
+ w0 |= eax & 0x1f00 | (eay & 0x300) << 5 | (eay & 0x1800) << 9 | regx << 18 | regy << 16;}
+ | regs ',' x_or_y /*XMEM*/ ea /*ea_strange*/ YMEM ea /*ea_strange*/ ',' regs
+ {int eax = $4, eay = $6,
+ regx = ($1.flags & R_AB) ? $1.ab | 2 : $1.xreg,
+ regy = ($8.flags & R_AB) ? $8.ab | 2 : $8.yreg;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ if((eax & 0x400) == (eay & 0x400))
+ yyerror("registers must be in opposite halves");
+ if(!($1.flags & (R_AB | R_XREG)))
+ yyerror("invalid X move register");
+ if(!($8.flags & (R_AB | R_YREG)))
+ yyerror("invalid Y move register");
+ w0 = w0 & 0xFF | 0xC00000; /* X:read, Y:write */
+ w0 |= eax & 0x1f00 | (eay & 0x300) << 5 | (eay & 0x1800) << 9 | regx << 18 | regy << 16;}
+ | regs ',' x_or_y /*XMEM*/ ea /*ea_strange*/ regs ',' YMEM ea /*ea_strange*/
+ {int eax = $4, eay = $8,
+ regx = ($1.flags & R_AB) ? $1.ab | 2 : $1.xreg,
+ regy = ($5.flags & R_AB) ? $5.ab | 2 : $5.yreg;
+ hot_rreg = hot_nreg = hot_mreg = -1;
+ if((eax & 0x400) == (eay & 0x400))
+ yyerror("registers must be in opposite halves");
+ if(!($1.flags & (R_AB | R_XREG)))
+ yyerror("invalid X move register");
+ if(!($5.flags & (R_AB | R_YREG)))
+ yyerror("invalid Y move register");
+ w0 = w0 & 0xFF | 0x800000; /* both read */
+ w0 |= eax & 0x1f00 | (eay & 0x300) << 5 | (eay & 0x1800) << 9 | regx << 18 | regy << 16;}
+ ;
+
+/*%%%******* absolute address and immediate data fields ************/
+
+num : CHEX
+ {$$ = $1;}
+ | CDEC
+ {$$ = $1;}
+ | FRAC
+ {$$ = $1;}
+ ;
+
+ix : '#' expr
+ {$$ = $2; expr_seg = ANY;}
+ | '#' '<' expr
+ {$$.val.i = n2int($3) & 0xFF;
+ $$.type = INT;
+ expr_seg = ANY;
+ long_symbolic_expr = FALSE;}
+ ;
+
+ix_long : '#' '>' expr
+ {$$ = $3; expr_seg = ANY;}
+ ;
+
+abs_addr
+ : expr
+ {$$ = n2int($1);
+ expr_seg = $1.seg;}
+ ;
+
+abs_short_addr
+ : '<' expr
+ {$$ = n2int($2);
+ expr_seg = $2.seg;}
+ ;
+
+io_short_addr
+ : SHL expr
+ {$$ = n2int($2);
+ expr_seg = $2.seg;}
+ ;
+
+num_or_sym
+ : num
+ {$$ = $1;}
+ | SYM
+ {$$ = sym_ref($1); free($1);}
+ | io_short_addr
+ {$$.type = INT; $$.val.i = $1; $$.seg = expr_seg;}
+ ;
+
+num_or_sym_expr
+ : num
+ {$$ = $1; expr_seg = $1.seg;}
+ | SYM
+ {$$ = sym_ref($1);
+ free($1);
+ long_symbolic_expr++;
+ expr_seg = $$.seg;
+ }
+ | CHAR
+ {$$.type = INT; $$.val.i = $1 & 0xFFFFFF; expr_seg = $$.seg = ANY;}
+ | '*'
+ {$$.type = INT; $$.val.i = pc; expr_seg = $$.seg = ANY;}
+ | OP_PI
+ {$$.type = FLT; $$.val.f = acos(-1.0); expr_seg = $$.seg = ANY;}
+ ;
+
+expr
+ : OP_INT '(' expr ')'
+ {$$.type = INT;
+ if($3.type == INT)
+ $$.val.i = $3.val.i;
+ else
+ $$.val.i = $3.val.f;
+ $$.seg = $3.seg;
+ }
+ | expr '|' expr
+ {$$ = binary_op($1, '|', $3);}
+ | expr '^' expr
+ {$$ = binary_op($1, '^', $3);}
+ | expr '&' expr
+ {$$ = binary_op($1, '&', $3);}
+ | expr SHR expr
+ {$$ = binary_op($1, SHR, $3);}
+ | expr SHL expr
+ {$$ = binary_op($1, SHL, $3);}
+ | expr '-' expr
+ {$$ = binary_op($1, '-', $3);}
+ | expr '+' expr
+ {$$ = binary_op($1, '+', $3);}
+ | expr '%' expr
+ {$$ = binary_op($1, '%', $3);}
+ | expr '/' expr
+ {$$ = binary_op($1, '/', $3);}
+ | expr '*' expr
+ {$$ = binary_op($1, '*', $3);}
+ | '-' expr %prec '~'
+ {$$ = unary_op('-', $2);}
+ | '~' expr
+ {$$ = unary_op('~', $2);}
+ | OP_SIN '(' expr ')'
+ {$$ = unary_op('s', $3);}
+ | OP_COS '(' expr ')'
+ {$$ = unary_op('c', $3);}
+ | OP_TAN '(' expr ')'
+ {$$ = unary_op('t', $3);}
+ | OP_ASIN '(' expr ')'
+ {$$ = unary_op('S', $3);}
+ | OP_ACOS '(' expr ')'
+ {$$ = unary_op('C', $3);}
+ | OP_ATAN '(' expr ')'
+ {$$ = unary_op('T', $3);}
+ | OP_EXP '(' expr ')'
+ {$$ = unary_op('e', $3);}
+ | OP_LN '(' expr ')'
+ {$$ = unary_op('l', $3);}
+ | OP_LOG '(' expr ')'
+ {$$ = unary_op('L', $3);}
+ | OP_ABS '(' expr ')'
+ {$$ = unary_op('a', $3);}
+ | OP_POW '(' expr ',' expr ')'
+ {$$ = binary_op($3, 'p', $5);}
+ | '(' expr ')'
+ {$$ = $2;}
+ | num_or_sym_expr
+ {$$ = $1;}
+ ;
+
+/*%%%****************** end ******************************/
+
+%%
+
+#include <stdio.h>
+#include <setjmp.h>
+#include <sys/signal.h>
+
+int yydebug;
+
+struct n binary_op(a1, op, a2)
+struct n a1, a2;
+int op;
+{
+ struct n result;
+ int iarg1, iarg2;
+ double farg1, farg2;
+
+ if(a1.type == UNDEF || a2.type == UNDEF) {
+ result.type = UNDEF;
+ return result;
+ }
+
+ iarg1 = a1.type == INT ? a1.val.i : a1.val.f;
+ iarg2 = a2.type == INT ? a2.val.i : a2.val.f;
+
+ farg1 = a1.type == INT ? a1.val.i : a1.val.f;
+ farg2 = a2.type == INT ? a2.val.i : a2.val.f;
+
+ /* figure out target segment */
+
+ if(a1.seg == a2.seg)
+ result.seg = a1.seg;
+ else if(a1.seg == ANY)
+ result.seg = a2.seg;
+ else if(a2.seg == ANY)
+ result.seg = a1.seg;
+ else
+ result.seg = NONE;
+
+ /* promote to float automatically */
+
+ if(a1.type != a2.type) {
+ if(a1.type == INT) {
+ a1.val.f = a1.val.i; /* truncate */
+ a1.type = FLT;
+ } else {
+ a2.val.f = a2.val.i; /* truncate */
+ }
+ }
+ result.type = a1.type;
+
+ /* do the op */
+
+ switch(op) {
+ case '+':
+ if(result.type == INT) result.val.i = a1.val.i + a2.val.i;
+ else result.val.f = a1.val.f + a2.val.f;
+ break;
+ case '-':
+ if(result.type == INT) result.val.i = a1.val.i - a2.val.i;
+ else result.val.f = a1.val.f - a2.val.f;
+ break;
+ case '*':
+ if(result.type == INT) result.val.i = a1.val.i * a2.val.i;
+ else result.val.f = a1.val.f * a2.val.f;
+ break;
+ case '/':
+ if(result.type == INT) result.val.i = a1.val.i / a2.val.i;
+ else result.val.f = a1.val.f / a2.val.f;
+ break;
+ case '%':
+ result.val.i = iarg1 % iarg2;
+ result.type = INT;
+ break;
+ case SHL:
+ result.val.i = iarg1 << iarg2;
+ result.type = INT;
+ break;
+ case SHR:
+ result.val.i = iarg1 >> iarg2;
+ result.type = INT;
+ break;
+ case '|':
+ result.val.i = iarg1 | iarg2;
+ result.type = INT;
+ break;
+ case '&':
+ result.val.i = iarg1 & iarg2;
+ result.type = INT;
+ break;
+ case '^':
+ result.val.i = iarg1 ^ iarg2;
+ result.type = INT;
+ break;
+ case 'p':
+ result.val.f = pow(farg1, farg2);
+ result.type = FLT;
+ }
+
+ return result;
+}
+
+jmp_buf unary_env;
+
+void
+sigfpu()
+{
+ longjmp(unary_env, 1);
+}
+
+char *unary_name(op)
+{
+ switch(op) {
+ case 's': return "sin";
+ case 'c': return "cos";
+ case 't': return "tan";
+ case 'S': return "asin";
+ case 'C': return "acos";
+ case 'T': return "atan";
+ case 'e': return "exp";
+ case 'l': return "ln";
+ case 'L': return "log";
+ case 'a': return "abs";
+ }
+}
+
+struct n unary_op(op, a1)
+int op;
+struct n a1;
+{
+ struct n result;
+ void (*orig)();
+ double farg;
+
+ if(a1.type == UNDEF) {
+ result.type = UNDEF;
+ return result;
+ }
+
+ result.seg = a1.seg;
+
+ /* do the op */
+
+ orig = signal(SIGFPE, sigfpu);
+ if(setjmp(unary_env)) {
+ yyerror("floating point exception in function %s", unary_name(op));
+ result.val.i = result.val.f = 0;
+ } else {
+ farg = a1.type == INT ? (double)a1.val.i : a1.val.f;
+ switch(op) {
+ case '-':
+ result.type = a1.type;
+ if(a1.type == INT) result.val.i = -a1.val.i;
+ else result.val.f = -a1.val.f;
+ break;
+ case '~':
+ result.type = a1.type;
+ if(a1.type == INT) result.val.i = ~a1.val.i;
+ else result.val.f = ~(int)a1.val.f;
+ break;
+ case 'a':
+ result.type = a1.type;
+ if(a1.type == INT) result.val.i = a1.val.i < 0 ? -a1.val.i : a1.val.i;
+ else result.val.f = result.val.f = a1.val.f < 0 ? -a1.val.f : a1.val.f;
+ break;
+ case 's':
+ result.type = FLT;
+ result.val.f = sin(farg);
+ break;
+ case 'c':
+ result.type = FLT;
+ result.val.f = cos(farg);
+ break;
+ case 't':
+ result.type = FLT;
+ result.val.f = tan(farg);
+ break;
+ case 'S':
+ result.type = FLT;
+ result.val.f = asin(farg);
+ break;
+ case 'C':
+ result.type = FLT;
+ result.val.f = acos(farg);
+ break;
+ case 'T':
+ result.type = FLT;
+ result.val.f = atan(farg);
+ break;
+ case 'e':
+ result.type = FLT;
+ result.val.f = exp(farg);
+ break;
+ case 'l':
+ result.type = FLT;
+ result.val.f = log(farg);
+ break;
+ case 'L':
+ result.type = FLT;
+ result.val.f = log10(farg);
+ break;
+ }
+ }
+ signal(SIGFPE, orig);
+
+ return result;
+}
+
+n2int(n)
+struct n n;
+{
+ if(n.type == UNDEF)
+ return UNDEF;
+ else if(n.type == INT)
+ return n.val.i;
+ else
+ return n.val.f;
+}
+
+n2frac(n)
+struct n n;
+{
+ double adval = n.val.f >= 0.0 ? n.val.f : -n.val.f;
+
+ if(n.type == UNDEF)
+ return UNDEF;
+ else if(n.type == INT)
+ return n.val.i;
+ else if(n.val.f == -1.0)
+ return 0x800000;
+
+ adval -= (double)(int)adval;
+ adval *= (double)0x800000;
+ adval += 0.5;
+
+ if(n.val.f >= 0.0)
+ return adval;
+ else
+ return -adval;
+}
+
+extern struct {int n; char *name;} tok_tab[];
+extern int n_tok;
+
+char *tok_print(tok)
+int tok;
+{
+ int i;
+ static char buf[32];
+
+ if(tok == '1') {
+ i = 1;
+ }
+
+ if(tok < 256) {
+ sprintf(buf, tok < ' ' ? "\\z%02X" : "%c", tok & 0xFF);
+ return buf;
+ } else {
+ for(i = 0; i < n_tok; i++) {
+ if(tok == tok_tab[i].n)
+ return tok_tab[i].name;
+ }
+ }
+ return "*bogus*";
+}
+
+yyerror(s, a0, a1, a2, a3)
+char *s, *a0, *a1, *a2, *a3;
+{
+ extern int error;
+ char buf[1024];
+
+ error++;
+ sprintf(buf, s, a0, a1, a2, a3);
+
+ if(pass == 2) {
+ fprintf(stderr, "%s: line %d: %s (tok=%s)\n", curfile, curline,
+ buf, tok_print(yychar));
+ fprintf(stderr, "%s\n", cur_line);
+ printf("%s: line %d: %s (tok=%s)\n", curfile, curline,
+ buf, tok_print(yychar));
+ }
+}
+
+yywarning(s, a0, a1, a2, a3)
+char *s, *a0, *a1, *a2, *a3;
+{
+ extern int warning;
+ char buf[1024];
+
+ warning++;
+ sprintf(buf, s, a0, a1, a2, a3);
+
+ if(pass == 2) {
+ fprintf(stderr, "%s: line %d: %s (tok=%s)\n", curfile, curline,
+ buf, tok_print(yychar));
+ fprintf(stderr, "%s\n", cur_line);
+ printf("%s: line %d: %s (tok=%s)\n", curfile, curline,
+ buf, tok_print(yychar));
+ }
+}
+
+char *luntab(s)
+char *s;
+{
+ static char buf[1024];
+ int p;
+
+ strcpy(buf, s);
+
+ untab(buf);
+ p = strlen(buf);
+
+ if(buf[p - 1] == '\n')
+ buf[p - 1] = '\0';
+
+ return buf;
+}