nkeynes@359 | 1 | /**
|
nkeynes@368 | 2 | * $Id: x86op.h,v 1.3 2007-09-04 08:40:23 nkeynes Exp $
|
nkeynes@359 | 3 | *
|
nkeynes@359 | 4 | * Definitions of x86 opcodes for use by the translator.
|
nkeynes@359 | 5 | *
|
nkeynes@359 | 6 | * Copyright (c) 2007 Nathan Keynes.
|
nkeynes@359 | 7 | *
|
nkeynes@359 | 8 | * This program is free software; you can redistribute it and/or modify
|
nkeynes@359 | 9 | * it under the terms of the GNU General Public License as published by
|
nkeynes@359 | 10 | * the Free Software Foundation; either version 2 of the License, or
|
nkeynes@359 | 11 | * (at your option) any later version.
|
nkeynes@359 | 12 | *
|
nkeynes@359 | 13 | * This program is distributed in the hope that it will be useful,
|
nkeynes@359 | 14 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
nkeynes@359 | 15 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
nkeynes@359 | 16 | * GNU General Public License for more details.
|
nkeynes@359 | 17 | */
|
nkeynes@359 | 18 |
|
nkeynes@359 | 19 | #ifndef __lxdream_x86op_H
|
nkeynes@359 | 20 | #define __lxdream_x86op_H
|
nkeynes@359 | 21 |
|
nkeynes@359 | 22 | #define R_NONE -1
|
nkeynes@359 | 23 | #define R_EAX 0
|
nkeynes@359 | 24 | #define R_ECX 1
|
nkeynes@359 | 25 | #define R_EDX 2
|
nkeynes@359 | 26 | #define R_EBX 3
|
nkeynes@359 | 27 | #define R_ESP 4
|
nkeynes@359 | 28 | #define R_EBP 5
|
nkeynes@359 | 29 | #define R_ESI 6
|
nkeynes@359 | 30 | #define R_EDI 7
|
nkeynes@359 | 31 |
|
nkeynes@359 | 32 | #define R_AL 0
|
nkeynes@359 | 33 | #define R_CL 1
|
nkeynes@359 | 34 | #define R_DL 2
|
nkeynes@359 | 35 | #define R_BL 3
|
nkeynes@359 | 36 | #define R_AH 4
|
nkeynes@359 | 37 | #define R_CH 5
|
nkeynes@359 | 38 | #define R_DH 6
|
nkeynes@359 | 39 | #define R_BH 7
|
nkeynes@359 | 40 |
|
nkeynes@359 | 41 |
|
nkeynes@361 | 42 | #define OP(x) *xlat_output++ = (x)
|
nkeynes@361 | 43 | #define OP32(x) *((uint32_t *)xlat_output) = (x); xlat_output+=4
|
nkeynes@359 | 44 |
|
nkeynes@359 | 45 | /* Offset of a reg relative to the sh4r structure */
|
nkeynes@359 | 46 | #define REG_OFFSET(reg) (((char *)&sh4r.reg) - ((char *)&sh4r))
|
nkeynes@359 | 47 |
|
nkeynes@359 | 48 | #define R_T REG_OFFSET(t)
|
nkeynes@361 | 49 | #define R_Q REG_OFFSET(q)
|
nkeynes@361 | 50 | #define R_S REG_OFFSET(s)
|
nkeynes@361 | 51 | #define R_M REG_OFFSET(m)
|
nkeynes@368 | 52 | #define R_SR REG_OFFSET(sr)
|
nkeynes@359 | 53 | #define R_GBR REG_OFFSET(gbr)
|
nkeynes@359 | 54 | #define R_SSR REG_OFFSET(ssr)
|
nkeynes@359 | 55 | #define R_SPC REG_OFFSET(spc)
|
nkeynes@359 | 56 | #define R_VBR REG_OFFSET(vbr)
|
nkeynes@359 | 57 | #define R_MACH REG_OFFSET(mac)+4
|
nkeynes@359 | 58 | #define R_MACL REG_OFFSET(mac)
|
nkeynes@359 | 59 | #define R_PR REG_OFFSET(pr)
|
nkeynes@359 | 60 | #define R_SGR REG_OFFSET(sgr)
|
nkeynes@359 | 61 | #define R_FPUL REG_OFFSET(fpul)
|
nkeynes@359 | 62 | #define R_FPSCR REG_OFFSET(fpscr)
|
nkeynes@359 | 63 | #define R_DBR REG_OFFSET(dbr)
|
nkeynes@359 | 64 |
|
nkeynes@359 | 65 | /**************** Basic X86 operations *********************/
|
nkeynes@359 | 66 | /* Note: operands follow SH4 convention (source, dest) rather than x86
|
nkeynes@359 | 67 | * conventions (dest, source)
|
nkeynes@359 | 68 | */
|
nkeynes@359 | 69 |
|
nkeynes@359 | 70 | /* Two-reg modrm form - first arg is the r32 reg, second arg is the r/m32 reg */
|
nkeynes@359 | 71 | #define MODRM_r32_rm32(r1,r2) OP(0xC0 | (r1<<3) | r2)
|
nkeynes@359 | 72 | #define MODRM_rm32_r32(r1,r2) OP(0xC0 | (r2<<3) | r1)
|
nkeynes@359 | 73 |
|
nkeynes@359 | 74 | /* ebp+disp8 modrm form */
|
nkeynes@359 | 75 | #define MODRM_r32_ebp8(r1,disp) OP(0x45 | (r1<<3)); OP(disp)
|
nkeynes@359 | 76 |
|
nkeynes@359 | 77 | /* ebp+disp32 modrm form */
|
nkeynes@359 | 78 | #define MODRM_r32_ebp32(r1,disp) OP(0x85 | (r1<<3)); OP32(disp)
|
nkeynes@359 | 79 |
|
nkeynes@368 | 80 | #define MODRM_r32_ebp(r1,disp) if(disp>127){ MODRM_r32_ebp32(r1,disp);}else{ MODRM_r32_ebp8(r1,(unsigned char)disp); }
|
nkeynes@368 | 81 |
|
nkeynes@359 | 82 | /* Major opcodes */
|
nkeynes@359 | 83 | #define ADD_r32_r32(r1,r2) OP(0x03); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 84 | #define ADD_imm8s_r32(imm,r1) OP(0x83); MODRM_rm32_r32(r1, 0); OP(imm)
|
nkeynes@368 | 85 | #define ADD_imm32_r32(imm32,r1) OP(0x81); MODRM_rm32_r32(r1,0); OP32(imm32)
|
nkeynes@359 | 86 | #define ADC_r32_r32(r1,r2) OP(0x13); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 87 | #define AND_r32_r32(r1,r2) OP(0x23); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 88 | #define AND_imm8_r8(imm8, r1) OP(0x80); MODRM_rm32_r32(r1,4); OP(imm8)
|
nkeynes@359 | 89 | #define AND_imm32_r32(imm,r1) OP(0x81); MODRM_rm32_r32(r1,4); OP32(imm)
|
nkeynes@368 | 90 | #define CALL_r32(r1) OP(0xFF); MODRM_rm32_r32(r1,2)
|
nkeynes@359 | 91 | #define CMC() OP(0xF5)
|
nkeynes@359 | 92 | #define CMP_r32_r32(r1,r2) OP(0x3B); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 93 | #define CMP_imm32_r32(imm32, r1) OP(0x81); MODRM_rm32_r32(r1,7); OP32(imm32)
|
nkeynes@359 | 94 | #define CMP_imm8s_r32(imm,r1) OP(0x83); MODRM_rm32_r32(r1,7); OP(imm)
|
nkeynes@368 | 95 | #define CMP_imm8s_ebp(imm,disp) OP(0x83); MODRM_r32_ebp(7,disp) OP(imm)
|
nkeynes@368 | 96 | #define DEC_r32(r1) OP(0x48+r1)
|
nkeynes@368 | 97 | #define IMUL_r32(r1) OP(0xF7); MODRM_rm32_r32(r1,5)
|
nkeynes@368 | 98 | #define INC_r32(r1) OP(0x40+r1)
|
nkeynes@361 | 99 | #define JMP_rel8(rel) OP(0xEB); OP(rel)
|
nkeynes@368 | 100 | #define MOV_r32_r32(r1,r2) OP(0x89); MODRM_r32_rm32(r1,r2)
|
nkeynes@368 | 101 | #define MOV_r32_ebp(r1,disp) OP(0x89); MODRM_r32_ebp(r1,disp)
|
nkeynes@359 | 102 | #define MOV_r32_ebp32(r1,disp) OP(0x89); MODRM_r32_ebp32(r1,disp)
|
nkeynes@368 | 103 | #define MOV_moff32_EAX(off) OP(0xA1); OP32(off)
|
nkeynes@368 | 104 | #define MOV_ebp_r32(disp, r1) OP(0x8B); MODRM_r32_ebp(r1,disp)
|
nkeynes@359 | 105 | #define MOVSX_r8_r32(r1,r2) OP(0x0F); OP(0xBE); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 106 | #define MOVSX_r16_r32(r1,r2) OP(0x0F); OP(0xBF); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 107 | #define MOVZX_r8_r32(r1,r2) OP(0x0F); OP(0xB6); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 108 | #define MOVZX_r16_r32(r1,r2) OP(0x0F); OP(0xB7); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 109 | #define MUL_r32(r1) OP(0xF7); MODRM_rm32_r32(r1,4)
|
nkeynes@359 | 110 | #define NEG_r32(r1) OP(0xF7); MODRM_rm32_r32(r1,3)
|
nkeynes@359 | 111 | #define NOT_r32(r1) OP(0xF7); MODRM_rm32_r32(r1,2)
|
nkeynes@359 | 112 | #define OR_r32_r32(r1,r2) OP(0x0B); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 113 | #define OR_imm8_r8(imm,r1) OP(0x80); MODRM_rm32_r32(r1,1)
|
nkeynes@359 | 114 | #define OR_imm32_r32(imm,r1) OP(0x81); MODRM_rm32_r32(r1,1); OP32(imm)
|
nkeynes@368 | 115 | #define OR_ebp_r32(disp,r1) OP(0x0B); MODRM_r32_ebp(r1,disp)
|
nkeynes@368 | 116 | #define POP_r32(r1) OP(0x58 + r1)
|
nkeynes@361 | 117 | #define PUSH_r32(r1) OP(0x50 + r1)
|
nkeynes@368 | 118 | #define PUSH_imm32(imm) OP(0x68); OP32(imm)
|
nkeynes@359 | 119 | #define RCL1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,2)
|
nkeynes@359 | 120 | #define RCR1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,3)
|
nkeynes@359 | 121 | #define RET() OP(0xC3)
|
nkeynes@359 | 122 | #define ROL1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,0)
|
nkeynes@359 | 123 | #define ROR1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,1)
|
nkeynes@359 | 124 | #define SAR1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,7)
|
nkeynes@359 | 125 | #define SAR_imm8_r32(imm,r1) OP(0xC1); MODRM_rm32_r32(r1,7); OP(imm)
|
nkeynes@368 | 126 | #define SAR_r32_CL(r1) OP(0xD3); MODRM_rm32_r32(r1,7)
|
nkeynes@359 | 127 | #define SBB_r32_r32(r1,r2) OP(0x1B); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 128 | #define SHL1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,4)
|
nkeynes@368 | 129 | #define SHL_r32_CL(r1) OP(0xD3); MODRM_rm32_r32(r1,4)
|
nkeynes@359 | 130 | #define SHL_imm8_r32(imm,r1) OP(0xC1); MODRM_rm32_r32(r1,4); OP(imm)
|
nkeynes@359 | 131 | #define SHR1_r32(r1) OP(0xD1); MODRM_rm32_r32(r1,5)
|
nkeynes@368 | 132 | #define SHR_r32_CL(r1) OP(0xD3); MODRM_rm32_r32(r1,5)
|
nkeynes@359 | 133 | #define SHR_imm8_r32(imm,r1) OP(0xC1); MODRM_rm32_r32(r1,5); OP(imm)
|
nkeynes@359 | 134 | #define SUB_r32_r32(r1,r2) OP(0x2B); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 135 | #define TEST_r8_r8(r1,r2) OP(0x84); MODRM_r32_rm32(r1,r2)
|
nkeynes@359 | 136 | #define TEST_r32_r32(r1,r2) OP(0x85); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 137 | #define TEST_imm8_r8(imm8,r1) OP(0xF6); MODRM_rm32_r32(r1,0); OP(imm8)
|
nkeynes@359 | 138 | #define TEST_imm32_r32(imm,r1) OP(0xF7); MODRM_rm32_r32(r1,0); OP32(imm)
|
nkeynes@368 | 139 | #define XCHG_r8_r8(r1,r2) OP(0x86); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 140 | #define XOR_r32_r32(r1,r2) OP(0x33); MODRM_rm32_r32(r1,r2)
|
nkeynes@359 | 141 | #define XOR_imm32_r32(imm,r1) OP(0x81); MODRM_rm32_r32(r1,6); OP32(imm)
|
nkeynes@359 | 142 |
|
nkeynes@359 | 143 |
|
nkeynes@359 | 144 | /* Conditional branches */
|
nkeynes@359 | 145 | #define JE_rel8(rel) OP(0x74); OP(rel)
|
nkeynes@359 | 146 | #define JA_rel8(rel) OP(0x77); OP(rel)
|
nkeynes@359 | 147 | #define JAE_rel8(rel) OP(0x73); OP(rel)
|
nkeynes@359 | 148 | #define JG_rel8(rel) OP(0x7F); OP(rel)
|
nkeynes@359 | 149 | #define JGE_rel8(rel) OP(0x7D); OP(rel)
|
nkeynes@359 | 150 | #define JC_rel8(rel) OP(0x72); OP(rel)
|
nkeynes@359 | 151 | #define JO_rel8(rel) OP(0x70); OP(rel)
|
nkeynes@359 | 152 | #define JNE_rel8(rel) OP(0x75); OP(rel)
|
nkeynes@359 | 153 | #define JNA_rel8(rel) OP(0x76); OP(rel)
|
nkeynes@359 | 154 | #define JNAE_rel8(rel) OP(0x72); OP(rel)
|
nkeynes@359 | 155 | #define JNG_rel8(rel) OP(0x7E); OP(rel)
|
nkeynes@359 | 156 | #define JNGE_rel8(rel) OP(0x7C); OP(rel)
|
nkeynes@359 | 157 | #define JNC_rel8(rel) OP(0x73); OP(rel)
|
nkeynes@359 | 158 | #define JNO_rel8(rel) OP(0x71); OP(rel)
|
nkeynes@359 | 159 |
|
nkeynes@368 | 160 | /* 32-bit long forms w/ backpatching to an exit routine */
|
nkeynes@368 | 161 | #define JE_exit(rel) OP(0x0F); OP(0x84); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 162 | #define JA_exit(rel) OP(0x0F); OP(0x87); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 163 | #define JAE_exit(rel) OP(0x0F); OP(0x83); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 164 | #define JG_exit(rel) OP(0x0F); OP(0x8F); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 165 | #define JGE_exit(rel) OP(0x0F); OP(0x8D); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 166 | #define JC_exit(rel) OP(0x0F); OP(0x82); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 167 | #define JO_exit(rel) OP(0x0F); OP(0x80); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 168 | #define JNE_exit(rel) OP(0x0F); OP(0x85); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 169 | #define JNA_exit(rel) OP(0x0F); OP(0x86); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 170 | #define JNAE_exit(rel) OP(0x0F);OP(0x82); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 171 | #define JNG_exit(rel) OP(0x0F); OP(0x8E); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 172 | #define JNGE_exit(rel) OP(0x0F);OP(0x8C); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 173 | #define JNC_exit(rel) OP(0x0F); OP(0x83); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 174 | #define JNO_exit(rel) OP(0x0F); OP(0x81); sh4_x86_add_backpatch(xlat_output); OP32(rel)
|
nkeynes@368 | 175 |
|
nkeynes@368 | 176 |
|
nkeynes@368 | 177 | /* Conditional moves ebp-rel */
|
nkeynes@368 | 178 | #define CMOVE_r32_r32(r1,r2) OP(0x0F); OP(0x44); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 179 | #define CMOVA_r32_r32(r1,r2) OP(0x0F); OP(0x47); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 180 | #define CMOVAE_r32_r32(r1,r2) OP(0x0F); OP(0x43); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 181 | #define CMOVG_r32_r32(r1,r2) OP(0x0F); OP(0x4F); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 182 | #define CMOVGE_r32_r32(r1,r2) OP(0x0F); OP(0x4D); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 183 | #define CMOVC_r32_r32(r1,r2) OP(0x0F); OP(0x42); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 184 | #define CMOVO_r32_r32(r1,r2) OP(0x0F); OP(0x40); MODRM_rm32_r32(r1,r2)
|
nkeynes@368 | 185 |
|
nkeynes@368 | 186 |
|
nkeynes@359 | 187 | /* Conditional setcc - writeback to sh4r.t */
|
nkeynes@368 | 188 | #define SETE_ebp(disp) OP(0x0F); OP(0x94); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 189 | #define SETA_ebp(disp) OP(0x0F); OP(0x97); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 190 | #define SETAE_ebp(disp) OP(0x0F); OP(0x93); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 191 | #define SETG_ebp(disp) OP(0x0F); OP(0x9F); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 192 | #define SETGE_ebp(disp) OP(0x0F); OP(0x9D); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 193 | #define SETC_ebp(disp) OP(0x0F); OP(0x92); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 194 | #define SETO_ebp(disp) OP(0x0F); OP(0x90); MODRM_r32_ebp(0, disp);
|
nkeynes@359 | 195 |
|
nkeynes@368 | 196 | #define SETNE_ebp(disp) OP(0x0F); OP(0x95); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 197 | #define SETNA_ebp(disp) OP(0x0F); OP(0x96); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 198 | #define SETNAE_ebp(disp) OP(0x0F); OP(0x92); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 199 | #define SETNG_ebp(disp) OP(0x0F); OP(0x9E); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 200 | #define SETNGE_ebp(disp) OP(0x0F); OP(0x9C); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 201 | #define SETNC_ebp(disp) OP(0x0F); OP(0x93); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 202 | #define SETNO_ebp(disp) OP(0x0F); OP(0x91); MODRM_r32_ebp(0, disp);
|
nkeynes@368 | 203 |
|
nkeynes@368 | 204 | #define SETE_t() SETE_ebp(R_T)
|
nkeynes@368 | 205 | #define SETA_t() SETA_ebp(R_T)
|
nkeynes@368 | 206 | #define SETAE_t() SETAE_ebp(R_T)
|
nkeynes@368 | 207 | #define SETG_t() SETG_ebp(R_T)
|
nkeynes@368 | 208 | #define SETGE_t() SETGE_ebp(R_T)
|
nkeynes@368 | 209 | #define SETC_t() SETC_ebp(R_T)
|
nkeynes@368 | 210 | #define SETO_t() SETO_ebp(R_T)
|
nkeynes@359 | 211 |
|
nkeynes@359 | 212 | /* Pseudo-op Load carry from T: CMP [EBP+t], #01 ; CMC */
|
nkeynes@368 | 213 | #define LDC_t() OP(0x83); MODRM_r32_ebp(7,R_T); OP(0x01); CMC()
|
nkeynes@359 | 214 |
|
nkeynes@359 | 215 | #endif /* !__lxdream_x86op_H */
|