Search
lxdream.org :: lxdream/src/sh4/ia32mac.h
lxdream 0.9.1
released Jun 29
Download Now
filename src/sh4/ia32mac.h
changeset 571:9bc09948d0f2
prev570:d2893980fbf5
next577:a181aeacd6e8
author nkeynes
date Thu Jan 10 08:28:37 2008 +0000 (16 years ago)
branchlxdream-mmu
permissions -rw-r--r--
last change More MMU work in progess. Much better now...
file annotate diff log raw
nkeynes@539
     1
/**
nkeynes@561
     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 13
nkeynes@539
    30
static inline void call_func0( void *ptr )
nkeynes@539
    31
{
nkeynes@539
    32
    int adj = (-sh4_x86.stack_posn)&0x0F;
nkeynes@539
    33
    SUB_imm8s_r32( adj, R_ESP );
nkeynes@539
    34
    load_imm32(R_EAX, (uint32_t)ptr);
nkeynes@539
    35
    CALL_r32(R_EAX);
nkeynes@539
    36
    ADD_imm8s_r32( adj, R_ESP );
nkeynes@539
    37
}
nkeynes@539
    38
nkeynes@539
    39
#define CALL_FUNC1_SIZE 14
nkeynes@539
    40
static inline void call_func1( void *ptr, int arg1 )
nkeynes@539
    41
{
nkeynes@539
    42
    int adj = (-4-sh4_x86.stack_posn)&0x0F;
nkeynes@539
    43
    SUB_imm8s_r32( adj, R_ESP );
nkeynes@539
    44
    PUSH_r32(arg1);
nkeynes@539
    45
    load_imm32(R_EAX, (uint32_t)ptr);
nkeynes@539
    46
    CALL_r32(R_EAX);
nkeynes@539
    47
    ADD_imm8s_r32( adj+4, R_ESP );
nkeynes@539
    48
    sh4_x86.stack_posn -= 4;
nkeynes@539
    49
}
nkeynes@539
    50
nkeynes@539
    51
#define CALL_FUNC2_SIZE 15
nkeynes@539
    52
static inline void call_func2( void *ptr, int arg1, int arg2 )
nkeynes@539
    53
{
nkeynes@539
    54
    int adj = (-8-sh4_x86.stack_posn)&0x0F;
nkeynes@539
    55
    SUB_imm8s_r32( adj, R_ESP );
nkeynes@539
    56
    PUSH_r32(arg2);
nkeynes@539
    57
    PUSH_r32(arg1);
nkeynes@539
    58
    load_imm32(R_EAX, (uint32_t)ptr);
nkeynes@539
    59
    CALL_r32(R_EAX);
nkeynes@539
    60
    ADD_imm8s_r32( adj+8, R_ESP );
nkeynes@539
    61
    sh4_x86.stack_posn -= 8;
nkeynes@539
    62
}
nkeynes@539
    63
nkeynes@539
    64
/**
nkeynes@539
    65
 * Write a double (64-bit) value into memory, with the first word in arg2a, and
nkeynes@539
    66
 * the second in arg2b
nkeynes@539
    67
 * NB: 30 bytes
nkeynes@539
    68
 */
nkeynes@539
    69
#define MEM_WRITE_DOUBLE_SIZE 36
nkeynes@539
    70
static inline void MEM_WRITE_DOUBLE( int addr, int arg2a, int arg2b )
nkeynes@539
    71
{
nkeynes@539
    72
    int adj = (-8-sh4_x86.stack_posn)&0x0F;
nkeynes@539
    73
    SUB_imm8s_r32( adj, R_ESP );
nkeynes@539
    74
    ADD_imm8s_r32( 4, addr );
nkeynes@539
    75
    PUSH_r32(arg2b);
nkeynes@539
    76
    PUSH_r32(addr);
nkeynes@539
    77
    ADD_imm8s_r32( -4, addr );
nkeynes@539
    78
    SUB_imm8s_r32( 8, R_ESP );
nkeynes@539
    79
    PUSH_r32(arg2a);
nkeynes@539
    80
    PUSH_r32(addr);
nkeynes@539
    81
    load_imm32(R_EAX, (uint32_t)sh4_write_long);
nkeynes@539
    82
    CALL_r32(R_EAX);
nkeynes@539
    83
    ADD_imm8s_r32( 16, R_ESP );
nkeynes@539
    84
    load_imm32(R_EAX, (uint32_t)sh4_write_long);
nkeynes@539
    85
    CALL_r32(R_EAX);
nkeynes@539
    86
    ADD_imm8s_r32( adj+8, R_ESP );
nkeynes@539
    87
    sh4_x86.stack_posn -= 16;
nkeynes@539
    88
}
nkeynes@539
    89
