NVMM_X64_GPR_RDI
[1] = { NVMM_X64_GPR_RDI, 0x000000000000FFFF }, /* DI */
[3] = { NVMM_X64_GPR_RDI, 0x00000000FFFFFFFF }, /* EDI */
[0] = { NVMM_X64_GPR_RDI, 0x00000000000000FF }, /* DIL */
[1] = { NVMM_X64_GPR_RDI, 0x000000000000FFFF }, /* DI */
[3] = { NVMM_X64_GPR_RDI, 0x00000000FFFFFFFF }, /* EDI */
[7] = { NVMM_X64_GPR_RDI, 0xFFFFFFFFFFFFFFFF }, /* RDI */
[0b101] = NVMM_X64_GPR_RDI, /* DI */
reg2 = NVMM_X64_GPR_RDI;
gprs[NVMM_X64_GPR_RDI] -= mem->size;
gprs[NVMM_X64_GPR_RDI] += mem->size;
gprs[NVMM_X64_GPR_RDI] -= size;
gprs[NVMM_X64_GPR_RDI] += size;
gprs[NVMM_X64_GPR_RDI] -= size;
gprs[NVMM_X64_GPR_RDI] += size;
reg = NVMM_X64_GPR_RDI;
printf("| -> RDI=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RDI]);
[NVMM_X64_GPR_RDI] = 0x00000000,