]>
Commit | Line | Data |
---|---|---|
79aceca5 | 1 | /* |
3fc6c082 | 2 | * PowerPC emulation helpers for qemu. |
79aceca5 | 3 | * |
3fc6c082 | 4 | * Copyright (c) 2003-2005 Jocelyn Mayer |
79aceca5 FB |
5 | * |
6 | * This library is free software; you can redistribute it and/or | |
7 | * modify it under the terms of the GNU Lesser General Public | |
8 | * License as published by the Free Software Foundation; either | |
9 | * version 2 of the License, or (at your option) any later version. | |
10 | * | |
11 | * This library is distributed in the hope that it will be useful, | |
12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
14 | * Lesser General Public License for more details. | |
15 | * | |
16 | * You should have received a copy of the GNU Lesser General Public | |
17 | * License along with this library; if not, write to the Free Software | |
18 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA | |
19 | */ | |
fdabc366 FB |
20 | #include <stdarg.h> |
21 | #include <stdlib.h> | |
22 | #include <stdio.h> | |
23 | #include <string.h> | |
24 | #include <inttypes.h> | |
25 | #include <signal.h> | |
26 | #include <assert.h> | |
27 | ||
28 | #include "cpu.h" | |
29 | #include "exec-all.h" | |
9a64fbe4 FB |
30 | |
31 | //#define DEBUG_MMU | |
32 | //#define DEBUG_BATS | |
33 | //#define DEBUG_EXCEPTIONS | |
fdabc366 | 34 | //#define FLUSH_ALL_TLBS |
9a64fbe4 | 35 | |
9a64fbe4 | 36 | /*****************************************************************************/ |
3fc6c082 | 37 | /* PowerPC MMU emulation */ |
a541f297 | 38 | |
24741ef3 FB |
39 | #if defined(CONFIG_USER_ONLY) |
40 | int cpu_ppc_handle_mmu_fault (CPUState *env, uint32_t address, int rw, | |
41 | int is_user, int is_softmmu) | |
42 | { | |
43 | int exception, error_code; | |
44 | ||
45 | if (rw == 2) { | |
46 | exception = EXCP_ISI; | |
47 | error_code = 0; | |
48 | } else { | |
49 | exception = EXCP_DSI; | |
50 | error_code = 0; | |
51 | if (rw) | |
52 | error_code |= 0x02000000; | |
53 | env->spr[SPR_DAR] = address; | |
54 | env->spr[SPR_DSISR] = error_code; | |
55 | } | |
56 | env->exception_index = exception; | |
57 | env->error_code = error_code; | |
58 | return 1; | |
59 | } | |
60 | target_ulong cpu_get_phys_page_debug(CPUState *env, target_ulong addr) | |
61 | { | |
62 | return addr; | |
63 | } | |
64 | #else | |
9a64fbe4 FB |
65 | /* Perform BAT hit & translation */ |
66 | static int get_bat (CPUState *env, uint32_t *real, int *prot, | |
67 | uint32_t virtual, int rw, int type) | |
68 | { | |
69 | uint32_t *BATlt, *BATut, *BATu, *BATl; | |
70 | uint32_t base, BEPIl, BEPIu, bl; | |
71 | int i; | |
72 | int ret = -1; | |
73 | ||
74 | #if defined (DEBUG_BATS) | |
75 | if (loglevel > 0) { | |
76 | fprintf(logfile, "%s: %cBAT v 0x%08x\n", __func__, | |
77 | type == ACCESS_CODE ? 'I' : 'D', virtual); | |
78 | } | |
9a64fbe4 FB |
79 | #endif |
80 | switch (type) { | |
81 | case ACCESS_CODE: | |
82 | BATlt = env->IBAT[1]; | |
83 | BATut = env->IBAT[0]; | |
84 | break; | |
85 | default: | |
86 | BATlt = env->DBAT[1]; | |
87 | BATut = env->DBAT[0]; | |
88 | break; | |
89 | } | |
90 | #if defined (DEBUG_BATS) | |
91 | if (loglevel > 0) { | |
92 | fprintf(logfile, "%s...: %cBAT v 0x%08x\n", __func__, | |
93 | type == ACCESS_CODE ? 'I' : 'D', virtual); | |
94 | } | |
9a64fbe4 FB |
95 | #endif |
96 | base = virtual & 0xFFFC0000; | |
97 | for (i = 0; i < 4; i++) { | |
98 | BATu = &BATut[i]; | |
99 | BATl = &BATlt[i]; | |
100 | BEPIu = *BATu & 0xF0000000; | |
101 | BEPIl = *BATu & 0x0FFE0000; | |
102 | bl = (*BATu & 0x00001FFC) << 15; | |
103 | #if defined (DEBUG_BATS) | |
104 | if (loglevel > 0) { | |
105 | fprintf(logfile, "%s: %cBAT%d v 0x%08x BATu 0x%08x BATl 0x%08x\n", | |
106 | __func__, type == ACCESS_CODE ? 'I' : 'D', i, virtual, | |
107 | *BATu, *BATl); | |
9a64fbe4 FB |
108 | } |
109 | #endif | |
110 | if ((virtual & 0xF0000000) == BEPIu && | |
111 | ((virtual & 0x0FFE0000) & ~bl) == BEPIl) { | |
112 | /* BAT matches */ | |
113 | if ((msr_pr == 0 && (*BATu & 0x00000002)) || | |
114 | (msr_pr == 1 && (*BATu & 0x00000001))) { | |
115 | /* Get physical address */ | |
116 | *real = (*BATl & 0xF0000000) | | |
117 | ((virtual & 0x0FFE0000 & bl) | (*BATl & 0x0FFE0000)) | | |
a541f297 | 118 | (virtual & 0x0001F000); |
9a64fbe4 | 119 | if (*BATl & 0x00000001) |
5f21aef2 | 120 | *prot = PAGE_READ; |
9a64fbe4 | 121 | if (*BATl & 0x00000002) |
5f21aef2 | 122 | *prot = PAGE_WRITE | PAGE_READ; |
9a64fbe4 FB |
123 | #if defined (DEBUG_BATS) |
124 | if (loglevel > 0) { | |
125 | fprintf(logfile, "BAT %d match: r 0x%08x prot=%c%c\n", | |
5f21aef2 FB |
126 | i, *real, *prot & PAGE_READ ? 'R' : '-', |
127 | *prot & PAGE_WRITE ? 'W' : '-'); | |
9a64fbe4 FB |
128 | } |
129 | #endif | |
130 | ret = 0; | |
131 | break; | |
132 | } | |
133 | } | |
134 | } | |
135 | if (ret < 0) { | |
136 | #if defined (DEBUG_BATS) | |
137 | printf("no BAT match for 0x%08x:\n", virtual); | |
138 | for (i = 0; i < 4; i++) { | |
139 | BATu = &BATut[i]; | |
140 | BATl = &BATlt[i]; | |
141 | BEPIu = *BATu & 0xF0000000; | |
142 | BEPIl = *BATu & 0x0FFE0000; | |
143 | bl = (*BATu & 0x00001FFC) << 15; | |
144 | printf("%s: %cBAT%d v 0x%08x BATu 0x%08x BATl 0x%08x \n\t" | |
145 | "0x%08x 0x%08x 0x%08x\n", | |
146 | __func__, type == ACCESS_CODE ? 'I' : 'D', i, virtual, | |
147 | *BATu, *BATl, BEPIu, BEPIl, bl); | |
148 | } | |
149 | #endif | |
9a64fbe4 FB |
150 | } |
151 | /* No hit */ | |
152 | return ret; | |
153 | } | |
154 | ||
155 | /* PTE table lookup */ | |
156 | static int find_pte (uint32_t *RPN, int *prot, uint32_t base, uint32_t va, | |
157 | int h, int key, int rw) | |
158 | { | |
a541f297 | 159 | uint32_t pte0, pte1, keep = 0, access = 0; |
9a64fbe4 FB |
160 | int i, good = -1, store = 0; |
161 | int ret = -1; /* No entry found */ | |
162 | ||
163 | for (i = 0; i < 8; i++) { | |
8df1cd07 FB |
164 | pte0 = ldl_phys(base + (i * 8)); |
165 | pte1 = ldl_phys(base + (i * 8) + 4); | |
9a64fbe4 | 166 | #if defined (DEBUG_MMU) |
d094807b | 167 | if (loglevel > 0) { |
a541f297 FB |
168 | fprintf(logfile, "Load pte from 0x%08x => 0x%08x 0x%08x " |
169 | "%d %d %d 0x%08x\n", base + (i * 8), pte0, pte1, | |
170 | pte0 >> 31, h, (pte0 >> 6) & 1, va); | |
171 | } | |
9a64fbe4 FB |
172 | #endif |
173 | /* Check validity and table match */ | |
174 | if (pte0 & 0x80000000 && (h == ((pte0 >> 6) & 1))) { | |
9a64fbe4 FB |
175 | /* Check vsid & api */ |
176 | if ((pte0 & 0x7FFFFFBF) == va) { | |
9a64fbe4 FB |
177 | if (good == -1) { |
178 | good = i; | |
179 | keep = pte1; | |
180 | } else { | |
181 | /* All matches should have equal RPN, WIMG & PP */ | |
182 | if ((keep & 0xFFFFF07B) != (pte1 & 0xFFFFF07B)) { | |
a541f297 FB |
183 | if (loglevel > 0) |
184 | fprintf(logfile, "Bad RPN/WIMG/PP\n"); | |
9a64fbe4 FB |
185 | return -1; |
186 | } | |
187 | } | |
188 | /* Check access rights */ | |
189 | if (key == 0) { | |
5f21aef2 | 190 | access = PAGE_READ; |
9a64fbe4 | 191 | if ((pte1 & 0x00000003) != 0x3) |
5f21aef2 | 192 | access |= PAGE_WRITE; |
9a64fbe4 FB |
193 | } else { |
194 | switch (pte1 & 0x00000003) { | |
195 | case 0x0: | |
a541f297 | 196 | access = 0; |
9a64fbe4 FB |
197 | break; |
198 | case 0x1: | |
199 | case 0x3: | |
5f21aef2 | 200 | access = PAGE_READ; |
9a64fbe4 FB |
201 | break; |
202 | case 0x2: | |
5f21aef2 | 203 | access = PAGE_READ | PAGE_WRITE; |
9a64fbe4 FB |
204 | break; |
205 | } | |
206 | } | |
a541f297 | 207 | if (ret < 0) { |
5f21aef2 FB |
208 | if ((rw == 0 && (access & PAGE_READ)) || |
209 | (rw == 1 && (access & PAGE_WRITE))) { | |
9a64fbe4 | 210 | #if defined (DEBUG_MMU) |
a541f297 FB |
211 | if (loglevel > 0) |
212 | fprintf(logfile, "PTE access granted !\n"); | |
9a64fbe4 | 213 | #endif |
d094807b FB |
214 | good = i; |
215 | keep = pte1; | |
216 | ret = 0; | |
a541f297 FB |
217 | } else { |
218 | /* Access right violation */ | |
d094807b | 219 | ret = -2; |
9a64fbe4 | 220 | #if defined (DEBUG_MMU) |
a541f297 FB |
221 | if (loglevel > 0) |
222 | fprintf(logfile, "PTE access rejected\n"); | |
9a64fbe4 | 223 | #endif |
d094807b | 224 | } |
a541f297 FB |
225 | *prot = access; |
226 | } | |
9a64fbe4 FB |
227 | } |
228 | } | |
229 | } | |
230 | if (good != -1) { | |
231 | *RPN = keep & 0xFFFFF000; | |
232 | #if defined (DEBUG_MMU) | |
d094807b | 233 | if (loglevel > 0) { |
a541f297 | 234 | fprintf(logfile, "found PTE at addr 0x%08x prot=0x%01x ret=%d\n", |
9a64fbe4 | 235 | *RPN, *prot, ret); |
a541f297 | 236 | } |
9a64fbe4 FB |
237 | #endif |
238 | /* Update page flags */ | |
239 | if (!(keep & 0x00000100)) { | |
a541f297 | 240 | /* Access flag */ |
9a64fbe4 FB |
241 | keep |= 0x00000100; |
242 | store = 1; | |
243 | } | |
d094807b | 244 | if (!(keep & 0x00000080)) { |
a541f297 FB |
245 | if (rw && ret == 0) { |
246 | /* Change flag */ | |
9a64fbe4 FB |
247 | keep |= 0x00000080; |
248 | store = 1; | |
a541f297 FB |
249 | } else { |
250 | /* Force page fault for first write access */ | |
5f21aef2 | 251 | *prot &= ~PAGE_WRITE; |
9a64fbe4 FB |
252 | } |
253 | } | |
a541f297 | 254 | if (store) { |
8df1cd07 | 255 | stl_phys_notdirty(base + (good * 8) + 4, keep); |
a541f297 | 256 | } |
9a64fbe4 FB |
257 | } |
258 | ||
259 | return ret; | |
79aceca5 FB |
260 | } |
261 | ||
9a64fbe4 | 262 | static inline uint32_t get_pgaddr (uint32_t sdr1, uint32_t hash, uint32_t mask) |
79aceca5 | 263 | { |
9a64fbe4 | 264 | return (sdr1 & 0xFFFF0000) | (hash & mask); |
79aceca5 FB |
265 | } |
266 | ||
9a64fbe4 FB |
267 | /* Perform segment based translation */ |
268 | static int get_segment (CPUState *env, uint32_t *real, int *prot, | |
269 | uint32_t virtual, int rw, int type) | |
79aceca5 | 270 | { |
9a64fbe4 FB |
271 | uint32_t pg_addr, sdr, ptem, vsid, pgidx; |
272 | uint32_t hash, mask; | |
273 | uint32_t sr; | |
274 | int key; | |
275 | int ret = -1, ret2; | |
79aceca5 | 276 | |
9a64fbe4 FB |
277 | sr = env->sr[virtual >> 28]; |
278 | #if defined (DEBUG_MMU) | |
a541f297 FB |
279 | if (loglevel > 0) { |
280 | fprintf(logfile, "Check segment v=0x%08x %d 0x%08x nip=0x%08x " | |
281 | "lr=0x%08x ir=%d dr=%d pr=%d %d t=%d\n", | |
282 | virtual, virtual >> 28, sr, env->nip, | |
283 | env->lr, msr_ir, msr_dr, msr_pr, rw, type); | |
284 | } | |
9a64fbe4 | 285 | #endif |
a541f297 FB |
286 | key = (((sr & 0x20000000) && msr_pr == 1) || |
287 | ((sr & 0x40000000) && msr_pr == 0)) ? 1 : 0; | |
9a64fbe4 FB |
288 | if ((sr & 0x80000000) == 0) { |
289 | #if defined (DEBUG_MMU) | |
d094807b | 290 | if (loglevel > 0) |
a541f297 FB |
291 | fprintf(logfile, "pte segment: key=%d n=0x%08x\n", |
292 | key, sr & 0x10000000); | |
9a64fbe4 FB |
293 | #endif |
294 | /* Check if instruction fetch is allowed, if needed */ | |
295 | if (type != ACCESS_CODE || (sr & 0x10000000) == 0) { | |
296 | /* Page address translation */ | |
297 | vsid = sr & 0x00FFFFFF; | |
298 | pgidx = (virtual >> 12) & 0xFFFF; | |
a541f297 FB |
299 | sdr = env->sdr1; |
300 | hash = ((vsid ^ pgidx) & 0x0007FFFF) << 6; | |
9a64fbe4 FB |
301 | mask = ((sdr & 0x000001FF) << 16) | 0xFFC0; |
302 | pg_addr = get_pgaddr(sdr, hash, mask); | |
303 | ptem = (vsid << 7) | (pgidx >> 10); | |
304 | #if defined (DEBUG_MMU) | |
a541f297 FB |
305 | if (loglevel > 0) { |
306 | fprintf(logfile, "0 sdr1=0x%08x vsid=0x%06x api=0x%04x " | |
307 | "hash=0x%07x pg_addr=0x%08x\n", sdr, vsid, pgidx, hash, | |
308 | pg_addr); | |
309 | } | |
9a64fbe4 FB |
310 | #endif |
311 | /* Primary table lookup */ | |
312 | ret = find_pte(real, prot, pg_addr, ptem, 0, key, rw); | |
313 | if (ret < 0) { | |
314 | /* Secondary table lookup */ | |
315 | hash = (~hash) & 0x01FFFFC0; | |
316 | pg_addr = get_pgaddr(sdr, hash, mask); | |
317 | #if defined (DEBUG_MMU) | |
a541f297 FB |
318 | if (virtual != 0xEFFFFFFF && loglevel > 0) { |
319 | fprintf(logfile, "1 sdr1=0x%08x vsid=0x%06x api=0x%04x " | |
320 | "hash=0x%05x pg_addr=0x%08x\n", sdr, vsid, pgidx, | |
321 | hash, pg_addr); | |
322 | } | |
9a64fbe4 FB |
323 | #endif |
324 | ret2 = find_pte(real, prot, pg_addr, ptem, 1, key, rw); | |
325 | if (ret2 != -1) | |
326 | ret = ret2; | |
327 | } | |
9a64fbe4 FB |
328 | } else { |
329 | #if defined (DEBUG_MMU) | |
a541f297 FB |
330 | if (loglevel > 0) |
331 | fprintf(logfile, "No access allowed\n"); | |
9a64fbe4 | 332 | #endif |
a541f297 | 333 | ret = -3; |
9a64fbe4 FB |
334 | } |
335 | } else { | |
336 | #if defined (DEBUG_MMU) | |
a541f297 FB |
337 | if (loglevel > 0) |
338 | fprintf(logfile, "direct store...\n"); | |
9a64fbe4 FB |
339 | #endif |
340 | /* Direct-store segment : absolutely *BUGGY* for now */ | |
341 | switch (type) { | |
342 | case ACCESS_INT: | |
343 | /* Integer load/store : only access allowed */ | |
344 | break; | |
345 | case ACCESS_CODE: | |
346 | /* No code fetch is allowed in direct-store areas */ | |
347 | return -4; | |
348 | case ACCESS_FLOAT: | |
349 | /* Floating point load/store */ | |
350 | return -4; | |
351 | case ACCESS_RES: | |
352 | /* lwarx, ldarx or srwcx. */ | |
353 | return -4; | |
354 | case ACCESS_CACHE: | |
355 | /* dcba, dcbt, dcbtst, dcbf, dcbi, dcbst, dcbz, or icbi */ | |
356 | /* Should make the instruction do no-op. | |
357 | * As it already do no-op, it's quite easy :-) | |
358 | */ | |
359 | *real = virtual; | |
360 | return 0; | |
361 | case ACCESS_EXT: | |
362 | /* eciwx or ecowx */ | |
363 | return -4; | |
364 | default: | |
365 | if (logfile) { | |
366 | fprintf(logfile, "ERROR: instruction should not need " | |
367 | "address translation\n"); | |
368 | } | |
369 | printf("ERROR: instruction should not need " | |
370 | "address translation\n"); | |
371 | return -4; | |
372 | } | |
373 | if ((rw == 1 || key != 1) && (rw == 0 || key != 0)) { | |
374 | *real = virtual; | |
375 | ret = 2; | |
376 | } else { | |
377 | ret = -2; | |
378 | } | |
79aceca5 | 379 | } |
9a64fbe4 FB |
380 | |
381 | return ret; | |
79aceca5 FB |
382 | } |
383 | ||
24741ef3 FB |
384 | static int get_physical_address (CPUState *env, uint32_t *physical, int *prot, |
385 | uint32_t address, int rw, int access_type) | |
9a64fbe4 FB |
386 | { |
387 | int ret; | |
514fb8c1 | 388 | #if 0 |
9a64fbe4 FB |
389 | if (loglevel > 0) { |
390 | fprintf(logfile, "%s\n", __func__); | |
391 | } | |
514fb8c1 | 392 | #endif |
4b3686fa FB |
393 | if ((access_type == ACCESS_CODE && msr_ir == 0) || |
394 | (access_type != ACCESS_CODE && msr_dr == 0)) { | |
9a64fbe4 | 395 | /* No address translation */ |
a541f297 | 396 | *physical = address & ~0xFFF; |
5f21aef2 | 397 | *prot = PAGE_READ | PAGE_WRITE; |
9a64fbe4 FB |
398 | ret = 0; |
399 | } else { | |
400 | /* Try to find a BAT */ | |
401 | ret = get_bat(env, physical, prot, address, rw, access_type); | |
402 | if (ret < 0) { | |
403 | /* We didn't match any BAT entry */ | |
404 | ret = get_segment(env, physical, prot, address, rw, access_type); | |
405 | } | |
406 | } | |
514fb8c1 | 407 | #if 0 |
a541f297 FB |
408 | if (loglevel > 0) { |
409 | fprintf(logfile, "%s address %08x => %08x\n", | |
410 | __func__, address, *physical); | |
411 | } | |
514fb8c1 | 412 | #endif |
9a64fbe4 FB |
413 | return ret; |
414 | } | |
415 | ||
a6b025d3 FB |
416 | target_ulong cpu_get_phys_page_debug(CPUState *env, target_ulong addr) |
417 | { | |
418 | uint32_t phys_addr; | |
419 | int prot; | |
420 | ||
421 | if (get_physical_address(env, &phys_addr, &prot, addr, 0, ACCESS_INT) != 0) | |
422 | return -1; | |
423 | return phys_addr; | |
424 | } | |
9a64fbe4 | 425 | |
9a64fbe4 FB |
426 | /* Perform address translation */ |
427 | int cpu_ppc_handle_mmu_fault (CPUState *env, uint32_t address, int rw, | |
a541f297 | 428 | int is_user, int is_softmmu) |
9a64fbe4 FB |
429 | { |
430 | uint32_t physical; | |
431 | int prot; | |
432 | int exception = 0, error_code = 0; | |
a541f297 | 433 | int access_type; |
9a64fbe4 FB |
434 | int ret = 0; |
435 | ||
b769d8fe FB |
436 | if (rw == 2) { |
437 | /* code access */ | |
438 | rw = 0; | |
439 | access_type = ACCESS_CODE; | |
440 | } else { | |
441 | /* data access */ | |
442 | /* XXX: put correct access by using cpu_restore_state() | |
443 | correctly */ | |
444 | access_type = ACCESS_INT; | |
445 | // access_type = env->access_type; | |
446 | } | |
9a64fbe4 FB |
447 | if (env->user_mode_only) { |
448 | /* user mode only emulation */ | |
1ef59d0a | 449 | ret = -2; |
9a64fbe4 FB |
450 | goto do_fault; |
451 | } | |
452 | ret = get_physical_address(env, &physical, &prot, | |
453 | address, rw, access_type); | |
454 | if (ret == 0) { | |
a541f297 FB |
455 | ret = tlb_set_page(env, address & ~0xFFF, physical, prot, |
456 | is_user, is_softmmu); | |
9a64fbe4 FB |
457 | } else if (ret < 0) { |
458 | do_fault: | |
459 | #if defined (DEBUG_MMU) | |
a541f297 | 460 | if (loglevel > 0) |
7fe48483 | 461 | cpu_dump_state(env, logfile, fprintf, 0); |
9a64fbe4 FB |
462 | #endif |
463 | if (access_type == ACCESS_CODE) { | |
464 | exception = EXCP_ISI; | |
465 | switch (ret) { | |
466 | case -1: | |
467 | /* No matches in page tables */ | |
2be0071f | 468 | error_code = 0x40000000; |
9a64fbe4 FB |
469 | break; |
470 | case -2: | |
471 | /* Access rights violation */ | |
2be0071f | 472 | error_code = 0x08000000; |
9a64fbe4 FB |
473 | break; |
474 | case -3: | |
a541f297 | 475 | /* No execute protection violation */ |
2be0071f | 476 | error_code = 0x10000000; |
9a64fbe4 FB |
477 | break; |
478 | case -4: | |
479 | /* Direct store exception */ | |
480 | /* No code fetch is allowed in direct-store areas */ | |
2be0071f FB |
481 | error_code = 0x10000000; |
482 | break; | |
483 | case -5: | |
484 | /* No match in segment table */ | |
485 | exception = EXCP_ISEG; | |
486 | error_code = 0; | |
9a64fbe4 FB |
487 | break; |
488 | } | |
489 | } else { | |
490 | exception = EXCP_DSI; | |
491 | switch (ret) { | |
492 | case -1: | |
493 | /* No matches in page tables */ | |
2be0071f | 494 | error_code = 0x40000000; |
9a64fbe4 FB |
495 | break; |
496 | case -2: | |
497 | /* Access rights violation */ | |
2be0071f | 498 | error_code = 0x08000000; |
9a64fbe4 FB |
499 | break; |
500 | case -4: | |
501 | /* Direct store exception */ | |
502 | switch (access_type) { | |
503 | case ACCESS_FLOAT: | |
504 | /* Floating point load/store */ | |
505 | exception = EXCP_ALIGN; | |
506 | error_code = EXCP_ALIGN_FP; | |
507 | break; | |
508 | case ACCESS_RES: | |
509 | /* lwarx, ldarx or srwcx. */ | |
2be0071f | 510 | error_code = 0x04000000; |
9a64fbe4 FB |
511 | break; |
512 | case ACCESS_EXT: | |
513 | /* eciwx or ecowx */ | |
2be0071f | 514 | error_code = 0x04100000; |
9a64fbe4 FB |
515 | break; |
516 | default: | |
a541f297 | 517 | printf("DSI: invalid exception (%d)\n", ret); |
9a64fbe4 FB |
518 | exception = EXCP_PROGRAM; |
519 | error_code = EXCP_INVAL | EXCP_INVAL_INVAL; | |
520 | break; | |
521 | } | |
fdabc366 | 522 | break; |
2be0071f FB |
523 | case -5: |
524 | /* No match in segment table */ | |
525 | exception = EXCP_DSEG; | |
526 | error_code = 0; | |
527 | break; | |
9a64fbe4 | 528 | } |
fdabc366 | 529 | if (exception == EXCP_DSI && rw == 1) |
2be0071f | 530 | error_code |= 0x02000000; |
a541f297 | 531 | /* Store fault address */ |
3fc6c082 | 532 | env->spr[SPR_DAR] = address; |
2be0071f | 533 | env->spr[SPR_DSISR] = error_code; |
9a64fbe4 FB |
534 | } |
535 | #if 0 | |
536 | printf("%s: set exception to %d %02x\n", | |
537 | __func__, exception, error_code); | |
538 | #endif | |
539 | env->exception_index = exception; | |
540 | env->error_code = error_code; | |
9a64fbe4 FB |
541 | ret = 1; |
542 | } | |
9a64fbe4 FB |
543 | return ret; |
544 | } | |
24741ef3 | 545 | #endif |
9a64fbe4 | 546 | |
3fc6c082 FB |
547 | /*****************************************************************************/ |
548 | /* BATs management */ | |
549 | #if !defined(FLUSH_ALL_TLBS) | |
550 | static inline void do_invalidate_BAT (CPUPPCState *env, | |
551 | target_ulong BATu, target_ulong mask) | |
552 | { | |
553 | target_ulong base, end, page; | |
554 | base = BATu & ~0x0001FFFF; | |
555 | end = base + mask + 0x00020000; | |
556 | #if defined (DEBUG_BATS) | |
557 | if (loglevel != 0) | |
558 | fprintf(logfile, "Flush BAT from %08x to %08x (%08x)\n", base, end, mask); | |
559 | #endif | |
560 | for (page = base; page != end; page += TARGET_PAGE_SIZE) | |
561 | tlb_flush_page(env, page); | |
562 | #if defined (DEBUG_BATS) | |
563 | if (loglevel != 0) | |
564 | fprintf(logfile, "Flush done\n"); | |
565 | #endif | |
566 | } | |
567 | #endif | |
568 | ||
569 | static inline void dump_store_bat (CPUPPCState *env, char ID, int ul, int nr, | |
570 | target_ulong value) | |
571 | { | |
572 | #if defined (DEBUG_BATS) | |
573 | if (loglevel != 0) { | |
574 | fprintf(logfile, "Set %cBAT%d%c to 0x%08lx (0x%08lx)\n", | |
575 | ID, nr, ul == 0 ? 'u' : 'l', (unsigned long)value, | |
576 | (unsigned long)env->nip); | |
577 | } | |
578 | #endif | |
579 | } | |
580 | ||
581 | target_ulong do_load_ibatu (CPUPPCState *env, int nr) | |
582 | { | |
583 | return env->IBAT[0][nr]; | |
584 | } | |
585 | ||
586 | target_ulong do_load_ibatl (CPUPPCState *env, int nr) | |
587 | { | |
588 | return env->IBAT[1][nr]; | |
589 | } | |
590 | ||
591 | void do_store_ibatu (CPUPPCState *env, int nr, target_ulong value) | |
592 | { | |
593 | target_ulong mask; | |
594 | ||
595 | dump_store_bat(env, 'I', 0, nr, value); | |
596 | if (env->IBAT[0][nr] != value) { | |
597 | mask = (value << 15) & 0x0FFE0000UL; | |
598 | #if !defined(FLUSH_ALL_TLBS) | |
599 | do_invalidate_BAT(env, env->IBAT[0][nr], mask); | |
600 | #endif | |
601 | /* When storing valid upper BAT, mask BEPI and BRPN | |
602 | * and invalidate all TLBs covered by this BAT | |
603 | */ | |
604 | mask = (value << 15) & 0x0FFE0000UL; | |
605 | env->IBAT[0][nr] = (value & 0x00001FFFUL) | | |
606 | (value & ~0x0001FFFFUL & ~mask); | |
607 | env->IBAT[1][nr] = (env->IBAT[1][nr] & 0x0000007B) | | |
608 | (env->IBAT[1][nr] & ~0x0001FFFF & ~mask); | |
609 | #if !defined(FLUSH_ALL_TLBS) | |
610 | do_invalidate_BAT(env, env->IBAT[0][nr], mask); | |
611 | #endif | |
612 | #if defined(FLUSH_ALL_TLBS) | |
613 | tlb_flush(env, 1); | |
614 | #endif | |
615 | } | |
616 | } | |
617 | ||
618 | void do_store_ibatl (CPUPPCState *env, int nr, target_ulong value) | |
619 | { | |
620 | dump_store_bat(env, 'I', 1, nr, value); | |
621 | env->IBAT[1][nr] = value; | |
622 | } | |
623 | ||
624 | target_ulong do_load_dbatu (CPUPPCState *env, int nr) | |
625 | { | |
626 | return env->DBAT[0][nr]; | |
627 | } | |
628 | ||
629 | target_ulong do_load_dbatl (CPUPPCState *env, int nr) | |
630 | { | |
631 | return env->DBAT[1][nr]; | |
632 | } | |
633 | ||
634 | void do_store_dbatu (CPUPPCState *env, int nr, target_ulong value) | |
635 | { | |
636 | target_ulong mask; | |
637 | ||
638 | dump_store_bat(env, 'D', 0, nr, value); | |
639 | if (env->DBAT[0][nr] != value) { | |
640 | /* When storing valid upper BAT, mask BEPI and BRPN | |
641 | * and invalidate all TLBs covered by this BAT | |
642 | */ | |
643 | mask = (value << 15) & 0x0FFE0000UL; | |
644 | #if !defined(FLUSH_ALL_TLBS) | |
645 | do_invalidate_BAT(env, env->DBAT[0][nr], mask); | |
646 | #endif | |
647 | mask = (value << 15) & 0x0FFE0000UL; | |
648 | env->DBAT[0][nr] = (value & 0x00001FFFUL) | | |
649 | (value & ~0x0001FFFFUL & ~mask); | |
650 | env->DBAT[1][nr] = (env->DBAT[1][nr] & 0x0000007B) | | |
651 | (env->DBAT[1][nr] & ~0x0001FFFF & ~mask); | |
652 | #if !defined(FLUSH_ALL_TLBS) | |
653 | do_invalidate_BAT(env, env->DBAT[0][nr], mask); | |
654 | #else | |
655 | tlb_flush(env, 1); | |
656 | #endif | |
657 | } | |
658 | } | |
659 | ||
660 | void do_store_dbatl (CPUPPCState *env, int nr, target_ulong value) | |
661 | { | |
662 | dump_store_bat(env, 'D', 1, nr, value); | |
663 | env->DBAT[1][nr] = value; | |
664 | } | |
665 | ||
666 | static inline void invalidate_all_tlbs (CPUPPCState *env) | |
667 | { | |
668 | /* XXX: this needs to be completed for sotware driven TLB support */ | |
669 | tlb_flush(env, 1); | |
670 | } | |
671 | ||
672 | /*****************************************************************************/ | |
673 | /* Special registers manipulation */ | |
674 | target_ulong do_load_nip (CPUPPCState *env) | |
675 | { | |
676 | return env->nip; | |
677 | } | |
678 | ||
679 | void do_store_nip (CPUPPCState *env, target_ulong value) | |
680 | { | |
681 | env->nip = value; | |
682 | } | |
683 | ||
684 | target_ulong do_load_sdr1 (CPUPPCState *env) | |
685 | { | |
686 | return env->sdr1; | |
687 | } | |
688 | ||
689 | void do_store_sdr1 (CPUPPCState *env, target_ulong value) | |
690 | { | |
691 | #if defined (DEBUG_MMU) | |
692 | if (loglevel != 0) { | |
693 | fprintf(logfile, "%s: 0x%08lx\n", __func__, (unsigned long)value); | |
694 | } | |
695 | #endif | |
696 | if (env->sdr1 != value) { | |
697 | env->sdr1 = value; | |
698 | invalidate_all_tlbs(env); | |
699 | } | |
700 | } | |
701 | ||
702 | target_ulong do_load_sr (CPUPPCState *env, int srnum) | |
703 | { | |
704 | return env->sr[srnum]; | |
705 | } | |
706 | ||
707 | void do_store_sr (CPUPPCState *env, int srnum, target_ulong value) | |
708 | { | |
709 | #if defined (DEBUG_MMU) | |
710 | if (loglevel != 0) { | |
711 | fprintf(logfile, "%s: reg=%d 0x%08lx %08lx\n", | |
712 | __func__, srnum, (unsigned long)value, env->sr[srnum]); | |
713 | } | |
714 | #endif | |
715 | if (env->sr[srnum] != value) { | |
716 | env->sr[srnum] = value; | |
717 | #if !defined(FLUSH_ALL_TLBS) && 0 | |
718 | { | |
719 | target_ulong page, end; | |
720 | /* Invalidate 256 MB of virtual memory */ | |
721 | page = (16 << 20) * srnum; | |
722 | end = page + (16 << 20); | |
723 | for (; page != end; page += TARGET_PAGE_SIZE) | |
724 | tlb_flush_page(env, page); | |
725 | } | |
726 | #else | |
727 | invalidate_all_tlbs(env); | |
728 | #endif | |
729 | } | |
730 | } | |
731 | ||
732 | uint32_t do_load_cr (CPUPPCState *env) | |
733 | { | |
734 | return (env->crf[0] << 28) | | |
735 | (env->crf[1] << 24) | | |
736 | (env->crf[2] << 20) | | |
737 | (env->crf[3] << 16) | | |
738 | (env->crf[4] << 12) | | |
739 | (env->crf[5] << 8) | | |
740 | (env->crf[6] << 4) | | |
741 | (env->crf[7] << 0); | |
742 | } | |
743 | ||
744 | void do_store_cr (CPUPPCState *env, uint32_t value, uint32_t mask) | |
745 | { | |
746 | int i, sh; | |
747 | ||
748 | for (i = 0, sh = 7; i < 8; i++, sh --) { | |
749 | if (mask & (1 << sh)) | |
750 | env->crf[i] = (value >> (sh * 4)) & 0xFUL; | |
751 | } | |
752 | } | |
753 | ||
754 | uint32_t do_load_xer (CPUPPCState *env) | |
79aceca5 FB |
755 | { |
756 | return (xer_so << XER_SO) | | |
757 | (xer_ov << XER_OV) | | |
758 | (xer_ca << XER_CA) | | |
3fc6c082 FB |
759 | (xer_bc << XER_BC) | |
760 | (xer_cmp << XER_CMP); | |
79aceca5 FB |
761 | } |
762 | ||
3fc6c082 | 763 | void do_store_xer (CPUPPCState *env, uint32_t value) |
79aceca5 FB |
764 | { |
765 | xer_so = (value >> XER_SO) & 0x01; | |
766 | xer_ov = (value >> XER_OV) & 0x01; | |
767 | xer_ca = (value >> XER_CA) & 0x01; | |
3fc6c082 FB |
768 | xer_cmp = (value >> XER_CMP) & 0xFF; |
769 | xer_bc = (value >> XER_BC) & 0x3F; | |
79aceca5 FB |
770 | } |
771 | ||
3fc6c082 | 772 | target_ulong do_load_msr (CPUPPCState *env) |
79aceca5 | 773 | { |
3fc6c082 FB |
774 | return (msr_vr << MSR_VR) | |
775 | (msr_ap << MSR_AP) | | |
776 | (msr_sa << MSR_SA) | | |
777 | (msr_key << MSR_KEY) | | |
778 | (msr_pow << MSR_POW) | | |
779 | (msr_tlb << MSR_TLB) | | |
79aceca5 FB |
780 | (msr_ile << MSR_ILE) | |
781 | (msr_ee << MSR_EE) | | |
782 | (msr_pr << MSR_PR) | | |
783 | (msr_fp << MSR_FP) | | |
784 | (msr_me << MSR_ME) | | |
785 | (msr_fe0 << MSR_FE0) | | |
786 | (msr_se << MSR_SE) | | |
787 | (msr_be << MSR_BE) | | |
788 | (msr_fe1 << MSR_FE1) | | |
3fc6c082 | 789 | (msr_al << MSR_AL) | |
79aceca5 FB |
790 | (msr_ip << MSR_IP) | |
791 | (msr_ir << MSR_IR) | | |
792 | (msr_dr << MSR_DR) | | |
3fc6c082 FB |
793 | (msr_pe << MSR_PE) | |
794 | (msr_px << MSR_PX) | | |
79aceca5 FB |
795 | (msr_ri << MSR_RI) | |
796 | (msr_le << MSR_LE); | |
797 | } | |
798 | ||
3fc6c082 | 799 | void do_compute_hflags (CPUPPCState *env) |
79aceca5 | 800 | { |
3fc6c082 FB |
801 | /* Compute current hflags */ |
802 | env->hflags = (msr_pr << MSR_PR) | (msr_le << MSR_LE) | | |
803 | (msr_fp << MSR_FP) | (msr_fe0 << MSR_FE0) | (msr_fe1 << MSR_FE1) | | |
804 | (msr_vr << MSR_VR) | (msr_ap << MSR_AP) | (msr_sa << MSR_SA) | | |
805 | (msr_se << MSR_SE) | (msr_be << MSR_BE); | |
806 | } | |
807 | ||
808 | void do_store_msr (CPUPPCState *env, target_ulong value) | |
313adae9 | 809 | { |
3fc6c082 FB |
810 | value &= env->msr_mask; |
811 | if (((value >> MSR_IR) & 1) != msr_ir || | |
812 | ((value >> MSR_DR) & 1) != msr_dr) { | |
813 | /* Flush all tlb when changing translation mode | |
814 | * When using software driven TLB, we may also need to reload | |
815 | * all defined TLBs | |
816 | */ | |
d094807b | 817 | tlb_flush(env, 1); |
3fc6c082 | 818 | env->interrupt_request |= CPU_INTERRUPT_EXITTB; |
a541f297 | 819 | } |
3fc6c082 FB |
820 | #if 0 |
821 | if (loglevel != 0) { | |
822 | fprintf(logfile, "%s: T0 %08lx\n", __func__, value); | |
823 | } | |
824 | #endif | |
825 | msr_vr = (value >> MSR_VR) & 1; | |
826 | msr_ap = (value >> MSR_AP) & 1; | |
827 | msr_sa = (value >> MSR_SA) & 1; | |
828 | msr_key = (value >> MSR_KEY) & 1; | |
829 | msr_pow = (value >> MSR_POW) & 1; | |
830 | msr_tlb = (value >> MSR_TLB) & 1; | |
831 | msr_ile = (value >> MSR_ILE) & 1; | |
832 | msr_ee = (value >> MSR_EE) & 1; | |
833 | msr_pr = (value >> MSR_PR) & 1; | |
834 | msr_fp = (value >> MSR_FP) & 1; | |
835 | msr_me = (value >> MSR_ME) & 1; | |
836 | msr_fe0 = (value >> MSR_FE0) & 1; | |
837 | msr_se = (value >> MSR_SE) & 1; | |
838 | msr_be = (value >> MSR_BE) & 1; | |
839 | msr_fe1 = (value >> MSR_FE1) & 1; | |
840 | msr_al = (value >> MSR_AL) & 1; | |
841 | msr_ip = (value >> MSR_IP) & 1; | |
842 | msr_ir = (value >> MSR_IR) & 1; | |
843 | msr_dr = (value >> MSR_DR) & 1; | |
844 | msr_pe = (value >> MSR_PE) & 1; | |
845 | msr_px = (value >> MSR_PX) & 1; | |
846 | msr_ri = (value >> MSR_RI) & 1; | |
847 | msr_le = (value >> MSR_LE) & 1; | |
848 | do_compute_hflags(env); | |
849 | } | |
850 | ||
851 | float64 do_load_fpscr (CPUPPCState *env) | |
852 | { | |
853 | /* The 32 MSB of the target fpr are undefined. | |
854 | * They'll be zero... | |
855 | */ | |
856 | union { | |
857 | float64 d; | |
858 | struct { | |
859 | uint32_t u[2]; | |
860 | } s; | |
861 | } u; | |
862 | int i; | |
863 | ||
864 | #ifdef WORDS_BIGENDIAN | |
865 | #define WORD0 0 | |
866 | #define WORD1 1 | |
867 | #else | |
868 | #define WORD0 1 | |
869 | #define WORD1 0 | |
4b3686fa | 870 | #endif |
3fc6c082 FB |
871 | u.s.u[WORD0] = 0; |
872 | u.s.u[WORD1] = 0; | |
873 | for (i = 0; i < 8; i++) | |
874 | u.s.u[WORD1] |= env->fpscr[i] << (4 * i); | |
875 | return u.d; | |
79aceca5 FB |
876 | } |
877 | ||
3fc6c082 FB |
878 | void do_store_fpscr (CPUPPCState *env, float64 f, uint32_t mask) |
879 | { | |
880 | /* | |
881 | * We use only the 32 LSB of the incoming fpr | |
882 | */ | |
883 | union { | |
884 | double d; | |
885 | struct { | |
886 | uint32_t u[2]; | |
887 | } s; | |
888 | } u; | |
889 | int i, rnd_type; | |
890 | ||
891 | u.d = f; | |
892 | if (mask & 0x80) | |
893 | env->fpscr[0] = (env->fpscr[0] & 0x9) | ((u.s.u[WORD1] >> 28) & ~0x9); | |
894 | for (i = 1; i < 7; i++) { | |
895 | if (mask & (1 << (7 - i))) | |
896 | env->fpscr[i] = (u.s.u[WORD1] >> (4 * (7 - i))) & 0xF; | |
897 | } | |
898 | /* TODO: update FEX & VX */ | |
899 | /* Set rounding mode */ | |
900 | switch (env->fpscr[0] & 0x3) { | |
901 | case 0: | |
902 | /* Best approximation (round to nearest) */ | |
903 | rnd_type = float_round_nearest_even; | |
904 | break; | |
905 | case 1: | |
906 | /* Smaller magnitude (round toward zero) */ | |
907 | rnd_type = float_round_to_zero; | |
908 | break; | |
909 | case 2: | |
910 | /* Round toward +infinite */ | |
911 | rnd_type = float_round_up; | |
912 | break; | |
913 | default: | |
914 | case 3: | |
915 | /* Round toward -infinite */ | |
916 | rnd_type = float_round_down; | |
917 | break; | |
918 | } | |
919 | set_float_rounding_mode(rnd_type, &env->fp_status); | |
920 | } | |
921 | ||
922 | /*****************************************************************************/ | |
923 | /* Exception processing */ | |
18fba28c | 924 | #if defined (CONFIG_USER_ONLY) |
9a64fbe4 | 925 | void do_interrupt (CPUState *env) |
79aceca5 | 926 | { |
18fba28c FB |
927 | env->exception_index = -1; |
928 | } | |
9a64fbe4 | 929 | #else |
d094807b FB |
930 | static void dump_syscall(CPUState *env) |
931 | { | |
932 | fprintf(logfile, "syscall r0=0x%08x r3=0x%08x r4=0x%08x r5=0x%08x r6=0x%08x nip=0x%08x\n", | |
933 | env->gpr[0], env->gpr[3], env->gpr[4], | |
934 | env->gpr[5], env->gpr[6], env->nip); | |
935 | } | |
936 | ||
18fba28c FB |
937 | void do_interrupt (CPUState *env) |
938 | { | |
2be0071f | 939 | target_ulong msr, *srr_0, *srr_1, tmp; |
18fba28c | 940 | int excp; |
79aceca5 | 941 | |
18fba28c | 942 | excp = env->exception_index; |
3fc6c082 | 943 | msr = do_load_msr(env); |
2be0071f FB |
944 | /* The default is to use SRR0 & SRR1 to save the exception context */ |
945 | srr_0 = &env->spr[SPR_SRR0]; | |
946 | srr_1 = &env->spr[SPR_SRR1]; | |
9a64fbe4 | 947 | #if defined (DEBUG_EXCEPTIONS) |
2be0071f FB |
948 | if ((excp == EXCP_PROGRAM || excp == EXCP_DSI) && msr_pr == 1) { |
949 | if (loglevel != 0) { | |
950 | fprintf(logfile, "Raise exception at 0x%08lx => 0x%08x (%02x)\n", | |
951 | (unsigned long)env->nip, excp, env->error_code); | |
952 | cpu_dump_state(env, logfile, fprintf, 0); | |
b769d8fe | 953 | } |
79aceca5 | 954 | } |
9a64fbe4 | 955 | #endif |
b769d8fe | 956 | if (loglevel & CPU_LOG_INT) { |
2be0071f FB |
957 | fprintf(logfile, "Raise exception at 0x%08lx => 0x%08x (%02x)\n", |
958 | (unsigned long)env->nip, excp, env->error_code); | |
b769d8fe | 959 | } |
2be0071f | 960 | msr_pow = 0; |
9a64fbe4 FB |
961 | /* Generate informations in save/restore registers */ |
962 | switch (excp) { | |
2be0071f FB |
963 | /* Generic PowerPC exceptions */ |
964 | case EXCP_RESET: /* 0x0100 */ | |
965 | if (PPC_EXCP(env) != PPC_FLAGS_EXCP_40x) { | |
966 | if (msr_ip) | |
967 | excp += 0xFFC00; | |
968 | excp |= 0xFFC00000; | |
969 | } else { | |
970 | srr_0 = &env->spr[SPR_40x_SRR2]; | |
971 | srr_1 = &env->spr[SPR_40x_SRR3]; | |
972 | } | |
9a64fbe4 | 973 | goto store_next; |
2be0071f | 974 | case EXCP_MACHINE_CHECK: /* 0x0200 */ |
9a64fbe4 | 975 | if (msr_me == 0) { |
4b3686fa | 976 | cpu_abort(env, "Machine check exception while not allowed\n"); |
79aceca5 | 977 | } |
2be0071f FB |
978 | if (PPC_EXCP(env) == PPC_FLAGS_EXCP_40x) { |
979 | srr_0 = &env->spr[SPR_40x_SRR2]; | |
980 | srr_1 = &env->spr[SPR_40x_SRR3]; | |
981 | } | |
9a64fbe4 FB |
982 | msr_me = 0; |
983 | break; | |
2be0071f | 984 | case EXCP_DSI: /* 0x0300 */ |
9a64fbe4 FB |
985 | /* Store exception cause */ |
986 | /* data location address has been stored | |
987 | * when the fault has been detected | |
2be0071f | 988 | */ |
a541f297 | 989 | msr &= ~0xFFFF0000; |
a541f297 FB |
990 | #if defined (DEBUG_EXCEPTIONS) |
991 | if (loglevel) { | |
992 | fprintf(logfile, "DSI exception: DSISR=0x%08x, DAR=0x%08x\n", | |
3fc6c082 | 993 | env->spr[SPR_DSISR], env->spr[SPR_DAR]); |
a541f297 | 994 | } else { |
2be0071f FB |
995 | printf("DSI exception: DSISR=0x%08x, DAR=0x%08x\n", |
996 | env->spr[SPR_DSISR], env->spr[SPR_DAR]); | |
a541f297 FB |
997 | } |
998 | #endif | |
999 | goto store_next; | |
2be0071f | 1000 | case EXCP_ISI: /* 0x0400 */ |
9a64fbe4 | 1001 | /* Store exception cause */ |
a541f297 | 1002 | msr &= ~0xFFFF0000; |
2be0071f | 1003 | msr |= env->error_code; |
a541f297 | 1004 | #if defined (DEBUG_EXCEPTIONS) |
2be0071f | 1005 | if (loglevel != 0) { |
a541f297 FB |
1006 | fprintf(logfile, "ISI exception: msr=0x%08x, nip=0x%08x\n", |
1007 | msr, env->nip); | |
a541f297 FB |
1008 | } |
1009 | #endif | |
9a64fbe4 | 1010 | goto store_next; |
2be0071f | 1011 | case EXCP_EXTERNAL: /* 0x0500 */ |
9a64fbe4 FB |
1012 | if (msr_ee == 0) { |
1013 | #if defined (DEBUG_EXCEPTIONS) | |
1014 | if (loglevel > 0) { | |
1015 | fprintf(logfile, "Skipping hardware interrupt\n"); | |
2be0071f | 1016 | } |
9a64fbe4 | 1017 | #endif |
a541f297 | 1018 | /* Requeue it */ |
2be0071f | 1019 | env->interrupt_request |= CPU_INTERRUPT_HARD; |
9a64fbe4 | 1020 | return; |
2be0071f | 1021 | } |
9a64fbe4 | 1022 | goto store_next; |
2be0071f FB |
1023 | case EXCP_ALIGN: /* 0x0600 */ |
1024 | if (PPC_EXCP(env) != PPC_FLAGS_EXCP_601) { | |
1025 | /* Store exception cause */ | |
1026 | /* Get rS/rD and rA from faulting opcode */ | |
1027 | env->spr[SPR_DSISR] |= | |
1028 | (ldl_code((env->nip - 4)) & 0x03FF0000) >> 16; | |
1029 | /* data location address has been stored | |
1030 | * when the fault has been detected | |
1031 | */ | |
1032 | } else { | |
1033 | /* IO error exception on PowerPC 601 */ | |
1034 | /* XXX: TODO */ | |
1035 | cpu_abort(env, | |
1036 | "601 IO error exception is not implemented yet !\n"); | |
1037 | } | |
9a64fbe4 | 1038 | goto store_current; |
2be0071f | 1039 | case EXCP_PROGRAM: /* 0x0700 */ |
9a64fbe4 FB |
1040 | msr &= ~0xFFFF0000; |
1041 | switch (env->error_code & ~0xF) { | |
1042 | case EXCP_FP: | |
1043 | if (msr_fe0 == 0 && msr_fe1 == 0) { | |
1044 | #if defined (DEBUG_EXCEPTIONS) | |
1045 | printf("Ignore floating point exception\n"); | |
1046 | #endif | |
1047 | return; | |
79aceca5 | 1048 | } |
9a64fbe4 FB |
1049 | msr |= 0x00100000; |
1050 | /* Set FX */ | |
1051 | env->fpscr[7] |= 0x8; | |
1052 | /* Finally, update FEX */ | |
1053 | if ((((env->fpscr[7] & 0x3) << 3) | (env->fpscr[6] >> 1)) & | |
1054 | ((env->fpscr[1] << 1) | (env->fpscr[0] >> 3))) | |
1055 | env->fpscr[7] |= 0x4; | |
1056 | break; | |
1057 | case EXCP_INVAL: | |
4b3686fa | 1058 | // printf("Invalid instruction at 0x%08x\n", env->nip); |
9a64fbe4 FB |
1059 | msr |= 0x00080000; |
1060 | break; | |
1061 | case EXCP_PRIV: | |
1062 | msr |= 0x00040000; | |
1063 | break; | |
1064 | case EXCP_TRAP: | |
1065 | msr |= 0x00020000; | |
1066 | break; | |
1067 | default: | |
1068 | /* Should never occur */ | |
1069 | break; | |
79aceca5 | 1070 | } |
9a64fbe4 FB |
1071 | msr |= 0x00010000; |
1072 | goto store_current; | |
2be0071f | 1073 | case EXCP_NO_FP: /* 0x0800 */ |
4ecc3190 | 1074 | msr &= ~0xFFFF0000; |
9a64fbe4 FB |
1075 | goto store_current; |
1076 | case EXCP_DECR: | |
1077 | if (msr_ee == 0) { | |
2be0071f | 1078 | #if 1 |
9a64fbe4 | 1079 | /* Requeue it */ |
2be0071f FB |
1080 | env->interrupt_request |= CPU_INTERRUPT_TIMER; |
1081 | #endif | |
9a64fbe4 FB |
1082 | return; |
1083 | } | |
1084 | goto store_next; | |
2be0071f | 1085 | case EXCP_SYSCALL: /* 0x0C00 */ |
d094807b FB |
1086 | /* NOTE: this is a temporary hack to support graphics OSI |
1087 | calls from the MOL driver */ | |
1088 | if (env->gpr[3] == 0x113724fa && env->gpr[4] == 0x77810f9b && | |
1089 | env->osi_call) { | |
1090 | if (env->osi_call(env) != 0) | |
1091 | return; | |
1092 | } | |
b769d8fe | 1093 | if (loglevel & CPU_LOG_INT) { |
d094807b | 1094 | dump_syscall(env); |
b769d8fe | 1095 | } |
9a64fbe4 | 1096 | goto store_next; |
2be0071f FB |
1097 | case EXCP_TRACE: /* 0x0D00 */ |
1098 | /* XXX: TODO */ | |
1099 | cpu_abort(env, "Trace exception is not implemented yet !\n"); | |
1100 | goto store_next; | |
1101 | case EXCP_PERF: /* 0x0F00 */ | |
1102 | /* XXX: TODO */ | |
1103 | cpu_abort(env, | |
1104 | "Performance counter exception is not implemented yet !\n"); | |
1105 | goto store_next; | |
1106 | /* 32 bits PowerPC specific exceptions */ | |
1107 | case EXCP_FP_ASSIST: /* 0x0E00 */ | |
1108 | /* XXX: TODO */ | |
1109 | cpu_abort(env, "Floating point assist exception " | |
1110 | "is not implemented yet !\n"); | |
1111 | goto store_next; | |
1112 | /* 64 bits PowerPC exceptions */ | |
1113 | case EXCP_DSEG: /* 0x0380 */ | |
1114 | /* XXX: TODO */ | |
1115 | cpu_abort(env, "Data segment exception is not implemented yet !\n"); | |
9a64fbe4 | 1116 | goto store_next; |
2be0071f FB |
1117 | case EXCP_ISEG: /* 0x0480 */ |
1118 | /* XXX: TODO */ | |
1119 | cpu_abort(env, | |
1120 | "Instruction segment exception is not implemented yet !\n"); | |
9a64fbe4 | 1121 | goto store_next; |
2be0071f FB |
1122 | case EXCP_HDECR: /* 0x0980 */ |
1123 | if (msr_ee == 0) { | |
1124 | #if 1 | |
1125 | /* Requeue it */ | |
1126 | env->interrupt_request |= CPU_INTERRUPT_TIMER; | |
1127 | #endif | |
9a64fbe4 | 1128 | return; |
2be0071f FB |
1129 | } |
1130 | cpu_abort(env, | |
1131 | "Hypervisor decrementer exception is not implemented yet !\n"); | |
1132 | goto store_next; | |
1133 | /* Implementation specific exceptions */ | |
1134 | case 0x0A00: | |
1135 | if (PPC_EXCP(env) != PPC_FLAGS_EXCP_602) { | |
1136 | /* Critical interrupt on G2 */ | |
1137 | /* XXX: TODO */ | |
1138 | cpu_abort(env, "G2 critical interrupt is not implemented yet !\n"); | |
1139 | goto store_next; | |
1140 | } else { | |
1141 | cpu_abort(env, "Invalid exception 0x0A00 !\n"); | |
1142 | } | |
9a64fbe4 | 1143 | return; |
2be0071f FB |
1144 | case 0x0F20: |
1145 | switch (PPC_EXCP(env)) { | |
1146 | case PPC_FLAGS_EXCP_40x: | |
1147 | /* APU unavailable on 405 */ | |
1148 | /* XXX: TODO */ | |
1149 | cpu_abort(env, | |
1150 | "APU unavailable exception is not implemented yet !\n"); | |
1151 | goto store_next; | |
1152 | case PPC_FLAGS_EXCP_74xx: | |
1153 | /* Altivec unavailable */ | |
1154 | /* XXX: TODO */ | |
1155 | cpu_abort(env, "Altivec unavailable exception " | |
1156 | "is not implemented yet !\n"); | |
1157 | goto store_next; | |
1158 | default: | |
1159 | cpu_abort(env, "Invalid exception 0x0F20 !\n"); | |
1160 | break; | |
1161 | } | |
1162 | return; | |
1163 | case 0x1000: | |
1164 | switch (PPC_EXCP(env)) { | |
1165 | case PPC_FLAGS_EXCP_40x: | |
1166 | /* PIT on 4xx */ | |
1167 | /* XXX: TODO */ | |
1168 | cpu_abort(env, "40x PIT exception is not implemented yet !\n"); | |
1169 | goto store_next; | |
1170 | case PPC_FLAGS_EXCP_602: | |
1171 | case PPC_FLAGS_EXCP_603: | |
1172 | /* ITLBMISS on 602/603 */ | |
1173 | msr &= ~0xF00F0000; | |
1174 | msr_tgpr = 1; | |
1175 | goto store_gprs; | |
1176 | default: | |
1177 | cpu_abort(env, "Invalid exception 0x1000 !\n"); | |
1178 | break; | |
1179 | } | |
1180 | return; | |
1181 | case 0x1010: | |
1182 | switch (PPC_EXCP(env)) { | |
1183 | case PPC_FLAGS_EXCP_40x: | |
1184 | /* FIT on 4xx */ | |
1185 | cpu_abort(env, "40x FIT exception is not implemented yet !\n"); | |
1186 | /* XXX: TODO */ | |
1187 | goto store_next; | |
1188 | default: | |
1189 | cpu_abort(env, "Invalid exception 0x1010 !\n"); | |
1190 | break; | |
1191 | } | |
1192 | return; | |
1193 | case 0x1020: | |
1194 | switch (PPC_EXCP(env)) { | |
1195 | case PPC_FLAGS_EXCP_40x: | |
1196 | /* Watchdog on 4xx */ | |
1197 | /* XXX: TODO */ | |
1198 | cpu_abort(env, | |
1199 | "40x watchdog exception is not implemented yet !\n"); | |
1200 | goto store_next; | |
1201 | default: | |
1202 | cpu_abort(env, "Invalid exception 0x1020 !\n"); | |
1203 | break; | |
1204 | } | |
1205 | return; | |
1206 | case 0x1100: | |
1207 | switch (PPC_EXCP(env)) { | |
1208 | case PPC_FLAGS_EXCP_40x: | |
1209 | /* DTLBMISS on 4xx */ | |
1210 | /* XXX: TODO */ | |
1211 | cpu_abort(env, | |
1212 | "40x DTLBMISS exception is not implemented yet !\n"); | |
1213 | goto store_next; | |
1214 | case PPC_FLAGS_EXCP_602: | |
1215 | case PPC_FLAGS_EXCP_603: | |
1216 | /* DLTLBMISS on 602/603 */ | |
1217 | msr &= ~0xF00F0000; | |
1218 | msr_tgpr = 1; | |
1219 | goto store_gprs; | |
1220 | default: | |
1221 | cpu_abort(env, "Invalid exception 0x1100 !\n"); | |
1222 | break; | |
1223 | } | |
1224 | return; | |
1225 | case 0x1200: | |
1226 | switch (PPC_EXCP(env)) { | |
1227 | case PPC_FLAGS_EXCP_40x: | |
1228 | /* ITLBMISS on 4xx */ | |
1229 | /* XXX: TODO */ | |
1230 | cpu_abort(env, | |
1231 | "40x ITLBMISS exception is not implemented yet !\n"); | |
1232 | goto store_next; | |
1233 | case PPC_FLAGS_EXCP_602: | |
1234 | case PPC_FLAGS_EXCP_603: | |
1235 | /* DSTLBMISS on 602/603 */ | |
1236 | msr &= ~0xF00F0000; | |
1237 | msr_tgpr = 1; | |
1238 | store_gprs: | |
1239 | #if defined (DEBUG_SOFTWARE_TLB) | |
1240 | if (loglevel != 0) { | |
1241 | fprintf(logfile, "6xx %sTLB miss: IM %08x DM %08x IC %08x " | |
1242 | "DC %08x H1 %08x H2 %08x %08x\n", | |
1243 | excp == 0x1000 ? "I" : excp == 0x1100 ? "DL" : "DS", | |
1244 | env->spr[SPR_IMISS], env->spr[SPR_DMISS], | |
1245 | env->spr[SPR_ICMP], env->spr[SPR_DCMP], | |
1246 | env->spr[SPR_DHASH1], env->spr[SPR_DHASH2], | |
1247 | env->error_code); | |
1248 | } | |
9a64fbe4 | 1249 | #endif |
2be0071f FB |
1250 | /* Swap temporary saved registers with GPRs */ |
1251 | tmp = env->gpr[0]; | |
1252 | env->gpr[0] = env->tgpr[0]; | |
1253 | env->tgpr[0] = tmp; | |
1254 | tmp = env->gpr[1]; | |
1255 | env->gpr[1] = env->tgpr[1]; | |
1256 | env->tgpr[1] = tmp; | |
1257 | tmp = env->gpr[2]; | |
1258 | env->gpr[2] = env->tgpr[2]; | |
1259 | env->tgpr[2] = tmp; | |
1260 | tmp = env->gpr[3]; | |
1261 | env->gpr[3] = env->tgpr[3]; | |
1262 | env->tgpr[3] = tmp; | |
1263 | msr |= env->crf[0] << 28; | |
1264 | msr |= env->error_code; /* key, D/I, S/L bits */ | |
1265 | /* Set way using a LRU mechanism */ | |
1266 | msr |= (env->last_way ^ 1) << 17; | |
1267 | goto store_next; | |
1268 | default: | |
1269 | cpu_abort(env, "Invalid exception 0x1200 !\n"); | |
1270 | break; | |
1271 | } | |
1272 | return; | |
1273 | case 0x1300: | |
1274 | switch (PPC_EXCP(env)) { | |
1275 | case PPC_FLAGS_EXCP_601: | |
1276 | case PPC_FLAGS_EXCP_602: | |
1277 | case PPC_FLAGS_EXCP_603: | |
1278 | case PPC_FLAGS_EXCP_604: | |
1279 | case PPC_FLAGS_EXCP_7x0: | |
1280 | case PPC_FLAGS_EXCP_7x5: | |
1281 | /* IABR on 6xx/7xx */ | |
1282 | /* XXX: TODO */ | |
1283 | cpu_abort(env, "IABR exception is not implemented yet !\n"); | |
1284 | goto store_next; | |
1285 | default: | |
1286 | cpu_abort(env, "Invalid exception 0x1300 !\n"); | |
1287 | break; | |
1288 | } | |
1289 | return; | |
1290 | case 0x1400: | |
1291 | switch (PPC_EXCP(env)) { | |
1292 | case PPC_FLAGS_EXCP_601: | |
1293 | case PPC_FLAGS_EXCP_602: | |
1294 | case PPC_FLAGS_EXCP_603: | |
1295 | case PPC_FLAGS_EXCP_604: | |
1296 | case PPC_FLAGS_EXCP_7x0: | |
1297 | case PPC_FLAGS_EXCP_7x5: | |
1298 | /* SMI on 6xx/7xx */ | |
1299 | /* XXX: TODO */ | |
1300 | cpu_abort(env, "SMI exception is not implemented yet !\n"); | |
1301 | goto store_next; | |
1302 | default: | |
1303 | cpu_abort(env, "Invalid exception 0x1400 !\n"); | |
1304 | break; | |
1305 | } | |
1306 | return; | |
1307 | case 0x1500: | |
1308 | switch (PPC_EXCP(env)) { | |
1309 | case PPC_FLAGS_EXCP_602: | |
1310 | /* Watchdog on 602 */ | |
1311 | cpu_abort(env, | |
1312 | "602 watchdog exception is not implemented yet !\n"); | |
1313 | goto store_next; | |
1314 | case PPC_FLAGS_EXCP_970: | |
1315 | /* Soft patch exception on 970 */ | |
1316 | /* XXX: TODO */ | |
1317 | cpu_abort(env, | |
1318 | "970 soft-patch exception is not implemented yet !\n"); | |
1319 | goto store_next; | |
1320 | case PPC_FLAGS_EXCP_74xx: | |
1321 | /* VPU assist on 74xx */ | |
1322 | /* XXX: TODO */ | |
1323 | cpu_abort(env, "VPU assist exception is not implemented yet !\n"); | |
1324 | goto store_next; | |
1325 | default: | |
1326 | cpu_abort(env, "Invalid exception 0x1500 !\n"); | |
1327 | break; | |
1328 | } | |
1329 | return; | |
1330 | case 0x1600: | |
1331 | switch (PPC_EXCP(env)) { | |
1332 | case PPC_FLAGS_EXCP_602: | |
1333 | /* Emulation trap on 602 */ | |
1334 | /* XXX: TODO */ | |
1335 | cpu_abort(env, "602 emulation trap exception " | |
1336 | "is not implemented yet !\n"); | |
1337 | goto store_next; | |
1338 | case PPC_FLAGS_EXCP_970: | |
1339 | /* Maintenance exception on 970 */ | |
1340 | /* XXX: TODO */ | |
1341 | cpu_abort(env, | |
1342 | "970 maintenance exception is not implemented yet !\n"); | |
1343 | goto store_next; | |
1344 | default: | |
1345 | cpu_abort(env, "Invalid exception 0x1600 !\n"); | |
1346 | break; | |
1347 | } | |
1348 | return; | |
1349 | case 0x1700: | |
1350 | switch (PPC_EXCP(env)) { | |
1351 | case PPC_FLAGS_EXCP_7x0: | |
1352 | case PPC_FLAGS_EXCP_7x5: | |
1353 | /* Thermal management interrupt on G3 */ | |
1354 | /* XXX: TODO */ | |
1355 | cpu_abort(env, "G3 thermal management exception " | |
1356 | "is not implemented yet !\n"); | |
1357 | goto store_next; | |
1358 | case PPC_FLAGS_EXCP_970: | |
1359 | /* VPU assist on 970 */ | |
1360 | /* XXX: TODO */ | |
1361 | cpu_abort(env, | |
1362 | "970 VPU assist exception is not implemented yet !\n"); | |
1363 | goto store_next; | |
1364 | default: | |
1365 | cpu_abort(env, "Invalid exception 0x1700 !\n"); | |
1366 | break; | |
1367 | } | |
1368 | return; | |
1369 | case 0x1800: | |
1370 | switch (PPC_EXCP(env)) { | |
1371 | case PPC_FLAGS_EXCP_970: | |
1372 | /* Thermal exception on 970 */ | |
1373 | /* XXX: TODO */ | |
1374 | cpu_abort(env, "970 thermal management exception " | |
1375 | "is not implemented yet !\n"); | |
1376 | goto store_next; | |
1377 | default: | |
1378 | cpu_abort(env, "Invalid exception 0x1800 !\n"); | |
1379 | break; | |
1380 | } | |
1381 | return; | |
1382 | case 0x2000: | |
1383 | switch (PPC_EXCP(env)) { | |
1384 | case PPC_FLAGS_EXCP_40x: | |
1385 | /* DEBUG on 4xx */ | |
1386 | /* XXX: TODO */ | |
1387 | cpu_abort(env, "40x debug exception is not implemented yet !\n"); | |
1388 | goto store_next; | |
1389 | case PPC_FLAGS_EXCP_601: | |
1390 | /* Run mode exception on 601 */ | |
1391 | /* XXX: TODO */ | |
1392 | cpu_abort(env, | |
1393 | "601 run mode exception is not implemented yet !\n"); | |
1394 | goto store_next; | |
1395 | default: | |
1396 | cpu_abort(env, "Invalid exception 0x1800 !\n"); | |
1397 | break; | |
1398 | } | |
1399 | return; | |
1400 | /* Other exceptions */ | |
1401 | /* Qemu internal exceptions: | |
1402 | * we should never come here with those values: abort execution | |
1403 | */ | |
1404 | default: | |
1405 | cpu_abort(env, "Invalid exception: code %d (%04x)\n", excp, excp); | |
9a64fbe4 FB |
1406 | return; |
1407 | store_current: | |
2be0071f FB |
1408 | /* save current instruction location */ |
1409 | *srr_0 = (env->nip - 4) & 0xFFFFFFFFULL; | |
9a64fbe4 FB |
1410 | break; |
1411 | store_next: | |
2be0071f FB |
1412 | /* save next instruction location */ |
1413 | *srr_0 = env->nip & 0xFFFFFFFFULL; | |
9a64fbe4 FB |
1414 | break; |
1415 | } | |
2be0071f FB |
1416 | /* Save msr */ |
1417 | *srr_1 = msr; | |
1418 | /* If we disactivated any translation, flush TLBs */ | |
1419 | if (msr_ir || msr_dr) { | |
1420 | tlb_flush(env, 1); | |
1421 | } | |
9a64fbe4 | 1422 | /* reload MSR with correct bits */ |
9a64fbe4 FB |
1423 | msr_ee = 0; |
1424 | msr_pr = 0; | |
1425 | msr_fp = 0; | |
1426 | msr_fe0 = 0; | |
1427 | msr_se = 0; | |
1428 | msr_be = 0; | |
1429 | msr_fe1 = 0; | |
1430 | msr_ir = 0; | |
1431 | msr_dr = 0; | |
1432 | msr_ri = 0; | |
1433 | msr_le = msr_ile; | |
2be0071f | 1434 | msr_sf = msr_isf; |
3fc6c082 | 1435 | do_compute_hflags(env); |
9a64fbe4 | 1436 | /* Jump to handler */ |
2be0071f | 1437 | env->nip = excp; |
9a64fbe4 | 1438 | env->exception_index = EXCP_NONE; |
fb0eaffc | 1439 | } |
18fba28c | 1440 | #endif /* !CONFIG_USER_ONLY */ |