void asm_x64_push_r64(asm_x64_t* as, int src_r64) { asm_x64_write_byte_1(as, OPCODE_PUSH_R64 | src_r64); }
void asm_x64_mul_r64_r64(asm_x64_t *as, int dest_r64, int src_r64) { // imul reg64, reg/mem64 -- 0x0f 0xaf /r asm_x64_write_byte_1(as, REX_PREFIX | REX_W | REX_R_FROM_R64(dest_r64) | REX_B_FROM_R64(src_r64)); asm_x64_write_byte_3(as, 0x0f, 0xaf, MODRM_R64(dest_r64) | MODRM_RM_REG | MODRM_RM_R64(src_r64)); }
void asm_x64_nop(asm_x64_t* as) { asm_x64_write_byte_1(as, OPCODE_NOP); }
STATIC void asm_x64_ret(asm_x64_t *as) { asm_x64_write_byte_1(as, OPCODE_RET); }