aboutsummaryrefslogtreecommitdiff
path: root/gas
diff options
context:
space:
mode:
authorJohn Darrington <john@darrington.wattle.id.au>2019-02-01 17:42:54 +0100
committerJohn Darrington <john@darrington.wattle.id.au>2019-02-01 18:08:02 +0100
commit8b3a46f93c2b9ee839f806713afe7f88f0482214 (patch)
tree7e0311d430b1f446d4577bf54f94d1e3753db396 /gas
parentc75eca848b682c20dcd3ef850f67491295c116b1 (diff)
downloadgdb-8b3a46f93c2b9ee839f806713afe7f88f0482214.zip
gdb-8b3a46f93c2b9ee839f806713afe7f88f0482214.tar.gz
gdb-8b3a46f93c2b9ee839f806713afe7f88f0482214.tar.bz2
S12Z: GAS: Disallow immediate destination operands
The assembler permitted instructions which attempted to assign to an immediate operand. Bizarrely there is a valid machine code for such operations (although the documentation says it's "inappropriate"). This change causes such attempts to fail with an error message. gas/ * config/tc-s12z.c (lex_opr): Add a parameter to indicate whether immediate mode operands should be permitted. * testsuite/s12z/imm-dest.d: New file. * testsuite/s12z/imm-dest.l: New file. * testsuite/s12z/imm-dest.s: New file. * testsuite/s12z/s12z.exp: Add them.
Diffstat (limited to 'gas')
-rw-r--r--gas/ChangeLog9
-rw-r--r--gas/config/tc-s12z.c94
-rw-r--r--gas/testsuite/gas/s12z/imm-dest.d4
-rw-r--r--gas/testsuite/gas/s12z/imm-dest.l25
-rw-r--r--gas/testsuite/gas/s12z/imm-dest.s9
-rw-r--r--gas/testsuite/gas/s12z/s12z.exp2
6 files changed, 107 insertions, 36 deletions
diff --git a/gas/ChangeLog b/gas/ChangeLog
index be56cda..7905717 100644
--- a/gas/ChangeLog
+++ b/gas/ChangeLog
@@ -1,3 +1,12 @@
+2019-01-31 John Darrington <john@darrington.wattle.id.au>
+
+ * config/tc-s12z.c (lex_opr): Add a parameter to indicate whether
+ immediate mode operands should be permitted.
+ * testsuite/s12z/imm-dest.d: New file.
+ * testsuite/s12z/imm-dest.l: New file.
+ * testsuite/s12z/imm-dest.s: New file.
+ * testsuite/s12z/s12z.exp: Add them.
+
2019-01-31 Andreas Krebbel <krebbel@linux.ibm.com>
* config/tc-s390.c (s390_parse_cpu): New entry for arch13.
diff --git a/gas/config/tc-s12z.c b/gas/config/tc-s12z.c
index e62f383..2bd536a 100644
--- a/gas/config/tc-s12z.c
+++ b/gas/config/tc-s12z.c
@@ -348,7 +348,8 @@ lex_force_match (char x)
}
static int
-lex_opr (uint8_t *buffer, int *n_bytes, expressionS *exp)
+lex_opr (uint8_t *buffer, int *n_bytes, expressionS *exp,
+ bool immediate_ok)
{
char *ilp = input_line_pointer;
uint8_t *xb = buffer;
@@ -359,6 +360,11 @@ lex_opr (uint8_t *buffer, int *n_bytes, expressionS *exp)
*xb = 0;
if (lex_imm_e4 (&imm))
{
+ if (!immediate_ok)
+ {
+ as_bad (_("An immediate value in a source operand is inappropriate"));
+ return 0;
+ }
if (imm > 0)
*xb = imm;
else
@@ -766,7 +772,7 @@ opr (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (lex_opr (buffer, &n_bytes, &exp))
+ if (lex_opr (buffer, &n_bytes, &exp, false))
{
/* Large constant direct values are more efficiently encoded as ext24 mode.
Otherwise a decision has to be deferred to a relax. */
@@ -1094,7 +1100,7 @@ mul_reg_reg_opr (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, true))
goto fail;
int size = size_from_suffix (insn, 0);
@@ -1149,7 +1155,7 @@ mul_reg_opr_opr (const struct instruction *insn)
uint8_t buffer1[4];
int n_bytes1;
expressionS exp1;
- if (!lex_opr (buffer1, &n_bytes1, &exp1))
+ if (!lex_opr (buffer1, &n_bytes1, &exp1, false))
goto fail;
if (!lex_match (','))
@@ -1158,7 +1164,7 @@ mul_reg_opr_opr (const struct instruction *insn)
uint8_t buffer2[4];
int n_bytes2;
expressionS exp2;
- if (!lex_opr (buffer2, &n_bytes2, &exp2))
+ if (!lex_opr (buffer2, &n_bytes2, &exp2, false))
goto fail;
int size1 = size_from_suffix (insn, 0);
@@ -1519,7 +1525,8 @@ regd6_regy_regx (const struct instruction *insn)
}
static int
-reg_opr (const struct instruction *insn, int allowed_regs)
+reg_opr (const struct instruction *insn, int allowed_regs,
+ bool immediate_ok)
{
char *ilp = input_line_pointer;
int reg;
@@ -1531,7 +1538,7 @@ reg_opr (const struct instruction *insn, int allowed_regs)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (lex_opr (buffer, &n_bytes, &exp))
+ if (lex_opr (buffer, &n_bytes, &exp, immediate_ok))
{
/* Large constant direct values are more efficiently encoded as ext24 mode.
Otherwise a decision has to be deferred to a relax. */
@@ -1572,22 +1579,37 @@ reg_opr (const struct instruction *insn, int allowed_regs)
static int
-regdxy_opr (const struct instruction *insn)
+regdxy_opr_dest (const struct instruction *insn)
{
- return reg_opr (insn, REG_BIT_Dn | REG_BIT_XY);
+ return reg_opr (insn, REG_BIT_Dn | REG_BIT_XY, false);
}
static int
+regdxy_opr_src (const struct instruction *insn)
+{
+ return reg_opr (insn, REG_BIT_Dn | REG_BIT_XY, true);
+}
+
+
+static int
regd_opr (const struct instruction *insn)
{
- return reg_opr (insn, REG_BIT_Dn);
+ return reg_opr (insn, REG_BIT_Dn, true);
}
+/* OP0: S; OP1: destination OPR */
+static int
+regs_opr_dest (const struct instruction *insn)
+{
+ return reg_opr (insn, 0x1U << REG_S, false);
+}
+
+/* OP0: S; OP1: source OPR */
static int
-regs_opr (const struct instruction *insn)
+regs_opr_src (const struct instruction *insn)
{
- return reg_opr (insn, 0x1U << REG_S);
+ return reg_opr (insn, 0x1U << REG_S, true);
}
static int
@@ -1604,7 +1626,7 @@ imm_opr (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
int size = size_from_suffix (insn, 0);
@@ -1633,7 +1655,7 @@ opr_opr (const struct instruction *insn)
uint8_t buffer1[4];
int n_bytes1;
expressionS exp1;
- if (!lex_opr (buffer1, &n_bytes1, &exp1))
+ if (!lex_opr (buffer1, &n_bytes1, &exp1, false))
goto fail;
@@ -1643,7 +1665,7 @@ opr_opr (const struct instruction *insn)
uint8_t buffer2[4];
int n_bytes2;
expressionS exp2;
- if (!lex_opr (buffer2, &n_bytes2, &exp2))
+ if (!lex_opr (buffer2, &n_bytes2, &exp2, false))
goto fail;
char *f = s12z_new_insn (1 + n_bytes1 + n_bytes2);
@@ -1673,7 +1695,7 @@ reg67sxy_opr (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
return 0;
char *f = s12z_new_insn (1 + n_bytes);
@@ -1689,7 +1711,7 @@ rotate (const struct instruction *insn, short dir)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (lex_opr (buffer, &n_bytes, &exp))
+ if (lex_opr (buffer, &n_bytes, &exp, false))
{
char *f = s12z_new_insn (n_bytes + 2);
number_to_chars_bigendian (f++, insn->opc, 1);
@@ -1760,7 +1782,7 @@ lex_shift_reg_imm1 (const struct instruction *insn, short type, short dir)
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
gas_assert (n_bytes == 1);
@@ -1911,7 +1933,7 @@ shift_two_operand (const struct instruction *insn)
uint8_t buffer[4];
int n_opr_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_opr_bytes, &exp))
+ if (!lex_opr (buffer, &n_opr_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -1963,7 +1985,7 @@ shift_opr_imm (const struct instruction *insn)
int n_opr_bytes1;
expressionS exp1;
- if (!lex_opr (buffer1, &n_opr_bytes1, &exp1))
+ if (!lex_opr (buffer1, &n_opr_bytes1, &exp1, false))
goto fail;
n_bytes += n_opr_bytes1;
@@ -1979,7 +2001,7 @@ shift_opr_imm (const struct instruction *insn)
{
immediate = true;
}
- else if (!lex_opr (buffer2, &n_opr_bytes2, &exp2))
+ else if (!lex_opr (buffer2, &n_opr_bytes2, &exp2, false))
goto fail;
uint8_t sb = 0x20;
@@ -2091,7 +2113,7 @@ bm_opr_reg (const struct instruction *insn)
int n_opr_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_opr_bytes, &exp))
+ if (!lex_opr (buffer, &n_opr_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2130,7 +2152,7 @@ bm_opr_imm (const struct instruction *insn)
int n_opr_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_opr_bytes, &exp))
+ if (!lex_opr (buffer, &n_opr_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2224,7 +2246,7 @@ bf_reg_opr_imm (const struct instruction *insn, short ie)
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2286,7 +2308,7 @@ bf_opr_reg_imm (const struct instruction *insn, short ie)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2463,7 +2485,7 @@ bf_opr_reg_reg (const struct instruction *insn, short ie)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2523,7 +2545,7 @@ bf_reg_opr_reg (const struct instruction *insn, short ie)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2714,7 +2736,7 @@ tb_opr_rel (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2829,7 +2851,7 @@ test_br_opr_reg_rel (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -2878,7 +2900,7 @@ test_br_opr_imm_rel (const struct instruction *insn)
uint8_t buffer[4];
int n_bytes;
expressionS exp;
- if (!lex_opr (buffer, &n_bytes, &exp))
+ if (!lex_opr (buffer, &n_bytes, &exp, false))
goto fail;
if (!lex_match (','))
@@ -3238,7 +3260,7 @@ static const struct instruction opcodes[] = {
{"tfr", 1, 0x9e, tfr, 0},
{"zex", 1, 0x9e, tfr, 0},
- {"ld", 1, 0xa0, regdxy_opr, 0xb0},
+ {"ld", 1, 0xa0, regdxy_opr_src, 0xb0},
{"jmp", 1, 0xaa, opr, 0xba},
{"jsr", 1, 0xab, opr, 0xbb},
@@ -3246,7 +3268,7 @@ static const struct instruction opcodes[] = {
{"exg", 1, 0xae, tfr, 0},
{"sex", 1, 0xae, tfr, 0},
- {"st", 1, 0xc0, regdxy_opr, 0xd0},
+ {"st", 1, 0xc0, regdxy_opr_dest, 0xd0},
{"andcc", 1, 0xce, imm8, 0},
{"orcc", 1, 0xde, imm8, 0},
@@ -3305,7 +3327,7 @@ static const struct instruction opcodes[] = {
{"btgl.l", 1, 0xee, bm_opr_reg, 0},
{"cmp", 1, 0xe0, regdxy_imm, 0},
- {"cmp", 1, 0xf0, regdxy_opr, 0},
+ {"cmp", 1, 0xf0, regdxy_opr_src, 0},
{"cmp", 1, 0xfc, regx_regy, 0},
{"sub", 1, 0xfd, regd6_regx_regy, 0},
@@ -3316,13 +3338,13 @@ static const struct instruction opcodes[] = {
/* Page 2 */
/* The -10 below is a kludge. The opcode is in fact 0x00 */
- {"ld", 2, -10, regs_opr, 0},
+ {"ld", 2, -10, regs_opr_src, 0},
/* The -9 below is a kludge. The opcode is in fact 0x01 */
- {"st", 2, -9, regs_opr, 0},
+ {"st", 2, -9, regs_opr_dest, 0},
/* The -8 below is a kludge. The opcode is in fact 0x02 */
- {"cmp", 2, -8, regs_opr, 0},
+ {"cmp", 2, -8, regs_opr_src, 0},
/* The -7 below is a kludge. The opcode is in fact 0x03 */
{"ld", 2, -7, regs_imm, 0},
diff --git a/gas/testsuite/gas/s12z/imm-dest.d b/gas/testsuite/gas/s12z/imm-dest.d
new file mode 100644
index 0000000..37c4ed7
--- /dev/null
+++ b/gas/testsuite/gas/s12z/imm-dest.d
@@ -0,0 +1,4 @@
+# Check that opr destinations which are short immediates fail with an error
+#name: invalid immediate destination operands
+#source: imm-dest.s
+#error_output: imm-dest.l
diff --git a/gas/testsuite/gas/s12z/imm-dest.l b/gas/testsuite/gas/s12z/imm-dest.l
new file mode 100644
index 0000000..14d614d
--- /dev/null
+++ b/gas/testsuite/gas/s12z/imm-dest.l
@@ -0,0 +1,25 @@
+.*: Assembler messages:
+.*:2: Error: An immediate value in a source operand is inappropriate
+.*:2: Error: Invalid instruction: "st d0,#2"
+.*:2: Error: First invalid token: "d0,#2"
+.*:3: Error: An immediate value in a source operand is inappropriate
+.*:3: Error: Invalid instruction: "st s,#4"
+.*:3: Error: First invalid token: ""
+.*:4: Error: An immediate value in a source operand is inappropriate
+.*:4: Error: Invalid instruction: "mov.b d0,#4"
+.*:4: Error: First invalid token: ""
+.*:5: Error: An immediate value in a source operand is inappropriate
+.*:5: Error: Invalid instruction: "inc.b #1"
+.*:5: Error: First invalid token: "\(null\)"
+.*:6: Error: An immediate value in a source operand is inappropriate
+.*:6: Error: Invalid instruction: "dec.b #12"
+.*:6: Error: First invalid token: "\(null\)"
+.*:7: Error: An immediate value in a source operand is inappropriate
+.*:7: Error: Invalid instruction: "com.w #1"
+.*:7: Error: First invalid token: "\(null\)"
+.*:8: Error: An immediate value in a source operand is inappropriate
+.*:8: Error: Invalid instruction: "neg.l #-1"
+.*:8: Error: First invalid token: "\(null\)"
+.*:9: Error: An immediate value in a source operand is inappropriate
+.*:9: Error: Invalid instruction: "ror.b #3"
+.*:9: Error: First invalid token: "\(null\)"
diff --git a/gas/testsuite/gas/s12z/imm-dest.s b/gas/testsuite/gas/s12z/imm-dest.s
new file mode 100644
index 0000000..1363268
--- /dev/null
+++ b/gas/testsuite/gas/s12z/imm-dest.s
@@ -0,0 +1,9 @@
+;;; All these are invalid instructions and should provoke an error
+ st d0, #2
+ st s, #4
+ mov.b d0, #4
+ inc.b #1
+ dec.b #12
+ com.w #1
+ neg.l #-1
+ ror.b #3
diff --git a/gas/testsuite/gas/s12z/s12z.exp b/gas/testsuite/gas/s12z/s12z.exp
index 76d0931..a6546d7 100644
--- a/gas/testsuite/gas/s12z/s12z.exp
+++ b/gas/testsuite/gas/s12z/s12z.exp
@@ -132,3 +132,5 @@ run_dump_test ld-large-direct
run_dump_test ld-small-direct
run_dump_test st-large-direct
run_dump_test st-small-direct
+
+run_dump_test imm-dest