REX.w

 % cat tmp.s
 mov %rax, %rdx
 mov %eax, %edx
 % gcc -c tmp.s && objdump -d tmp.o | grep mov
   0:   '''48 89 c2'''                mov    %rax,%rdx
   3:   89 c2                   mov    %eax,%edx

• REX: 0x48 == 0100_'''1'''_0_0_0 (0100 '''REX.w''' REX.r REX.x REX.b)
• mov: 0x89
• Mod R/M: 0xc2 == 11_000_010 (Mod Reg R/M)

ここが 1 だと 64bit 命令ですよー的な
命令によってデフォが 64bit だと 32bit をあらわすことも