nkeynes@539 | 1 | /**
|
nkeynes@586 | 2 | * $Id$
|
nkeynes@539 | 3 | *
|
nkeynes@539 | 4 | * Provides the implementation for the ia32 ABI (eg prologue, epilogue, and
|
nkeynes@539 | 5 | * calling conventions)
|
nkeynes@539 | 6 | *
|
nkeynes@539 | 7 | * Copyright (c) 2007 Nathan Keynes.
|
nkeynes@539 | 8 | *
|
nkeynes@539 | 9 | * This program is free software; you can redistribute it and/or modify
|
nkeynes@539 | 10 | * it under the terms of the GNU General Public License as published by
|
nkeynes@539 | 11 | * the Free Software Foundation; either version 2 of the License, or
|
nkeynes@539 | 12 | * (at your option) any later version.
|
nkeynes@539 | 13 | *
|
nkeynes@539 | 14 | * This program is distributed in the hope that it will be useful,
|
nkeynes@539 | 15 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
nkeynes@539 | 16 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
nkeynes@539 | 17 | * GNU General Public License for more details.
|
nkeynes@539 | 18 | */
|
nkeynes@539 | 19 |
|
nkeynes@539 | 20 | #ifndef __lxdream_ia32abi_H
|
nkeynes@539 | 21 | #define __lxdream_ia32abi_H 1
|
nkeynes@539 | 22 |
|
nkeynes@539 | 23 | #define load_ptr( reg, ptr ) load_imm32( reg, (uint32_t)ptr );
|
nkeynes@539 | 24 |
|
nkeynes@539 | 25 | /**
|
nkeynes@539 | 26 | * Note: clobbers EAX to make the indirect call - this isn't usually
|
nkeynes@539 | 27 | * a problem since the callee will usually clobber it anyway.
|
nkeynes@539 | 28 | */
|
nkeynes@539 | 29 | #define CALL_FUNC0_SIZE 7
|
nkeynes@539 | 30 | static inline void call_func0( void *ptr )
|
nkeynes@539 | 31 | {
|
nkeynes@539 | 32 | load_imm32(R_EAX, (uint32_t)ptr);
|
nkeynes@539 | 33 | CALL_r32(R_EAX);
|
nkeynes@539 | 34 | }
|
nkeynes@539 | 35 |
|
nkeynes@539 | 36 | #define CALL_FUNC1_SIZE 11
|
nkeynes@539 | 37 | static inline void call_func1( void *ptr, int arg1 )
|
nkeynes@539 | 38 | {
|
nkeynes@539 | 39 | PUSH_r32(arg1);
|
nkeynes@539 | 40 | call_func0(ptr);
|
nkeynes@539 | 41 | ADD_imm8s_r32( 4, R_ESP );
|
nkeynes@539 | 42 | }
|
nkeynes@539 | 43 |
|
nkeynes@539 | 44 | #define CALL_FUNC2_SIZE 12
|
nkeynes@539 | 45 | static inline void call_func2( void *ptr, int arg1, int arg2 )
|
nkeynes@539 | 46 | {
|
nkeynes@539 | 47 | PUSH_r32(arg2);
|
nkeynes@539 | 48 | PUSH_r32(arg1);
|
nkeynes@539 | 49 | call_func0(ptr);
|
nkeynes@539 | 50 | ADD_imm8s_r32( 8, R_ESP );
|
nkeynes@539 | 51 | }
|
nkeynes@539 | 52 |
|
nkeynes@539 | 53 | /**
|
nkeynes@539 | 54 | * Write a double (64-bit) value into memory, with the first word in arg2a, and
|
nkeynes@539 | 55 | * the second in arg2b
|
nkeynes@539 | 56 | * NB: 30 bytes
|
nkeynes@539 | 57 | */
|
nkeynes@539 | 58 | #define MEM_WRITE_DOUBLE_SIZE 30
|
nkeynes@539 | 59 | static inline void MEM_WRITE_DOUBLE( int addr, int arg2a, int arg2b )
|
nkeynes@539 | 60 | {
|
nkeynes@539 | 61 | ADD_imm8s_r32( 4, addr );
|
nkeynes@539 | 62 | PUSH_r32(arg2b);
|
nkeynes@539 | 63 | PUSH_r32(addr);
|
nkeynes@539 | 64 | ADD_imm8s_r32( -4, addr );
|
nkeynes@539 | 65 | PUSH_r32(arg2a);
|
nkeynes@539 | 66 | PUSH_r32(addr);
|
nkeynes@539 | 67 | call_func0(sh4_write_long);
|
nkeynes@539 | 68 | ADD_imm8s_r32( 8, R_ESP );
|
nkeynes@539 | 69 | call_func0(sh4_write_long);
|
nkeynes@539 | 70 | ADD_imm8s_r32( 8, R_ESP );
|
nkeynes@539 | 71 | }
|
nkeynes@539 | 72 |
|
nkeynes@539 | 73 | /**
|
nkeynes@539 | 74 | * Read a double (64-bit) value from memory, writing the first word into arg2a
|
nkeynes@539 | 75 | * and the second into arg2b. The addr must not be in EAX
|
nkeynes@539 | 76 | * NB: 27 bytes
|
nkeynes@539 | 77 | */
|
nkeynes@539 | 78 | #define MEM_READ_DOUBLE_SIZE 27
|
nkeynes@539 | 79 | static inline void MEM_READ_DOUBLE( int addr, int arg2a, int arg2b )
|
nkeynes@539 | 80 | {
|
nkeynes@539 | 81 | PUSH_r32(addr);
|
nkeynes@539 | 82 | call_func0(sh4_read_long);
|
nkeynes@586 | 83 | POP_r32(R_ECX);
|
nkeynes@539 | 84 | PUSH_r32(R_EAX);
|
nkeynes@586 | 85 | ADD_imm8s_r32( 4, R_ECX );
|
nkeynes@586 | 86 | PUSH_r32(R_ECX);
|
nkeynes@539 | 87 | call_func0(sh4_read_long);
|
nkeynes@539 | 88 | ADD_imm8s_r32( 4, R_ESP );
|
nkeynes@539 | 89 | MOV_r32_r32( R_EAX, arg2b );
|
nkeynes@539 | 90 | POP_r32(arg2a);
|
nkeynes@539 | 91 | }
|
nkeynes@539 | 92 |
|
nkeynes@539 | 93 | /**
|
nkeynes@539 | 94 | * Emit the 'start of block' assembly. Sets up the stack frame and save
|
nkeynes@539 | 95 | * SI/DI as required
|
nkeynes@539 | 96 | */
|
nkeynes@539 | 97 | void sh4_translate_begin_block( sh4addr_t pc )
|
nkeynes@539 | 98 | {
|
nkeynes@539 | 99 | PUSH_r32(R_EBP);
|
nkeynes@539 | 100 | /* mov &sh4r, ebp */
|
nkeynes@539 | 101 | load_ptr( R_EBP, &sh4r );
|
nkeynes@539 | 102 |
|
nkeynes@539 | 103 | sh4_x86.in_delay_slot = FALSE;
|
nkeynes@539 | 104 | sh4_x86.priv_checked = FALSE;
|
nkeynes@539 | 105 | sh4_x86.fpuen_checked = FALSE;
|
nkeynes@539 | 106 | sh4_x86.branch_taken = FALSE;
|
nkeynes@539 | 107 | sh4_x86.backpatch_posn = 0;
|
nkeynes@586 | 108 | sh4_x86.recovery_posn = 0;
|
nkeynes@539 | 109 | sh4_x86.block_start_pc = pc;
|
nkeynes@586 | 110 | sh4_x86.tlb_on = IS_MMU_ENABLED();
|
nkeynes@539 | 111 | sh4_x86.tstate = TSTATE_NONE;
|
nkeynes@539 | 112 | #ifdef STACK_ALIGN
|
nkeynes@539 | 113 | sh4_x86.stack_posn = 8;
|
nkeynes@539 | 114 | #endif
|
nkeynes@539 | 115 | }
|
nkeynes@539 | 116 |
|
nkeynes@539 | 117 | /**
|
nkeynes@539 | 118 | * Exit the block with sh4r.pc already written
|
nkeynes@539 | 119 | * Bytes: 15
|
nkeynes@539 | 120 | */
|
nkeynes@586 | 121 | void exit_block_pcset( sh4addr_t pc )
|
nkeynes@539 | 122 | {
|
nkeynes@539 | 123 | load_imm32( R_ECX, ((pc - sh4_x86.block_start_pc)>>1)*sh4_cpu_period ); // 5
|
nkeynes@539 | 124 | ADD_r32_sh4r( R_ECX, REG_OFFSET(slice_cycle) ); // 6
|
nkeynes@539 | 125 | load_spreg( R_EAX, REG_OFFSET(pc) );
|
nkeynes@586 | 126 | if( sh4_x86.tlb_on ) {
|
nkeynes@586 | 127 | call_func1(xlat_get_code_by_vma,R_EAX);
|
nkeynes@586 | 128 | } else {
|
nkeynes@586 | 129 | call_func1(xlat_get_code,R_EAX);
|
nkeynes@586 | 130 | }
|
nkeynes@539 | 131 | POP_r32(R_EBP);
|
nkeynes@539 | 132 | RET();
|
nkeynes@539 | 133 | }
|
nkeynes@539 | 134 |
|
nkeynes@586 | 135 | #define EXIT_BLOCK_SIZE(pc) (24 + (IS_IN_ICACHE(pc)?5:CALL_FUNC1_SIZE))
|
nkeynes@586 | 136 |
|
nkeynes@586 | 137 |
|
nkeynes@539 | 138 | /**
|
nkeynes@539 | 139 | * Exit the block to an absolute PC
|
nkeynes@539 | 140 | */
|
nkeynes@539 | 141 | void exit_block( sh4addr_t pc, sh4addr_t endpc )
|
nkeynes@539 | 142 | {
|
nkeynes@539 | 143 | load_imm32( R_ECX, pc ); // 5
|
nkeynes@539 | 144 | store_spreg( R_ECX, REG_OFFSET(pc) ); // 3
|
nkeynes@586 | 145 | if( IS_IN_ICACHE(pc) ) {
|
nkeynes@586 | 146 | MOV_moff32_EAX( xlat_get_lut_entry(GET_ICACHE_PHYS(pc)) ); // 5
|
nkeynes@586 | 147 | } else if( sh4_x86.tlb_on ) {
|
nkeynes@586 | 148 | call_func1(xlat_get_code_by_vma,R_ECX);
|
nkeynes@586 | 149 | } else {
|
nkeynes@586 | 150 | call_func1(xlat_get_code,R_ECX);
|
nkeynes@586 | 151 | }
|
nkeynes@586 | 152 | AND_imm8s_r32( 0xFC, R_EAX ); // 3
|
nkeynes@586 | 153 | load_imm32( R_ECX, ((endpc - sh4_x86.block_start_pc)>>1)*sh4_cpu_period ); // 5
|
nkeynes@586 | 154 | ADD_r32_sh4r( R_ECX, REG_OFFSET(slice_cycle) ); // 6
|
nkeynes@586 | 155 | POP_r32(R_EBP);
|
nkeynes@586 | 156 | RET();
|
nkeynes@586 | 157 | }
|
nkeynes@586 | 158 |
|
nkeynes@586 | 159 | #define EXIT_BLOCK_REL_SIZE(pc) (27 + (IS_IN_ICACHE(pc)?5:CALL_FUNC1_SIZE))
|
nkeynes@586 | 160 |
|
nkeynes@586 | 161 | /**
|
nkeynes@586 | 162 | * Exit the block to a relative PC
|
nkeynes@586 | 163 | */
|
nkeynes@586 | 164 | void exit_block_rel( sh4addr_t pc, sh4addr_t endpc )
|
nkeynes@586 | 165 | {
|
nkeynes@586 | 166 | load_imm32( R_ECX, pc - sh4_x86.block_start_pc ); // 5
|
nkeynes@586 | 167 | ADD_sh4r_r32( R_PC, R_ECX );
|
nkeynes@586 | 168 | store_spreg( R_ECX, REG_OFFSET(pc) ); // 3
|
nkeynes@586 | 169 | if( IS_IN_ICACHE(pc) ) {
|
nkeynes@586 | 170 | MOV_moff32_EAX( xlat_get_lut_entry(GET_ICACHE_PHYS(pc)) ); // 5
|
nkeynes@586 | 171 | } else if( sh4_x86.tlb_on ) {
|
nkeynes@586 | 172 | call_func1(xlat_get_code_by_vma,R_ECX);
|
nkeynes@586 | 173 | } else {
|
nkeynes@586 | 174 | call_func1(xlat_get_code,R_ECX);
|
nkeynes@586 | 175 | }
|
nkeynes@539 | 176 | AND_imm8s_r32( 0xFC, R_EAX ); // 3
|
nkeynes@539 | 177 | load_imm32( R_ECX, ((endpc - sh4_x86.block_start_pc)>>1)*sh4_cpu_period ); // 5
|
nkeynes@539 | 178 | ADD_r32_sh4r( R_ECX, REG_OFFSET(slice_cycle) ); // 6
|
nkeynes@539 | 179 | POP_r32(R_EBP);
|
nkeynes@539 | 180 | RET();
|
nkeynes@539 | 181 | }
|
nkeynes@539 | 182 |
|
nkeynes@539 | 183 | /**
|
nkeynes@539 | 184 | * Write the block trailer (exception handling block)
|
nkeynes@539 | 185 | */
|
nkeynes@539 | 186 | void sh4_translate_end_block( sh4addr_t pc ) {
|
nkeynes@539 | 187 | if( sh4_x86.branch_taken == FALSE ) {
|
nkeynes@539 | 188 | // Didn't exit unconditionally already, so write the termination here
|
nkeynes@586 | 189 | exit_block_rel( pc, pc );
|
nkeynes@539 | 190 | }
|
nkeynes@539 | 191 | if( sh4_x86.backpatch_posn != 0 ) {
|
nkeynes@586 | 192 | unsigned int i;
|
nkeynes@586 | 193 | // Raise exception
|
nkeynes@539 | 194 | uint8_t *end_ptr = xlat_output;
|
nkeynes@586 | 195 | MOV_r32_r32( R_EDX, R_ECX );
|
nkeynes@539 | 196 | ADD_r32_r32( R_EDX, R_ECX );
|
nkeynes@586 | 197 | ADD_r32_sh4r( R_ECX, R_PC );
|
nkeynes@539 | 198 | MOV_moff32_EAX( &sh4_cpu_period );
|
nkeynes@539 | 199 | MUL_r32( R_EDX );
|
nkeynes@539 | 200 | ADD_r32_sh4r( R_EAX, REG_OFFSET(slice_cycle) );
|
nkeynes@539 | 201 |
|
nkeynes@539 | 202 | call_func0( sh4_raise_exception );
|
nkeynes@539 | 203 | ADD_imm8s_r32( 4, R_ESP );
|
nkeynes@586 | 204 | load_spreg( R_EAX, R_PC );
|
nkeynes@586 | 205 | if( sh4_x86.tlb_on ) {
|
nkeynes@586 | 206 | call_func1(xlat_get_code_by_vma,R_EAX);
|
nkeynes@586 | 207 | } else {
|
nkeynes@586 | 208 | call_func1(xlat_get_code,R_EAX);
|
nkeynes@586 | 209 | }
|
nkeynes@539 | 210 | POP_r32(R_EBP);
|
nkeynes@539 | 211 | RET();
|
nkeynes@539 | 212 |
|
nkeynes@586 | 213 | // Exception already raised - just cleanup
|
nkeynes@586 | 214 | uint8_t *preexc_ptr = xlat_output;
|
nkeynes@586 | 215 | MOV_r32_r32( R_EDX, R_ECX );
|
nkeynes@586 | 216 | ADD_r32_r32( R_EDX, R_ECX );
|
nkeynes@586 | 217 | ADD_r32_sh4r( R_ECX, R_SPC );
|
nkeynes@586 | 218 | MOV_moff32_EAX( &sh4_cpu_period );
|
nkeynes@586 | 219 | MUL_r32( R_EDX );
|
nkeynes@586 | 220 | ADD_r32_sh4r( R_EAX, REG_OFFSET(slice_cycle) );
|
nkeynes@586 | 221 | load_spreg( R_EAX, R_PC );
|
nkeynes@586 | 222 | if( sh4_x86.tlb_on ) {
|
nkeynes@586 | 223 | call_func1(xlat_get_code_by_vma,R_EAX);
|
nkeynes@586 | 224 | } else {
|
nkeynes@586 | 225 | call_func1(xlat_get_code,R_EAX);
|
nkeynes@586 | 226 | }
|
nkeynes@586 | 227 | POP_r32(R_EBP);
|
nkeynes@586 | 228 | RET();
|
nkeynes@586 | 229 |
|
nkeynes@586 | 230 | for( i=0; i< sh4_x86.backpatch_posn; i++ ) {
|
nkeynes@586 | 231 | *sh4_x86.backpatch_list[i].fixup_addr =
|
nkeynes@586 | 232 | xlat_output - ((uint8_t *)sh4_x86.backpatch_list[i].fixup_addr) - 4;
|
nkeynes@586 | 233 | if( sh4_x86.backpatch_list[i].exc_code == -1 ) {
|
nkeynes@586 | 234 | load_imm32( R_EDX, sh4_x86.backpatch_list[i].fixup_icount );
|
nkeynes@586 | 235 | int rel = preexc_ptr - xlat_output;
|
nkeynes@586 | 236 | JMP_rel(rel);
|
nkeynes@586 | 237 | } else {
|
nkeynes@586 | 238 | PUSH_imm32( sh4_x86.backpatch_list[i].exc_code );
|
nkeynes@586 | 239 | load_imm32( R_EDX, sh4_x86.backpatch_list[i].fixup_icount );
|
nkeynes@586 | 240 | int rel = end_ptr - xlat_output;
|
nkeynes@586 | 241 | JMP_rel(rel);
|
nkeynes@586 | 242 | }
|
nkeynes@586 | 243 | }
|
nkeynes@539 | 244 | }
|
nkeynes@539 | 245 | }
|
nkeynes@539 | 246 |
|
nkeynes@586 | 247 | void *xlat_get_native_pc()
|
nkeynes@586 | 248 | {
|
nkeynes@586 | 249 | void *result = NULL;
|
nkeynes@586 | 250 | asm(
|
nkeynes@586 | 251 | "mov %%ebp, %%eax\n\t"
|
nkeynes@586 | 252 | "mov $0x8, %%ecx\n\t"
|
nkeynes@586 | 253 | "mov %1, %%edx\n"
|
nkeynes@586 | 254 | "frame_loop: test %%eax, %%eax\n\t"
|
nkeynes@586 | 255 | "je frame_not_found\n\t"
|
nkeynes@586 | 256 | "cmp (%%eax), %%edx\n\t"
|
nkeynes@586 | 257 | "je frame_found\n\t"
|
nkeynes@586 | 258 | "sub $0x1, %%ecx\n\t"
|
nkeynes@586 | 259 | "je frame_not_found\n\t"
|
nkeynes@586 | 260 | "movl (%%eax), %%eax\n\t"
|
nkeynes@586 | 261 | "jmp frame_loop\n"
|
nkeynes@586 | 262 | "frame_found: movl 0x4(%%eax), %0\n"
|
nkeynes@586 | 263 | "frame_not_found:"
|
nkeynes@586 | 264 | : "=r" (result)
|
nkeynes@586 | 265 | : "r" (&sh4r)
|
nkeynes@586 | 266 | : "eax", "ecx", "edx" );
|
nkeynes@586 | 267 | return result;
|
nkeynes@586 | 268 | }
|
nkeynes@586 | 269 |
|
nkeynes@539 | 270 | #endif
|
nkeynes@539 | 271 |
|
nkeynes@539 | 272 |
|