1 /* vm/jit/i386/emit.c - i386 code emitter functions
3 Copyright (C) 1996-2005, 2006 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
25 Contact: cacao@cacaojvm.org
27 Authors: Christian Thalinger
29 $Id: emit.c 5173 2006-07-25 15:57:11Z twisti $
40 #include "vm/statistics.h"
41 #include "vm/jit/emit.h"
42 #include "vm/jit/jit.h"
43 #include "vm/jit/i386/md-abi.h"
44 #include "vm/jit/i386/md-emit.h"
45 #include "vm/jit/i386/codegen.h"
48 /* emit_load_s1 ****************************************************************
50 Emits a possible load of the first source operand.
52 *******************************************************************************/
54 s4 emit_load_s1(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
60 /* get required compiler data */
64 if (src->flags & INMEMORY) {
67 disp = src->regoff * 4;
69 if (IS_FLT_DBL_TYPE(src->type)) {
70 if (IS_2_WORD_TYPE(src->type))
71 M_DLD(tempreg, REG_SP, disp);
73 M_FLD(tempreg, REG_SP, disp);
76 if (IS_2_WORD_TYPE(src->type))
77 M_LLD(tempreg, REG_SP, disp);
79 M_ILD(tempreg, REG_SP, disp);
90 /* emit_load_s2 ****************************************************************
92 Emits a possible load of the second source operand.
94 *******************************************************************************/
96 s4 emit_load_s2(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
102 /* get required compiler data */
106 if (src->flags & INMEMORY) {
109 disp = src->regoff * 4;
111 if (IS_FLT_DBL_TYPE(src->type)) {
112 if (IS_2_WORD_TYPE(src->type))
113 M_DLD(tempreg, REG_SP, disp);
115 M_FLD(tempreg, REG_SP, disp);
118 if (IS_2_WORD_TYPE(src->type))
119 M_LLD(tempreg, REG_SP, disp);
121 M_ILD(tempreg, REG_SP, disp);
132 /* emit_load_s3 ****************************************************************
134 Emits a possible load of the third source operand.
136 *******************************************************************************/
138 s4 emit_load_s3(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
144 /* get required compiler data */
148 if (src->flags & INMEMORY) {
151 disp = src->regoff * 4;
153 if (IS_FLT_DBL_TYPE(src->type)) {
154 if (IS_2_WORD_TYPE(src->type))
155 M_DLD(tempreg, REG_SP, disp);
157 M_FLD(tempreg, REG_SP, disp);
160 if (IS_2_WORD_TYPE(src->type))
161 M_LLD(tempreg, REG_SP, disp);
163 M_ILD(tempreg, REG_SP, disp);
174 /* emit_load_s1_low ************************************************************
176 Emits a possible load of the low 32-bits of the first long source
179 *******************************************************************************/
181 s4 emit_load_s1_low(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
187 assert(src->type == TYPE_LNG);
189 /* get required compiler data */
193 if (src->flags & INMEMORY) {
196 disp = src->regoff * 4;
198 M_ILD(tempreg, REG_SP, disp);
202 reg = GET_LOW_REG(src->regoff);
208 /* emit_load_s2_low ************************************************************
210 Emits a possible load of the low 32-bits of the second long source
213 *******************************************************************************/
215 s4 emit_load_s2_low(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
221 assert(src->type == TYPE_LNG);
223 /* get required compiler data */
227 if (src->flags & INMEMORY) {
230 disp = src->regoff * 4;
232 M_ILD(tempreg, REG_SP, disp);
236 reg = GET_LOW_REG(src->regoff);
242 /* emit_load_s1_high ***********************************************************
244 Emits a possible load of the high 32-bits of the first long source
247 *******************************************************************************/
249 s4 emit_load_s1_high(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
255 assert(src->type == TYPE_LNG);
257 /* get required compiler data */
261 if (src->flags & INMEMORY) {
264 disp = src->regoff * 4;
266 M_ILD(tempreg, REG_SP, disp + 4);
270 reg = GET_HIGH_REG(src->regoff);
276 /* emit_load_s2_high ***********************************************************
278 Emits a possible load of the high 32-bits of the second long source
281 *******************************************************************************/
283 s4 emit_load_s2_high(jitdata *jd, instruction *iptr, stackptr src, s4 tempreg)
289 assert(src->type == TYPE_LNG);
291 /* get required compiler data */
295 if (src->flags & INMEMORY) {
298 disp = src->regoff * 4;
300 M_ILD(tempreg, REG_SP, disp + 4);
304 reg = GET_HIGH_REG(src->regoff);
310 /* emit_store ******************************************************************
312 Emits a possible store of the destination operand.
314 *******************************************************************************/
316 void emit_store(jitdata *jd, instruction *iptr, stackptr dst, s4 d)
320 /* get required compiler data */
324 if (dst->flags & INMEMORY) {
327 if (IS_FLT_DBL_TYPE(dst->type)) {
328 if (IS_2_WORD_TYPE(dst->type))
329 M_DST(d, REG_SP, dst->regoff * 4);
331 M_FST(d, REG_SP, dst->regoff * 4);
334 if (IS_2_WORD_TYPE(dst->type))
335 M_LST(d, REG_SP, dst->regoff * 4);
337 M_IST(d, REG_SP, dst->regoff * 4);
343 /* emit_store_low **************************************************************
345 Emits a possible store of the low 32-bits of the destination
348 *******************************************************************************/
350 void emit_store_low(jitdata *jd, instruction *iptr, stackptr dst, s4 d)
354 assert(dst->type == TYPE_LNG);
356 /* get required compiler data */
360 if (dst->flags & INMEMORY) {
362 M_IST(GET_LOW_REG(d), REG_SP, dst->regoff * 4);
367 /* emit_store_high *************************************************************
369 Emits a possible store of the high 32-bits of the destination
372 *******************************************************************************/
374 void emit_store_high(jitdata *jd, instruction *iptr, stackptr dst, s4 d)
378 assert(dst->type == TYPE_LNG);
380 /* get required compiler data */
384 if (dst->flags & INMEMORY) {
386 M_IST(GET_HIGH_REG(d), REG_SP, dst->regoff * 4 + 4);
391 /* emit_copy *******************************************************************
395 *******************************************************************************/
397 void emit_copy(jitdata *jd, instruction *iptr, stackptr src, stackptr dst)
403 /* get required compiler data */
408 if ((src->regoff != dst->regoff) ||
409 ((src->flags ^ dst->flags) & INMEMORY)) {
410 if (IS_LNG_TYPE(src->type))
411 d = codegen_reg_of_var(rd, iptr->opc, dst, REG_ITMP12_PACKED);
413 d = codegen_reg_of_var(rd, iptr->opc, dst, REG_ITMP1);
415 s1 = emit_load_s1(jd, iptr, src, d);
418 if (IS_FLT_DBL_TYPE(src->type)) {
421 if (IS_2_WORD_TYPE(src->type))
428 emit_store(jd, iptr, dst, d);
433 /* code generation functions **************************************************/
435 static void emit_membase(codegendata *cd, s4 basereg, s4 disp, s4 dreg)
437 if (basereg == ESP) {
439 emit_address_byte(0, dreg, ESP);
440 emit_address_byte(0, ESP, ESP);
442 else if (IS_IMM8(disp)) {
443 emit_address_byte(1, dreg, ESP);
444 emit_address_byte(0, ESP, ESP);
448 emit_address_byte(2, dreg, ESP);
449 emit_address_byte(0, ESP, ESP);
453 else if ((disp == 0) && (basereg != EBP)) {
454 emit_address_byte(0, dreg, basereg);
456 else if (IS_IMM8(disp)) {
457 emit_address_byte(1, dreg, basereg);
461 emit_address_byte(2, dreg, basereg);
467 static void emit_membase32(codegendata *cd, s4 basereg, s4 disp, s4 dreg)
469 if (basereg == ESP) {
470 emit_address_byte(2, dreg, ESP);
471 emit_address_byte(0, ESP, ESP);
475 emit_address_byte(2, dreg, basereg);
481 static void emit_memindex(codegendata *cd, s4 reg, s4 disp, s4 basereg, s4 indexreg, s4 scale)
484 emit_address_byte(0, reg, 4);
485 emit_address_byte(scale, indexreg, 5);
488 else if ((disp == 0) && (basereg != EBP)) {
489 emit_address_byte(0, reg, 4);
490 emit_address_byte(scale, indexreg, basereg);
492 else if (IS_IMM8(disp)) {
493 emit_address_byte(1, reg, 4);
494 emit_address_byte(scale, indexreg, basereg);
498 emit_address_byte(2, reg, 4);
499 emit_address_byte(scale, indexreg, basereg);
505 /* low-level code emitter functions *******************************************/
507 void emit_mov_reg_reg(codegendata *cd, s4 reg, s4 dreg)
509 COUNT(count_mov_reg_reg);
510 *(cd->mcodeptr++) = 0x89;
511 emit_reg((reg),(dreg));
515 void emit_mov_imm_reg(codegendata *cd, s4 imm, s4 reg)
517 *(cd->mcodeptr++) = 0xb8 + ((reg) & 0x07);
522 void emit_movb_imm_reg(codegendata *cd, s4 imm, s4 reg)
524 *(cd->mcodeptr++) = 0xc6;
530 void emit_mov_membase_reg(codegendata *cd, s4 basereg, s4 disp, s4 reg)
532 COUNT(count_mov_mem_reg);
533 *(cd->mcodeptr++) = 0x8b;
534 emit_membase(cd, (basereg),(disp),(reg));
539 * this one is for INVOKEVIRTUAL/INVOKEINTERFACE to have a
540 * constant membase immediate length of 32bit
542 void emit_mov_membase32_reg(codegendata *cd, s4 basereg, s4 disp, s4 reg)
544 COUNT(count_mov_mem_reg);
545 *(cd->mcodeptr++) = 0x8b;
546 emit_membase32(cd, (basereg),(disp),(reg));
550 void emit_mov_reg_membase(codegendata *cd, s4 reg, s4 basereg, s4 disp)
552 COUNT(count_mov_reg_mem);
553 *(cd->mcodeptr++) = 0x89;
554 emit_membase(cd, (basereg),(disp),(reg));
558 void emit_mov_reg_membase32(codegendata *cd, s4 reg, s4 basereg, s4 disp)
560 COUNT(count_mov_reg_mem);
561 *(cd->mcodeptr++) = 0x89;
562 emit_membase32(cd, (basereg),(disp),(reg));
566 void emit_mov_memindex_reg(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale, s4 reg)
568 COUNT(count_mov_mem_reg);
569 *(cd->mcodeptr++) = 0x8b;
570 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
574 void emit_mov_reg_memindex(codegendata *cd, s4 reg, s4 disp, s4 basereg, s4 indexreg, s4 scale)
576 COUNT(count_mov_reg_mem);
577 *(cd->mcodeptr++) = 0x89;
578 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
582 void emit_movw_reg_memindex(codegendata *cd, s4 reg, s4 disp, s4 basereg, s4 indexreg, s4 scale)
584 COUNT(count_mov_reg_mem);
585 *(cd->mcodeptr++) = 0x66;
586 *(cd->mcodeptr++) = 0x89;
587 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
591 void emit_movb_reg_memindex(codegendata *cd, s4 reg, s4 disp, s4 basereg, s4 indexreg, s4 scale)
593 COUNT(count_mov_reg_mem);
594 *(cd->mcodeptr++) = 0x88;
595 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
599 void emit_mov_reg_mem(codegendata *cd, s4 reg, s4 mem)
601 COUNT(count_mov_reg_mem);
602 *(cd->mcodeptr++) = 0x89;
603 emit_mem((reg),(mem));
607 void emit_mov_mem_reg(codegendata *cd, s4 mem, s4 dreg)
609 COUNT(count_mov_mem_reg);
610 *(cd->mcodeptr++) = 0x8b;
611 emit_mem((dreg),(mem));
615 void emit_mov_imm_mem(codegendata *cd, s4 imm, s4 mem)
617 *(cd->mcodeptr++) = 0xc7;
623 void emit_mov_imm_membase(codegendata *cd, s4 imm, s4 basereg, s4 disp)
625 *(cd->mcodeptr++) = 0xc7;
626 emit_membase(cd, (basereg),(disp),0);
631 void emit_mov_imm_membase32(codegendata *cd, s4 imm, s4 basereg, s4 disp)
633 *(cd->mcodeptr++) = 0xc7;
634 emit_membase32(cd, (basereg),(disp),0);
639 void emit_movb_imm_membase(codegendata *cd, s4 imm, s4 basereg, s4 disp)
641 *(cd->mcodeptr++) = 0xc6;
642 emit_membase(cd, (basereg),(disp),0);
647 void emit_movsbl_memindex_reg(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale, s4 reg)
649 COUNT(count_mov_mem_reg);
650 *(cd->mcodeptr++) = 0x0f;
651 *(cd->mcodeptr++) = 0xbe;
652 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
656 void emit_movswl_reg_reg(codegendata *cd, s4 a, s4 b)
658 *(cd->mcodeptr++) = 0x0f;
659 *(cd->mcodeptr++) = 0xbf;
664 void emit_movswl_memindex_reg(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale, s4 reg)
666 COUNT(count_mov_mem_reg);
667 *(cd->mcodeptr++) = 0x0f;
668 *(cd->mcodeptr++) = 0xbf;
669 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
673 void emit_movzwl_reg_reg(codegendata *cd, s4 a, s4 b)
675 *(cd->mcodeptr++) = 0x0f;
676 *(cd->mcodeptr++) = 0xb7;
681 void emit_movzwl_memindex_reg(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale, s4 reg)
683 COUNT(count_mov_mem_reg);
684 *(cd->mcodeptr++) = 0x0f;
685 *(cd->mcodeptr++) = 0xb7;
686 emit_memindex(cd, (reg),(disp),(basereg),(indexreg),(scale));
690 void emit_mov_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
692 *(cd->mcodeptr++) = 0xc7;
693 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
698 void emit_movw_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
700 *(cd->mcodeptr++) = 0x66;
701 *(cd->mcodeptr++) = 0xc7;
702 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
707 void emit_movb_imm_memindex(codegendata *cd, s4 imm, s4 disp, s4 basereg, s4 indexreg, s4 scale)
709 *(cd->mcodeptr++) = 0xc6;
710 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
718 void emit_alu_reg_reg(codegendata *cd, s4 opc, s4 reg, s4 dreg)
720 *(cd->mcodeptr++) = (((u1) (opc)) << 3) + 1;
721 emit_reg((reg),(dreg));
725 void emit_alu_reg_membase(codegendata *cd, s4 opc, s4 reg, s4 basereg, s4 disp)
727 *(cd->mcodeptr++) = (((u1) (opc)) << 3) + 1;
728 emit_membase(cd, (basereg),(disp),(reg));
732 void emit_alu_membase_reg(codegendata *cd, s4 opc, s4 basereg, s4 disp, s4 reg)
734 *(cd->mcodeptr++) = (((u1) (opc)) << 3) + 3;
735 emit_membase(cd, (basereg),(disp),(reg));
739 void emit_alu_imm_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg)
742 *(cd->mcodeptr++) = 0x83;
743 emit_reg((opc),(dreg));
746 *(cd->mcodeptr++) = 0x81;
747 emit_reg((opc),(dreg));
753 void emit_alu_imm32_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg)
755 *(cd->mcodeptr++) = 0x81;
756 emit_reg((opc),(dreg));
761 void emit_alu_imm_membase(codegendata *cd, s4 opc, s4 imm, s4 basereg, s4 disp)
764 *(cd->mcodeptr++) = 0x83;
765 emit_membase(cd, (basereg),(disp),(opc));
768 *(cd->mcodeptr++) = 0x81;
769 emit_membase(cd, (basereg),(disp),(opc));
775 void emit_test_reg_reg(codegendata *cd, s4 reg, s4 dreg)
777 *(cd->mcodeptr++) = 0x85;
778 emit_reg((reg),(dreg));
782 void emit_test_imm_reg(codegendata *cd, s4 imm, s4 reg)
784 *(cd->mcodeptr++) = 0xf7;
792 * inc, dec operations
794 void emit_dec_mem(codegendata *cd, s4 mem)
796 *(cd->mcodeptr++) = 0xff;
801 void emit_cltd(codegendata *cd)
803 *(cd->mcodeptr++) = 0x99;
807 void emit_imul_reg_reg(codegendata *cd, s4 reg, s4 dreg)
809 *(cd->mcodeptr++) = 0x0f;
810 *(cd->mcodeptr++) = 0xaf;
811 emit_reg((dreg),(reg));
815 void emit_imul_membase_reg(codegendata *cd, s4 basereg, s4 disp, s4 dreg)
817 *(cd->mcodeptr++) = 0x0f;
818 *(cd->mcodeptr++) = 0xaf;
819 emit_membase(cd, (basereg),(disp),(dreg));
823 void emit_imul_imm_reg(codegendata *cd, s4 imm, s4 dreg)
825 if (IS_IMM8((imm))) {
826 *(cd->mcodeptr++) = 0x6b;
830 *(cd->mcodeptr++) = 0x69;
837 void emit_imul_imm_reg_reg(codegendata *cd, s4 imm, s4 reg, s4 dreg)
839 if (IS_IMM8((imm))) {
840 *(cd->mcodeptr++) = 0x6b;
841 emit_reg((dreg),(reg));
844 *(cd->mcodeptr++) = 0x69;
845 emit_reg((dreg),(reg));
851 void emit_imul_imm_membase_reg(codegendata *cd, s4 imm, s4 basereg, s4 disp, s4 dreg)
853 if (IS_IMM8((imm))) {
854 *(cd->mcodeptr++) = 0x6b;
855 emit_membase(cd, (basereg),(disp),(dreg));
858 *(cd->mcodeptr++) = 0x69;
859 emit_membase(cd, (basereg),(disp),(dreg));
865 void emit_mul_reg(codegendata *cd, s4 reg)
867 *(cd->mcodeptr++) = 0xf7;
872 void emit_mul_membase(codegendata *cd, s4 basereg, s4 disp)
874 *(cd->mcodeptr++) = 0xf7;
875 emit_membase(cd, (basereg),(disp),4);
879 void emit_idiv_reg(codegendata *cd, s4 reg)
881 *(cd->mcodeptr++) = 0xf7;
886 void emit_ret(codegendata *cd)
888 *(cd->mcodeptr++) = 0xc3;
896 void emit_shift_reg(codegendata *cd, s4 opc, s4 reg)
898 *(cd->mcodeptr++) = 0xd3;
899 emit_reg((opc),(reg));
903 void emit_shift_imm_reg(codegendata *cd, s4 opc, s4 imm, s4 dreg)
906 *(cd->mcodeptr++) = 0xd1;
907 emit_reg((opc),(dreg));
909 *(cd->mcodeptr++) = 0xc1;
910 emit_reg((opc),(dreg));
916 void emit_shld_reg_reg(codegendata *cd, s4 reg, s4 dreg)
918 *(cd->mcodeptr++) = 0x0f;
919 *(cd->mcodeptr++) = 0xa5;
920 emit_reg((reg),(dreg));
924 void emit_shld_imm_reg_reg(codegendata *cd, s4 imm, s4 reg, s4 dreg)
926 *(cd->mcodeptr++) = 0x0f;
927 *(cd->mcodeptr++) = 0xa4;
928 emit_reg((reg),(dreg));
933 void emit_shld_reg_membase(codegendata *cd, s4 reg, s4 basereg, s4 disp)
935 *(cd->mcodeptr++) = 0x0f;
936 *(cd->mcodeptr++) = 0xa5;
937 emit_membase(cd, (basereg),(disp),(reg));
941 void emit_shrd_reg_reg(codegendata *cd, s4 reg, s4 dreg)
943 *(cd->mcodeptr++) = 0x0f;
944 *(cd->mcodeptr++) = 0xad;
945 emit_reg((reg),(dreg));
949 void emit_shrd_imm_reg_reg(codegendata *cd, s4 imm, s4 reg, s4 dreg)
951 *(cd->mcodeptr++) = 0x0f;
952 *(cd->mcodeptr++) = 0xac;
953 emit_reg((reg),(dreg));
958 void emit_shrd_reg_membase(codegendata *cd, s4 reg, s4 basereg, s4 disp)
960 *(cd->mcodeptr++) = 0x0f;
961 *(cd->mcodeptr++) = 0xad;
962 emit_membase(cd, (basereg),(disp),(reg));
970 void emit_jmp_imm(codegendata *cd, s4 imm)
972 *(cd->mcodeptr++) = 0xe9;
977 void emit_jmp_reg(codegendata *cd, s4 reg)
979 *(cd->mcodeptr++) = 0xff;
984 void emit_jcc(codegendata *cd, s4 opc, s4 imm)
986 *(cd->mcodeptr++) = 0x0f;
987 *(cd->mcodeptr++) = 0x80 + (u1) (opc);
994 * conditional set operations
996 void emit_setcc_reg(codegendata *cd, s4 opc, s4 reg)
998 *(cd->mcodeptr++) = 0x0f;
999 *(cd->mcodeptr++) = 0x90 + (u1) (opc);
1004 void emit_setcc_membase(codegendata *cd, s4 opc, s4 basereg, s4 disp)
1006 *(cd->mcodeptr++) = 0x0f;
1007 *(cd->mcodeptr++) = 0x90 + (u1) (opc);
1008 emit_membase(cd, (basereg),(disp),0);
1012 void emit_xadd_reg_mem(codegendata *cd, s4 reg, s4 mem)
1014 *(cd->mcodeptr++) = 0x0f;
1015 *(cd->mcodeptr++) = 0xc1;
1016 emit_mem((reg),(mem));
1020 void emit_neg_reg(codegendata *cd, s4 reg)
1022 *(cd->mcodeptr++) = 0xf7;
1028 void emit_push_imm(codegendata *cd, s4 imm)
1030 *(cd->mcodeptr++) = 0x68;
1035 void emit_pop_reg(codegendata *cd, s4 reg)
1037 *(cd->mcodeptr++) = 0x58 + (0x07 & (u1) (reg));
1041 void emit_push_reg(codegendata *cd, s4 reg)
1043 *(cd->mcodeptr++) = 0x50 + (0x07 & (u1) (reg));
1047 void emit_nop(codegendata *cd)
1049 *(cd->mcodeptr++) = 0x90;
1053 void emit_lock(codegendata *cd)
1055 *(cd->mcodeptr++) = 0xf0;
1062 void emit_call_reg(codegendata *cd, s4 reg)
1064 *(cd->mcodeptr++) = 0xff;
1069 void emit_call_imm(codegendata *cd, s4 imm)
1071 *(cd->mcodeptr++) = 0xe8;
1078 * floating point instructions
1080 void emit_fld1(codegendata *cd)
1082 *(cd->mcodeptr++) = 0xd9;
1083 *(cd->mcodeptr++) = 0xe8;
1087 void emit_fldz(codegendata *cd)
1089 *(cd->mcodeptr++) = 0xd9;
1090 *(cd->mcodeptr++) = 0xee;
1094 void emit_fld_reg(codegendata *cd, s4 reg)
1096 *(cd->mcodeptr++) = 0xd9;
1097 *(cd->mcodeptr++) = 0xc0 + (0x07 & (u1) (reg));
1101 void emit_flds_membase(codegendata *cd, s4 basereg, s4 disp)
1103 *(cd->mcodeptr++) = 0xd9;
1104 emit_membase(cd, (basereg),(disp),0);
1108 void emit_flds_membase32(codegendata *cd, s4 basereg, s4 disp)
1110 *(cd->mcodeptr++) = 0xd9;
1111 emit_membase32(cd, (basereg),(disp),0);
1115 void emit_fldl_membase(codegendata *cd, s4 basereg, s4 disp)
1117 *(cd->mcodeptr++) = 0xdd;
1118 emit_membase(cd, (basereg),(disp),0);
1122 void emit_fldl_membase32(codegendata *cd, s4 basereg, s4 disp)
1124 *(cd->mcodeptr++) = 0xdd;
1125 emit_membase32(cd, (basereg),(disp),0);
1129 void emit_fldt_membase(codegendata *cd, s4 basereg, s4 disp)
1131 *(cd->mcodeptr++) = 0xdb;
1132 emit_membase(cd, (basereg),(disp),5);
1136 void emit_flds_memindex(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1138 *(cd->mcodeptr++) = 0xd9;
1139 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
1143 void emit_fldl_memindex(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1145 *(cd->mcodeptr++) = 0xdd;
1146 emit_memindex(cd, 0,(disp),(basereg),(indexreg),(scale));
1150 void emit_flds_mem(codegendata *cd, s4 mem)
1152 *(cd->mcodeptr++) = 0xd9;
1157 void emit_fldl_mem(codegendata *cd, s4 mem)
1159 *(cd->mcodeptr++) = 0xdd;
1164 void emit_fildl_membase(codegendata *cd, s4 basereg, s4 disp)
1166 *(cd->mcodeptr++) = 0xdb;
1167 emit_membase(cd, (basereg),(disp),0);
1171 void emit_fildll_membase(codegendata *cd, s4 basereg, s4 disp)
1173 *(cd->mcodeptr++) = 0xdf;
1174 emit_membase(cd, (basereg),(disp),5);
1178 void emit_fst_reg(codegendata *cd, s4 reg)
1180 *(cd->mcodeptr++) = 0xdd;
1181 *(cd->mcodeptr++) = 0xd0 + (0x07 & (u1) (reg));
1185 void emit_fsts_membase(codegendata *cd, s4 basereg, s4 disp)
1187 *(cd->mcodeptr++) = 0xd9;
1188 emit_membase(cd, (basereg),(disp),2);
1192 void emit_fstl_membase(codegendata *cd, s4 basereg, s4 disp)
1194 *(cd->mcodeptr++) = 0xdd;
1195 emit_membase(cd, (basereg),(disp),2);
1199 void emit_fsts_memindex(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1201 *(cd->mcodeptr++) = 0xd9;
1202 emit_memindex(cd, 2,(disp),(basereg),(indexreg),(scale));
1206 void emit_fstl_memindex(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1208 *(cd->mcodeptr++) = 0xdd;
1209 emit_memindex(cd, 2,(disp),(basereg),(indexreg),(scale));
1213 void emit_fstp_reg(codegendata *cd, s4 reg)
1215 *(cd->mcodeptr++) = 0xdd;
1216 *(cd->mcodeptr++) = 0xd8 + (0x07 & (u1) (reg));
1220 void emit_fstps_membase(codegendata *cd, s4 basereg, s4 disp)
1222 *(cd->mcodeptr++) = 0xd9;
1223 emit_membase(cd, (basereg),(disp),3);
1227 void emit_fstps_membase32(codegendata *cd, s4 basereg, s4 disp)
1229 *(cd->mcodeptr++) = 0xd9;
1230 emit_membase32(cd, (basereg),(disp),3);
1234 void emit_fstpl_membase(codegendata *cd, s4 basereg, s4 disp)
1236 *(cd->mcodeptr++) = 0xdd;
1237 emit_membase(cd, (basereg),(disp),3);
1241 void emit_fstpl_membase32(codegendata *cd, s4 basereg, s4 disp)
1243 *(cd->mcodeptr++) = 0xdd;
1244 emit_membase32(cd, (basereg),(disp),3);
1248 void emit_fstpt_membase(codegendata *cd, s4 basereg, s4 disp)
1250 *(cd->mcodeptr++) = 0xdb;
1251 emit_membase(cd, (basereg),(disp),7);
1255 void emit_fstps_memindex(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1257 *(cd->mcodeptr++) = 0xd9;
1258 emit_memindex(cd, 3,(disp),(basereg),(indexreg),(scale));
1262 void emit_fstpl_memindex(codegendata *cd, s4 disp, s4 basereg, s4 indexreg, s4 scale)
1264 *(cd->mcodeptr++) = 0xdd;
1265 emit_memindex(cd, 3,(disp),(basereg),(indexreg),(scale));
1269 void emit_fstps_mem(codegendata *cd, s4 mem)
1271 *(cd->mcodeptr++) = 0xd9;
1276 void emit_fstpl_mem(codegendata *cd, s4 mem)
1278 *(cd->mcodeptr++) = 0xdd;
1283 void emit_fistl_membase(codegendata *cd, s4 basereg, s4 disp)
1285 *(cd->mcodeptr++) = 0xdb;
1286 emit_membase(cd, (basereg),(disp),2);
1290 void emit_fistpl_membase(codegendata *cd, s4 basereg, s4 disp)
1292 *(cd->mcodeptr++) = 0xdb;
1293 emit_membase(cd, (basereg),(disp),3);
1297 void emit_fistpll_membase(codegendata *cd, s4 basereg, s4 disp)
1299 *(cd->mcodeptr++) = 0xdf;
1300 emit_membase(cd, (basereg),(disp),7);
1304 void emit_fchs(codegendata *cd)
1306 *(cd->mcodeptr++) = 0xd9;
1307 *(cd->mcodeptr++) = 0xe0;
1311 void emit_faddp(codegendata *cd)
1313 *(cd->mcodeptr++) = 0xde;
1314 *(cd->mcodeptr++) = 0xc1;
1318 void emit_fadd_reg_st(codegendata *cd, s4 reg)
1320 *(cd->mcodeptr++) = 0xd8;
1321 *(cd->mcodeptr++) = 0xc0 + (0x0f & (u1) (reg));
1325 void emit_fadd_st_reg(codegendata *cd, s4 reg)
1327 *(cd->mcodeptr++) = 0xdc;
1328 *(cd->mcodeptr++) = 0xc0 + (0x0f & (u1) (reg));
1332 void emit_faddp_st_reg(codegendata *cd, s4 reg)
1334 *(cd->mcodeptr++) = 0xde;
1335 *(cd->mcodeptr++) = 0xc0 + (0x0f & (u1) (reg));
1339 void emit_fadds_membase(codegendata *cd, s4 basereg, s4 disp)
1341 *(cd->mcodeptr++) = 0xd8;
1342 emit_membase(cd, (basereg),(disp),0);
1346 void emit_faddl_membase(codegendata *cd, s4 basereg, s4 disp)
1348 *(cd->mcodeptr++) = 0xdc;
1349 emit_membase(cd, (basereg),(disp),0);
1353 void emit_fsub_reg_st(codegendata *cd, s4 reg)
1355 *(cd->mcodeptr++) = 0xd8;
1356 *(cd->mcodeptr++) = 0xe0 + (0x07 & (u1) (reg));
1360 void emit_fsub_st_reg(codegendata *cd, s4 reg)
1362 *(cd->mcodeptr++) = 0xdc;
1363 *(cd->mcodeptr++) = 0xe8 + (0x07 & (u1) (reg));
1367 void emit_fsubp_st_reg(codegendata *cd, s4 reg)
1369 *(cd->mcodeptr++) = 0xde;
1370 *(cd->mcodeptr++) = 0xe8 + (0x07 & (u1) (reg));
1374 void emit_fsubp(codegendata *cd)
1376 *(cd->mcodeptr++) = 0xde;
1377 *(cd->mcodeptr++) = 0xe9;
1381 void emit_fsubs_membase(codegendata *cd, s4 basereg, s4 disp)
1383 *(cd->mcodeptr++) = 0xd8;
1384 emit_membase(cd, (basereg),(disp),4);
1388 void emit_fsubl_membase(codegendata *cd, s4 basereg, s4 disp)
1390 *(cd->mcodeptr++) = 0xdc;
1391 emit_membase(cd, (basereg),(disp),4);
1395 void emit_fmul_reg_st(codegendata *cd, s4 reg)
1397 *(cd->mcodeptr++) = 0xd8;
1398 *(cd->mcodeptr++) = 0xc8 + (0x07 & (u1) (reg));
1402 void emit_fmul_st_reg(codegendata *cd, s4 reg)
1404 *(cd->mcodeptr++) = 0xdc;
1405 *(cd->mcodeptr++) = 0xc8 + (0x07 & (u1) (reg));
1409 void emit_fmulp(codegendata *cd)
1411 *(cd->mcodeptr++) = 0xde;
1412 *(cd->mcodeptr++) = 0xc9;
1416 void emit_fmulp_st_reg(codegendata *cd, s4 reg)
1418 *(cd->mcodeptr++) = 0xde;
1419 *(cd->mcodeptr++) = 0xc8 + (0x07 & (u1) (reg));
1423 void emit_fmuls_membase(codegendata *cd, s4 basereg, s4 disp)
1425 *(cd->mcodeptr++) = 0xd8;
1426 emit_membase(cd, (basereg),(disp),1);
1430 void emit_fmull_membase(codegendata *cd, s4 basereg, s4 disp)
1432 *(cd->mcodeptr++) = 0xdc;
1433 emit_membase(cd, (basereg),(disp),1);
1437 void emit_fdiv_reg_st(codegendata *cd, s4 reg)
1439 *(cd->mcodeptr++) = 0xd8;
1440 *(cd->mcodeptr++) = 0xf0 + (0x07 & (u1) (reg));
1444 void emit_fdiv_st_reg(codegendata *cd, s4 reg)
1446 *(cd->mcodeptr++) = 0xdc;
1447 *(cd->mcodeptr++) = 0xf8 + (0x07 & (u1) (reg));
1451 void emit_fdivp(codegendata *cd)
1453 *(cd->mcodeptr++) = 0xde;
1454 *(cd->mcodeptr++) = 0xf9;
1458 void emit_fdivp_st_reg(codegendata *cd, s4 reg)
1460 *(cd->mcodeptr++) = 0xde;
1461 *(cd->mcodeptr++) = 0xf8 + (0x07 & (u1) (reg));
1465 void emit_fxch(codegendata *cd)
1467 *(cd->mcodeptr++) = 0xd9;
1468 *(cd->mcodeptr++) = 0xc9;
1472 void emit_fxch_reg(codegendata *cd, s4 reg)
1474 *(cd->mcodeptr++) = 0xd9;
1475 *(cd->mcodeptr++) = 0xc8 + (0x07 & (reg));
1479 void emit_fprem(codegendata *cd)
1481 *(cd->mcodeptr++) = 0xd9;
1482 *(cd->mcodeptr++) = 0xf8;
1486 void emit_fprem1(codegendata *cd)
1488 *(cd->mcodeptr++) = 0xd9;
1489 *(cd->mcodeptr++) = 0xf5;
1493 void emit_fucom(codegendata *cd)
1495 *(cd->mcodeptr++) = 0xdd;
1496 *(cd->mcodeptr++) = 0xe1;
1500 void emit_fucom_reg(codegendata *cd, s4 reg)
1502 *(cd->mcodeptr++) = 0xdd;
1503 *(cd->mcodeptr++) = 0xe0 + (0x07 & (u1) (reg));
1507 void emit_fucomp_reg(codegendata *cd, s4 reg)
1509 *(cd->mcodeptr++) = 0xdd;
1510 *(cd->mcodeptr++) = 0xe8 + (0x07 & (u1) (reg));
1514 void emit_fucompp(codegendata *cd)
1516 *(cd->mcodeptr++) = 0xda;
1517 *(cd->mcodeptr++) = 0xe9;
1521 void emit_fnstsw(codegendata *cd)
1523 *(cd->mcodeptr++) = 0xdf;
1524 *(cd->mcodeptr++) = 0xe0;
1528 void emit_sahf(codegendata *cd)
1530 *(cd->mcodeptr++) = 0x9e;
1534 void emit_finit(codegendata *cd)
1536 *(cd->mcodeptr++) = 0x9b;
1537 *(cd->mcodeptr++) = 0xdb;
1538 *(cd->mcodeptr++) = 0xe3;
1542 void emit_fldcw_mem(codegendata *cd, s4 mem)
1544 *(cd->mcodeptr++) = 0xd9;
1549 void emit_fldcw_membase(codegendata *cd, s4 basereg, s4 disp)
1551 *(cd->mcodeptr++) = 0xd9;
1552 emit_membase(cd, (basereg),(disp),5);
1556 void emit_wait(codegendata *cd)
1558 *(cd->mcodeptr++) = 0x9b;
1562 void emit_ffree_reg(codegendata *cd, s4 reg)
1564 *(cd->mcodeptr++) = 0xdd;
1565 *(cd->mcodeptr++) = 0xc0 + (0x07 & (u1) (reg));
1569 void emit_fdecstp(codegendata *cd)
1571 *(cd->mcodeptr++) = 0xd9;
1572 *(cd->mcodeptr++) = 0xf6;
1576 void emit_fincstp(codegendata *cd)
1578 *(cd->mcodeptr++) = 0xd9;
1579 *(cd->mcodeptr++) = 0xf7;
1584 * These are local overrides for various environment variables in Emacs.
1585 * Please do not remove this and leave it at the end of the file, where
1586 * Emacs will automagically detect them.
1587 * ---------------------------------------------------------------------
1590 * indent-tabs-mode: t