nkeynes@539
    90
/**
nkeynes@539
    91
 * Read a double (64-bit) value from memory, writing the first word into arg2a
nkeynes@539
    92
 * and the second into arg2b. The addr must not be in EAX
nkeynes@539
    93
 * NB: 27 bytes
nkeynes@539
    94
 */
nkeynes@539
    95
#define MEM_READ_DOUBLE_SIZE 36
nkeynes@539
    96
static inline void MEM_READ_DOUBLE( int addr, int arg2a, int arg2b )
nkeynes@539
    97
{
nkeynes@539
    98
    int adj = (-4-sh4_x86.stack_posn)&0x0F;
nkeynes@539
    99
    int adj2 = (-8-sh4_x86.stack_posn)&0x0F;
nkeynes@539
   100
    SUB_imm8s_r32( adj, R_ESP );
nkeynes@539
   101
    PUSH_r32(addr);
nkeynes@539
   102
    load_imm32(R_EAX, (uint32_t)sh4_read_long);
nkeynes@539
   103
    CALL_r32(R_EAX);
nkeynes@571
   104
    POP_r32(R_ECX);
nkeynes@539
   105
    SUB_imm8s_r32( adj2-adj, R_ESP );
nkeynes@539
   106
    PUSH_r32(R_EAX);
nkeynes@571
   107
    ADD_imm8s_r32( 4, R_ECX );
nkeynes@571
   108
    PUSH_r32(R_ECX);
nkeynes@539
   109
    load_imm32(R_EAX, (uint32_t)sh4_read_long);
nkeynes@539
   110
    CALL_r32(R_EAX);
nkeynes@539
   111
    ADD_imm8s_r32( 4, R_ESP );
nkeynes@539
   112
    MOV_r32_r32( R_EAX, arg2b );
nkeynes@539
   113
    POP_r32(arg2a);
nkeynes@539
   114
    ADD_imm8s_r32( adj2, R_ESP );
nkeynes@539
   115
    sh4_x86.stack_posn -= 4;
nkeynes@539
   116
}
nkeynes@539
   117
nkeynes@539
   118
/**
nkeynes@539
   119
 * Emit the 'start of block' assembly. Sets up the stack frame and save
nkeynes@539
   120
 * SI/DI as required
nkeynes@539
   121
 */
nkeynes@539
   122
void sh4_translate_begin_block( sh4addr_t pc ) 
nkeynes@539
   123
{
nkeynes@539
   124
    PUSH_r32(R_EBP);
nkeynes@539
   125
    /* mov &sh4r, ebp */
nkeynes@539
   126
    load_ptr( R_EBP, &sh4r );
nkeynes@539
   127
    
nkeynes@539
   128
    sh4_x86.in_delay_slot = FALSE;
nkeynes@539
   129
    sh4_x86.priv_checked = FALSE;
nkeynes@539
   130
    sh4_x86.fpuen_checked = FALSE;
nkeynes@539
   131
    sh4_x86.branch_taken = FALSE;
nkeynes@539
   132
    sh4_x86.backpatch_posn = 0;
nkeynes@571
   133
    sh4_x86.recovery_posn = 0;
nkeynes@539
   134
    sh4_x86.block_start_pc = pc;
nkeynes@539
   135
    sh4_x86.tstate = TSTATE_NONE;
nkeynes@571
   136
    sh4_x86.tlb_on = IS_MMU_ENABLED();
nkeynes@539
   137
    sh4_x86.stack_posn = 8;
nkeynes@539
   138
}
nkeynes@539
   139
nkeynes@539
   140
/**
nkeynes@539
   141
 * Exit the block with sh4r.pc already written
nkeynes@539
   142
 * Bytes: 15
nkeynes@539
   143
 */
nkeynes@569
   144
