X86_SIB_INDEX
sib_index = X86_SIB_INDEX(sib) + 8*x3 + 16*x4;
regno = X86_SIB_INDEX(insn->sib.value);
sib_index = X86_SIB_INDEX(sib) + 8*rex_x;