Search
lxdream.org :: lxdream/src/sh4/x86op.h
lxdream 0.9.1
released Jun 29
Download Now
filename src/sh4/x86op.h
changeset 368:36fac4c42322
prev361:be3de4ecd954
next374:8f80a795513e
author nkeynes
date Tue Sep 04 08:40:23 2007 +0000 (15 years ago)
permissions -rw-r--r--
last change More translator WIP - blocks are approaching something sane
file annotate diff log raw
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 */
.