OSDN Git Service

target/arm: Make the t32 insn[25:23]=111 group non-overlapping
authorPeter Maydell <peter.maydell@linaro.org>
Mon, 19 Oct 2020 15:12:55 +0000 (16:12 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 20 Oct 2020 15:12:01 +0000 (16:12 +0100)
commit45f11876ae86128bdee27e0b089045de43cc88e4
tree5d90b8307e4be3461ce0b2c190e859160788f81c
parentcc73bbded0dfb5612b0e416f7eda13a66950542a
target/arm: Make the t32 insn[25:23]=111 group non-overlapping

The t32 decode has a group which represents a set of insns
which overlap with B_cond_thumb because they have [25:23]=111
(which is an invalid condition code field for the branch insn).
This group is currently defined using the {} overlap-OK syntax,
but it is almost entirely non-overlapping patterns. Switch
it over to use a non-overlapping group.

For this to be valid syntactically, CPS must move into the same
overlapping-group as the hint insns (CPS vs hints was the
only actual use of the overlap facility for the group).

The non-overlapping subgroup for CLREX/DSB/DMB/ISB/SB is no longer
necessary and so we can remove it (promoting those insns to
be members of the parent group).

Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-id: 20201019151301.2046-5-peter.maydell@linaro.org
target/arm/t32.decode