]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commitdiff
x86/APX: with REX2 map 1 doesn't "chain" to maps 2 or 3
authorJan Beulich <jbeulich@suse.com>
Fri, 9 Feb 2024 07:39:48 +0000 (08:39 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 9 Feb 2024 07:39:48 +0000 (08:39 +0100)
Don't wander into three_byte_table[] when REX2 is present.

While there also eliminate related confusion when accessing
dis386_twobyte[]: There's nothing 3-byte-ish involved there. Dropping
the odd variable gets things better in sync with 1-byte handling as
well.

opcodes/i386-dis.c

index 62c37a9dc267644eff283084fe08152053bf3d82..31afa9c9fbc66536cbdbfa859efe0e52da480211 100644 (file)
@@ -8833,6 +8833,8 @@ get_valid_dis386 (const struct dis386 *dp, instr_info *ins)
       break;
 
     case USE_3BYTE_TABLE:
+      if (ins->last_rex2_prefix >= 0)
+       return &err_opcode;
       if (!fetch_code (ins->info, ins->codep + 2))
        return &err_opcode;
       vindex = *ins->codep++;
@@ -9550,8 +9552,6 @@ print_insn (bfd_vma pc, disassemble_info *info, int intel_syntax)
   /* REX2.M in rex2 prefix represents map0 or map1.  */
   if (ins.last_rex2_prefix < 0 ? *ins.codep == 0x0f : (ins.rex2 & REX2_M))
     {
-      unsigned char threebyte;
-
       if (!ins.rex2)
        {
          ins.codep++;
@@ -9559,17 +9559,15 @@ print_insn (bfd_vma pc, disassemble_info *info, int intel_syntax)
            goto fetch_error_out;
        }
 
-      threebyte = *ins.codep;
-      dp = &dis386_twobyte[threebyte];
-      ins.need_modrm = twobyte_has_modrm[threebyte];
-      ins.codep++;
+      dp = &dis386_twobyte[*ins.codep];
+      ins.need_modrm = twobyte_has_modrm[*ins.codep];
     }
   else
     {
       dp = &dis386[*ins.codep];
       ins.need_modrm = onebyte_has_modrm[*ins.codep];
-      ins.codep++;
     }
+  ins.codep++;
 
   /* Save sizeflag for printing the extra ins.prefixes later before updating
      it for mnemonic and operand processing.  The prefix names depend