void exit_block_pcset( sh4addr_t pc )
nkeynes@539
   145
{
nkeynes@539
   146
    load_imm32( R_ECX, ((pc - sh4_x86.block_start_pc)>>1)*sh4_cpu_period ); // 5
nkeynes@539
   147
    ADD_r32_sh4r( R_ECX, REG_OFFSET(slice_cycle) );    // 6
nkeynes@539
   148
    load_spreg( R_EAX, REG_OFFSET(pc) );
nkeynes@570
   149
    if( sh4_x86.tlb_on ) {
nkeynes@570
   150
	call_func1(xlat_get_code_by_vma,R_EAX);
nkeynes@570
   151
    } else {
nkeynes@570
   152
	call_func1(xlat_get_code,R_EAX);
nkeynes@570
   153
    }
nkeynes@539
   154
    POP_r32(R_EBP);
nkeynes@539
   155
    RET();
nkeynes@539
   156
}
nkeynes@539
   157
nkeynes@571
   158
#define EXIT_BLOCK_SIZE(pc)  (24 + (IS_IN_ICACHE(pc)?5:CALL_FUNC1_SIZE))
nkeynes@571
   159
nkeynes@571
   160
nkeynes@539
   161
/**
nkeynes@539
   162
 * Exit the block to an absolute PC
nkeynes@539
   163
 */
nkeynes@539
   164
void exit_block( sh4addr_t pc, sh4addr_t endpc )
nkeynes@539
   165
{
nkeynes@539
   166
    load_imm32( R_ECX, pc );                            // 5
nkeynes@539
   167
    store_spreg( R_ECX, REG_OFFSET(pc) );               // 3
nkeynes@571
   168
    if( IS_IN_ICACHE(pc) ) {
nkeynes@571
   169
	MOV_moff32_EAX( xlat_get_lut_entry(GET_ICACHE_PHYS(pc)) ); // 5
nkeynes@571
   170
    } else if( sh4_x86.tlb_on ) {
nkeynes@571
   171
	call_func1(xlat_get_code_by_vma,R_ECX);
nkeynes@571
   172
    } else {
nkeynes@571
   173
	call_func1(xlat_get_code,R_ECX);
nkeynes@571
   174
    }
nkeynes@571
   175
    AND_imm8s_r32( 0xFC, R_EAX ); // 3
nkeynes@571
   176
    load_imm32( R_ECX, ((endpc - sh4_x86.block_start_pc)>>1)*sh4_cpu_period ); // 5
nkeynes@571
   177
    ADD_r32_sh4r( R_ECX, REG_OFFSET(slice_cycle) );     // 6
nkeynes@571
   178
    POP_r32(R_EBP);
nkeynes@571
   179
    RET();
nkeynes@571
   180
}
nkeynes@571
   181
nkeynes@571
   182
#define EXIT_BLOCK_REL_SIZE(pc)  (27 + (IS_IN_ICACHE(pc)?5:CALL_FUNC1_SIZE))
nkeynes@571
   183
nkeynes@571
   184
/**
nkeynes@571
   185
 * Exit the block to a relative PC
nkeynes@571
   186
 */
nkeynes@571
   187
void exit_block_rel( sh4addr_t pc, sh4addr_t endpc )
nkeynes@571
   188
{
nkeynes@571
   189
    load_imm32( R_ECX, pc - sh4_x86.block_start_pc );   // 5
nkeynes@571
   190
    ADD_sh4r_r32( R_PC, R_ECX );
nkeynes@571
   191
    store_spreg( R_ECX, REG_OFFSET(pc) );               // 3
nkeynes@571
   192
    if( IS_IN_ICACHE(pc) ) {
nkeynes@571
   193
	MOV_moff32_EAX( xlat_get_lut_entry(GET_ICACHE_PHYS(pc)) ); // 5
nkeynes@571
   194
    } else if( sh4_x86.tlb_on ) {
nkeynes@571
   195
	call_func1(xlat_get_code_by_vma,R_ECX);
nkeynes@571
   196
    } else {
nkeynes@571
   197
	call_func1(xlat_get_code,R_ECX);
nkeynes@571
   198
    }
nkeynes@539
   199
    AND_imm8s_r32( 0xFC, R_EAX ); // 3
nkeynes@539
   200
    load_imm32( R_ECX, ((endpc - sh4_x86.block_start_pc)>>1)*sh4_cpu_period ); // 5
nkeynes@539
   201
    ADD_r32_sh4r( R_ECX, REG_OFFSET(slice_cycle) );     // 6
nkeynes@539
   202
    POP_r32(R_EBP);
nkeynes@539
   203
    RET();
nkeynes@539
   204
}
nkeynes@539
   205
nkeynes@539
   206
/**
nkeynes@539
   207
 * Write the block trailer (exception handling block)
nkeynes@539
   208
 */
nkeynes@539
   209
