X86_REX_R
reg = X86_MODRM_REG(v) + 8*!!X86_REX_R(rex);
r3 = !!X86_REX_R(rex);
if (X86_REX_R(insn->rex_prefix.value))
rex_r = X86_REX_R(rex) >> 2;