Function sendLeaFromPCRelToR64

src/e9tool/e9codegen.cpp:1539–1549

* Send a `lea offset(%rip),%r64' instruction. */

 * Send a `lea offset(%rip),%r64' instruction.
 */
void sendLeaFromPCRelToR64(FILE *out, const char *offset, int regno)
{
    const uint8_t REX[] =
        {0x48, 0x48, 0x48, 0x48, 0x4c, 0x4c, 0x00,
         0x48, 0x4c, 0x4c, 0x48, 0x48, 0x4c, 0x4c, 0x4c, 0x4c, 0x48};
    const uint8_t MODRM[] =
        {0x3d, 0x35, 0x15, 0x0d, 0x05, 0x0d, 0x00, 
         0x05, 0x15, 0x1d, 0x1d, 0x2d, 0x25, 0x2d, 0x35, 0x3d, 0x25};
    fprintf(out, "%u,%u,%u,%s,",
        REX[regno], 0x8d, MODRM[regno], offset);
}

/*
 * Send a `lea offset(%rip),%r64' instruction.