[2/2] x86-64: refuse "high" 8-bit regs with .insn and VEX/XOP/EVEX encodings
Checks
Context |
Check |
Description |
linaro-tcwg-bot/tcwg_binutils_build--master-arm |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_binutils_build--master-aarch64 |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_binutils_check--master-aarch64 |
success
|
Testing passed
|
linaro-tcwg-bot/tcwg_binutils_check--master-arm |
success
|
Testing passed
|
Commit Message
Much like REX, those encodings - if permitting 8-bit regs at all, i.e.
only starting with APX - permit use of "new" 8-bit registers only. %ah,
%ch, %dh, and %bh cannot be encoded and hence should be rejected.
Permit their use outside of 64-bit code though, as "new" registers
simply don't exist there.
@@ -11484,6 +11484,16 @@ s_insn (int dummy ATTRIBUTE_UNUSED)
for (j = i.imm_operands; j < i.operands; ++j)
{
+ /* Look for 8-bit operands that use old registers. */
+ if (i.vec_encoding != vex_encoding_default
+ && flag_code == CODE_64BIT
+ && i.types[j].bitfield.class == Reg
+ && i.types[j].bitfield.byte
+ && !(i.op[j].regs->reg_flags & RegRex64)
+ && i.op[j].regs->reg_num > 3)
+ as_bad (_("can't encode register '%s%s' with VEX/XOP/EVEX"),
+ register_prefix, i.op[j].regs->reg_name);
+
i.types[j].bitfield.instance = InstanceNone;
if (operand_type_check (i.types[j], disp))