nkeynes@30 | 1 | /**
|
nkeynes@586 | 2 | * $Id$
|
nkeynes@30 | 3 | *
|
nkeynes@30 | 4 | * ARM7TDMI CPU emulation core.
|
nkeynes@30 | 5 | *
|
nkeynes@30 | 6 | * Copyright (c) 2005 Nathan Keynes.
|
nkeynes@30 | 7 | *
|
nkeynes@30 | 8 | * This program is free software; you can redistribute it and/or modify
|
nkeynes@30 | 9 | * it under the terms of the GNU General Public License as published by
|
nkeynes@30 | 10 | * the Free Software Foundation; either version 2 of the License, or
|
nkeynes@30 | 11 | * (at your option) any later version.
|
nkeynes@30 | 12 | *
|
nkeynes@30 | 13 | * This program is distributed in the hope that it will be useful,
|
nkeynes@30 | 14 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
nkeynes@30 | 15 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
nkeynes@30 | 16 | * GNU General Public License for more details.
|
nkeynes@30 | 17 | */
|
nkeynes@2 | 18 |
|
nkeynes@37 | 19 | #define MODULE aica_module
|
nkeynes@37 | 20 | #include "dream.h"
|
nkeynes@431 | 21 | #include "dreamcast.h"
|
nkeynes@73 | 22 | #include "mem.h"
|
nkeynes@7 | 23 | #include "aica/armcore.h"
|
nkeynes@73 | 24 | #include "aica/aica.h"
|
nkeynes@2 | 25 |
|
nkeynes@51 | 26 | #define STM_R15_OFFSET 12
|
nkeynes@51 | 27 |
|
nkeynes@2 | 28 | struct arm_registers armr;
|
nkeynes@2 | 29 |
|
nkeynes@35 | 30 | void arm_set_mode( int mode );
|
nkeynes@35 | 31 |
|
nkeynes@35 | 32 | uint32_t arm_exceptions[][2] = {{ MODE_SVC, 0x00000000 },
|
nkeynes@35 | 33 | { MODE_UND, 0x00000004 },
|
nkeynes@35 | 34 | { MODE_SVC, 0x00000008 },
|
nkeynes@35 | 35 | { MODE_ABT, 0x0000000C },
|
nkeynes@35 | 36 | { MODE_ABT, 0x00000010 },
|
nkeynes@35 | 37 | { MODE_IRQ, 0x00000018 },
|
nkeynes@35 | 38 | { MODE_FIQ, 0x0000001C } };
|
nkeynes@35 | 39 |
|
nkeynes@35 | 40 | #define EXC_RESET 0
|
nkeynes@35 | 41 | #define EXC_UNDEFINED 1
|
nkeynes@35 | 42 | #define EXC_SOFTWARE 2
|
nkeynes@35 | 43 | #define EXC_PREFETCH_ABORT 3
|
nkeynes@35 | 44 | #define EXC_DATA_ABORT 4
|
nkeynes@35 | 45 | #define EXC_IRQ 5
|
nkeynes@35 | 46 | #define EXC_FAST_IRQ 6
|
nkeynes@35 | 47 |
|
nkeynes@35 | 48 | uint32_t arm_cpu_freq = ARM_BASE_RATE;
|
nkeynes@35 | 49 | uint32_t arm_cpu_period = 1000 / ARM_BASE_RATE;
|
nkeynes@35 | 50 |
|
nkeynes@73 | 51 | #define CYCLES_PER_SAMPLE ((ARM_BASE_RATE * 1000000) / AICA_SAMPLE_RATE)
|
nkeynes@43 | 52 |
|
nkeynes@43 | 53 | static struct breakpoint_struct arm_breakpoints[MAX_BREAKPOINTS];
|
nkeynes@43 | 54 | static int arm_breakpoint_count = 0;
|
nkeynes@43 | 55 |
|
nkeynes@586 | 56 | void arm_set_breakpoint( uint32_t pc, breakpoint_type_t type )
|
nkeynes@43 | 57 | {
|
nkeynes@43 | 58 | arm_breakpoints[arm_breakpoint_count].address = pc;
|
nkeynes@43 | 59 | arm_breakpoints[arm_breakpoint_count].type = type;
|
nkeynes@43 | 60 | arm_breakpoint_count++;
|
nkeynes@43 | 61 | }
|
nkeynes@43 | 62 |
|
nkeynes@586 | 63 | gboolean arm_clear_breakpoint( uint32_t pc, breakpoint_type_t type )
|
nkeynes@43 | 64 | {
|
nkeynes@43 | 65 | int i;
|
nkeynes@43 | 66 |
|
nkeynes@43 | 67 | for( i=0; i<arm_breakpoint_count; i++ ) {
|
nkeynes@43 | 68 | if( arm_breakpoints[i].address == pc &&
|
nkeynes@43 | 69 | arm_breakpoints[i].type == type ) {
|
nkeynes@43 | 70 | while( ++i < arm_breakpoint_count ) {
|
nkeynes@43 | 71 | arm_breakpoints[i-1].address = arm_breakpoints[i].address;
|
nkeynes@43 | 72 | arm_breakpoints[i-1].type = arm_breakpoints[i].type;
|
nkeynes@43 | 73 | }
|
nkeynes@43 | 74 | arm_breakpoint_count--;
|
nkeynes@43 | 75 | return TRUE;
|
nkeynes@43 | 76 | }
|
nkeynes@43 | 77 | }
|
nkeynes@43 | 78 | return FALSE;
|
nkeynes@43 | 79 | }
|
nkeynes@43 | 80 |
|
nkeynes@43 | 81 | int arm_get_breakpoint( uint32_t pc )
|
nkeynes@43 | 82 | {
|
nkeynes@43 | 83 | int i;
|
nkeynes@43 | 84 | for( i=0; i<arm_breakpoint_count; i++ ) {
|
nkeynes@43 | 85 | if( arm_breakpoints[i].address == pc )
|
nkeynes@43 | 86 | return arm_breakpoints[i].type;
|
nkeynes@43 | 87 | }
|
nkeynes@43 | 88 | return 0;
|
nkeynes@43 | 89 | }
|
nkeynes@43 | 90 |
|
nkeynes@73 | 91 | uint32_t arm_run_slice( uint32_t num_samples )
|
nkeynes@35 | 92 | {
|
nkeynes@73 | 93 | int i,j,k;
|
nkeynes@86 | 94 |
|
nkeynes@86 | 95 | if( !armr.running )
|
nkeynes@86 | 96 | return num_samples;
|
nkeynes@86 | 97 |
|
nkeynes@73 | 98 | for( i=0; i<num_samples; i++ ) {
|
nkeynes@73 | 99 | for( j=0; j < CYCLES_PER_SAMPLE; j++ ) {
|
nkeynes@73 | 100 | armr.icount++;
|
nkeynes@73 | 101 | if( !arm_execute_instruction() )
|
nkeynes@73 | 102 | return i;
|
nkeynes@73 | 103 | #ifdef ENABLE_DEBUG_MODE
|
nkeynes@73 | 104 | for( k=0; k<arm_breakpoint_count; k++ ) {
|
nkeynes@73 | 105 | if( arm_breakpoints[k].address == armr.r[15] ) {
|
nkeynes@73 | 106 | dreamcast_stop();
|
nkeynes@73 | 107 | if( arm_breakpoints[k].type == BREAK_ONESHOT )
|
nkeynes@73 | 108 | arm_clear_breakpoint( armr.r[15], BREAK_ONESHOT );
|
nkeynes@73 | 109 | return i;
|
nkeynes@73 | 110 | }
|
nkeynes@73 | 111 | }
|
nkeynes@73 | 112 | #endif
|
nkeynes@73 | 113 | }
|
nkeynes@80 | 114 |
|
nkeynes@80 | 115 | k = MMIO_READ( AICA2, AICA_TCR );
|
nkeynes@80 | 116 | if( k & 0x40 ) {
|
nkeynes@73 | 117 | uint8_t val = MMIO_READ( AICA2, AICA_TIMER );
|
nkeynes@73 | 118 | val++;
|
nkeynes@80 | 119 | if( val == 0 ) {
|
nkeynes@73 | 120 | aica_event( AICA_EVENT_TIMER );
|
nkeynes@80 | 121 | MMIO_WRITE( AICA2, AICA_TCR, k & ~0x40 );
|
nkeynes@80 | 122 | }
|
nkeynes@73 | 123 | MMIO_WRITE( AICA2, AICA_TIMER, val );
|
nkeynes@73 | 124 | }
|
nkeynes@73 | 125 | if( !dreamcast_is_running() )
|
nkeynes@35 | 126 | break;
|
nkeynes@35 | 127 | }
|
nkeynes@35 | 128 |
|
nkeynes@73 | 129 | return i;
|
nkeynes@35 | 130 | }
|
nkeynes@35 | 131 |
|
nkeynes@35 | 132 | void arm_save_state( FILE *f )
|
nkeynes@35 | 133 | {
|
nkeynes@35 | 134 | fwrite( &armr, sizeof(armr), 1, f );
|
nkeynes@35 | 135 | }
|
nkeynes@35 | 136 |
|
nkeynes@35 | 137 | int arm_load_state( FILE *f )
|
nkeynes@35 | 138 | {
|
nkeynes@35 | 139 | fread( &armr, sizeof(armr), 1, f );
|
nkeynes@35 | 140 | return 0;
|
nkeynes@35 | 141 | }
|
nkeynes@35 | 142 |
|
nkeynes@35 | 143 | /* Exceptions */
|
nkeynes@35 | 144 | void arm_reset( void )
|
nkeynes@35 | 145 | {
|
nkeynes@35 | 146 | /* Wipe all processor state */
|
nkeynes@35 | 147 | memset( &armr, 0, sizeof(armr) );
|
nkeynes@35 | 148 |
|
nkeynes@35 | 149 | armr.cpsr = MODE_SVC | CPSR_I | CPSR_F;
|
nkeynes@35 | 150 | armr.r[15] = 0x00000000;
|
nkeynes@86 | 151 | armr.running = TRUE;
|
nkeynes@35 | 152 | }
|
nkeynes@35 | 153 |
|
nkeynes@37 | 154 | #define SET_CPSR_CONTROL 0x00010000
|
nkeynes@37 | 155 | #define SET_CPSR_EXTENSION 0x00020000
|
nkeynes@37 | 156 | #define SET_CPSR_STATUS 0x00040000
|
nkeynes@37 | 157 | #define SET_CPSR_FLAGS 0x00080000
|
nkeynes@37 | 158 |
|
nkeynes@37 | 159 | uint32_t arm_get_cpsr( void )
|
nkeynes@37 | 160 | {
|
nkeynes@37 | 161 | /* write back all flags to the cpsr */
|
nkeynes@37 | 162 | armr.cpsr = armr.cpsr & CPSR_COMPACT_MASK;
|
nkeynes@37 | 163 | if( armr.n ) armr.cpsr |= CPSR_N;
|
nkeynes@37 | 164 | if( armr.z ) armr.cpsr |= CPSR_Z;
|
nkeynes@37 | 165 | if( armr.c ) armr.cpsr |= CPSR_C;
|
nkeynes@37 | 166 | if( armr.v ) armr.cpsr |= CPSR_V;
|
nkeynes@37 | 167 | if( armr.t ) armr.cpsr |= CPSR_T;
|
nkeynes@37 | 168 | return armr.cpsr;
|
nkeynes@37 | 169 | }
|
nkeynes@37 | 170 |
|
nkeynes@37 | 171 | /**
|
nkeynes@66 | 172 | * Return a pointer to the specified register in the user bank,
|
nkeynes@66 | 173 | * regardless of the active bank
|
nkeynes@66 | 174 | */
|
nkeynes@66 | 175 | static uint32_t *arm_user_reg( int reg )
|
nkeynes@66 | 176 | {
|
nkeynes@66 | 177 | if( IS_EXCEPTION_MODE() ) {
|
nkeynes@66 | 178 | if( reg == 13 || reg == 14 )
|
nkeynes@66 | 179 | return &armr.user_r[reg-8];
|
nkeynes@66 | 180 | if( IS_FIQ_MODE() ) {
|
nkeynes@66 | 181 | if( reg >= 8 || reg <= 12 )
|
nkeynes@66 | 182 | return &armr.user_r[reg-8];
|
nkeynes@66 | 183 | }
|
nkeynes@66 | 184 | }
|
nkeynes@66 | 185 | return &armr.r[reg];
|
nkeynes@66 | 186 | }
|
nkeynes@66 | 187 |
|
nkeynes@66 | 188 | #define USER_R(n) *arm_user_reg(n)
|
nkeynes@66 | 189 |
|
nkeynes@66 | 190 | /**
|
nkeynes@37 | 191 | * Set the CPSR to the specified value.
|
nkeynes@37 | 192 | *
|
nkeynes@37 | 193 | * @param value values to set in CPSR
|
nkeynes@37 | 194 | * @param fields set of mask values to define which sections of the
|
nkeynes@37 | 195 | * CPSR to set (one of the SET_CPSR_* values above)
|
nkeynes@37 | 196 | */
|
nkeynes@37 | 197 | void arm_set_cpsr( uint32_t value, uint32_t fields )
|
nkeynes@37 | 198 | {
|
nkeynes@37 | 199 | if( IS_PRIVILEGED_MODE() ) {
|
nkeynes@37 | 200 | if( fields & SET_CPSR_CONTROL ) {
|
nkeynes@37 | 201 | int mode = value & CPSR_MODE;
|
nkeynes@37 | 202 | arm_set_mode( mode );
|
nkeynes@37 | 203 | armr.t = ( value & CPSR_T ); /* Technically illegal to change */
|
nkeynes@37 | 204 | armr.cpsr = (armr.cpsr & 0xFFFFFF00) | (value & 0x000000FF);
|
nkeynes@37 | 205 | }
|
nkeynes@37 | 206 |
|
nkeynes@37 | 207 | /* Middle 16 bits not currently defined */
|
nkeynes@37 | 208 | }
|
nkeynes@37 | 209 | if( fields & SET_CPSR_FLAGS ) {
|
nkeynes@37 | 210 | /* Break flags directly out of given value - don't bother writing
|
nkeynes@37 | 211 | * back to CPSR
|
nkeynes@37 | 212 | */
|
nkeynes@37 | 213 | armr.n = ( value & CPSR_N );
|
nkeynes@37 | 214 | armr.z = ( value & CPSR_Z );
|
nkeynes@37 | 215 | armr.c = ( value & CPSR_C );
|
nkeynes@37 | 216 | armr.v = ( value & CPSR_V );
|
nkeynes@37 | 217 | }
|
nkeynes@37 | 218 | }
|
nkeynes@37 | 219 |
|
nkeynes@37 | 220 | void arm_set_spsr( uint32_t value, uint32_t fields )
|
nkeynes@37 | 221 | {
|
nkeynes@37 | 222 | /* Only defined if we actually have an SPSR register */
|
nkeynes@37 | 223 | if( IS_EXCEPTION_MODE() ) {
|
nkeynes@37 | 224 | if( fields & SET_CPSR_CONTROL ) {
|
nkeynes@37 | 225 | armr.spsr = (armr.spsr & 0xFFFFFF00) | (value & 0x000000FF);
|
nkeynes@37 | 226 | }
|
nkeynes@37 | 227 |
|
nkeynes@37 | 228 | /* Middle 16 bits not currently defined */
|
nkeynes@37 | 229 |
|
nkeynes@37 | 230 | if( fields & SET_CPSR_FLAGS ) {
|
nkeynes@37 | 231 | armr.spsr = (armr.spsr & 0x00FFFFFF) | (value & 0xFF000000);
|
nkeynes@37 | 232 | }
|
nkeynes@37 | 233 | }
|
nkeynes@37 | 234 | }
|
nkeynes@37 | 235 |
|
nkeynes@35 | 236 | /**
|
nkeynes@35 | 237 | * Raise an ARM exception (other than reset, which uses arm_reset().
|
nkeynes@35 | 238 | * @param exception one of the EXC_* exception codes defined above.
|
nkeynes@35 | 239 | */
|
nkeynes@35 | 240 | void arm_raise_exception( int exception )
|
nkeynes@35 | 241 | {
|
nkeynes@35 | 242 | int mode = arm_exceptions[exception][0];
|
nkeynes@37 | 243 | uint32_t spsr = arm_get_cpsr();
|
nkeynes@35 | 244 | arm_set_mode( mode );
|
nkeynes@37 | 245 | armr.spsr = spsr;
|
nkeynes@63 | 246 | armr.r[14] = armr.r[15] + 4;
|
nkeynes@59 | 247 | armr.cpsr = (spsr & 0xFFFFFF00) | mode | CPSR_I;
|
nkeynes@35 | 248 | if( mode == MODE_FIQ )
|
nkeynes@35 | 249 | armr.cpsr |= CPSR_F;
|
nkeynes@35 | 250 | armr.r[15] = arm_exceptions[exception][1];
|
nkeynes@35 | 251 | }
|
nkeynes@35 | 252 |
|
nkeynes@37 | 253 | void arm_restore_cpsr( void )
|
nkeynes@35 | 254 | {
|
nkeynes@35 | 255 | int spsr = armr.spsr;
|
nkeynes@35 | 256 | int mode = spsr & CPSR_MODE;
|
nkeynes@35 | 257 | arm_set_mode( mode );
|
nkeynes@35 | 258 | armr.cpsr = spsr;
|
nkeynes@37 | 259 | armr.n = ( spsr & CPSR_N );
|
nkeynes@37 | 260 | armr.z = ( spsr & CPSR_Z );
|
nkeynes@37 | 261 | armr.c = ( spsr & CPSR_C );
|
nkeynes@37 | 262 | armr.v = ( spsr & CPSR_V );
|
nkeynes@37 | 263 | armr.t = ( spsr & CPSR_T );
|
nkeynes@35 | 264 | }
|
nkeynes@35 | 265 |
|
nkeynes@35 | 266 |
|
nkeynes@35 | 267 |
|
nkeynes@35 | 268 | /**
|
nkeynes@35 | 269 | * Change the current executing ARM mode to the requested mode.
|
nkeynes@35 | 270 | * Saves any required registers to banks and restores those for the
|
nkeynes@35 | 271 | * correct mode. (Note does not actually update CPSR at the moment).
|
nkeynes@35 | 272 | */
|
nkeynes@35 | 273 | void arm_set_mode( int targetMode )
|
nkeynes@35 | 274 | {
|
nkeynes@35 | 275 | int currentMode = armr.cpsr & CPSR_MODE;
|
nkeynes@35 | 276 | if( currentMode == targetMode )
|
nkeynes@35 | 277 | return;
|
nkeynes@35 | 278 |
|
nkeynes@35 | 279 | switch( currentMode ) {
|
nkeynes@35 | 280 | case MODE_USER:
|
nkeynes@35 | 281 | case MODE_SYS:
|
nkeynes@35 | 282 | armr.user_r[5] = armr.r[13];
|
nkeynes@35 | 283 | armr.user_r[6] = armr.r[14];
|
nkeynes@35 | 284 | break;
|
nkeynes@35 | 285 | case MODE_SVC:
|
nkeynes@35 | 286 | armr.svc_r[0] = armr.r[13];
|
nkeynes@35 | 287 | armr.svc_r[1] = armr.r[14];
|
nkeynes@35 | 288 | armr.svc_r[2] = armr.spsr;
|
nkeynes@35 | 289 | break;
|
nkeynes@35 | 290 | case MODE_ABT:
|
nkeynes@35 | 291 | armr.abt_r[0] = armr.r[13];
|
nkeynes@35 | 292 | armr.abt_r[1] = armr.r[14];
|
nkeynes@35 | 293 | armr.abt_r[2] = armr.spsr;
|
nkeynes@35 | 294 | break;
|
nkeynes@35 | 295 | case MODE_UND:
|
nkeynes@35 | 296 | armr.und_r[0] = armr.r[13];
|
nkeynes@35 | 297 | armr.und_r[1] = armr.r[14];
|
nkeynes@35 | 298 | armr.und_r[2] = armr.spsr;
|
nkeynes@35 | 299 | break;
|
nkeynes@35 | 300 | case MODE_IRQ:
|
nkeynes@35 | 301 | armr.irq_r[0] = armr.r[13];
|
nkeynes@35 | 302 | armr.irq_r[1] = armr.r[14];
|
nkeynes@35 | 303 | armr.irq_r[2] = armr.spsr;
|
nkeynes@35 | 304 | break;
|
nkeynes@35 | 305 | case MODE_FIQ:
|
nkeynes@35 | 306 | armr.fiq_r[0] = armr.r[8];
|
nkeynes@35 | 307 | armr.fiq_r[1] = armr.r[9];
|
nkeynes@35 | 308 | armr.fiq_r[2] = armr.r[10];
|
nkeynes@35 | 309 | armr.fiq_r[3] = armr.r[11];
|
nkeynes@35 | 310 | armr.fiq_r[4] = armr.r[12];
|
nkeynes@35 | 311 | armr.fiq_r[5] = armr.r[13];
|
nkeynes@35 | 312 | armr.fiq_r[6] = armr.r[14];
|
nkeynes@35 | 313 | armr.fiq_r[7] = armr.spsr;
|
nkeynes@35 | 314 | armr.r[8] = armr.user_r[0];
|
nkeynes@35 | 315 | armr.r[9] = armr.user_r[1];
|
nkeynes@35 | 316 | armr.r[10] = armr.user_r[2];
|
nkeynes@35 | 317 | armr.r[11] = armr.user_r[3];
|
nkeynes@35 | 318 | armr.r[12] = armr.user_r[4];
|
nkeynes@35 | 319 | break;
|
nkeynes@35 | 320 | }
|
nkeynes@35 | 321 |
|
nkeynes@35 | 322 | switch( targetMode ) {
|
nkeynes@35 | 323 | case MODE_USER:
|
nkeynes@35 | 324 | case MODE_SYS:
|
nkeynes@35 | 325 | armr.r[13] = armr.user_r[5];
|
nkeynes@35 | 326 | armr.r[14] = armr.user_r[6];
|
nkeynes@35 | 327 | break;
|
nkeynes@35 | 328 | case MODE_SVC:
|
nkeynes@35 | 329 | armr.r[13] = armr.svc_r[0];
|
nkeynes@35 | 330 | armr.r[14] = armr.svc_r[1];
|
nkeynes@35 | 331 | armr.spsr = armr.svc_r[2];
|
nkeynes@35 | 332 | break;
|
nkeynes@35 | 333 | case MODE_ABT:
|
nkeynes@35 | 334 | armr.r[13] = armr.abt_r[0];
|
nkeynes@35 | 335 | armr.r[14] = armr.abt_r[1];
|
nkeynes@35 | 336 | armr.spsr = armr.abt_r[2];
|
nkeynes@35 | 337 | break;
|
nkeynes@35 | 338 | case MODE_UND:
|
nkeynes@35 | 339 | armr.r[13] = armr.und_r[0];
|
nkeynes@35 | 340 | armr.r[14] = armr.und_r[1];
|
nkeynes@35 | 341 | armr.spsr = armr.und_r[2];
|
nkeynes@35 | 342 | break;
|
nkeynes@35 | 343 | case MODE_IRQ:
|
nkeynes@35 | 344 | armr.r[13] = armr.irq_r[0];
|
nkeynes@35 | 345 | armr.r[14] = armr.irq_r[1];
|
nkeynes@35 | 346 | armr.spsr = armr.irq_r[2];
|
nkeynes@35 | 347 | break;
|
nkeynes@35 | 348 | case MODE_FIQ:
|
nkeynes@35 | 349 | armr.user_r[0] = armr.r[8];
|
nkeynes@35 | 350 | armr.user_r[1] = armr.r[9];
|
nkeynes@35 | 351 | armr.user_r[2] = armr.r[10];
|
nkeynes@35 | 352 | armr.user_r[3] = armr.r[11];
|
nkeynes@35 | 353 | armr.user_r[4] = armr.r[12];
|
nkeynes@35 | 354 | armr.r[8] = armr.fiq_r[0];
|
nkeynes@35 | 355 | armr.r[9] = armr.fiq_r[1];
|
nkeynes@35 | 356 | armr.r[10] = armr.fiq_r[2];
|
nkeynes@35 | 357 | armr.r[11] = armr.fiq_r[3];
|
nkeynes@35 | 358 | armr.r[12] = armr.fiq_r[4];
|
nkeynes@35 | 359 | armr.r[13] = armr.fiq_r[5];
|
nkeynes@35 | 360 | armr.r[14] = armr.fiq_r[6];
|
nkeynes@35 | 361 | armr.spsr = armr.fiq_r[7];
|
nkeynes@35 | 362 | break;
|
nkeynes@35 | 363 | }
|
nkeynes@35 | 364 | }
|
nkeynes@35 | 365 |
|
nkeynes@5 | 366 | /* Page references are as per ARM DDI 0100E (June 2000) */
|
nkeynes@2 | 367 |
|
nkeynes@11 | 368 | #define MEM_READ_BYTE( addr ) arm_read_byte(addr)
|
nkeynes@11 | 369 | #define MEM_READ_WORD( addr ) arm_read_word(addr)
|
nkeynes@11 | 370 | #define MEM_READ_LONG( addr ) arm_read_long(addr)
|
nkeynes@11 | 371 | #define MEM_WRITE_BYTE( addr, val ) arm_write_byte(addr, val)
|
nkeynes@11 | 372 | #define MEM_WRITE_WORD( addr, val ) arm_write_word(addr, val)
|
nkeynes@11 | 373 | #define MEM_WRITE_LONG( addr, val ) arm_write_long(addr, val)
|
nkeynes@2 | 374 |
|
nkeynes@5 | 375 |
|
nkeynes@5 | 376 | #define IS_NOTBORROW( result, op1, op2 ) (op2 > op1 ? 0 : 1)
|
nkeynes@5 | 377 | #define IS_CARRY( result, op1, op2 ) (result < op1 ? 1 : 0)
|
nkeynes@5 | 378 | #define IS_SUBOVERFLOW( result, op1, op2 ) (((op1^op2) & (result^op1)) >> 31)
|
nkeynes@5 | 379 | #define IS_ADDOVERFLOW( result, op1, op2 ) (((op1&op2) & (result^op1)) >> 31)
|
nkeynes@5 | 380 |
|
nkeynes@7 | 381 | #define PC armr.r[15]
|
nkeynes@2 | 382 |
|
nkeynes@5 | 383 | /* Instruction fields */
|
nkeynes@5 | 384 | #define COND(ir) (ir>>28)
|
nkeynes@5 | 385 | #define GRP(ir) ((ir>>26)&0x03)
|
nkeynes@5 | 386 | #define OPCODE(ir) ((ir>>20)&0x1F)
|
nkeynes@5 | 387 | #define IFLAG(ir) (ir&0x02000000)
|
nkeynes@5 | 388 | #define SFLAG(ir) (ir&0x00100000)
|
nkeynes@5 | 389 | #define PFLAG(ir) (ir&0x01000000)
|
nkeynes@5 | 390 | #define UFLAG(ir) (ir&0x00800000)
|
nkeynes@5 | 391 | #define BFLAG(ir) (ir&0x00400000)
|
nkeynes@46 | 392 | #define WFLAG(ir) (ir&0x00200000)
|
nkeynes@5 | 393 | #define LFLAG(ir) SFLAG(ir)
|
nkeynes@5 | 394 | #define RN(ir) (armr.r[((ir>>16)&0x0F)] + (((ir>>16)&0x0F) == 0x0F ? 4 : 0))
|
nkeynes@37 | 395 | #define RD(ir) (armr.r[((ir>>12)&0x0F)] + (((ir>>12)&0x0F) == 0x0F ? 4 : 0))
|
nkeynes@5 | 396 | #define RDn(ir) ((ir>>12)&0x0F)
|
nkeynes@37 | 397 | #define RS(ir) (armr.r[((ir>>8)&0x0F)] + (((ir>>8)&0x0F) == 0x0F ? 4 : 0))
|
nkeynes@37 | 398 | #define RM(ir) (armr.r[(ir&0x0F)] + (((ir&0x0F) == 0x0F ? 4 : 0)) )
|
nkeynes@5 | 399 | #define LRN(ir) armr.r[((ir>>16)&0x0F)]
|
nkeynes@5 | 400 | #define LRD(ir) armr.r[((ir>>12)&0x0F)]
|
nkeynes@5 | 401 | #define LRS(ir) armr.r[((ir>>8)&0x0F)]
|
nkeynes@5 | 402 | #define LRM(ir) armr.r[(ir&0x0F)]
|
nkeynes@5 | 403 |
|
nkeynes@5 | 404 | #define IMM8(ir) (ir&0xFF)
|
nkeynes@5 | 405 | #define IMM12(ir) (ir&0xFFF)
|
nkeynes@7 | 406 | #define SHIFTIMM(ir) ((ir>>7)&0x1F)
|
nkeynes@7 | 407 | #define IMMROT(ir) ((ir>>7)&0x1E)
|
nkeynes@37 | 408 | #define ROTIMM12(ir) ROTATE_RIGHT_LONG(IMM8(ir),IMMROT(ir))
|
nkeynes@431 | 409 | #define SIGNEXT24(n) (((n)&0x00800000) ? ((n)|0xFF000000) : ((n)&0x00FFFFFF))
|
nkeynes@5 | 410 | #define SHIFT(ir) ((ir>>4)&0x07)
|
nkeynes@5 | 411 | #define DISP24(ir) ((ir&0x00FFFFFF))
|
nkeynes@37 | 412 | #define UNDEF(ir) do{ arm_raise_exception( EXC_UNDEFINED ); return TRUE; } while(0)
|
nkeynes@46 | 413 | #define UNIMP(ir) do{ PC-=4; ERROR( "Halted on unimplemented instruction at %08x, opcode = %04x", PC, ir ); dreamcast_stop(); return FALSE; }while(0)
|
nkeynes@7 | 414 |
|
nkeynes@37 | 415 | /**
|
nkeynes@37 | 416 | * Determine the value of the shift-operand for a data processing instruction,
|
nkeynes@37 | 417 | * without determing a value for shift_C (optimized form for instructions that
|
nkeynes@37 | 418 | * don't require shift_C ).
|
nkeynes@37 | 419 | * @see s5.1 Addressing Mode 1 - Data-processing operands (p A5-2, 218)
|
nkeynes@37 | 420 | */
|
nkeynes@5 | 421 | static uint32_t arm_get_shift_operand( uint32_t ir )
|
nkeynes@5 | 422 | {
|
nkeynes@5 | 423 | uint32_t operand, tmp;
|
nkeynes@5 | 424 | if( IFLAG(ir) == 0 ) {
|
nkeynes@5 | 425 | operand = RM(ir);
|
nkeynes@5 | 426 | switch(SHIFT(ir)) {
|
nkeynes@5 | 427 | case 0: /* (Rm << imm) */
|
nkeynes@5 | 428 | operand = operand << SHIFTIMM(ir);
|
nkeynes@5 | 429 | break;
|
nkeynes@5 | 430 | case 1: /* (Rm << Rs) */
|
nkeynes@5 | 431 | tmp = RS(ir)&0xFF;
|
nkeynes@5 | 432 | if( tmp > 31 ) operand = 0;
|
nkeynes@5 | 433 | else operand = operand << tmp;
|
nkeynes@5 | 434 | break;
|
nkeynes@5 | 435 | case 2: /* (Rm >> imm) */
|
nkeynes@5 | 436 | operand = operand >> SHIFTIMM(ir);
|
nkeynes@5 | 437 | break;
|
nkeynes@5 | 438 | case 3: /* (Rm >> Rs) */
|
nkeynes@5 | 439 | tmp = RS(ir) & 0xFF;
|
nkeynes@5 | 440 | if( tmp > 31 ) operand = 0;
|
nkeynes@5 | 441 | else operand = operand >> ir;
|
nkeynes@5 | 442 | break;
|
nkeynes@5 | 443 | case 4: /* (Rm >>> imm) */
|
nkeynes@5 | 444 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 445 | if( tmp == 0 ) operand = ((int32_t)operand) >> 31;
|
nkeynes@5 | 446 | else operand = ((int32_t)operand) >> tmp;
|
nkeynes@5 | 447 | break;
|
nkeynes@5 | 448 | case 5: /* (Rm >>> Rs) */
|
nkeynes@5 | 449 | tmp = RS(ir) & 0xFF;
|
nkeynes@5 | 450 | if( tmp > 31 ) operand = ((int32_t)operand) >> 31;
|
nkeynes@5 | 451 | else operand = ((int32_t)operand) >> tmp;
|
nkeynes@5 | 452 | break;
|
nkeynes@5 | 453 | case 6:
|
nkeynes@5 | 454 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 455 | if( tmp == 0 ) /* RRX aka rotate with carry */
|
nkeynes@7 | 456 | operand = (operand >> 1) | (armr.c<<31);
|
nkeynes@5 | 457 | else
|
nkeynes@5 | 458 | operand = ROTATE_RIGHT_LONG(operand,tmp);
|
nkeynes@5 | 459 | break;
|
nkeynes@5 | 460 | case 7:
|
nkeynes@5 | 461 | tmp = RS(ir)&0x1F;
|
nkeynes@5 | 462 | operand = ROTATE_RIGHT_LONG(operand,tmp);
|
nkeynes@5 | 463 | break;
|
nkeynes@5 | 464 | }
|
nkeynes@5 | 465 | } else {
|
nkeynes@5 | 466 | operand = IMM8(ir);
|
nkeynes@5 | 467 | tmp = IMMROT(ir);
|
nkeynes@5 | 468 | operand = ROTATE_RIGHT_LONG(operand, tmp);
|
nkeynes@5 | 469 | }
|
nkeynes@5 | 470 | return operand;
|
nkeynes@5 | 471 | }
|
nkeynes@5 | 472 |
|
nkeynes@5 | 473 | /**
|
nkeynes@37 | 474 | * Determine the value of the shift-operand for a data processing instruction,
|
nkeynes@37 | 475 | * and set armr.shift_c accordingly.
|
nkeynes@37 | 476 | * @see s5.1 Addressing Mode 1 - Data-processing operands (p A5-2, 218)
|
nkeynes@5 | 477 | */
|
nkeynes@5 | 478 | static uint32_t arm_get_shift_operand_s( uint32_t ir )
|
nkeynes@5 | 479 | {
|
nkeynes@5 | 480 | uint32_t operand, tmp;
|
nkeynes@5 | 481 | if( IFLAG(ir) == 0 ) {
|
nkeynes@5 | 482 | operand = RM(ir);
|
nkeynes@5 | 483 | switch(SHIFT(ir)) {
|
nkeynes@5 | 484 | case 0: /* (Rm << imm) */
|
nkeynes@5 | 485 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 486 | if( tmp == 0 ) { /* Rm */
|
nkeynes@5 | 487 | armr.shift_c = armr.c;
|
nkeynes@5 | 488 | } else { /* Rm << imm */
|
nkeynes@5 | 489 | armr.shift_c = (operand >> (32-tmp)) & 0x01;
|
nkeynes@5 | 490 | operand = operand << tmp;
|
nkeynes@5 | 491 | }
|
nkeynes@5 | 492 | break;
|
nkeynes@5 | 493 | case 1: /* (Rm << Rs) */
|
nkeynes@5 | 494 | tmp = RS(ir)&0xFF;
|
nkeynes@5 | 495 | if( tmp == 0 ) {
|
nkeynes@5 | 496 | armr.shift_c = armr.c;
|
nkeynes@5 | 497 | } else {
|
nkeynes@5 | 498 | if( tmp <= 32 )
|
nkeynes@5 | 499 | armr.shift_c = (operand >> (32-tmp)) & 0x01;
|
nkeynes@5 | 500 | else armr.shift_c = 0;
|
nkeynes@5 | 501 | if( tmp < 32 )
|
nkeynes@5 | 502 | operand = operand << tmp;
|
nkeynes@5 | 503 | else operand = 0;
|
nkeynes@5 | 504 | }
|
nkeynes@5 | 505 | break;
|
nkeynes@5 | 506 | case 2: /* (Rm >> imm) */
|
nkeynes@5 | 507 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 508 | if( tmp == 0 ) {
|
nkeynes@5 | 509 | armr.shift_c = operand >> 31;
|
nkeynes@5 | 510 | operand = 0;
|
nkeynes@5 | 511 | } else {
|
nkeynes@5 | 512 | armr.shift_c = (operand >> (tmp-1)) & 0x01;
|
nkeynes@5 | 513 | operand = RM(ir) >> tmp;
|
nkeynes@5 | 514 | }
|
nkeynes@5 | 515 | break;
|
nkeynes@5 | 516 | case 3: /* (Rm >> Rs) */
|
nkeynes@5 | 517 | tmp = RS(ir) & 0xFF;
|
nkeynes@5 | 518 | if( tmp == 0 ) {
|
nkeynes@5 | 519 | armr.shift_c = armr.c;
|
nkeynes@5 | 520 | } else {
|
nkeynes@5 | 521 | if( tmp <= 32 )
|
nkeynes@5 | 522 | armr.shift_c = (operand >> (tmp-1))&0x01;
|
nkeynes@5 | 523 | else armr.shift_c = 0;
|
nkeynes@5 | 524 | if( tmp < 32 )
|
nkeynes@5 | 525 | operand = operand >> tmp;
|
nkeynes@5 | 526 | else operand = 0;
|
nkeynes@5 | 527 | }
|
nkeynes@5 | 528 | break;
|
nkeynes@5 | 529 | case 4: /* (Rm >>> imm) */
|
nkeynes@5 | 530 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 531 | if( tmp == 0 ) {
|
nkeynes@5 | 532 | armr.shift_c = operand >> 31;
|
nkeynes@5 | 533 | operand = -armr.shift_c;
|
nkeynes@5 | 534 | } else {
|
nkeynes@5 | 535 | armr.shift_c = (operand >> (tmp-1)) & 0x01;
|
nkeynes@5 | 536 | operand = ((int32_t)operand) >> tmp;
|
nkeynes@5 | 537 | }
|
nkeynes@5 | 538 | break;
|
nkeynes@5 | 539 | case 5: /* (Rm >>> Rs) */
|
nkeynes@5 | 540 | tmp = RS(ir) & 0xFF;
|
nkeynes@5 | 541 | if( tmp == 0 ) {
|
nkeynes@5 | 542 | armr.shift_c = armr.c;
|
nkeynes@5 | 543 | } else {
|
nkeynes@5 | 544 | if( tmp < 32 ) {
|
nkeynes@5 | 545 | armr.shift_c = (operand >> (tmp-1))&0x01;
|
nkeynes@5 | 546 | operand = ((int32_t)operand) >> tmp;
|
nkeynes@5 | 547 | } else {
|
nkeynes@5 | 548 | armr.shift_c = operand >> 31;
|
nkeynes@5 | 549 | operand = ((int32_t)operand) >> 31;
|
nkeynes@5 | 550 | }
|
nkeynes@5 | 551 | }
|
nkeynes@5 | 552 | break;
|
nkeynes@5 | 553 | case 6:
|
nkeynes@5 | 554 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 555 | if( tmp == 0 ) { /* RRX aka rotate with carry */
|
nkeynes@5 | 556 | armr.shift_c = operand&0x01;
|
nkeynes@7 | 557 | operand = (operand >> 1) | (armr.c<<31);
|
nkeynes@5 | 558 | } else {
|
nkeynes@5 | 559 | armr.shift_c = operand>>(tmp-1);
|
nkeynes@5 | 560 | operand = ROTATE_RIGHT_LONG(operand,tmp);
|
nkeynes@5 | 561 | }
|
nkeynes@5 | 562 | break;
|
nkeynes@5 | 563 | case 7:
|
nkeynes@5 | 564 | tmp = RS(ir)&0xFF;
|
nkeynes@5 | 565 | if( tmp == 0 ) {
|
nkeynes@5 | 566 | armr.shift_c = armr.c;
|
nkeynes@5 | 567 | } else {
|
nkeynes@5 | 568 | tmp &= 0x1F;
|
nkeynes@5 | 569 | if( tmp == 0 ) {
|
nkeynes@5 | 570 | armr.shift_c = operand>>31;
|
nkeynes@5 | 571 | } else {
|
nkeynes@5 | 572 | armr.shift_c = (operand>>(tmp-1))&0x1;
|
nkeynes@5 | 573 | operand = ROTATE_RIGHT_LONG(operand,tmp);
|
nkeynes@5 | 574 | }
|
nkeynes@5 | 575 | }
|
nkeynes@5 | 576 | break;
|
nkeynes@5 | 577 | }
|
nkeynes@5 | 578 | } else {
|
nkeynes@5 | 579 | operand = IMM8(ir);
|
nkeynes@5 | 580 | tmp = IMMROT(ir);
|
nkeynes@5 | 581 | if( tmp == 0 ) {
|
nkeynes@5 | 582 | armr.shift_c = armr.c;
|
nkeynes@5 | 583 | } else {
|
nkeynes@5 | 584 | operand = ROTATE_RIGHT_LONG(operand, tmp);
|
nkeynes@5 | 585 | armr.shift_c = operand>>31;
|
nkeynes@5 | 586 | }
|
nkeynes@5 | 587 | }
|
nkeynes@5 | 588 | return operand;
|
nkeynes@5 | 589 | }
|
nkeynes@5 | 590 |
|
nkeynes@5 | 591 | /**
|
nkeynes@5 | 592 | * Another variant of the shifter code for index-based memory addressing.
|
nkeynes@5 | 593 | * Distinguished by the fact that it doesn't support register shifts, and
|
nkeynes@5 | 594 | * ignores the I flag (WTF do the load/store instructions use the I flag to
|
nkeynes@5 | 595 | * mean the _exact opposite_ of what it means for the data processing
|
nkeynes@5 | 596 | * instructions ???)
|
nkeynes@5 | 597 | */
|
nkeynes@5 | 598 | static uint32_t arm_get_address_index( uint32_t ir )
|
nkeynes@5 | 599 | {
|
nkeynes@5 | 600 | uint32_t operand = RM(ir);
|
nkeynes@7 | 601 | uint32_t tmp;
|
nkeynes@7 | 602 |
|
nkeynes@5 | 603 | switch(SHIFT(ir)) {
|
nkeynes@5 | 604 | case 0: /* (Rm << imm) */
|
nkeynes@5 | 605 | operand = operand << SHIFTIMM(ir);
|
nkeynes@5 | 606 | break;
|
nkeynes@5 | 607 | case 2: /* (Rm >> imm) */
|
nkeynes@5 | 608 | operand = operand >> SHIFTIMM(ir);
|
nkeynes@5 | 609 | break;
|
nkeynes@5 | 610 | case 4: /* (Rm >>> imm) */
|
nkeynes@5 | 611 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 612 | if( tmp == 0 ) operand = ((int32_t)operand) >> 31;
|
nkeynes@5 | 613 | else operand = ((int32_t)operand) >> tmp;
|
nkeynes@5 | 614 | break;
|
nkeynes@5 | 615 | case 6:
|
nkeynes@5 | 616 | tmp = SHIFTIMM(ir);
|
nkeynes@5 | 617 | if( tmp == 0 ) /* RRX aka rotate with carry */
|
nkeynes@7 | 618 | operand = (operand >> 1) | (armr.c<<31);
|
nkeynes@5 | 619 | else
|
nkeynes@5 | 620 | operand = ROTATE_RIGHT_LONG(operand,tmp);
|
nkeynes@5 | 621 | break;
|
nkeynes@5 | 622 | default: UNIMP(ir);
|
nkeynes@5 | 623 | }
|
nkeynes@5 | 624 | return operand;
|
nkeynes@5 | 625 | }
|
nkeynes@5 | 626 |
|
nkeynes@37 | 627 | /**
|
nkeynes@37 | 628 | * Determine the address operand of a load/store instruction, including
|
nkeynes@37 | 629 | * applying any pre/post adjustments to the address registers.
|
nkeynes@37 | 630 | * @see s5.2 Addressing Mode 2 - Load and Store Word or Unsigned Byte
|
nkeynes@37 | 631 | * @param The instruction word.
|
nkeynes@37 | 632 | * @return The calculated address
|
nkeynes@37 | 633 | */
|
nkeynes@5 | 634 | static uint32_t arm_get_address_operand( uint32_t ir )
|
nkeynes@5 | 635 | {
|
nkeynes@431 | 636 | uint32_t addr=0;
|
nkeynes@5 | 637 |
|
nkeynes@5 | 638 | /* I P U . W */
|
nkeynes@5 | 639 | switch( (ir>>21)&0x1D ) {
|
nkeynes@5 | 640 | case 0: /* Rn -= imm offset (post-indexed) [5.2.8 A5-28] */
|
nkeynes@5 | 641 | case 1:
|
nkeynes@5 | 642 | addr = RN(ir);
|
nkeynes@7 | 643 | LRN(ir) = addr - IMM12(ir);
|
nkeynes@5 | 644 | break;
|
nkeynes@5 | 645 | case 4: /* Rn += imm offsett (post-indexed) [5.2.8 A5-28] */
|
nkeynes@5 | 646 | case 5:
|
nkeynes@5 | 647 | addr = RN(ir);
|
nkeynes@7 | 648 | LRN(ir) = addr + IMM12(ir);
|
nkeynes@5 | 649 | break;
|
nkeynes@5 | 650 | case 8: /* Rn - imm offset [5.2.2 A5-20] */
|
nkeynes@5 | 651 | addr = RN(ir) - IMM12(ir);
|
nkeynes@5 | 652 | break;
|
nkeynes@5 | 653 | case 9: /* Rn -= imm offset (pre-indexed) [5.2.5 A5-24] */
|
nkeynes@5 | 654 | addr = RN(ir) - IMM12(ir);
|
nkeynes@7 | 655 | LRN(ir) = addr;
|
nkeynes@5 | 656 | break;
|
nkeynes@5 | 657 | case 12: /* Rn + imm offset [5.2.2 A5-20] */
|
nkeynes@5 | 658 | addr = RN(ir) + IMM12(ir);
|
nkeynes@5 | 659 | break;
|
nkeynes@5 | 660 | case 13: /* Rn += imm offset [5.2.5 A5-24 ] */
|
nkeynes@5 | 661 | addr = RN(ir) + IMM12(ir);
|
nkeynes@7 | 662 | LRN(ir) = addr;
|
nkeynes@5 | 663 | break;
|
nkeynes@5 | 664 | case 16: /* Rn -= Rm (post-indexed) [5.2.10 A5-32 ] */
|
nkeynes@5 | 665 | case 17:
|
nkeynes@5 | 666 | addr = RN(ir);
|
nkeynes@7 | 667 | LRN(ir) = addr - arm_get_address_index(ir);
|
nkeynes@5 | 668 | break;
|
nkeynes@5 | 669 | case 20: /* Rn += Rm (post-indexed) [5.2.10 A5-32 ] */
|
nkeynes@5 | 670 | case 21:
|
nkeynes@5 | 671 | addr = RN(ir);
|
nkeynes@7 | 672 | LRN(ir) = addr - arm_get_address_index(ir);
|
nkeynes@5 | 673 | break;
|
nkeynes@5 | 674 | case 24: /* Rn - Rm [5.2.4 A5-23] */
|
nkeynes@5 | 675 | addr = RN(ir) - arm_get_address_index(ir);
|
nkeynes@5 | 676 | break;
|
nkeynes@5 | 677 | case 25: /* RN -= Rm (pre-indexed) [5.2.7 A5-26] */
|
nkeynes@5 | 678 | addr = RN(ir) - arm_get_address_index(ir);
|
nkeynes@7 | 679 | LRN(ir) = addr;
|
nkeynes@5 | 680 | break;
|
nkeynes@5 | 681 | case 28: /* Rn + Rm [5.2.4 A5-23] */
|
nkeynes@5 | 682 | addr = RN(ir) + arm_get_address_index(ir);
|
nkeynes@5 | 683 | break;
|
nkeynes@5 | 684 | case 29: /* RN += Rm (pre-indexed) [5.2.7 A5-26] */
|
nkeynes@5 | 685 | addr = RN(ir) + arm_get_address_index(ir);
|
nkeynes@7 | 686 | LRN(ir) = addr;
|
nkeynes@5 | 687 | break;
|
nkeynes@5 | 688 | }
|
nkeynes@5 | 689 | return addr;
|
nkeynes@5 | 690 | }
|
nkeynes@5 | 691 |
|
nkeynes@30 | 692 | gboolean arm_execute_instruction( void )
|
nkeynes@2 | 693 | {
|
nkeynes@59 | 694 | uint32_t pc;
|
nkeynes@59 | 695 | uint32_t ir;
|
nkeynes@49 | 696 | uint32_t operand, operand2, tmp, tmp2, cond;
|
nkeynes@66 | 697 | int i;
|
nkeynes@2 | 698 |
|
nkeynes@52 | 699 | tmp = armr.int_pending & (~armr.cpsr);
|
nkeynes@51 | 700 | if( tmp ) {
|
nkeynes@51 | 701 | if( tmp & CPSR_F ) {
|
nkeynes@51 | 702 | arm_raise_exception( EXC_FAST_IRQ );
|
nkeynes@51 | 703 | } else {
|
nkeynes@51 | 704 | arm_raise_exception( EXC_IRQ );
|
nkeynes@51 | 705 | }
|
nkeynes@51 | 706 | }
|
nkeynes@51 | 707 |
|
nkeynes@59 | 708 | ir = MEM_READ_LONG(PC);
|
nkeynes@59 | 709 | pc = PC + 4;
|
nkeynes@37 | 710 | PC = pc;
|
nkeynes@2 | 711 |
|
nkeynes@37 | 712 | /**
|
nkeynes@37 | 713 | * Check the condition bits first - if the condition fails return
|
nkeynes@37 | 714 | * immediately without actually looking at the rest of the instruction.
|
nkeynes@37 | 715 | */
|
nkeynes@37 | 716 | switch( COND(ir) ) {
|
nkeynes@37 | 717 | case 0: /* EQ */
|
nkeynes@37 | 718 | cond = armr.z;
|
nkeynes@37 | 719 | break;
|
nkeynes@37 | 720 | case 1: /* NE */
|
nkeynes@37 | 721 | cond = !armr.z;
|
nkeynes@37 | 722 | break;
|
nkeynes@37 | 723 | case 2: /* CS/HS */
|
nkeynes@37 | 724 | cond = armr.c;
|
nkeynes@37 | 725 | break;
|
nkeynes@37 | 726 | case 3: /* CC/LO */
|
nkeynes@37 | 727 | cond = !armr.c;
|
nkeynes@37 | 728 | break;
|
nkeynes@37 | 729 | case 4: /* MI */
|
nkeynes@37 | 730 | cond = armr.n;
|
nkeynes@37 | 731 | break;
|
nkeynes@37 | 732 | case 5: /* PL */
|
nkeynes@37 | 733 | cond = !armr.n;
|
nkeynes@37 | 734 | break;
|
nkeynes@37 | 735 | case 6: /* VS */
|
nkeynes@37 | 736 | cond = armr.v;
|
nkeynes@37 | 737 | break;
|
nkeynes@37 | 738 | case 7: /* VC */
|
nkeynes@37 | 739 | cond = !armr.v;
|
nkeynes@37 | 740 | break;
|
nkeynes@37 | 741 | case 8: /* HI */
|
nkeynes@37 | 742 | cond = armr.c && !armr.z;
|
nkeynes@37 | 743 | break;
|
nkeynes@37 | 744 | case 9: /* LS */
|
nkeynes@37 | 745 | cond = (!armr.c) || armr.z;
|
nkeynes@37 | 746 | break;
|
nkeynes@37 | 747 | case 10: /* GE */
|
nkeynes@37 | 748 | cond = (armr.n == armr.v);
|
nkeynes@37 | 749 | break;
|
nkeynes@37 | 750 | case 11: /* LT */
|
nkeynes@37 | 751 | cond = (armr.n != armr.v);
|
nkeynes@37 | 752 | break;
|
nkeynes@37 | 753 | case 12: /* GT */
|
nkeynes@37 | 754 | cond = (!armr.z) && (armr.n == armr.v);
|
nkeynes@37 | 755 | break;
|
nkeynes@37 | 756 | case 13: /* LE */
|
nkeynes@37 | 757 | cond = armr.z || (armr.n != armr.v);
|
nkeynes@37 | 758 | break;
|
nkeynes@37 | 759 | case 14: /* AL */
|
nkeynes@37 | 760 | cond = 1;
|
nkeynes@37 | 761 | break;
|
nkeynes@37 | 762 | case 15: /* (NV) */
|
nkeynes@431 | 763 | default:
|
nkeynes@37 | 764 | cond = 0;
|
nkeynes@37 | 765 | UNDEF(ir);
|
nkeynes@37 | 766 | }
|
nkeynes@86 | 767 | if( cond ) {
|
nkeynes@5 | 768 |
|
nkeynes@37 | 769 | /**
|
nkeynes@37 | 770 | * Condition passed, now for the actual instructions...
|
nkeynes@37 | 771 | */
|
nkeynes@37 | 772 | switch( GRP(ir) ) {
|
nkeynes@37 | 773 | case 0:
|
nkeynes@37 | 774 | if( (ir & 0x0D900000) == 0x01000000 ) {
|
nkeynes@37 | 775 | /* Instructions that aren't actual data processing even though
|
nkeynes@37 | 776 | * they sit in the DP instruction block.
|
nkeynes@37 | 777 | */
|
nkeynes@37 | 778 | switch( ir & 0x0FF000F0 ) {
|
nkeynes@37 | 779 | case 0x01200010: /* BX Rd */
|
nkeynes@37 | 780 | armr.t = ir & 0x01;
|
nkeynes@37 | 781 | armr.r[15] = RM(ir) & 0xFFFFFFFE;
|
nkeynes@37 | 782 | break;
|
nkeynes@37 | 783 | case 0x01000000: /* MRS Rd, CPSR */
|
nkeynes@37 | 784 | LRD(ir) = arm_get_cpsr();
|
nkeynes@37 | 785 | break;
|
nkeynes@37 | 786 | case 0x01400000: /* MRS Rd, SPSR */
|
nkeynes@37 | 787 | LRD(ir) = armr.spsr;
|
nkeynes@37 | 788 | break;
|
nkeynes@37 | 789 | case 0x01200000: /* MSR CPSR, Rd */
|
nkeynes@37 | 790 | arm_set_cpsr( RM(ir), ir );
|
nkeynes@37 | 791 | break;
|
nkeynes@37 | 792 | case 0x01600000: /* MSR SPSR, Rd */
|
nkeynes@37 | 793 | arm_set_spsr( RM(ir), ir );
|
nkeynes@37 | 794 | break;
|
nkeynes@37 | 795 | case 0x03200000: /* MSR CPSR, imm */
|
nkeynes@37 | 796 | arm_set_cpsr( ROTIMM12(ir), ir );
|
nkeynes@37 | 797 | break;
|
nkeynes@37 | 798 | case 0x03600000: /* MSR SPSR, imm */
|
nkeynes@37 | 799 | arm_set_spsr( ROTIMM12(ir), ir );
|
nkeynes@37 | 800 | break;
|
nkeynes@37 | 801 | default:
|
nkeynes@37 | 802 | UNIMP(ir);
|
nkeynes@37 | 803 | }
|
nkeynes@37 | 804 | } else if( (ir & 0x0E000090) == 0x00000090 ) {
|
nkeynes@37 | 805 | /* Neither are these */
|
nkeynes@37 | 806 | switch( (ir>>5)&0x03 ) {
|
nkeynes@37 | 807 | case 0:
|
nkeynes@37 | 808 | /* Arithmetic extension area */
|
nkeynes@37 | 809 | switch(OPCODE(ir)) {
|
nkeynes@37 | 810 | case 0: /* MUL */
|
nkeynes@51 | 811 | LRN(ir) = RM(ir) * RS(ir);
|
nkeynes@37 | 812 | break;
|
nkeynes@37 | 813 | case 1: /* MULS */
|
nkeynes@51 | 814 | tmp = RM(ir) * RS(ir);
|
nkeynes@51 | 815 | LRN(ir) = tmp;
|
nkeynes@51 | 816 | armr.n = tmp>>31;
|
nkeynes@51 | 817 | armr.z = (tmp == 0);
|
nkeynes@37 | 818 | break;
|
nkeynes@37 | 819 | case 2: /* MLA */
|
nkeynes@51 | 820 | LRN(ir) = RM(ir) * RS(ir) + RD(ir);
|
nkeynes@37 | 821 | break;
|
nkeynes@37 | 822 | case 3: /* MLAS */
|
nkeynes@51 | 823 | tmp = RM(ir) * RS(ir) + RD(ir);
|
nkeynes@51 | 824 | LRN(ir) = tmp;
|
nkeynes@51 | 825 | armr.n = tmp>>31;
|
nkeynes@51 | 826 | armr.z = (tmp == 0);
|
nkeynes@37 | 827 | break;
|
nkeynes@37 | 828 | case 8: /* UMULL */
|
nkeynes@37 | 829 | case 9: /* UMULLS */
|
nkeynes@37 | 830 | case 10: /* UMLAL */
|
nkeynes@37 | 831 | case 11: /* UMLALS */
|
nkeynes@37 | 832 | case 12: /* SMULL */
|
nkeynes@37 | 833 | case 13: /* SMULLS */
|
nkeynes@37 | 834 | case 14: /* SMLAL */
|
nkeynes@37 | 835 | case 15: /* SMLALS */
|
nkeynes@63 | 836 | UNIMP(ir);
|
nkeynes@37 | 837 | break;
|
nkeynes@37 | 838 | case 16: /* SWP */
|
nkeynes@51 | 839 | tmp = arm_read_long( RN(ir) );
|
nkeynes@51 | 840 | switch( RN(ir) & 0x03 ) {
|
nkeynes@51 | 841 | case 1:
|
nkeynes@51 | 842 | tmp = ROTATE_RIGHT_LONG(tmp, 8);
|
nkeynes@51 | 843 | break;
|
nkeynes@51 | 844 | case 2:
|
nkeynes@51 | 845 | tmp = ROTATE_RIGHT_LONG(tmp, 16);
|
nkeynes@51 | 846 | break;
|
nkeynes@51 | 847 | case 3:
|
nkeynes@51 | 848 | tmp = ROTATE_RIGHT_LONG(tmp, 24);
|
nkeynes@51 | 849 | break;
|
nkeynes@51 | 850 | }
|
nkeynes@51 | 851 | arm_write_long( RN(ir), RM(ir) );
|
nkeynes@51 | 852 | LRD(ir) = tmp;
|
nkeynes@37 | 853 | break;
|
nkeynes@37 | 854 | case 20: /* SWPB */
|
nkeynes@51 | 855 | tmp = arm_read_byte( RN(ir) );
|
nkeynes@51 | 856 | arm_write_byte( RN(ir), RM(ir) );
|
nkeynes@51 | 857 | LRD(ir) = tmp;
|
nkeynes@37 | 858 | break;
|
nkeynes@37 | 859 | default:
|
nkeynes@37 | 860 | UNIMP(ir);
|
nkeynes@5 | 861 | }
|
nkeynes@5 | 862 | break;
|
nkeynes@37 | 863 | case 1:
|
nkeynes@37 | 864 | if( LFLAG(ir) ) {
|
nkeynes@37 | 865 | /* LDRH */
|
nkeynes@37 | 866 | } else {
|
nkeynes@37 | 867 | /* STRH */
|
nkeynes@37 | 868 | }
|
nkeynes@49 | 869 | UNIMP(ir);
|
nkeynes@5 | 870 | break;
|
nkeynes@37 | 871 | case 2:
|
nkeynes@37 | 872 | if( LFLAG(ir) ) {
|
nkeynes@37 | 873 | /* LDRSB */
|
nkeynes@37 | 874 | } else {
|
nkeynes@37 | 875 | }
|
nkeynes@49 | 876 | UNIMP(ir);
|
nkeynes@5 | 877 | break;
|
nkeynes@37 | 878 | case 3:
|
nkeynes@37 | 879 | if( LFLAG(ir) ) {
|
nkeynes@37 | 880 | /* LDRSH */
|
nkeynes@37 | 881 | } else {
|
nkeynes@37 | 882 | }
|
nkeynes@49 | 883 | UNIMP(ir);
|
nkeynes@5 | 884 | break;
|
nkeynes@37 | 885 | }
|
nkeynes@37 | 886 | } else {
|
nkeynes@37 | 887 | /* Data processing */
|
nkeynes@37 | 888 |
|
nkeynes@37 | 889 | switch(OPCODE(ir)) {
|
nkeynes@37 | 890 | case 0: /* AND Rd, Rn, operand */
|
nkeynes@37 | 891 | LRD(ir) = RN(ir) & arm_get_shift_operand(ir);
|
nkeynes@37 | 892 | break;
|
nkeynes@37 | 893 | case 1: /* ANDS Rd, Rn, operand */
|
nkeynes@37 | 894 | operand = arm_get_shift_operand_s(ir) & RN(ir);
|
nkeynes@37 | 895 | LRD(ir) = operand;
|
nkeynes@37 | 896 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 897 | arm_restore_cpsr();
|
nkeynes@37 | 898 | } else {
|
nkeynes@37 | 899 | armr.n = operand>>31;
|
nkeynes@37 | 900 | armr.z = (operand == 0);
|
nkeynes@37 | 901 | armr.c = armr.shift_c;
|
nkeynes@37 | 902 | }
|
nkeynes@37 | 903 | break;
|
nkeynes@37 | 904 | case 2: /* EOR Rd, Rn, operand */
|
nkeynes@37 | 905 | LRD(ir) = RN(ir) ^ arm_get_shift_operand(ir);
|
nkeynes@37 | 906 | break;
|
nkeynes@37 | 907 | case 3: /* EORS Rd, Rn, operand */
|
nkeynes@37 | 908 | operand = arm_get_shift_operand_s(ir) ^ RN(ir);
|
nkeynes@37 | 909 | LRD(ir) = operand;
|
nkeynes@37 | 910 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 911 | arm_restore_cpsr();
|
nkeynes@37 | 912 | } else {
|
nkeynes@37 | 913 | armr.n = operand>>31;
|
nkeynes@37 | 914 | armr.z = (operand == 0);
|
nkeynes@37 | 915 | armr.c = armr.shift_c;
|
nkeynes@37 | 916 | }
|
nkeynes@37 | 917 | break;
|
nkeynes@37 | 918 | case 4: /* SUB Rd, Rn, operand */
|
nkeynes@37 | 919 | LRD(ir) = RN(ir) - arm_get_shift_operand(ir);
|
nkeynes@37 | 920 | break;
|
nkeynes@37 | 921 | case 5: /* SUBS Rd, Rn, operand */
|
nkeynes@37 | 922 | operand = RN(ir);
|
nkeynes@37 | 923 | operand2 = arm_get_shift_operand(ir);
|
nkeynes@37 | 924 | tmp = operand - operand2;
|
nkeynes@37 | 925 | LRD(ir) = tmp;
|
nkeynes@37 | 926 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 927 | arm_restore_cpsr();
|
nkeynes@37 | 928 | } else {
|
nkeynes@37 | 929 | armr.n = tmp>>31;
|
nkeynes@37 | 930 | armr.z = (tmp == 0);
|
nkeynes@37 | 931 | armr.c = IS_NOTBORROW(tmp,operand,operand2);
|
nkeynes@37 | 932 | armr.v = IS_SUBOVERFLOW(tmp,operand,operand2);
|
nkeynes@37 | 933 | }
|
nkeynes@37 | 934 | break;
|
nkeynes@37 | 935 | case 6: /* RSB Rd, operand, Rn */
|
nkeynes@37 | 936 | LRD(ir) = arm_get_shift_operand(ir) - RN(ir);
|
nkeynes@37 | 937 | break;
|
nkeynes@37 | 938 | case 7: /* RSBS Rd, operand, Rn */
|
nkeynes@37 | 939 | operand = arm_get_shift_operand(ir);
|
nkeynes@37 | 940 | operand2 = RN(ir);
|
nkeynes@37 | 941 | tmp = operand - operand2;
|
nkeynes@37 | 942 | LRD(ir) = tmp;
|
nkeynes@37 | 943 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 944 | arm_restore_cpsr();
|
nkeynes@37 | 945 | } else {
|
nkeynes@37 | 946 | armr.n = tmp>>31;
|
nkeynes@37 | 947 | armr.z = (tmp == 0);
|
nkeynes@37 | 948 | armr.c = IS_NOTBORROW(tmp,operand,operand2);
|
nkeynes@37 | 949 | armr.v = IS_SUBOVERFLOW(tmp,operand,operand2);
|
nkeynes@37 | 950 | }
|
nkeynes@37 | 951 | break;
|
nkeynes@37 | 952 | case 8: /* ADD Rd, Rn, operand */
|
nkeynes@37 | 953 | LRD(ir) = RN(ir) + arm_get_shift_operand(ir);
|
nkeynes@37 | 954 | break;
|
nkeynes@37 | 955 | case 9: /* ADDS Rd, Rn, operand */
|
nkeynes@37 | 956 | operand = arm_get_shift_operand(ir);
|
nkeynes@37 | 957 | operand2 = RN(ir);
|
nkeynes@37 | 958 | tmp = operand + operand2;
|
nkeynes@37 | 959 | LRD(ir) = tmp;
|
nkeynes@37 | 960 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 961 | arm_restore_cpsr();
|
nkeynes@37 | 962 | } else {
|
nkeynes@37 | 963 | armr.n = tmp>>31;
|
nkeynes@37 | 964 | armr.z = (tmp == 0);
|
nkeynes@37 | 965 | armr.c = IS_CARRY(tmp,operand,operand2);
|
nkeynes@37 | 966 | armr.v = IS_ADDOVERFLOW(tmp,operand,operand2);
|
nkeynes@37 | 967 | }
|
nkeynes@37 | 968 | break;
|
nkeynes@37 | 969 | case 10: /* ADC */
|
nkeynes@49 | 970 | LRD(ir) = RN(ir) + arm_get_shift_operand(ir) +
|
nkeynes@49 | 971 | (armr.c ? 1 : 0);
|
nkeynes@49 | 972 | break;
|
nkeynes@37 | 973 | case 11: /* ADCS */
|
nkeynes@49 | 974 | operand = arm_get_shift_operand(ir);
|
nkeynes@49 | 975 | operand2 = RN(ir);
|
nkeynes@49 | 976 | tmp = operand + operand2;
|
nkeynes@49 | 977 | tmp2 = tmp + armr.c ? 1 : 0;
|
nkeynes@49 | 978 | LRD(ir) = tmp2;
|
nkeynes@49 | 979 | if( RDn(ir) == 15 ) {
|
nkeynes@49 | 980 | arm_restore_cpsr();
|
nkeynes@49 | 981 | } else {
|
nkeynes@49 | 982 | armr.n = tmp >> 31;
|
nkeynes@49 | 983 | armr.z = (tmp == 0 );
|
nkeynes@49 | 984 | armr.c = IS_CARRY(tmp,operand,operand2) ||
|
nkeynes@49 | 985 | (tmp2 < tmp);
|
nkeynes@49 | 986 | armr.v = IS_ADDOVERFLOW(tmp,operand, operand2) ||
|
nkeynes@49 | 987 | ((tmp&0x80000000) != (tmp2&0x80000000));
|
nkeynes@49 | 988 | }
|
nkeynes@49 | 989 | break;
|
nkeynes@37 | 990 | case 12: /* SBC */
|
nkeynes@49 | 991 | LRD(ir) = RN(ir) - arm_get_shift_operand(ir) -
|
nkeynes@49 | 992 | (armr.c ? 0 : 1);
|
nkeynes@49 | 993 | break;
|
nkeynes@37 | 994 | case 13: /* SBCS */
|
nkeynes@49 | 995 | operand = RN(ir);
|
nkeynes@49 | 996 | operand2 = arm_get_shift_operand(ir);
|
nkeynes@49 | 997 | tmp = operand - operand2;
|
nkeynes@49 | 998 | tmp2 = tmp - (armr.c ? 0 : 1);
|
nkeynes@49 | 999 | if( RDn(ir) == 15 ) {
|
nkeynes@49 | 1000 | arm_restore_cpsr();
|
nkeynes@49 | 1001 | } else {
|
nkeynes@49 | 1002 | armr.n = tmp >> 31;
|
nkeynes@49 | 1003 | armr.z = (tmp == 0 );
|
nkeynes@49 | 1004 | armr.c = IS_NOTBORROW(tmp,operand,operand2) &&
|
nkeynes@49 | 1005 | (tmp2<tmp);
|
nkeynes@49 | 1006 | armr.v = IS_SUBOVERFLOW(tmp,operand,operand2) ||
|
nkeynes@49 | 1007 | ((tmp&0x80000000) != (tmp2&0x80000000));
|
nkeynes@49 | 1008 | }
|
nkeynes@49 | 1009 | break;
|
nkeynes@37 | 1010 | case 14: /* RSC */
|
nkeynes@49 | 1011 | LRD(ir) = arm_get_shift_operand(ir) - RN(ir) -
|
nkeynes@49 | 1012 | (armr.c ? 0 : 1);
|
nkeynes@49 | 1013 | break;
|
nkeynes@37 | 1014 | case 15: /* RSCS */
|
nkeynes@49 | 1015 | operand = arm_get_shift_operand(ir);
|
nkeynes@49 | 1016 | operand2 = RN(ir);
|
nkeynes@49 | 1017 | tmp = operand - operand2;
|
nkeynes@49 | 1018 | tmp2 = tmp - (armr.c ? 0 : 1);
|
nkeynes@49 | 1019 | if( RDn(ir) == 15 ) {
|
nkeynes@49 | 1020 | arm_restore_cpsr();
|
nkeynes@49 | 1021 | } else {
|
nkeynes@49 | 1022 | armr.n = tmp >> 31;
|
nkeynes@49 | 1023 | armr.z = (tmp == 0 );
|
nkeynes@49 | 1024 | armr.c = IS_NOTBORROW(tmp,operand,operand2) &&
|
nkeynes@49 | 1025 | (tmp2<tmp);
|
nkeynes@49 | 1026 | armr.v = IS_SUBOVERFLOW(tmp,operand,operand2) ||
|
nkeynes@49 | 1027 | ((tmp&0x80000000) != (tmp2&0x80000000));
|
nkeynes@49 | 1028 | }
|
nkeynes@37 | 1029 | break;
|
nkeynes@37 | 1030 | case 17: /* TST Rn, operand */
|
nkeynes@37 | 1031 | operand = arm_get_shift_operand_s(ir) & RN(ir);
|
nkeynes@37 | 1032 | armr.n = operand>>31;
|
nkeynes@37 | 1033 | armr.z = (operand == 0);
|
nkeynes@37 | 1034 | armr.c = armr.shift_c;
|
nkeynes@37 | 1035 | break;
|
nkeynes@37 | 1036 | case 19: /* TEQ Rn, operand */
|
nkeynes@37 | 1037 | operand = arm_get_shift_operand_s(ir) ^ RN(ir);
|
nkeynes@37 | 1038 | armr.n = operand>>31;
|
nkeynes@37 | 1039 | armr.z = (operand == 0);
|
nkeynes@37 | 1040 | armr.c = armr.shift_c;
|
nkeynes@37 | 1041 | break;
|
nkeynes@37 | 1042 | case 21: /* CMP Rn, operand */
|
nkeynes@37 | 1043 | operand = RN(ir);
|
nkeynes@37 | 1044 | operand2 = arm_get_shift_operand(ir);
|
nkeynes@37 | 1045 | tmp = operand - operand2;
|
nkeynes@37 | 1046 | armr.n = tmp>>31;
|
nkeynes@37 | 1047 | armr.z = (tmp == 0);
|
nkeynes@37 | 1048 | armr.c = IS_NOTBORROW(tmp,operand,operand2);
|
nkeynes@37 | 1049 | armr.v = IS_SUBOVERFLOW(tmp,operand,operand2);
|
nkeynes@37 | 1050 | break;
|
nkeynes@37 | 1051 | case 23: /* CMN Rn, operand */
|
nkeynes@37 | 1052 | operand = RN(ir);
|
nkeynes@37 | 1053 | operand2 = arm_get_shift_operand(ir);
|
nkeynes@37 | 1054 | tmp = operand + operand2;
|
nkeynes@37 | 1055 | armr.n = tmp>>31;
|
nkeynes@37 | 1056 | armr.z = (tmp == 0);
|
nkeynes@37 | 1057 | armr.c = IS_CARRY(tmp,operand,operand2);
|
nkeynes@37 | 1058 | armr.v = IS_ADDOVERFLOW(tmp,operand,operand2);
|
nkeynes@37 | 1059 | break;
|
nkeynes@37 | 1060 | case 24: /* ORR Rd, Rn, operand */
|
nkeynes@37 | 1061 | LRD(ir) = RN(ir) | arm_get_shift_operand(ir);
|
nkeynes@37 | 1062 | break;
|
nkeynes@37 | 1063 | case 25: /* ORRS Rd, Rn, operand */
|
nkeynes@37 | 1064 | operand = arm_get_shift_operand_s(ir) | RN(ir);
|
nkeynes@37 | 1065 | LRD(ir) = operand;
|
nkeynes@37 | 1066 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 1067 | arm_restore_cpsr();
|
nkeynes@37 | 1068 | } else {
|
nkeynes@37 | 1069 | armr.n = operand>>31;
|
nkeynes@37 | 1070 | armr.z = (operand == 0);
|
nkeynes@37 | 1071 | armr.c = armr.shift_c;
|
nkeynes@37 | 1072 | }
|
nkeynes@37 | 1073 | break;
|
nkeynes@37 | 1074 | case 26: /* MOV Rd, operand */
|
nkeynes@37 | 1075 | LRD(ir) = arm_get_shift_operand(ir);
|
nkeynes@37 | 1076 | break;
|
nkeynes@37 | 1077 | case 27: /* MOVS Rd, operand */
|
nkeynes@37 | 1078 | operand = arm_get_shift_operand_s(ir);
|
nkeynes@37 | 1079 | LRD(ir) = operand;
|
nkeynes@37 | 1080 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 1081 | arm_restore_cpsr();
|
nkeynes@37 | 1082 | } else {
|
nkeynes@37 | 1083 | armr.n = operand>>31;
|
nkeynes@37 | 1084 | armr.z = (operand == 0);
|
nkeynes@37 | 1085 | armr.c = armr.shift_c;
|
nkeynes@37 | 1086 | }
|
nkeynes@37 | 1087 | break;
|
nkeynes@37 | 1088 | case 28: /* BIC Rd, Rn, operand */
|
nkeynes@37 | 1089 | LRD(ir) = RN(ir) & (~arm_get_shift_operand(ir));
|
nkeynes@37 | 1090 | break;
|
nkeynes@37 | 1091 | case 29: /* BICS Rd, Rn, operand */
|
nkeynes@37 | 1092 | operand = RN(ir) & (~arm_get_shift_operand_s(ir));
|
nkeynes@37 | 1093 | LRD(ir) = operand;
|
nkeynes@37 | 1094 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 1095 | arm_restore_cpsr();
|
nkeynes@37 | 1096 | } else {
|
nkeynes@37 | 1097 | armr.n = operand>>31;
|
nkeynes@37 | 1098 | armr.z = (operand == 0);
|
nkeynes@37 | 1099 | armr.c = armr.shift_c;
|
nkeynes@37 | 1100 | }
|
nkeynes@37 | 1101 | break;
|
nkeynes@37 | 1102 | case 30: /* MVN Rd, operand */
|
nkeynes@37 | 1103 | LRD(ir) = ~arm_get_shift_operand(ir);
|
nkeynes@37 | 1104 | break;
|
nkeynes@37 | 1105 | case 31: /* MVNS Rd, operand */
|
nkeynes@37 | 1106 | operand = ~arm_get_shift_operand_s(ir);
|
nkeynes@37 | 1107 | LRD(ir) = operand;
|
nkeynes@37 | 1108 | if( RDn(ir) == 15 ) {
|
nkeynes@37 | 1109 | arm_restore_cpsr();
|
nkeynes@37 | 1110 | } else {
|
nkeynes@37 | 1111 | armr.n = operand>>31;
|
nkeynes@37 | 1112 | armr.z = (operand == 0);
|
nkeynes@37 | 1113 | armr.c = armr.shift_c;
|
nkeynes@37 | 1114 | }
|
nkeynes@37 | 1115 | break;
|
nkeynes@37 | 1116 | default:
|
nkeynes@37 | 1117 | UNIMP(ir);
|
nkeynes@37 | 1118 | }
|
nkeynes@5 | 1119 | }
|
nkeynes@37 | 1120 | break;
|
nkeynes@37 | 1121 | case 1: /* Load/store */
|
nkeynes@37 | 1122 | operand = arm_get_address_operand(ir);
|
nkeynes@37 | 1123 | switch( (ir>>20)&0x17 ) {
|
nkeynes@37 | 1124 | case 0: case 16: case 18: /* STR Rd, address */
|
nkeynes@37 | 1125 | arm_write_long( operand, RD(ir) );
|
nkeynes@37 | 1126 | break;
|
nkeynes@37 | 1127 | case 1: case 17: case 19: /* LDR Rd, address */
|
nkeynes@37 | 1128 | LRD(ir) = arm_read_long(operand);
|
nkeynes@37 | 1129 | break;
|
nkeynes@37 | 1130 | case 2: /* STRT Rd, address */
|
nkeynes@37 | 1131 | arm_write_long_user( operand, RD(ir) );
|
nkeynes@37 | 1132 | break;
|
nkeynes@37 | 1133 | case 3: /* LDRT Rd, address */
|
nkeynes@37 | 1134 | LRD(ir) = arm_read_long_user( operand );
|
nkeynes@37 | 1135 | break;
|
nkeynes@37 | 1136 | case 4: case 20: case 22: /* STRB Rd, address */
|
nkeynes@37 | 1137 | arm_write_byte( operand, RD(ir) );
|
nkeynes@37 | 1138 | break;
|
nkeynes@37 | 1139 | case 5: case 21: case 23: /* LDRB Rd, address */
|
nkeynes@37 | 1140 | LRD(ir) = arm_read_byte( operand );
|
nkeynes@37 | 1141 | break;
|
nkeynes@37 | 1142 | case 6: /* STRBT Rd, address */
|
nkeynes@37 | 1143 | arm_write_byte_user( operand, RD(ir) );
|
nkeynes@37 | 1144 | break;
|
nkeynes@37 | 1145 | case 7: /* LDRBT Rd, address */
|
nkeynes@37 | 1146 | LRD(ir) = arm_read_byte_user( operand );
|
nkeynes@37 | 1147 | break;
|
nkeynes@37 | 1148 | }
|
nkeynes@37 | 1149 | break;
|
nkeynes@37 | 1150 | case 2: /* Load/store multiple, branch*/
|
nkeynes@37 | 1151 | if( (ir & 0x02000000) == 0x02000000 ) { /* B[L] imm24 */
|
nkeynes@37 | 1152 | operand = (SIGNEXT24(ir&0x00FFFFFF) << 2);
|
nkeynes@37 | 1153 | if( (ir & 0x01000000) == 0x01000000 ) {
|
nkeynes@37 | 1154 | armr.r[14] = pc; /* BL */
|
nkeynes@37 | 1155 | }
|
nkeynes@37 | 1156 | armr.r[15] = pc + 4 + operand;
|
nkeynes@37 | 1157 | } else { /* Load/store multiple */
|
nkeynes@81 | 1158 | gboolean needRestore = FALSE;
|
nkeynes@46 | 1159 | operand = RN(ir);
|
nkeynes@66 | 1160 |
|
nkeynes@66 | 1161 | switch( (ir & 0x01D00000) >> 20 ) {
|
nkeynes@66 | 1162 | case 0: /* STMDA */
|
nkeynes@81 | 1163 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1164 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1165 | operand -= 4;
|
nkeynes@81 | 1166 | }
|
nkeynes@81 | 1167 | for( i=14; i>= 0; i-- ) {
|
nkeynes@66 | 1168 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1169 | arm_write_long( operand, armr.r[i] );
|
nkeynes@66 | 1170 | operand -= 4;
|
nkeynes@66 | 1171 | }
|
nkeynes@66 | 1172 | }
|
nkeynes@66 | 1173 | break;
|
nkeynes@66 | 1174 | case 1: /* LDMDA */
|
nkeynes@66 | 1175 | for( i=15; i>= 0; i-- ) {
|
nkeynes@66 | 1176 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1177 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1178 | operand -= 4;
|
nkeynes@66 | 1179 | }
|
nkeynes@66 | 1180 | }
|
nkeynes@66 | 1181 | break;
|
nkeynes@66 | 1182 | case 4: /* STMDA (S) */
|
nkeynes@81 | 1183 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1184 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1185 | operand -= 4;
|
nkeynes@81 | 1186 | }
|
nkeynes@81 | 1187 | for( i=14; i>= 0; i-- ) {
|
nkeynes@66 | 1188 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1189 | arm_write_long( operand, USER_R(i) );
|
nkeynes@66 | 1190 | operand -= 4;
|
nkeynes@66 | 1191 | }
|
nkeynes@66 | 1192 | }
|
nkeynes@66 | 1193 | break;
|
nkeynes@66 | 1194 | case 5: /* LDMDA (S) */
|
nkeynes@66 | 1195 | if( (ir&0x00008000) ) { /* Load PC */
|
nkeynes@66 | 1196 | for( i=15; i>= 0; i-- ) {
|
nkeynes@66 | 1197 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1198 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1199 | operand -= 4;
|
nkeynes@46 | 1200 | }
|
nkeynes@46 | 1201 | }
|
nkeynes@81 | 1202 | needRestore = TRUE;
|
nkeynes@46 | 1203 | } else {
|
nkeynes@66 | 1204 | for( i=15; i>= 0; i-- ) {
|
nkeynes@66 | 1205 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1206 | USER_R(i) = arm_read_long( operand );
|
nkeynes@66 | 1207 | operand -= 4;
|
nkeynes@46 | 1208 | }
|
nkeynes@46 | 1209 | }
|
nkeynes@66 | 1210 | }
|
nkeynes@66 | 1211 | break;
|
nkeynes@66 | 1212 | case 8: /* STMIA */
|
nkeynes@81 | 1213 | for( i=0; i< 15; i++ ) {
|
nkeynes@66 | 1214 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1215 | arm_write_long( operand, armr.r[i] );
|
nkeynes@66 | 1216 | operand += 4;
|
nkeynes@66 | 1217 | }
|
nkeynes@66 | 1218 | }
|
nkeynes@81 | 1219 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1220 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1221 | operand += 4;
|
nkeynes@81 | 1222 | }
|
nkeynes@66 | 1223 | break;
|
nkeynes@66 | 1224 | case 9: /* LDMIA */
|
nkeynes@66 | 1225 | for( i=0; i< 16; i++ ) {
|
nkeynes@66 | 1226 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1227 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1228 | operand += 4;
|
nkeynes@66 | 1229 | }
|
nkeynes@66 | 1230 | }
|
nkeynes@66 | 1231 | break;
|
nkeynes@66 | 1232 | case 12: /* STMIA (S) */
|
nkeynes@81 | 1233 | for( i=0; i< 15; i++ ) {
|
nkeynes@66 | 1234 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1235 | arm_write_long( operand, USER_R(i) );
|
nkeynes@66 | 1236 | operand += 4;
|
nkeynes@66 | 1237 | }
|
nkeynes@66 | 1238 | }
|
nkeynes@81 | 1239 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1240 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1241 | operand += 4;
|
nkeynes@81 | 1242 | }
|
nkeynes@66 | 1243 | break;
|
nkeynes@66 | 1244 | case 13: /* LDMIA (S) */
|
nkeynes@66 | 1245 | if( (ir&0x00008000) ) { /* Load PC */
|
nkeynes@66 | 1246 | for( i=0; i < 16; i++ ) {
|
nkeynes@66 | 1247 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1248 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1249 | operand += 4;
|
nkeynes@46 | 1250 | }
|
nkeynes@46 | 1251 | }
|
nkeynes@81 | 1252 | needRestore = TRUE;
|
nkeynes@66 | 1253 | } else {
|
nkeynes@66 | 1254 | for( i=0; i < 16; i++ ) {
|
nkeynes@66 | 1255 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1256 | USER_R(i) = arm_read_long( operand );
|
nkeynes@66 | 1257 | operand += 4;
|
nkeynes@46 | 1258 | }
|
nkeynes@46 | 1259 | }
|
nkeynes@46 | 1260 | }
|
nkeynes@66 | 1261 | break;
|
nkeynes@66 | 1262 | case 16: /* STMDB */
|
nkeynes@81 | 1263 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1264 | operand -= 4;
|
nkeynes@81 | 1265 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1266 | }
|
nkeynes@81 | 1267 | for( i=14; i>= 0; i-- ) {
|
nkeynes@66 | 1268 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1269 | operand -= 4;
|
nkeynes@66 | 1270 | arm_write_long( operand, armr.r[i] );
|
nkeynes@46 | 1271 | }
|
nkeynes@46 | 1272 | }
|
nkeynes@66 | 1273 | break;
|
nkeynes@66 | 1274 | case 17: /* LDMDB */
|
nkeynes@66 | 1275 | for( i=15; i>= 0; i-- ) {
|
nkeynes@66 | 1276 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1277 | operand -= 4;
|
nkeynes@66 | 1278 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1279 | }
|
nkeynes@66 | 1280 | }
|
nkeynes@66 | 1281 | break;
|
nkeynes@66 | 1282 | case 20: /* STMDB (S) */
|
nkeynes@81 | 1283 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1284 | operand -= 4;
|
nkeynes@81 | 1285 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1286 | }
|
nkeynes@81 | 1287 | for( i=14; i>= 0; i-- ) {
|
nkeynes@66 | 1288 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1289 | operand -= 4;
|
nkeynes@66 | 1290 | arm_write_long( operand, USER_R(i) );
|
nkeynes@66 | 1291 | }
|
nkeynes@66 | 1292 | }
|
nkeynes@66 | 1293 | break;
|
nkeynes@66 | 1294 | case 21: /* LDMDB (S) */
|
nkeynes@66 | 1295 | if( (ir&0x00008000) ) { /* Load PC */
|
nkeynes@66 | 1296 | for( i=15; i>= 0; i-- ) {
|
nkeynes@66 | 1297 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1298 | operand -= 4;
|
nkeynes@66 | 1299 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1300 | }
|
nkeynes@66 | 1301 | }
|
nkeynes@81 | 1302 | needRestore = TRUE;
|
nkeynes@66 | 1303 | } else {
|
nkeynes@66 | 1304 | for( i=15; i>= 0; i-- ) {
|
nkeynes@66 | 1305 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1306 | operand -= 4;
|
nkeynes@66 | 1307 | USER_R(i) = arm_read_long( operand );
|
nkeynes@66 | 1308 | }
|
nkeynes@66 | 1309 | }
|
nkeynes@66 | 1310 | }
|
nkeynes@66 | 1311 | break;
|
nkeynes@66 | 1312 | case 24: /* STMIB */
|
nkeynes@81 | 1313 | for( i=0; i< 15; i++ ) {
|
nkeynes@66 | 1314 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1315 | operand += 4;
|
nkeynes@66 | 1316 | arm_write_long( operand, armr.r[i] );
|
nkeynes@66 | 1317 | }
|
nkeynes@66 | 1318 | }
|
nkeynes@81 | 1319 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1320 | operand += 4;
|
nkeynes@81 | 1321 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1322 | }
|
nkeynes@66 | 1323 | break;
|
nkeynes@66 | 1324 | case 25: /* LDMIB */
|
nkeynes@66 | 1325 | for( i=0; i< 16; i++ ) {
|
nkeynes@66 | 1326 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1327 | operand += 4;
|
nkeynes@66 | 1328 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1329 | }
|
nkeynes@66 | 1330 | }
|
nkeynes@66 | 1331 | break;
|
nkeynes@66 | 1332 | case 28: /* STMIB (S) */
|
nkeynes@81 | 1333 | for( i=0; i< 15; i++ ) {
|
nkeynes@66 | 1334 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1335 | operand += 4;
|
nkeynes@66 | 1336 | arm_write_long( operand, USER_R(i) );
|
nkeynes@66 | 1337 | }
|
nkeynes@66 | 1338 | }
|
nkeynes@81 | 1339 | if( ir & 0x8000 ) {
|
nkeynes@81 | 1340 | operand += 4;
|
nkeynes@81 | 1341 | arm_write_long( operand, armr.r[15]+4 );
|
nkeynes@81 | 1342 | }
|
nkeynes@66 | 1343 | break;
|
nkeynes@66 | 1344 | case 29: /* LDMIB (S) */
|
nkeynes@66 | 1345 | if( (ir&0x00008000) ) { /* Load PC */
|
nkeynes@66 | 1346 | for( i=0; i < 16; i++ ) {
|
nkeynes@66 | 1347 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1348 | operand += 4;
|
nkeynes@66 | 1349 | armr.r[i] = arm_read_long( operand );
|
nkeynes@66 | 1350 | }
|
nkeynes@66 | 1351 | }
|
nkeynes@81 | 1352 | needRestore = TRUE;
|
nkeynes@66 | 1353 | } else {
|
nkeynes@66 | 1354 | for( i=0; i < 16; i++ ) {
|
nkeynes@66 | 1355 | if( (ir & (1<<i)) ) {
|
nkeynes@66 | 1356 | operand += 4;
|
nkeynes@66 | 1357 | USER_R(i) = arm_read_long( operand );
|
nkeynes@66 | 1358 | }
|
nkeynes@66 | 1359 | }
|
nkeynes@66 | 1360 | }
|
nkeynes@66 | 1361 | break;
|
nkeynes@46 | 1362 | }
|
nkeynes@66 | 1363 |
|
nkeynes@66 | 1364 | if( WFLAG(ir) )
|
nkeynes@66 | 1365 | LRN(ir) = operand;
|
nkeynes@81 | 1366 | if( needRestore )
|
nkeynes@81 | 1367 | arm_restore_cpsr();
|
nkeynes@37 | 1368 | }
|
nkeynes@37 | 1369 | break;
|
nkeynes@37 | 1370 | case 3: /* Copro */
|
nkeynes@51 | 1371 | if( (ir & 0x0F000000) == 0x0F000000 ) { /* SWI */
|
nkeynes@51 | 1372 | arm_raise_exception( EXC_SOFTWARE );
|
nkeynes@51 | 1373 | } else {
|
nkeynes@51 | 1374 | UNIMP(ir);
|
nkeynes@51 | 1375 | }
|
nkeynes@37 | 1376 | break;
|
nkeynes@37 | 1377 | }
|
nkeynes@86 | 1378 |
|
nkeynes@86 | 1379 | }
|
nkeynes@86 | 1380 |
|
nkeynes@86 | 1381 | if( armr.r[15] >= 0x00200000 ) {
|
nkeynes@86 | 1382 | armr.running = FALSE;
|
nkeynes@536 | 1383 | WARN( "ARM Halted: BRANCH to invalid address %08X at %08X", armr.r[15], pc );
|
nkeynes@81 | 1384 | return FALSE;
|
nkeynes@81 | 1385 | }
|
nkeynes@37 | 1386 | return TRUE;
|
nkeynes@2 | 1387 | }
|