1 /* src/vm/jit/x86_64/emit.c - x86_64 code emitter functions
3 Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel,
4 C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
5 E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
6 J. Wenninger, Institut f. Computersprachen - TU Wien
8 This file is part of CACAO.
10 This program is free software; you can redistribute it and/or
11 modify it under the terms of the GNU General Public License as
12 published by the Free Software Foundation; either version 2, or (at
13 your option) any later version.
15 This program is distributed in the hope that it will be useful, but
16 WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
35 #include "vm/jit/x86_64/codegen.h"
36 #include "vm/jit/x86_64/emit.h"
38 #include "mm/memory.h"
40 #include "threads/lock-common.h"
42 #include "vm/jit/abi.h"
43 #include "vm/jit/abi-asm.h"
44 #include "vm/jit/asmpart.h"
45 #include "vm/jit/codegen-common.h"
46 #include "vm/jit/emit-common.h"
47 #include "vm/jit/jit.h"
48 #include "vm/jit/patcher-common.h"
49 #include "vm/jit/replace.h"
50 #include "vm/jit/trace.h"
51 #include "vm/jit/trap.h"
53 #include "vmcore/options.h"
56 /* emit_load *******************************************************************
58 Emits a possible load of an operand.
60 *******************************************************************************/
62 s4 emit_load(jitdata *jd, instruction *iptr, varinfo *src, s4 tempreg)
68 /* get required compiler data */
72 if (IS_INMEMORY(src->flags)) {
75 disp = src->vv.regoff;
79 M_ILD(tempreg, REG_SP, disp);
83 M_LLD(tempreg, REG_SP, disp);
86 M_FLD(tempreg, REG_SP, disp);
89 M_DLD(tempreg, REG_SP, disp);
92 vm_abort("emit_load: unknown type %d", src->type);
104 /* emit_store ******************************************************************
106 This function generates the code to store the result of an
107 operation back into a spilled pseudo-variable. If the
108 pseudo-variable has not been spilled in the first place, this
109 function will generate nothing.
111 *******************************************************************************/
113 inline void emit_store(jitdata *jd, instruction *iptr, varinfo *dst, s4 d)
118 /* get required compiler data */
122 if (IS_INMEMORY(dst->flags)) {
125 disp = dst->vv.regoff;
131 M_LST(d, REG_SP, disp);
134 M_FST(d, REG_SP, disp);
137 M_DST(d, REG_SP, disp);
140 vm_abort("emit_store: unknown type %d", dst->type);
146 /* emit_copy *******************************************************************
148 Generates a register/memory to register/memory copy.
150 *******************************************************************************/
152 void emit_copy(jitdata *jd, instruction *iptr)
159 /* get required compiler data */
163 /* get source and destination variables */
165 src = VAROP(iptr->s1);
166 dst = VAROP(iptr->dst);
168 if ((src->vv.regoff != dst->vv.regoff) ||
169 ((src->flags ^ dst->flags) & INMEMORY)) {
171 if ((src->type == TYPE_RET) || (dst->type == TYPE_RET)) {
172 /* emit nothing, as the value won't be used anyway */
176 /* If one of the variables resides in memory, we can eliminate
177 the register move from/to the temporary register with the
178 order of getting the destination register and the load. */
180 if (IS_INMEMORY(src->flags)) {
181 d = codegen_reg_of_var(iptr->opc, dst, REG_IFTMP);
182 s1 = emit_load(jd, iptr, src, d);
185 s1 = emit_load(jd, iptr, src, REG_IFTMP);
186 d = codegen_reg_of_var(iptr->opc, dst, s1);
201 vm_abort("emit_copy: unknown type %d", src->type);
205 emit_store(jd, iptr, dst, d);
210 void emit_cmovxx(codegendata *cd, instruction *iptr, s4 s, s4 d)
213 switch (iptr->flags.fields.condition) {
237 /* emit_branch *****************************************************************
239 Emits the code for conditional and unconditional branchs.
241 *******************************************************************************/
243 void emit_branch(codegendata *cd, s4 disp, s4 condition, s4 reg, u4 options)
247 /* NOTE: A displacement overflow cannot happen. */
249 /* check which branch to generate */
251 if (condition == BRANCH_UNCONDITIONAL) {
253 /* calculate the different displacements */
255 branchdisp = disp - BRANCH_UNCONDITIONAL_SIZE;
257 M_JMP_IMM(branchdisp);
260 /* calculate the different displacements */
262 branchdisp = disp - BRANCH_CONDITIONAL_SIZE;
296 vm_abort("emit_branch: unknown condition %d", condition);
302 /* emit_arithmetic_check *******************************************************
304 Emit an ArithmeticException check.
306 *******************************************************************************/
308 void emit_arithmetic_check(codegendata *cd, instruction *iptr, s4 reg)
310 if (INSTRUCTION_MUST_CHECK(iptr)) {
313 M_ALD_MEM(reg, TRAP_ArithmeticException);
318 /* emit_arrayindexoutofbounds_check ********************************************
320 Emit a ArrayIndexOutOfBoundsException check.
322 *******************************************************************************/
324 void emit_arrayindexoutofbounds_check(codegendata *cd, instruction *iptr, s4 s1, s4 s2)
326 if (INSTRUCTION_MUST_CHECK(iptr)) {
327 M_ILD(REG_ITMP3, s1, OFFSET(java_array_t, size));
328 M_ICMP(REG_ITMP3, s2);
330 M_ALD_MEM(s2, TRAP_ArrayIndexOutOfBoundsException);
335 /* emit_arraystore_check *******************************************************
337 Emit an ArrayStoreException check.
339 *******************************************************************************/
341 void emit_arraystore_check(codegendata *cd, instruction *iptr)
343 if (INSTRUCTION_MUST_CHECK(iptr)) {
346 M_ALD_MEM(REG_RESULT, TRAP_ArrayStoreException);
351 /* emit_classcast_check ********************************************************
353 Emit a ClassCastException check.
355 *******************************************************************************/
357 void emit_classcast_check(codegendata *cd, instruction *iptr, s4 condition, s4 reg, s4 s1)
359 if (INSTRUCTION_MUST_CHECK(iptr)) {
377 vm_abort("emit_classcast_check: unknown condition %d", condition);
379 M_ALD_MEM(s1, TRAP_ClassCastException);
384 /* emit_nullpointer_check ******************************************************
386 Emit a NullPointerException check.
388 *******************************************************************************/
390 void emit_nullpointer_check(codegendata *cd, instruction *iptr, s4 reg)
392 if (INSTRUCTION_MUST_CHECK(iptr)) {
395 M_ALD_MEM(reg, TRAP_NullPointerException);
400 /* emit_exception_check ********************************************************
402 Emit an Exception check.
404 *******************************************************************************/
406 void emit_exception_check(codegendata *cd, instruction *iptr)
408 if (INSTRUCTION_MUST_CHECK(iptr)) {
411 M_ALD_MEM(REG_RESULT, TRAP_CHECK_EXCEPTION);
416 /* emit_trap_compiler **********************************************************
418 Emit a trap instruction which calls the JIT compiler.
420 *******************************************************************************/
422 void emit_trap_compiler(codegendata *cd)
424 M_ALD_MEM(REG_METHODPTR, TRAP_COMPILER);
428 /* emit_trap *******************************************************************
430 Emit a trap instruction and return the original machine code.
432 *******************************************************************************/
434 uint32_t emit_trap(codegendata *cd)
438 /* Get machine code which is patched back in later. The trap is 2
441 mcode = *((uint16_t *) cd->mcodeptr);
443 /* XXX This needs to be change to INT3 when the debugging problems
444 with gdb are resolved. */
452 /* emit_verbosecall_enter ******************************************************
454 Generates the code for the call trace.
456 *******************************************************************************/
459 void emit_verbosecall_enter(jitdata *jd)
469 /* get required compiler data */
478 /* mark trace code */
482 /* keep 16-byte stack alignment */
484 stackframesize = md->paramcount + ARG_CNT + TMP_CNT;
485 ALIGN_2(stackframesize);
487 M_LSUB_IMM(stackframesize * 8, REG_SP);
489 /* save argument registers */
491 for (i = 0; i < md->paramcount; i++) {
492 if (!md->params[i].inmemory) {
493 s = md->params[i].regoff;
495 switch (md->paramtypes[i].type) {
499 M_LST(s, REG_SP, i * 8);
503 M_DST(s, REG_SP, i * 8);
509 /* save all argument and temporary registers for leaf methods */
511 if (code_is_leafmethod(code)) {
512 for (i = 0; i < INT_ARG_CNT; i++)
513 M_LST(abi_registers_integer_argument[i], REG_SP, (md->paramcount + i) * 8);
515 for (i = 0; i < FLT_ARG_CNT; i++)
516 M_DST(abi_registers_float_argument[i], REG_SP, (md->paramcount + INT_ARG_CNT + i) * 8);
518 for (i = 0; i < INT_TMP_CNT; i++)
519 M_LST(rd->tmpintregs[i], REG_SP, (md->paramcount + ARG_CNT + i) * 8);
521 for (i = 0; i < FLT_TMP_CNT; i++)
522 M_DST(rd->tmpfltregs[i], REG_SP, (md->paramcount + ARG_CNT + INT_TMP_CNT + i) * 8);
525 M_MOV_IMM(m, REG_A0);
526 M_MOV(REG_SP, REG_A1);
527 M_MOV(REG_SP, REG_A2);
528 M_AADD_IMM((stackframesize + cd->stackframesize + 1) * 8, REG_A2);
529 M_MOV_IMM(trace_java_call_enter, REG_ITMP1);
532 /* restore argument registers */
534 for (i = 0; i < md->paramcount; i++) {
535 if (!md->params[i].inmemory) {
536 s = md->params[i].regoff;
538 switch (md->paramtypes[i].type) {
542 M_LLD(s, REG_SP, i * 8);
546 M_DLD(s, REG_SP, i * 8);
553 /* restore all argument and temporary registers for leaf methods */
555 if (code_is_leafmethod(code)) {
556 for (i = 0; i < INT_ARG_CNT; i++)
557 M_LLD(abi_registers_integer_argument[i], REG_SP, (md->paramcount + i) * 8);
559 for (i = 0; i < FLT_ARG_CNT; i++)
560 M_DLD(abi_registers_float_argument[i], REG_SP, (md->paramcount + INT_ARG_CNT + i) * 8);
562 for (i = 0; i < INT_TMP_CNT; i++)
563 M_LLD(rd->tmpintregs[i], REG_SP, (md->paramcount + ARG_CNT + i) * 8);
565 for (i = 0; i < FLT_TMP_CNT; i++)
566 M_DLD(rd->tmpfltregs[i], REG_SP, (md->paramcount + ARG_CNT + INT_TMP_CNT + i) * 8);
569 M_LADD_IMM(stackframesize * 8, REG_SP);
571 /* mark trace code */
575 #endif /* !defined(NDEBUG) */
578 /* emit_verbosecall_exit *******************************************************
580 Generates the code for the call trace.
582 *******************************************************************************/
585 void emit_verbosecall_exit(jitdata *jd)
592 /* get required compiler data */
600 /* mark trace code */
604 /* keep 16-byte stack alignment */
606 M_ASUB_IMM(2 * 8, REG_SP);
608 /* save return value */
610 switch (md->returntype.type) {
614 M_LST(REG_RESULT, REG_SP, 0 * 8);
618 M_DST(REG_FRESULT, REG_SP, 0 * 8);
622 M_MOV_IMM(m, REG_A0);
623 M_MOV(REG_SP, REG_A1);
625 M_MOV_IMM(trace_java_call_exit, REG_ITMP1);
628 /* restore return value */
630 switch (md->returntype.type) {
634 M_LLD(REG_RESULT, REG_SP, 0 * 8);
638 M_DLD(REG_FRESULT, REG_SP, 0 * 8);
642 M_AADD_IMM(2 * 8, REG_SP);
644 /* mark trace code */
648 #endif /* !defined(NDEBUG) */
651 /* code generation functions **************************************************/
653 static void emit_membase(codegendata *cd, s4 basereg, s4 disp, s4 dreg)
655 if ((basereg == REG_SP) || (basereg == R12)) {
657 emit_address_byte(0, dreg, REG_SP);
658 emit_address_byte(0, REG_SP, REG_SP);
660 } else if (IS_IMM8(disp)) {
661 emit_address_byte(1, dreg, REG_SP);
662 emit_address_byte(0, REG_SP, REG_SP);
666 emit_address_byte(2, dreg, REG_SP);
667 emit_address_byte(0, REG_SP, REG_SP);
671 } else if ((disp) == 0 && (basereg) != RBP && (basereg) != R13) {
672 emit_address_byte(0,(dreg),(basereg));
674 } else if ((basereg) == RIP) {
675 emit_address_byte(0, dreg, RBP);
680 emit_address_byte(1, dreg, basereg);
684 emit_address_byte(2, dreg, basereg);
691 static void emit_membase32(codegendata *cd, s4 basereg, s4 disp, s4 dreg)
693 if ((basereg == REG_SP) || (basereg == R12)) {
694 emit_address_byte(2, dreg, REG_SP);
695 emit_address_byte(0, REG_SP, REG_SP);
699 emit_address_byte(2, dreg, basereg);
705 static void emit_memindex(codegendata *cd, s4 reg, s4 disp, s4 basereg, s4 indexreg, s4 scale)
708 emit_address_byte(0, reg, 4);
709 emit_address_byte(scale, indexreg, 5);
712 else if ((disp == 0) && (basereg != RBP) && (basereg != R13)) {
713 emit_address_byte(0, reg, 4);
714 emit_address_byte(scale, indexreg, basereg);
716 else if (IS_IMM8(disp)) {
717 emit_address_byte(1, reg, 4);
718 emit_address_byte(scale, indexreg, basereg);
722 emit_address_byte(2, reg, 4);
723 emit_address_byte(scale, indexreg, basereg);
729 void emit_ishift(jitdata *jd, s4 shift_op, instruction *iptr)
732 varinfo *v_s1,*v_s2,*v_dst;
735 /* get required compiler data */
739 v_s1 = VAROP(iptr->s1);
740 v_s2 = VAROP(iptr->sx.s23.s2);
741 v_dst = VAROP(iptr->dst);
743 s1 = v_s1->vv.regoff;
744 s2 = v_s2->vv.regoff;
745 d = v_dst->vv.regoff;
747 M_INTMOVE(RCX, REG_ITMP1); /* save RCX */
749 if (IS_INMEMORY(v_dst->flags)) {
750 if (IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
752 M_ILD(RCX, REG_SP, s2);
753 emit_shiftl_membase(cd, shift_op, REG_SP, d);
756 M_ILD(RCX, REG_SP, s2);
757 M_ILD(REG_ITMP2, REG_SP, s1);
758 emit_shiftl_reg(cd, shift_op, REG_ITMP2);
759 M_IST(REG_ITMP2, REG_SP, d);
762 } else if (IS_INMEMORY(v_s2->flags) && !IS_INMEMORY(v_s1->flags)) {
763 /* s1 may be equal to RCX */
766 M_ILD(REG_ITMP1, REG_SP, s2);
767 M_IST(s1, REG_SP, d);
768 M_INTMOVE(REG_ITMP1, RCX);
771 M_IST(s1, REG_SP, d);
772 M_ILD(RCX, REG_SP, s2);
776 M_ILD(RCX, REG_SP, s2);
777 M_IST(s1, REG_SP, d);
780 emit_shiftl_membase(cd, shift_op, REG_SP, d);
782 } else if (!IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
785 emit_shiftl_membase(cd, shift_op, REG_SP, d);
789 M_ILD(REG_ITMP2, REG_SP, s1);
790 emit_shiftl_reg(cd, shift_op, REG_ITMP2);
791 M_IST(REG_ITMP2, REG_SP, d);
795 /* s1 may be equal to RCX */
796 M_IST(s1, REG_SP, d);
798 emit_shiftl_membase(cd, shift_op, REG_SP, d);
801 M_INTMOVE(REG_ITMP1, RCX); /* restore RCX */
809 if (IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
810 M_ILD(RCX, REG_SP, s2);
811 M_ILD(d, REG_SP, s1);
812 emit_shiftl_reg(cd, shift_op, d);
814 } else if (IS_INMEMORY(v_s2->flags) && !IS_INMEMORY(v_s1->flags)) {
815 /* s1 may be equal to RCX */
817 M_ILD(RCX, REG_SP, s2);
818 emit_shiftl_reg(cd, shift_op, d);
820 } else if (!IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
822 M_ILD(d, REG_SP, s1);
823 emit_shiftl_reg(cd, shift_op, d);
826 /* s1 may be equal to RCX */
829 /* d cannot be used to backup s1 since this would
831 M_INTMOVE(s1, REG_ITMP3);
833 M_INTMOVE(REG_ITMP3, d);
841 /* d may be equal to s2 */
845 emit_shiftl_reg(cd, shift_op, d);
849 M_INTMOVE(REG_ITMP3, RCX);
851 M_INTMOVE(REG_ITMP1, RCX); /* restore RCX */
856 void emit_lshift(jitdata *jd, s4 shift_op, instruction *iptr)
859 varinfo *v_s1,*v_s2,*v_dst;
862 /* get required compiler data */
866 v_s1 = VAROP(iptr->s1);
867 v_s2 = VAROP(iptr->sx.s23.s2);
868 v_dst = VAROP(iptr->dst);
870 s1 = v_s1->vv.regoff;
871 s2 = v_s2->vv.regoff;
872 d = v_dst->vv.regoff;
874 M_INTMOVE(RCX, REG_ITMP1); /* save RCX */
876 if (IS_INMEMORY(v_dst->flags)) {
877 if (IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
879 M_ILD(RCX, REG_SP, s2);
880 emit_shift_membase(cd, shift_op, REG_SP, d);
883 M_ILD(RCX, REG_SP, s2);
884 M_LLD(REG_ITMP2, REG_SP, s1);
885 emit_shift_reg(cd, shift_op, REG_ITMP2);
886 M_LST(REG_ITMP2, REG_SP, d);
889 } else if (IS_INMEMORY(v_s2->flags) && !IS_INMEMORY(v_s1->flags)) {
890 /* s1 may be equal to RCX */
893 M_ILD(REG_ITMP1, REG_SP, s2);
894 M_LST(s1, REG_SP, d);
895 M_INTMOVE(REG_ITMP1, RCX);
898 M_LST(s1, REG_SP, d);
899 M_ILD(RCX, REG_SP, s2);
903 M_ILD(RCX, REG_SP, s2);
904 M_LST(s1, REG_SP, d);
907 emit_shift_membase(cd, shift_op, REG_SP, d);
909 } else if (!IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
912 emit_shift_membase(cd, shift_op, REG_SP, d);
916 M_LLD(REG_ITMP2, REG_SP, s1);
917 emit_shift_reg(cd, shift_op, REG_ITMP2);
918 M_LST(REG_ITMP2, REG_SP, d);
922 /* s1 may be equal to RCX */
923 M_LST(s1, REG_SP, d);
925 emit_shift_membase(cd, shift_op, REG_SP, d);
928 M_INTMOVE(REG_ITMP1, RCX); /* restore RCX */
936 if (IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
937 M_ILD(RCX, REG_SP, s2);
938 M_LLD(d, REG_SP, s1);
939 emit_shift_reg(cd, shift_op, d);
941 } else if (IS_INMEMORY(v_s2->flags) && !IS_INMEMORY(v_s1->flags)) {
942 /* s1 may be equal to RCX */
944 M_ILD(RCX, REG_SP, s2);
945 emit_shift_reg(cd, shift_op, d);
947 } else if (!IS_INMEMORY(v_s2->flags) && IS_INMEMORY(v_s1->flags)) {
949 M_LLD(d, REG_SP, s1);
950 emit_shift_reg(cd, shift_op, d);
953 /* s1 may be equal to RCX */
956 /* d cannot be used to backup s1 since this would
958 M_INTMOVE(s1, REG_ITMP3);
960 M_INTMOVE(REG_ITMP3, d);
968 /* d may be equal to s2 */
972 emit_shift_reg(cd, shift_op, d);
976 M_INTMOVE(REG_ITMP3, RCX);
978 M_INTMOVE(REG_ITMP1, RCX); /* restore RCX */
983 /* low-level code emitter functions *******************************************/
985 void emit_mov_reg_reg(codegendata *cd, s8 reg, s8 dreg)
987 emit_rex(1,(reg),0,(dreg));
988 *(cd->mcodeptr++) = 0x89;
989 emit_reg((reg),(dreg));
993 void emit_mov_imm_reg(codegendata *cd, s8 imm, s8 reg)
995 emit_rex(1,0,0,(reg));
996 *(cd->mcodeptr++) = 0xb8 + ((reg) & 0x07);
1001 void emit_movl_reg_reg(codegendata *cd, s8 reg, s8 dreg)
1003 emit_rex(0,(reg),0,(dreg));
1004 *(cd->mcodeptr++) = 0x89;
1005 emit_reg((reg),(dreg));
1009 void emit_movl_imm_reg(codegendata *cd, s8 imm, s8 reg) {
1010 emit_rex(0,0,0,(reg));
1011 *(cd->mcodeptr++) = 0xb8 + ((reg) & 0x07);
1016 void emit_mov_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg) {
1017 emit_rex(1,(reg),0,(basereg));
1018 *(cd->mcodeptr++) = 0x8b;
1019 emit_membase(cd, (basereg),(disp),(reg));
1024 * this one is for INVOKEVIRTUAL/INVOKEINTERFACE to have a
1025 * constant membase immediate length of 32bit
1027 void emit_mov_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg) {
1028 emit_rex(1,(reg),0,(basereg));
1029 *(cd->mcodeptr++) = 0x8b;
1030 emit_membase32(cd, (basereg),(disp),(reg));
1034 void emit_movl_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg)
1036 emit_rex(0,(reg),0,(basereg));
1037 *(cd->mcodeptr++) = 0x8b;
1038 emit_membase(cd, (basereg),(disp),(reg));
1042 /* ATTENTION: Always emit a REX byte, because the instruction size can
1043 be smaller when all register indexes are smaller than 7. */
1044 void emit_movl_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg)
1046 emit_byte_rex((reg),0,(basereg));
1047 *(cd->mcodeptr++) = 0x8b;
1048 emit_membase32(cd, (basereg),(disp),(reg));
1052 void emit_mov_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
1053 emit_rex(1,(reg),0,(basereg));
1054 *(cd->mcodeptr++) = 0x89;
1055 emit_membase(cd, (basereg),(disp),(reg));
1059 void emit_mov_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
1060 emit_rex(1,(reg),0,(basereg));
1061 *(cd->mcodeptr++) = 0x89;
1062 emit_membase32(cd, (basereg),(disp),(reg));
1066 void emit_movl_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
1067 emit_rex(0,(reg),0,(basereg));
1068 *(cd->mcodeptr++) = 0x89;
1069 emit_membase(cd, (basereg),(disp),(reg));
1073 /* Always emit a REX byte, because the instruction size can be smaller when */
1074 /* all register indexes are smaller than 7. */
1075 void emit_movl_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
1076 emit_byte_rex((reg),0,(basereg));
1077 *(cd->mcodeptr++) = 0x89;
1078 emit_membase32(cd, (basereg),(disp),(reg));
1082 void emit_mov_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg) {
1083 emit_rex(1,(reg),(indexreg),(basereg));
1084 *(cd->mcodeptr++) = 0x8b;
1085 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1089 void emit_movl_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg) {
1090 emit_rex(0,(reg),(indexreg),(basereg));
1091 *(cd->mcodeptr++) = 0x8b;
1092 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1096 void emit_mov_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
1097 emit_rex(1,(reg),(indexreg),(basereg));
1098 *(cd->mcodeptr++) = 0x89;
1099 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1103 void emit_movl_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
1104 emit_rex(0,(reg),(indexreg),(basereg));
1105 *(cd->mcodeptr++) = 0x89;
1106 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1110 void emit_movw_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
1111 *(cd->mcodeptr++) = 0x66;
1112 emit_rex(0,(reg),(indexreg),(basereg));
1113 *(cd->mcodeptr++) = 0x89;
1114 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1118 void emit_movb_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
1119 emit_byte_rex((reg),(indexreg),(basereg));
1120 *(cd->mcodeptr++) = 0x88;
1121 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1125 void emit_mov_imm_membase(codegendata *cd, s8 imm, s8 basereg, s8 disp) {
1126 emit_rex(1,0,0,(basereg));
1127 *(cd->mcodeptr++) = 0xc7;
1128 emit_membase(cd, (basereg),(disp),0);
1133 void emit_mov_imm_membase32(codegendata *cd, s8 imm, s8 basereg, s8 disp) {
1134 emit_rex(1,0,0,(basereg));
1135 *(cd->mcodeptr++) = 0xc7;
1136 emit_membase32(cd, (basereg),(disp),0);
1141 void emit_movl_imm_membase(codegendata *cd, s8 imm, s8 basereg, s8 disp) {
1142 emit_rex(0,0,0,(basereg));
1143 *(cd->mcodeptr++) = 0xc7;
1144 emit_membase(cd, (basereg),(disp),0);
1149 /* Always emit a REX byte, because the instruction size can be smaller when */
1150 /* all register indexes are smaller than 7. */
1151 void emit_movl_imm_membase32(codegendata *cd, s8 imm, s8 basereg, s8 disp) {
1152 emit_byte_rex(0,0,(basereg));
1153 *(cd->mcodeptr++) = 0xc7;
1154 emit_membase32(cd, (basereg),(disp),0);
1159 void emit_movsbq_reg_reg(codegendata *cd, s8 reg, s8 dreg)
1161 emit_rex(1,(dreg),0,(reg));
1162 *(cd->mcodeptr++) = 0x0f;
1163 *(cd->mcodeptr++) = 0xbe;
1164 /* XXX: why do reg and dreg have to be exchanged */
1165 emit_reg((dreg),(reg));
1169 void emit_movswq_reg_reg(codegendata *cd, s8 reg, s8 dreg)
1171 emit_rex(1,(dreg),0,(reg));
1172 *(cd->mcodeptr++) = 0x0f;
1173 *(cd->mcodeptr++) = 0xbf;
1174 /* XXX: why do reg and dreg have to be exchanged */
1175 emit_reg((dreg),(reg));
1179 void emit_movslq_reg_reg(codegendata *cd, s8 reg, s8 dreg)
1181 emit_rex(1,(dreg),0,(reg));
1182 *(cd->mcodeptr++) = 0x63;
1183 /* XXX: why do reg and dreg have to be exchanged */
1184 emit_reg((dreg),(reg));
1188 void emit_movzbq_reg_reg(codegendata *cd, s8 reg, s8 dreg)
1190 emit_rex(1,(dreg),0,(reg));
1191 *(cd->mcodeptr++) = 0x0f;
1192 *(cd->mcodeptr++) = 0xb6;
1193 /* XXX: why do reg and dreg have to be exchanged */
1194 emit_reg((dreg),(reg));
1198 void emit_movzwq_reg_reg(codegendata *cd, s8 reg, s8 dreg)
1200 emit_rex(1,(dreg),0,(reg));
1201 *(cd->mcodeptr++) = 0x0f;
1202 *(cd->mcodeptr++) = 0xb7;
1203 /* XXX: why do reg and dreg have to be exchanged */
1204 emit_reg((dreg),(reg));
1208 void emit_movswq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg) {
1209 emit_rex(1,(reg),(indexreg),(basereg));
1210 *(cd->mcodeptr++) = 0x0f;
1211 *(cd->mcodeptr++) = 0xbf;
1212 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1216 void emit_movsbq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg) {
1217 emit_rex(1,(reg),(indexreg),(basereg));
1218 *(cd->mcodeptr++) = 0x0f;
1219 *(cd->mcodeptr++) = 0xbe;
1220 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1224 void emit_movzwq_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 reg) {
1225 emit_rex(1,(reg),(indexreg),(basereg));
1226 *(cd->mcodeptr++) = 0x0f;
1227 *(cd->mcodeptr++) = 0xb7;
1228 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
1232 void emit_mov_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1234 emit_rex(1,0,(indexreg),(basereg));
1235 *(cd->mcodeptr++) = 0xc7;
1236 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
1241 void emit_movl_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1243 emit_rex(0,0,(indexreg),(basereg));
1244 *(cd->mcodeptr++) = 0xc7;
1245 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
1250 void emit_movw_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1252 *(cd->mcodeptr++) = 0x66;
1253 emit_rex(0,0,(indexreg),(basereg));
1254 *(cd->mcodeptr++) = 0xc7;
1255 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
1260 void emit_movb_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1262 emit_rex(0,0,(indexreg),(basereg));
1263 *(cd->mcodeptr++) = 0xc6;
1264 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
1269 void emit_mov_mem_reg(codegendata *cd, s4 disp, s4 dreg)
1271 emit_rex(1, dreg, 0, 0);
1272 *(cd->mcodeptr++) = 0x8b;
1273 emit_address_byte(0, dreg, 4);
1281 void emit_alu_reg_reg(codegendata *cd, s8 opc, s8 reg, s8 dreg)
1283 emit_rex(1,(reg),0,(dreg));
1284 *(cd->mcodeptr++) = (((opc)) << 3) + 1;
1285 emit_reg((reg),(dreg));
1289 void emit_alul_reg_reg(codegendata *cd, s8 opc, s8 reg, s8 dreg)
1291 emit_rex(0,(reg),0,(dreg));
1292 *(cd->mcodeptr++) = (((opc)) << 3) + 1;
1293 emit_reg((reg),(dreg));
1297 void emit_alu_reg_membase(codegendata *cd, s8 opc, s8 reg, s8 basereg, s8 disp)
1299 emit_rex(1,(reg),0,(basereg));
1300 *(cd->mcodeptr++) = (((opc)) << 3) + 1;
1301 emit_membase(cd, (basereg),(disp),(reg));
1305 void emit_alul_reg_membase(codegendata *cd, s8 opc, s8 reg, s8 basereg, s8 disp)
1307 emit_rex(0,(reg),0,(basereg));
1308 *(cd->mcodeptr++) = (((opc)) << 3) + 1;
1309 emit_membase(cd, (basereg),(disp),(reg));
1313 void emit_alu_membase_reg(codegendata *cd, s8 opc, s8 basereg, s8 disp, s8 reg)
1315 emit_rex(1,(reg),0,(basereg));
1316 *(cd->mcodeptr++) = (((opc)) << 3) + 3;
1317 emit_membase(cd, (basereg),(disp),(reg));
1321 void emit_alul_membase_reg(codegendata *cd, s8 opc, s8 basereg, s8 disp, s8 reg)
1323 emit_rex(0,(reg),0,(basereg));
1324 *(cd->mcodeptr++) = (((opc)) << 3) + 3;
1325 emit_membase(cd, (basereg),(disp),(reg));
1329 void emit_alu_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg) {
1331 emit_rex(1,0,0,(dreg));
1332 *(cd->mcodeptr++) = 0x83;
1333 emit_reg((opc),(dreg));
1336 emit_rex(1,0,0,(dreg));
1337 *(cd->mcodeptr++) = 0x81;
1338 emit_reg((opc),(dreg));
1344 void emit_alu_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg)
1346 emit_rex(1,0,0,(dreg));
1347 *(cd->mcodeptr++) = 0x81;
1348 emit_reg((opc),(dreg));
1353 void emit_alul_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg)
1355 emit_rex(0,0,0,(dreg));
1356 *(cd->mcodeptr++) = 0x81;
1357 emit_reg((opc),(dreg));
1362 void emit_alul_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg) {
1364 emit_rex(0,0,0,(dreg));
1365 *(cd->mcodeptr++) = 0x83;
1366 emit_reg((opc),(dreg));
1369 emit_rex(0,0,0,(dreg));
1370 *(cd->mcodeptr++) = 0x81;
1371 emit_reg((opc),(dreg));
1377 void emit_alu_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp) {
1379 emit_rex(1,0,0,(basereg));
1380 *(cd->mcodeptr++) = 0x83;
1381 emit_membase(cd, (basereg),(disp),(opc));
1384 emit_rex(1,0,0,(basereg));
1385 *(cd->mcodeptr++) = 0x81;
1386 emit_membase(cd, (basereg),(disp),(opc));
1392 void emit_alul_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp) {
1394 emit_rex(0,0,0,(basereg));
1395 *(cd->mcodeptr++) = 0x83;
1396 emit_membase(cd, (basereg),(disp),(opc));
1399 emit_rex(0,0,0,(basereg));
1400 *(cd->mcodeptr++) = 0x81;
1401 emit_membase(cd, (basereg),(disp),(opc));
1407 void emit_test_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1408 emit_rex(1,(reg),0,(dreg));
1409 *(cd->mcodeptr++) = 0x85;
1410 emit_reg((reg),(dreg));
1414 void emit_testl_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1415 emit_rex(0,(reg),0,(dreg));
1416 *(cd->mcodeptr++) = 0x85;
1417 emit_reg((reg),(dreg));
1421 void emit_test_imm_reg(codegendata *cd, s8 imm, s8 reg) {
1422 *(cd->mcodeptr++) = 0xf7;
1428 void emit_testw_imm_reg(codegendata *cd, s8 imm, s8 reg) {
1429 *(cd->mcodeptr++) = 0x66;
1430 *(cd->mcodeptr++) = 0xf7;
1436 void emit_testb_imm_reg(codegendata *cd, s8 imm, s8 reg) {
1437 *(cd->mcodeptr++) = 0xf6;
1443 void emit_lea_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg) {
1444 emit_rex(1,(reg),0,(basereg));
1445 *(cd->mcodeptr++) = 0x8d;
1446 emit_membase(cd, (basereg),(disp),(reg));
1450 void emit_leal_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 reg) {
1451 emit_rex(0,(reg),0,(basereg));
1452 *(cd->mcodeptr++) = 0x8d;
1453 emit_membase(cd, (basereg),(disp),(reg));
1457 void emit_incl_reg(codegendata *cd, s8 reg)
1459 *(cd->mcodeptr++) = 0xff;
1463 void emit_incq_reg(codegendata *cd, s8 reg)
1465 emit_rex(1,0,0,(reg));
1466 *(cd->mcodeptr++) = 0xff;
1470 void emit_incl_membase(codegendata *cd, s8 basereg, s8 disp)
1472 emit_rex(0,0,0,(basereg));
1473 *(cd->mcodeptr++) = 0xff;
1474 emit_membase(cd, (basereg),(disp),0);
1477 void emit_incq_membase(codegendata *cd, s8 basereg, s8 disp)
1479 emit_rex(1,0,0,(basereg));
1480 *(cd->mcodeptr++) = 0xff;
1481 emit_membase(cd, (basereg),(disp),0);
1486 void emit_cltd(codegendata *cd) {
1487 *(cd->mcodeptr++) = 0x99;
1491 void emit_cqto(codegendata *cd) {
1493 *(cd->mcodeptr++) = 0x99;
1498 void emit_imul_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1499 emit_rex(1,(dreg),0,(reg));
1500 *(cd->mcodeptr++) = 0x0f;
1501 *(cd->mcodeptr++) = 0xaf;
1502 emit_reg((dreg),(reg));
1506 void emit_imull_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1507 emit_rex(0,(dreg),0,(reg));
1508 *(cd->mcodeptr++) = 0x0f;
1509 *(cd->mcodeptr++) = 0xaf;
1510 emit_reg((dreg),(reg));
1514 void emit_imul_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
1515 emit_rex(1,(dreg),0,(basereg));
1516 *(cd->mcodeptr++) = 0x0f;
1517 *(cd->mcodeptr++) = 0xaf;
1518 emit_membase(cd, (basereg),(disp),(dreg));
1522 void emit_imull_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
1523 emit_rex(0,(dreg),0,(basereg));
1524 *(cd->mcodeptr++) = 0x0f;
1525 *(cd->mcodeptr++) = 0xaf;
1526 emit_membase(cd, (basereg),(disp),(dreg));
1530 void emit_imul_imm_reg(codegendata *cd, s8 imm, s8 dreg) {
1531 if (IS_IMM8((imm))) {
1532 emit_rex(1,0,0,(dreg));
1533 *(cd->mcodeptr++) = 0x6b;
1537 emit_rex(1,0,0,(dreg));
1538 *(cd->mcodeptr++) = 0x69;
1545 void emit_imul_imm_reg_reg(codegendata *cd, s8 imm, s8 reg, s8 dreg) {
1546 if (IS_IMM8((imm))) {
1547 emit_rex(1,(dreg),0,(reg));
1548 *(cd->mcodeptr++) = 0x6b;
1549 emit_reg((dreg),(reg));
1552 emit_rex(1,(dreg),0,(reg));
1553 *(cd->mcodeptr++) = 0x69;
1554 emit_reg((dreg),(reg));
1560 void emit_imull_imm_reg_reg(codegendata *cd, s8 imm, s8 reg, s8 dreg) {
1561 if (IS_IMM8((imm))) {
1562 emit_rex(0,(dreg),0,(reg));
1563 *(cd->mcodeptr++) = 0x6b;
1564 emit_reg((dreg),(reg));
1567 emit_rex(0,(dreg),0,(reg));
1568 *(cd->mcodeptr++) = 0x69;
1569 emit_reg((dreg),(reg));
1575 void emit_imul_imm_membase_reg(codegendata *cd, s8 imm, s8 basereg, s8 disp, s8 dreg) {
1576 if (IS_IMM8((imm))) {
1577 emit_rex(1,(dreg),0,(basereg));
1578 *(cd->mcodeptr++) = 0x6b;
1579 emit_membase(cd, (basereg),(disp),(dreg));
1582 emit_rex(1,(dreg),0,(basereg));
1583 *(cd->mcodeptr++) = 0x69;
1584 emit_membase(cd, (basereg),(disp),(dreg));
1590 void emit_imull_imm_membase_reg(codegendata *cd, s8 imm, s8 basereg, s8 disp, s8 dreg) {
1591 if (IS_IMM8((imm))) {
1592 emit_rex(0,(dreg),0,(basereg));
1593 *(cd->mcodeptr++) = 0x6b;
1594 emit_membase(cd, (basereg),(disp),(dreg));
1597 emit_rex(0,(dreg),0,(basereg));
1598 *(cd->mcodeptr++) = 0x69;
1599 emit_membase(cd, (basereg),(disp),(dreg));
1605 void emit_idiv_reg(codegendata *cd, s8 reg) {
1606 emit_rex(1,0,0,(reg));
1607 *(cd->mcodeptr++) = 0xf7;
1612 void emit_idivl_reg(codegendata *cd, s8 reg) {
1613 emit_rex(0,0,0,(reg));
1614 *(cd->mcodeptr++) = 0xf7;
1623 void emit_shift_reg(codegendata *cd, s8 opc, s8 reg) {
1624 emit_rex(1,0,0,(reg));
1625 *(cd->mcodeptr++) = 0xd3;
1626 emit_reg((opc),(reg));
1630 void emit_shiftl_reg(codegendata *cd, s8 opc, s8 reg) {
1631 emit_rex(0,0,0,(reg));
1632 *(cd->mcodeptr++) = 0xd3;
1633 emit_reg((opc),(reg));
1637 void emit_shift_membase(codegendata *cd, s8 opc, s8 basereg, s8 disp) {
1638 emit_rex(1,0,0,(basereg));
1639 *(cd->mcodeptr++) = 0xd3;
1640 emit_membase(cd, (basereg),(disp),(opc));
1644 void emit_shiftl_membase(codegendata *cd, s8 opc, s8 basereg, s8 disp) {
1645 emit_rex(0,0,0,(basereg));
1646 *(cd->mcodeptr++) = 0xd3;
1647 emit_membase(cd, (basereg),(disp),(opc));
1651 void emit_shift_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg) {
1653 emit_rex(1,0,0,(dreg));
1654 *(cd->mcodeptr++) = 0xd1;
1655 emit_reg((opc),(dreg));
1657 emit_rex(1,0,0,(dreg));
1658 *(cd->mcodeptr++) = 0xc1;
1659 emit_reg((opc),(dreg));
1665 void emit_shiftl_imm_reg(codegendata *cd, s8 opc, s8 imm, s8 dreg) {
1667 emit_rex(0,0,0,(dreg));
1668 *(cd->mcodeptr++) = 0xd1;
1669 emit_reg((opc),(dreg));
1671 emit_rex(0,0,0,(dreg));
1672 *(cd->mcodeptr++) = 0xc1;
1673 emit_reg((opc),(dreg));
1679 void emit_shift_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp) {
1681 emit_rex(1,0,0,(basereg));
1682 *(cd->mcodeptr++) = 0xd1;
1683 emit_membase(cd, (basereg),(disp),(opc));
1685 emit_rex(1,0,0,(basereg));
1686 *(cd->mcodeptr++) = 0xc1;
1687 emit_membase(cd, (basereg),(disp),(opc));
1693 void emit_shiftl_imm_membase(codegendata *cd, s8 opc, s8 imm, s8 basereg, s8 disp) {
1695 emit_rex(0,0,0,(basereg));
1696 *(cd->mcodeptr++) = 0xd1;
1697 emit_membase(cd, (basereg),(disp),(opc));
1699 emit_rex(0,0,0,(basereg));
1700 *(cd->mcodeptr++) = 0xc1;
1701 emit_membase(cd, (basereg),(disp),(opc));
1711 void emit_jmp_imm(codegendata *cd, s8 imm) {
1712 *(cd->mcodeptr++) = 0xe9;
1716 /* like emit_jmp_imm but allows 8 bit optimization */
1717 void emit_jmp_imm2(codegendata *cd, s8 imm) {
1719 *(cd->mcodeptr++) = 0xeb;
1723 *(cd->mcodeptr++) = 0xe9;
1729 void emit_jmp_reg(codegendata *cd, s8 reg) {
1730 emit_rex(0,0,0,(reg));
1731 *(cd->mcodeptr++) = 0xff;
1736 void emit_jcc(codegendata *cd, s8 opc, s8 imm) {
1737 *(cd->mcodeptr++) = 0x0f;
1738 *(cd->mcodeptr++) = (0x80 + (opc));
1745 * conditional set and move operations
1748 /* we need the rex byte to get all low bytes */
1749 void emit_setcc_reg(codegendata *cd, s4 opc, s4 reg)
1751 *(cd->mcodeptr++) = (0x40 | (((reg) >> 3) & 0x01));
1752 *(cd->mcodeptr++) = 0x0f;
1753 *(cd->mcodeptr++) = (0x90 + (opc));
1758 /* we need the rex byte to get all low bytes */
1759 void emit_setcc_membase(codegendata *cd, s4 opc, s4 basereg, s4 disp)
1761 *(cd->mcodeptr++) = (0x40 | (((basereg) >> 3) & 0x01));
1762 *(cd->mcodeptr++) = 0x0f;
1763 *(cd->mcodeptr++) = (0x90 + (opc));
1764 emit_membase(cd, (basereg),(disp),0);
1768 void emit_cmovcc_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg)
1770 emit_rex(1,(dreg),0,(reg));
1771 *(cd->mcodeptr++) = 0x0f;
1772 *(cd->mcodeptr++) = (0x40 + (opc));
1773 emit_reg((dreg),(reg));
1777 void emit_cmovccl_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg)
1779 emit_rex(0,(dreg),0,(reg));
1780 *(cd->mcodeptr++) = 0x0f;
1781 *(cd->mcodeptr++) = (0x40 + (opc));
1782 emit_reg((dreg),(reg));
1786 void emit_neg_reg(codegendata *cd, s8 reg)
1788 emit_rex(1,0,0,(reg));
1789 *(cd->mcodeptr++) = 0xf7;
1794 void emit_negl_reg(codegendata *cd, s8 reg)
1796 emit_rex(0,0,0,(reg));
1797 *(cd->mcodeptr++) = 0xf7;
1802 void emit_push_reg(codegendata *cd, s8 reg) {
1803 emit_rex(0,0,0,(reg));
1804 *(cd->mcodeptr++) = 0x50 + (0x07 & (reg));
1808 void emit_push_imm(codegendata *cd, s8 imm) {
1809 *(cd->mcodeptr++) = 0x68;
1814 void emit_pop_reg(codegendata *cd, s8 reg) {
1815 emit_rex(0,0,0,(reg));
1816 *(cd->mcodeptr++) = 0x58 + (0x07 & (reg));
1820 void emit_xchg_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1821 emit_rex(1,(reg),0,(dreg));
1822 *(cd->mcodeptr++) = 0x87;
1823 emit_reg((reg),(dreg));
1831 void emit_call_reg(codegendata *cd, s8 reg)
1833 emit_rex(0,0,0,(reg));
1834 *(cd->mcodeptr++) = 0xff;
1839 void emit_call_imm(codegendata *cd, s8 imm)
1841 *(cd->mcodeptr++) = 0xe8;
1846 void emit_call_mem(codegendata *cd, ptrint mem)
1848 *(cd->mcodeptr++) = 0xff;
1855 * floating point instructions (SSE2)
1857 void emit_addsd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1858 *(cd->mcodeptr++) = 0xf2;
1859 emit_rex(0,(dreg),0,(reg));
1860 *(cd->mcodeptr++) = 0x0f;
1861 *(cd->mcodeptr++) = 0x58;
1862 emit_reg((dreg),(reg));
1866 void emit_addss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1867 *(cd->mcodeptr++) = 0xf3;
1868 emit_rex(0,(dreg),0,(reg));
1869 *(cd->mcodeptr++) = 0x0f;
1870 *(cd->mcodeptr++) = 0x58;
1871 emit_reg((dreg),(reg));
1875 void emit_cvtsi2ssq_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1876 *(cd->mcodeptr++) = 0xf3;
1877 emit_rex(1,(dreg),0,(reg));
1878 *(cd->mcodeptr++) = 0x0f;
1879 *(cd->mcodeptr++) = 0x2a;
1880 emit_reg((dreg),(reg));
1884 void emit_cvtsi2ss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1885 *(cd->mcodeptr++) = 0xf3;
1886 emit_rex(0,(dreg),0,(reg));
1887 *(cd->mcodeptr++) = 0x0f;
1888 *(cd->mcodeptr++) = 0x2a;
1889 emit_reg((dreg),(reg));
1893 void emit_cvtsi2sdq_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1894 *(cd->mcodeptr++) = 0xf2;
1895 emit_rex(1,(dreg),0,(reg));
1896 *(cd->mcodeptr++) = 0x0f;
1897 *(cd->mcodeptr++) = 0x2a;
1898 emit_reg((dreg),(reg));
1902 void emit_cvtsi2sd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1903 *(cd->mcodeptr++) = 0xf2;
1904 emit_rex(0,(dreg),0,(reg));
1905 *(cd->mcodeptr++) = 0x0f;
1906 *(cd->mcodeptr++) = 0x2a;
1907 emit_reg((dreg),(reg));
1911 void emit_cvtss2sd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1912 *(cd->mcodeptr++) = 0xf3;
1913 emit_rex(0,(dreg),0,(reg));
1914 *(cd->mcodeptr++) = 0x0f;
1915 *(cd->mcodeptr++) = 0x5a;
1916 emit_reg((dreg),(reg));
1920 void emit_cvtsd2ss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1921 *(cd->mcodeptr++) = 0xf2;
1922 emit_rex(0,(dreg),0,(reg));
1923 *(cd->mcodeptr++) = 0x0f;
1924 *(cd->mcodeptr++) = 0x5a;
1925 emit_reg((dreg),(reg));
1929 void emit_cvttss2siq_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1930 *(cd->mcodeptr++) = 0xf3;
1931 emit_rex(1,(dreg),0,(reg));
1932 *(cd->mcodeptr++) = 0x0f;
1933 *(cd->mcodeptr++) = 0x2c;
1934 emit_reg((dreg),(reg));
1938 void emit_cvttss2si_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1939 *(cd->mcodeptr++) = 0xf3;
1940 emit_rex(0,(dreg),0,(reg));
1941 *(cd->mcodeptr++) = 0x0f;
1942 *(cd->mcodeptr++) = 0x2c;
1943 emit_reg((dreg),(reg));
1947 void emit_cvttsd2siq_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1948 *(cd->mcodeptr++) = 0xf2;
1949 emit_rex(1,(dreg),0,(reg));
1950 *(cd->mcodeptr++) = 0x0f;
1951 *(cd->mcodeptr++) = 0x2c;
1952 emit_reg((dreg),(reg));
1956 void emit_cvttsd2si_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1957 *(cd->mcodeptr++) = 0xf2;
1958 emit_rex(0,(dreg),0,(reg));
1959 *(cd->mcodeptr++) = 0x0f;
1960 *(cd->mcodeptr++) = 0x2c;
1961 emit_reg((dreg),(reg));
1965 void emit_divss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1966 *(cd->mcodeptr++) = 0xf3;
1967 emit_rex(0,(dreg),0,(reg));
1968 *(cd->mcodeptr++) = 0x0f;
1969 *(cd->mcodeptr++) = 0x5e;
1970 emit_reg((dreg),(reg));
1974 void emit_divsd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
1975 *(cd->mcodeptr++) = 0xf2;
1976 emit_rex(0,(dreg),0,(reg));
1977 *(cd->mcodeptr++) = 0x0f;
1978 *(cd->mcodeptr++) = 0x5e;
1979 emit_reg((dreg),(reg));
1983 void emit_movd_reg_freg(codegendata *cd, s8 reg, s8 freg) {
1984 *(cd->mcodeptr++) = 0x66;
1985 emit_rex(1,(freg),0,(reg));
1986 *(cd->mcodeptr++) = 0x0f;
1987 *(cd->mcodeptr++) = 0x6e;
1988 emit_reg((freg),(reg));
1992 void emit_movd_freg_reg(codegendata *cd, s8 freg, s8 reg) {
1993 *(cd->mcodeptr++) = 0x66;
1994 emit_rex(1,(freg),0,(reg));
1995 *(cd->mcodeptr++) = 0x0f;
1996 *(cd->mcodeptr++) = 0x7e;
1997 emit_reg((freg),(reg));
2001 void emit_movd_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
2002 *(cd->mcodeptr++) = 0x66;
2003 emit_rex(0,(reg),0,(basereg));
2004 *(cd->mcodeptr++) = 0x0f;
2005 *(cd->mcodeptr++) = 0x7e;
2006 emit_membase(cd, (basereg),(disp),(reg));
2010 void emit_movd_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
2011 *(cd->mcodeptr++) = 0x66;
2012 emit_rex(0,(reg),(indexreg),(basereg));
2013 *(cd->mcodeptr++) = 0x0f;
2014 *(cd->mcodeptr++) = 0x7e;
2015 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
2019 void emit_movd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2020 *(cd->mcodeptr++) = 0x66;
2021 emit_rex(1,(dreg),0,(basereg));
2022 *(cd->mcodeptr++) = 0x0f;
2023 *(cd->mcodeptr++) = 0x6e;
2024 emit_membase(cd, (basereg),(disp),(dreg));
2028 void emit_movdl_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2029 *(cd->mcodeptr++) = 0x66;
2030 emit_rex(0,(dreg),0,(basereg));
2031 *(cd->mcodeptr++) = 0x0f;
2032 *(cd->mcodeptr++) = 0x6e;
2033 emit_membase(cd, (basereg),(disp),(dreg));
2037 void emit_movd_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 dreg) {
2038 *(cd->mcodeptr++) = 0x66;
2039 emit_rex(0,(dreg),(indexreg),(basereg));
2040 *(cd->mcodeptr++) = 0x0f;
2041 *(cd->mcodeptr++) = 0x6e;
2042 emit_memindex(cd, (dreg),(disp),(basereg),(indexreg),(scale));
2046 void emit_movq_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2047 *(cd->mcodeptr++) = 0xf3;
2048 emit_rex(0,(dreg),0,(reg));
2049 *(cd->mcodeptr++) = 0x0f;
2050 *(cd->mcodeptr++) = 0x7e;
2051 emit_reg((dreg),(reg));
2055 void emit_movq_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
2056 *(cd->mcodeptr++) = 0x66;
2057 emit_rex(0,(reg),0,(basereg));
2058 *(cd->mcodeptr++) = 0x0f;
2059 *(cd->mcodeptr++) = 0xd6;
2060 emit_membase(cd, (basereg),(disp),(reg));
2064 void emit_movq_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2065 *(cd->mcodeptr++) = 0xf3;
2066 emit_rex(0,(dreg),0,(basereg));
2067 *(cd->mcodeptr++) = 0x0f;
2068 *(cd->mcodeptr++) = 0x7e;
2069 emit_membase(cd, (basereg),(disp),(dreg));
2073 void emit_movss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2074 *(cd->mcodeptr++) = 0xf3;
2075 emit_rex(0,(reg),0,(dreg));
2076 *(cd->mcodeptr++) = 0x0f;
2077 *(cd->mcodeptr++) = 0x10;
2078 emit_reg((reg),(dreg));
2082 void emit_movsd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2083 *(cd->mcodeptr++) = 0xf2;
2084 emit_rex(0,(reg),0,(dreg));
2085 *(cd->mcodeptr++) = 0x0f;
2086 *(cd->mcodeptr++) = 0x10;
2087 emit_reg((reg),(dreg));
2091 void emit_movss_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
2092 *(cd->mcodeptr++) = 0xf3;
2093 emit_rex(0,(reg),0,(basereg));
2094 *(cd->mcodeptr++) = 0x0f;
2095 *(cd->mcodeptr++) = 0x11;
2096 emit_membase(cd, (basereg),(disp),(reg));
2100 /* Always emit a REX byte, because the instruction size can be smaller when */
2101 /* all register indexes are smaller than 7. */
2102 void emit_movss_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
2103 *(cd->mcodeptr++) = 0xf3;
2104 emit_byte_rex((reg),0,(basereg));
2105 *(cd->mcodeptr++) = 0x0f;
2106 *(cd->mcodeptr++) = 0x11;
2107 emit_membase32(cd, (basereg),(disp),(reg));
2111 void emit_movsd_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
2112 *(cd->mcodeptr++) = 0xf2;
2113 emit_rex(0,(reg),0,(basereg));
2114 *(cd->mcodeptr++) = 0x0f;
2115 *(cd->mcodeptr++) = 0x11;
2116 emit_membase(cd, (basereg),(disp),(reg));
2120 /* Always emit a REX byte, because the instruction size can be smaller when */
2121 /* all register indexes are smaller than 7. */
2122 void emit_movsd_reg_membase32(codegendata *cd, s8 reg, s8 basereg, s8 disp) {
2123 *(cd->mcodeptr++) = 0xf2;
2124 emit_byte_rex((reg),0,(basereg));
2125 *(cd->mcodeptr++) = 0x0f;
2126 *(cd->mcodeptr++) = 0x11;
2127 emit_membase32(cd, (basereg),(disp),(reg));
2131 void emit_movss_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2132 *(cd->mcodeptr++) = 0xf3;
2133 emit_rex(0,(dreg),0,(basereg));
2134 *(cd->mcodeptr++) = 0x0f;
2135 *(cd->mcodeptr++) = 0x10;
2136 emit_membase(cd, (basereg),(disp),(dreg));
2140 /* Always emit a REX byte, because the instruction size can be smaller when */
2141 /* all register indexes are smaller than 7. */
2142 void emit_movss_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2143 *(cd->mcodeptr++) = 0xf3;
2144 emit_byte_rex((dreg),0,(basereg));
2145 *(cd->mcodeptr++) = 0x0f;
2146 *(cd->mcodeptr++) = 0x10;
2147 emit_membase32(cd, (basereg),(disp),(dreg));
2151 void emit_movlps_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg)
2153 emit_rex(0,(dreg),0,(basereg));
2154 *(cd->mcodeptr++) = 0x0f;
2155 *(cd->mcodeptr++) = 0x12;
2156 emit_membase(cd, (basereg),(disp),(dreg));
2160 void emit_movlps_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp)
2162 emit_rex(0,(reg),0,(basereg));
2163 *(cd->mcodeptr++) = 0x0f;
2164 *(cd->mcodeptr++) = 0x13;
2165 emit_membase(cd, (basereg),(disp),(reg));
2169 void emit_movsd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2170 *(cd->mcodeptr++) = 0xf2;
2171 emit_rex(0,(dreg),0,(basereg));
2172 *(cd->mcodeptr++) = 0x0f;
2173 *(cd->mcodeptr++) = 0x10;
2174 emit_membase(cd, (basereg),(disp),(dreg));
2178 /* Always emit a REX byte, because the instruction size can be smaller when */
2179 /* all register indexes are smaller than 7. */
2180 void emit_movsd_membase32_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2181 *(cd->mcodeptr++) = 0xf2;
2182 emit_byte_rex((dreg),0,(basereg));
2183 *(cd->mcodeptr++) = 0x0f;
2184 *(cd->mcodeptr++) = 0x10;
2185 emit_membase32(cd, (basereg),(disp),(dreg));
2189 void emit_movlpd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg)
2191 *(cd->mcodeptr++) = 0x66;
2192 emit_rex(0,(dreg),0,(basereg));
2193 *(cd->mcodeptr++) = 0x0f;
2194 *(cd->mcodeptr++) = 0x12;
2195 emit_membase(cd, (basereg),(disp),(dreg));
2199 void emit_movlpd_reg_membase(codegendata *cd, s8 reg, s8 basereg, s8 disp)
2201 *(cd->mcodeptr++) = 0x66;
2202 emit_rex(0,(reg),0,(basereg));
2203 *(cd->mcodeptr++) = 0x0f;
2204 *(cd->mcodeptr++) = 0x13;
2205 emit_membase(cd, (basereg),(disp),(reg));
2209 void emit_movss_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
2210 *(cd->mcodeptr++) = 0xf3;
2211 emit_rex(0,(reg),(indexreg),(basereg));
2212 *(cd->mcodeptr++) = 0x0f;
2213 *(cd->mcodeptr++) = 0x11;
2214 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
2218 void emit_movsd_reg_memindex(codegendata *cd, s8 reg, s8 disp, s8 basereg, s8 indexreg, s8 scale) {
2219 *(cd->mcodeptr++) = 0xf2;
2220 emit_rex(0,(reg),(indexreg),(basereg));
2221 *(cd->mcodeptr++) = 0x0f;
2222 *(cd->mcodeptr++) = 0x11;
2223 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
2227 void emit_movss_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 dreg) {
2228 *(cd->mcodeptr++) = 0xf3;
2229 emit_rex(0,(dreg),(indexreg),(basereg));
2230 *(cd->mcodeptr++) = 0x0f;
2231 *(cd->mcodeptr++) = 0x10;
2232 emit_memindex(cd, (dreg),(disp),(basereg),(indexreg),(scale));
2236 void emit_movsd_memindex_reg(codegendata *cd, s8 disp, s8 basereg, s8 indexreg, s8 scale, s8 dreg) {
2237 *(cd->mcodeptr++) = 0xf2;
2238 emit_rex(0,(dreg),(indexreg),(basereg));
2239 *(cd->mcodeptr++) = 0x0f;
2240 *(cd->mcodeptr++) = 0x10;
2241 emit_memindex(cd, (dreg),(disp),(basereg),(indexreg),(scale));
2245 void emit_mulss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2246 *(cd->mcodeptr++) = 0xf3;
2247 emit_rex(0,(dreg),0,(reg));
2248 *(cd->mcodeptr++) = 0x0f;
2249 *(cd->mcodeptr++) = 0x59;
2250 emit_reg((dreg),(reg));
2254 void emit_mulsd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2255 *(cd->mcodeptr++) = 0xf2;
2256 emit_rex(0,(dreg),0,(reg));
2257 *(cd->mcodeptr++) = 0x0f;
2258 *(cd->mcodeptr++) = 0x59;
2259 emit_reg((dreg),(reg));
2263 void emit_subss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2264 *(cd->mcodeptr++) = 0xf3;
2265 emit_rex(0,(dreg),0,(reg));
2266 *(cd->mcodeptr++) = 0x0f;
2267 *(cd->mcodeptr++) = 0x5c;
2268 emit_reg((dreg),(reg));
2272 void emit_subsd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2273 *(cd->mcodeptr++) = 0xf2;
2274 emit_rex(0,(dreg),0,(reg));
2275 *(cd->mcodeptr++) = 0x0f;
2276 *(cd->mcodeptr++) = 0x5c;
2277 emit_reg((dreg),(reg));
2281 void emit_ucomiss_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2282 emit_rex(0,(dreg),0,(reg));
2283 *(cd->mcodeptr++) = 0x0f;
2284 *(cd->mcodeptr++) = 0x2e;
2285 emit_reg((dreg),(reg));
2289 void emit_ucomisd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2290 *(cd->mcodeptr++) = 0x66;
2291 emit_rex(0,(dreg),0,(reg));
2292 *(cd->mcodeptr++) = 0x0f;
2293 *(cd->mcodeptr++) = 0x2e;
2294 emit_reg((dreg),(reg));
2298 void emit_xorps_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2299 emit_rex(0,(dreg),0,(reg));
2300 *(cd->mcodeptr++) = 0x0f;
2301 *(cd->mcodeptr++) = 0x57;
2302 emit_reg((dreg),(reg));
2306 void emit_xorps_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2307 emit_rex(0,(dreg),0,(basereg));
2308 *(cd->mcodeptr++) = 0x0f;
2309 *(cd->mcodeptr++) = 0x57;
2310 emit_membase(cd, (basereg),(disp),(dreg));
2314 void emit_xorpd_reg_reg(codegendata *cd, s8 reg, s8 dreg) {
2315 *(cd->mcodeptr++) = 0x66;
2316 emit_rex(0,(dreg),0,(reg));
2317 *(cd->mcodeptr++) = 0x0f;
2318 *(cd->mcodeptr++) = 0x57;
2319 emit_reg((dreg),(reg));
2323 void emit_xorpd_membase_reg(codegendata *cd, s8 basereg, s8 disp, s8 dreg) {
2324 *(cd->mcodeptr++) = 0x66;
2325 emit_rex(0,(dreg),0,(basereg));
2326 *(cd->mcodeptr++) = 0x0f;
2327 *(cd->mcodeptr++) = 0x57;
2328 emit_membase(cd, (basereg),(disp),(dreg));
2332 /* system instructions ********************************************************/
2334 void emit_rdtsc(codegendata *cd)
2336 *(cd->mcodeptr++) = 0x0f;
2337 *(cd->mcodeptr++) = 0x31;
2342 * These are local overrides for various environment variables in Emacs.
2343 * Please do not remove this and leave it at the end of the file, where
2344 * Emacs will automagically detect them.
2345 * ---------------------------------------------------------------------
2348 * indent-tabs-mode: t