x86: widen applicability and use of CheckRegSize
authorJan Beulich <jbeulich@suse.com>
Thu, 24 Nov 2022 08:35:51 +0000 (09:35 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 24 Nov 2022 08:35:51 +0000 (09:35 +0100)
commit8ee52bcf39e95abbc9cfffbb0afbb55be67e8c3d
treeb7a28eb5ac550e20500c27cb59ee1e10bc5f4626
parenta122baf523b0d03c43abeaa797b82d51aac91061
x86: widen applicability and use of CheckRegSize

First of all make operand_type_register_match() apply to all sized
operands, i.e. in Intel Syntax also to respective memory ones. This
addresses gas wrongly accepting certain SIMD insns where register and
memory operand sizes should match but don't. This apparently has
affected all templates with one memory-only operand and one or more
register ones, both permitting at least two sizes, due to CheckRegSize
not taking effect.

Then also add CheckRegSize to a couple of non-SIMD templates matching
that same pattern of memory-only vs register operands. This replaces
bogus (for Intel Syntax) diagnostics referring to a wrong suffix (when
none was used at all) by "type mismatch" ones, just like already emitted
for insns where the template allows a register operand alongside a
memory one at any particular position.

This also is a prereq to limiting (ideally eliminating in the long run)
suffix "derivation" in Intel Syntax mode.

While making the code adjustment also flip order of checks to do the
cheaper one first in both cases.
gas/config/tc-i386.c
gas/testsuite/gas/i386/intelbad.l
gas/testsuite/gas/i386/intelbad.s
opcodes/i386-opc.tbl
opcodes/i386-tbl.h