void sh4_translate_end_block( sh4addr_t pc ) {
nkeynes@539
   210
    if( sh4_x86.branch_taken == FALSE ) {
nkeynes@539
   211
	// Didn't exit unconditionally already, so write the termination here
nkeynes@571
   212
	exit_block_rel( pc, pc );
nkeynes@539
   213
    }
nkeynes@539
   214
    if( sh4_x86.backpatch_posn != 0 ) {
nkeynes@559
   215
	unsigned int i;
nkeynes@559
   216
	// Raise exception
nkeynes@539
   217
	uint8_t *end_ptr = xlat_output;
nkeynes@571
   218
	MOV_r32_r32( R_EDX, R_ECX );
nkeynes@539
   219
	ADD_r32_r32( R_EDX, R_ECX );
nkeynes@571
   220
	ADD_r32_sh4r( R_ECX, R_PC );
nkeynes@539
   221
	MOV_moff32_EAX( &sh4_cpu_period );
nkeynes@539
   222
	MUL_r32( R_EDX );
nkeynes@539
   223
	ADD_r32_sh4r( R_EAX, REG_OFFSET(slice_cycle) );
nkeynes@539
   224
nkeynes@559
   225
        POP_r32(R_EDX);
nkeynes@559
   226
        call_func1( sh4_raise_exception, R_EDX );
nkeynes@571
   227
	load_spreg( R_EAX, R_PC );
nkeynes@570
   228
	if( sh4_x86.tlb_on ) {
nkeynes@570
   229
	    call_func1(xlat_get_code_by_vma,R_EAX);
nkeynes@570
   230
	} else {
nkeynes@570
   231
	    call_func1(xlat_get_code,R_EAX);
nkeynes@570
   232
	}
nkeynes@539
   233
	POP_r32(R_EBP);
nkeynes@539
   234
	RET();
nkeynes@539
   235
nkeynes@559
   236
	// Exception already raised - just cleanup
nkeynes@559
   237
	uint8_t *preexc_ptr = xlat_output;
nkeynes@571
   238
	MOV_r32_r32( R_EDX, R_ECX );
nkeynes@559
   239
	ADD_r32_r32( R_EDX, R_ECX );
nkeynes@571
   240
	ADD_r32_sh4r( R_ECX, R_SPC );
nkeynes@559
   241
	MOV_moff32_EAX( &sh4_cpu_period );
nkeynes@559
   242
	MUL_r32( R_EDX );
nkeynes@559
   243
	ADD_r32_sh4r( R_EAX, REG_OFFSET(slice_cycle) );
nkeynes@571
   244
	load_spreg( R_EAX, R_PC );
nkeynes@570
   245
	if( sh4_x86.tlb_on ) {
nkeynes@570
   246
	    call_func1(xlat_get_code_by_vma,R_EAX);
nkeynes@570
   247
	} else {
nkeynes@570
   248
	    call_func1(xlat_get_code,R_EAX);
nkeynes@570
   249
	}
nkeynes@559
   250
	POP_r32(R_EBP);
nkeynes@559
   251
	RET();
nkeynes@559
   252
nkeynes@559
   253
	for( i=0; i< sh4_x86.backpatch_posn; i++ ) {
nkeynes@559
   254
	    *sh4_x86.backpatch_list[i].fixup_addr =
nkeynes@559
   255
		xlat_output - ((uint8_t *)sh4_x86.backpatch_list[i].fixup_addr) - 4;
nkeynes@559
   256
	    if( sh4_x86.backpatch_list[i].exc_code == -1 ) {
nkeynes@559
   257
		load_imm32( R_EDX, sh4_x86.backpatch_list[i].fixup_icount );
nkeynes@559
   258
		int rel = preexc_ptr - xlat_output;
nkeynes@559
   259
		JMP_rel(rel);
nkeynes@559
   260
	    } else {
nkeynes@559
   261
		PUSH_imm32( sh4_x86.backpatch_list[i].exc_code );
nkeynes@559
   262
		load_imm32( R_EDX, sh4_x86.backpatch_list[i].fixup_icount );
nkeynes@559
   263
		int rel = end_ptr - xlat_output;
nkeynes@559
   264
		JMP_rel(rel);
nkeynes@559
   265
	    }
nkeynes@559
   266
	}
nkeynes@539
   267
    }
nkeynes@539
   268
}
nkeynes@539
   269
nkeynes@539
   270
#endif
nkeynes@539
   271
nkeynes@539
   272
.