[Bug binutils/13668] New: x86: objdump gets the wrong length for 66-prefixed direct jumps in 64-bit mode

[address@hidden]

http://sourceware.org/bugzilla/show_bug.cgi?id=13668

             Bug #: 13668
           Summary: x86: objdump gets the wrong length for 66-prefixed
                    direct jumps in 64-bit mode
           Product: binutils
           Version: 2.23 (HEAD)
            Status: NEW
          Severity: normal
          Priority: P2
         Component: binutils
        AssignedTo: address@hidden
        ReportedBy: address@hidden
    Classification: Unclassified


"objdump -d" produces the following disassembly for x86-64 and shows this "jb"
as taking a 2-byte jump offset:

  400515:       66 0f 82 00 00          jb     51a
  40051a:       eb 02                   jmp    40051e

This is correct for 32-bit mode, but in 64-bit mode this "jb" should take a
4-byte jump offset.

I'm not sure where that CPU behaviour is documented (I find the AMD manuals
unclear on the matter), but the following test demonstrates it empirically:


#include <stdio.h>

asm(".global test\n"
    "test:\n"
    /* Clear the carry flag so that the following "jc" does not jump. */
    "clc\n"
    /* "66 0f 82" is the encoding for "data16 jc".  "jc" is also known
       as "jb".  On x86-32, this takes a 2-byte operand, so it
       executes "jmp size2".  On x86-64, this takes a 4-byte operand,
       so it executes "jmp size4". */
    ".ascii \"\\x66\\x0f\\x82\\x00\\x00\"\n"
    /* We assume that this jump is encoded as a 2-byte instruction. */
    "jmp size2\n"
    "jmp size4\n"
    "size2: jmp size_is_2\n"
    "size4: jmp size_is_4\n"
    );
void test(void);

void size_is_2() { printf("operand size is 2 bytes\n"); }
void size_is_4() { printf("operand size is 4 bytes\n"); }

int main() {
  test();
  return 0;
}


$ gcc test.c -o test -m32 && ./test
operand size is 2 bytes
$ gcc test.c -o test -m64 && ./test
operand size is 4 bytes

Since using the 66 prefix on direct jumps is not very useful on x86-64 -- it
only increases the size of the encoding -- we wouldn't expect to see it very
often.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.