arm: Fix bugs with MVE vmov from two GPRs to vector lanes
authorAlex Coplan <alex.coplan@arm.com>
Mon, 17 May 2021 14:12:39 +0000 (15:12 +0100)
committerAlex Coplan <alex.coplan@arm.com>
Mon, 17 May 2021 14:12:39 +0000 (15:12 +0100)
commite683cb412046b40085505f42dd141f542661a6ae
tree5691bbcb60d26278a40eb4265c53db1e0a33af35
parent467f8eb233291031e1883c12fae9c8f41177efa2
arm: Fix bugs with MVE vmov from two GPRs to vector lanes

The initial problem I wanted to fix here is that GAS was rejecting MVE
instructions such as:

vmov q3[2], q3[0], r2, r2

with:

Error: General purpose registers may not be the same -- `vmov q3[2],q3[0],r2,r2'

which is incorrect; such instructions are valid. Note that for moves in
the other direction, e.g.:

vmov r2, r2, q3[2], q3[0]

GAS is correct in rejecting this as it does not make sense to move both
lanes into the same register (the Arm ARM says this is CONSTRAINED
UNPREDICTABLE).

After fixing this issue, I added assembly/disassembly tests for these
vmovs. This revealed several disassembly issues, including incorrectly
marking the moves into vector lanes as UNPREDICTABLE, and disassembling
many of the vmovs as vector loads. These are now fixed.

gas/ChangeLog:

* config/tc-arm.c (do_mve_mov): Only reject vmov if we're moving
into the same GPR twice.
* testsuite/gas/arm/mve-vmov-bad-2.l: Tweak error message.
* testsuite/gas/arm/mve-vmov-3.d: New test.
* testsuite/gas/arm/mve-vmov-3.s: New test.

opcodes/ChangeLog:

* arm-dis.c (mve_opcodes): Fix disassembly of
MVE_VMOV2_GP_TO_VEC_LANE when idx == 1.
(is_mve_encoding_conflict): MVE vector loads should not match
when P = W = 0.
(is_mve_unpredictable): It's not unpredictable to use the same
source register twice (for MVE_VMOV2_GP_TO_VEC_LANE).
gas/ChangeLog
gas/config/tc-arm.c
gas/testsuite/gas/arm/mve-vmov-3.d [new file with mode: 0644]
gas/testsuite/gas/arm/mve-vmov-3.s [new file with mode: 0644]
gas/testsuite/gas/arm/mve-vmov-bad-2.l
opcodes/ChangeLog
opcodes/arm-dis.c