Make some error messages more consistent (#1393)

* Update some error messages

* Make non-A destination operand syntactically invalid
This commit is contained in:
Sylvie
2024-04-20 17:13:01 -04:00
committed by GitHub
parent 7aecc00919
commit 3e9d2cab12
6 changed files with 71 additions and 61 deletions

View File

@@ -108,7 +108,8 @@
%type <int32_t> const_8bit
%type <int32_t> uconst
%type <int32_t> rs_uconst
%type <int32_t> const_3bit
%type <int32_t> shift_const
%type <int32_t> bit_const
%type <Expression> reloc_8bit
%type <Expression> reloc_8bit_no_str
%type <Expression> reloc_8bit_offset
@@ -288,6 +289,8 @@
%token CC_NZ "nz" CC_Z "z" CC_NC "nc" // There is no CC_C, only TOKEN_C
%type <int32_t> reg_r
%type <int32_t> reg_r_no_a
%type <int32_t> reg_a
%type <int32_t> reg_ss
%type <int32_t> reg_rr
%type <int32_t> reg_tt
@@ -735,14 +738,7 @@ assert:
;
shift:
POP_SHIFT {
if (MacroArgs *macroArgs = fstk_GetCurrentMacroArgs(); macroArgs) {
macroArgs->shiftArgs(1);
} else {
::error("Cannot shift macro arguments outside of a macro\n");
}
}
| POP_SHIFT const {
POP_SHIFT shift_const {
if (MacroArgs *macroArgs = fstk_GetCurrentMacroArgs(); macroArgs) {
macroArgs->shiftArgs($2);
} else {
@@ -751,6 +747,13 @@ shift:
}
;
shift_const:
%empty {
$$ = 1;
}
| const
;
load:
POP_LOAD sect_mod string COMMA sect_type sect_org sect_attrs {
sect_SetLoadSection($3, (SectionType)$5, $6, $7, $2);
@@ -1097,15 +1100,12 @@ print_expr:
}
;
const_3bit:
bit_const:
const {
int32_t value = $1;
if ((value < 0) || (value > 7)) {
::error("Immediate value must be 3-bit\n");
$$ = $1;
if ($$ < 0 || $$ > 7) {
::error("Bit number must be between 0 and 7, not %" PRId32 "\n", $$);
$$ = 0;
} else {
$$ = value & 0x7;
}
}
;
@@ -1436,7 +1436,7 @@ opt_q_arg:
| COMMA const {
$$ = $2;
if ($$ < 1 || $$ > 31) {
::error("Fixed-point precision must be between 1 and 31\n");
::error("Fixed-point precision must be between 1 and 31, not %" PRId32 "\n", $$);
$$ = fix_Precision();
}
}
@@ -1698,7 +1698,7 @@ z80_and:
;
z80_bit:
Z80_BIT const_3bit COMMA reg_r {
Z80_BIT bit_const COMMA reg_r {
sect_AbsByte(0xCB);
sect_AbsByte(0x40 | ($2 << 3) | $4);
}
@@ -1846,19 +1846,20 @@ z80_ldio:
c_ind:
LBRACK MODE_C RBRACK
| LBRACK relocexpr OP_ADD MODE_C RBRACK {
if (!$2.isKnown() || $2.value() != 0xFF00)
::error("Expected constant expression equal to $FF00 for \"$ff00+c\"\n");
// This has to use `relocexpr`, not `const`, to avoid a shift/reduce conflict
if ($2.getConstVal() != 0xFF00)
::error("Base value must be equal to $FF00 for $FF00+C\n");
}
;
z80_ld:
z80_ld_mem
| z80_ld_cind
| z80_ld_c_ind
| z80_ld_rr
| z80_ld_ss
| z80_ld_hl
| z80_ld_sp
| z80_ld_r
| z80_ld_r_no_a
| z80_ld_a
;
@@ -1894,7 +1895,7 @@ z80_ld_mem:
}
;
z80_ld_cind:
z80_ld_c_ind:
Z80_LD c_ind COMMA MODE_A {
sect_AbsByte(0xE2);
}
@@ -1906,39 +1907,36 @@ z80_ld_rr:
}
;
z80_ld_r:
Z80_LD reg_r COMMA reloc_8bit {
z80_ld_r_no_a:
Z80_LD reg_r_no_a COMMA reloc_8bit {
sect_AbsByte(0x06 | ($2 << 3));
sect_RelByte($4, 1);
}
| Z80_LD reg_r COMMA reg_r {
if (($2 == REG_HL_IND) && ($4 == REG_HL_IND))
::error("LD [HL],[HL] not a valid instruction\n");
| Z80_LD reg_r_no_a COMMA reg_r {
if ($2 == REG_HL_IND && $4 == REG_HL_IND)
::error("LD [HL], [HL] is not a valid instruction\n");
else
sect_AbsByte(0x40 | ($2 << 3) | $4);
}
;
z80_ld_a:
Z80_LD reg_r COMMA c_ind {
if ($2 == REG_A)
sect_AbsByte(0xF2);
else
::error("Destination operand must be A\n");
Z80_LD reg_a COMMA reloc_8bit {
sect_AbsByte(0x06 | ($2 << 3));
sect_RelByte($4, 1);
}
| Z80_LD reg_r COMMA reg_rr {
if ($2 == REG_A)
sect_AbsByte(0x0A | ($4 << 4));
else
::error("Destination operand must be A\n");
| Z80_LD reg_a COMMA reg_r {
sect_AbsByte(0x40 | ($2 << 3) | $4);
}
| Z80_LD reg_r COMMA op_mem_ind {
if ($2 == REG_A) {
sect_AbsByte(0xFA);
sect_RelWord($4, 1);
} else {
::error("Destination operand must be A\n");
}
| Z80_LD reg_a COMMA c_ind {
sect_AbsByte(0xF2);
}
| Z80_LD reg_a COMMA reg_rr {
sect_AbsByte(0x0A | ($4 << 4));
}
| Z80_LD reg_a COMMA op_mem_ind {
sect_AbsByte(0xFA);
sect_RelWord($4, 1);
}
;
@@ -1984,7 +1982,7 @@ z80_push:
;
z80_res:
Z80_RES const_3bit COMMA reg_r {
Z80_RES bit_const COMMA reg_r {
sect_AbsByte(0xCB);
sect_AbsByte(0x80 | ($2 << 3) | $4);
}
@@ -2084,7 +2082,7 @@ z80_scf:
;
z80_set:
Z80_SET const_3bit COMMA reg_r {
Z80_SET bit_const COMMA reg_r {
sect_AbsByte(0xCB);
sect_AbsByte(0xC0 | ($2 << 3) | $4);
}
@@ -2232,7 +2230,9 @@ ccode:
}
;
reg_r:
reg_r: reg_r_no_a | reg_a;
reg_r_no_a:
MODE_B {
$$ = REG_B;
}
@@ -2254,7 +2254,10 @@ reg_r:
| LBRACK MODE_HL RBRACK {
$$ = REG_HL_IND;
}
| MODE_A {
;
reg_a:
MODE_A {
$$ = REG_A;
}
;