Browse Source

x86: move Q-suffix-to-REX.W translation logic

By pulling it ahead of the SHORT_MNEM_SUFFIX case label we can drop a
part of another conditional there. While moving, also drop a pointless
check: With QWORD_MNEM_SUFFIX, register operands of XCHG necessarily
have both been 64-bit ones.
master
Jan Beulich 3 years ago
parent
commit
4e3be89fda
  1. 37
      gas/config/tc-i386.c

37
gas/config/tc-i386.c

@ -9464,13 +9464,31 @@ process_suffix (void)
else else
i.tm.base_opcode |= 1; i.tm.base_opcode |= 1;
} }
/* Set mode64 for an operand. */
if (i.suffix == QWORD_MNEM_SUFFIX)
{
if (flag_code == CODE_64BIT
&& !i.tm.opcode_modifier.norex64
&& !i.tm.opcode_modifier.vexw
/* Special case for xchg %rax,%rax. It is NOP and doesn't
need rex64. */
&& ! (i.operands == 2
&& i.tm.base_opcode == 0x90
&& i.tm.opcode_space == SPACE_BASE
&& i.types[0].bitfield.instance == Accum
&& i.types[1].bitfield.instance == Accum))
i.rex |= REX_W;
break;
}
/* fall through */ /* fall through */
case SHORT_MNEM_SUFFIX: case SHORT_MNEM_SUFFIX:
/* Now select between word & dword operations via the operand /* Now select between word & dword operations via the operand
size prefix, except for instructions that will ignore this size prefix, except for instructions that will ignore this
prefix anyway. */ prefix anyway. */
if (i.suffix != QWORD_MNEM_SUFFIX if (i.tm.opcode_modifier.mnemonicsize != IGNORESIZE
&& i.tm.opcode_modifier.mnemonicsize != IGNORESIZE
&& !i.tm.opcode_modifier.floatmf && !i.tm.opcode_modifier.floatmf
&& (!is_any_vex_encoding (&i.tm) && (!is_any_vex_encoding (&i.tm)
|| i.tm.opcode_space == SPACE_EVEXMAP4) || i.tm.opcode_space == SPACE_EVEXMAP4)
@ -9494,21 +9512,6 @@ process_suffix (void)
return 0; return 0;
} }
/* Set mode64 for an operand. */
if (i.suffix == QWORD_MNEM_SUFFIX
&& flag_code == CODE_64BIT
&& !i.tm.opcode_modifier.norex64
&& !i.tm.opcode_modifier.vexw
/* Special case for xchg %rax,%rax. It is NOP and doesn't
need rex64. */
&& ! (i.operands == 2
&& i.tm.base_opcode == 0x90
&& i.tm.opcode_space == SPACE_BASE
&& i.types[0].bitfield.instance == Accum
&& i.types[0].bitfield.qword
&& i.types[1].bitfield.instance == Accum))
i.rex |= REX_W;
break; break;
case 0: case 0:

Loading…
Cancel
Save