Function sendSExtFromI32ToR64

src/e9tool/e9codegen.cpp:1447–1457

* Send a `mov $value,%r32' instruction. */

 * Send a `mov $value,%r32' instruction.
 */
void sendSExtFromI32ToR64(FILE *out, const char *value, int regno)
{
    const uint8_t REX[] =
        {0x48, 0x48, 0x48, 0x48, 0x49, 0x49, 0x00,
         0x48, 0x49, 0x49, 0x48, 0x48, 0x49, 0x49, 0x49, 0x49, 0x48};
    const uint8_t MODRM[] =
        {0xc7, 0xc6, 0xc2, 0xc1, 0xc0, 0xc1, 0x00,  
         0xc0, 0xc2, 0xc3, 0xc3, 0xc5, 0xc4, 0xc5, 0xc6, 0xc7, 0xc4};
    fprintf(out, "%u,%u,%u,%s,",
        REX[regno], 0xc7, MODRM[regno], value);
}

/*
 * Send a `mov $value,%r32' instruction.