root / target-alpha / helper.c @ 3a6fa678
History | View | Annotate | Download (8 kB)
1 | 4c9649a9 | j_mayer | /*
|
---|---|---|---|
2 | 4c9649a9 | j_mayer | * Alpha emulation cpu helpers for qemu.
|
3 | 5fafdf24 | ths | *
|
4 | 4c9649a9 | j_mayer | * Copyright (c) 2007 Jocelyn Mayer
|
5 | 4c9649a9 | j_mayer | *
|
6 | 4c9649a9 | j_mayer | * This library is free software; you can redistribute it and/or
|
7 | 4c9649a9 | j_mayer | * modify it under the terms of the GNU Lesser General Public
|
8 | 4c9649a9 | j_mayer | * License as published by the Free Software Foundation; either
|
9 | 4c9649a9 | j_mayer | * version 2 of the License, or (at your option) any later version.
|
10 | 4c9649a9 | j_mayer | *
|
11 | 4c9649a9 | j_mayer | * This library is distributed in the hope that it will be useful,
|
12 | 4c9649a9 | j_mayer | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 | 4c9649a9 | j_mayer | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
14 | 4c9649a9 | j_mayer | * Lesser General Public License for more details.
|
15 | 4c9649a9 | j_mayer | *
|
16 | 4c9649a9 | j_mayer | * You should have received a copy of the GNU Lesser General Public
|
17 | 8167ee88 | Blue Swirl | * License along with this library; if not, see <http://www.gnu.org/licenses/>.
|
18 | 4c9649a9 | j_mayer | */
|
19 | 4c9649a9 | j_mayer | |
20 | 4c9649a9 | j_mayer | #include <stdint.h> |
21 | 4c9649a9 | j_mayer | #include <stdlib.h> |
22 | 4c9649a9 | j_mayer | #include <stdio.h> |
23 | 4c9649a9 | j_mayer | |
24 | 4c9649a9 | j_mayer | #include "cpu.h" |
25 | 4c9649a9 | j_mayer | #include "exec-all.h" |
26 | ba0e276d | Richard Henderson | #include "softfloat.h" |
27 | ba0e276d | Richard Henderson | |
28 | ba0e276d | Richard Henderson | uint64_t cpu_alpha_load_fpcr (CPUState *env) |
29 | ba0e276d | Richard Henderson | { |
30 | 8443effb | Richard Henderson | uint64_t r = 0;
|
31 | 8443effb | Richard Henderson | uint8_t t; |
32 | 8443effb | Richard Henderson | |
33 | 8443effb | Richard Henderson | t = env->fpcr_exc_status; |
34 | 8443effb | Richard Henderson | if (t) {
|
35 | 8443effb | Richard Henderson | r = FPCR_SUM; |
36 | 8443effb | Richard Henderson | if (t & float_flag_invalid) {
|
37 | 8443effb | Richard Henderson | r |= FPCR_INV; |
38 | 8443effb | Richard Henderson | } |
39 | 8443effb | Richard Henderson | if (t & float_flag_divbyzero) {
|
40 | 8443effb | Richard Henderson | r |= FPCR_DZE; |
41 | 8443effb | Richard Henderson | } |
42 | 8443effb | Richard Henderson | if (t & float_flag_overflow) {
|
43 | 8443effb | Richard Henderson | r |= FPCR_OVF; |
44 | 8443effb | Richard Henderson | } |
45 | 8443effb | Richard Henderson | if (t & float_flag_underflow) {
|
46 | 8443effb | Richard Henderson | r |= FPCR_UNF; |
47 | 8443effb | Richard Henderson | } |
48 | 8443effb | Richard Henderson | if (t & float_flag_inexact) {
|
49 | 8443effb | Richard Henderson | r |= FPCR_INE; |
50 | 8443effb | Richard Henderson | } |
51 | 8443effb | Richard Henderson | } |
52 | 8443effb | Richard Henderson | |
53 | 8443effb | Richard Henderson | t = env->fpcr_exc_mask; |
54 | 8443effb | Richard Henderson | if (t & float_flag_invalid) {
|
55 | 8443effb | Richard Henderson | r |= FPCR_INVD; |
56 | 8443effb | Richard Henderson | } |
57 | 8443effb | Richard Henderson | if (t & float_flag_divbyzero) {
|
58 | 8443effb | Richard Henderson | r |= FPCR_DZED; |
59 | 8443effb | Richard Henderson | } |
60 | 8443effb | Richard Henderson | if (t & float_flag_overflow) {
|
61 | 8443effb | Richard Henderson | r |= FPCR_OVFD; |
62 | 8443effb | Richard Henderson | } |
63 | 8443effb | Richard Henderson | if (t & float_flag_underflow) {
|
64 | 8443effb | Richard Henderson | r |= FPCR_UNFD; |
65 | 8443effb | Richard Henderson | } |
66 | 8443effb | Richard Henderson | if (t & float_flag_inexact) {
|
67 | 8443effb | Richard Henderson | r |= FPCR_INED; |
68 | 8443effb | Richard Henderson | } |
69 | 8443effb | Richard Henderson | |
70 | 8443effb | Richard Henderson | switch (env->fpcr_dyn_round) {
|
71 | ba0e276d | Richard Henderson | case float_round_nearest_even:
|
72 | 8443effb | Richard Henderson | r |= FPCR_DYN_NORMAL; |
73 | ba0e276d | Richard Henderson | break;
|
74 | ba0e276d | Richard Henderson | case float_round_down:
|
75 | 8443effb | Richard Henderson | r |= FPCR_DYN_MINUS; |
76 | ba0e276d | Richard Henderson | break;
|
77 | ba0e276d | Richard Henderson | case float_round_up:
|
78 | 8443effb | Richard Henderson | r |= FPCR_DYN_PLUS; |
79 | ba0e276d | Richard Henderson | break;
|
80 | ba0e276d | Richard Henderson | case float_round_to_zero:
|
81 | 8443effb | Richard Henderson | r |= FPCR_DYN_CHOPPED; |
82 | ba0e276d | Richard Henderson | break;
|
83 | ba0e276d | Richard Henderson | } |
84 | 8443effb | Richard Henderson | |
85 | 8443effb | Richard Henderson | if (env->fpcr_dnz) {
|
86 | 8443effb | Richard Henderson | r |= FPCR_DNZ; |
87 | 8443effb | Richard Henderson | } |
88 | 8443effb | Richard Henderson | if (env->fpcr_dnod) {
|
89 | 8443effb | Richard Henderson | r |= FPCR_DNOD; |
90 | 8443effb | Richard Henderson | } |
91 | 8443effb | Richard Henderson | if (env->fpcr_undz) {
|
92 | 8443effb | Richard Henderson | r |= FPCR_UNDZ; |
93 | 8443effb | Richard Henderson | } |
94 | 8443effb | Richard Henderson | |
95 | 8443effb | Richard Henderson | return r;
|
96 | ba0e276d | Richard Henderson | } |
97 | ba0e276d | Richard Henderson | |
98 | ba0e276d | Richard Henderson | void cpu_alpha_store_fpcr (CPUState *env, uint64_t val)
|
99 | ba0e276d | Richard Henderson | { |
100 | 8443effb | Richard Henderson | uint8_t t; |
101 | 8443effb | Richard Henderson | |
102 | 8443effb | Richard Henderson | t = 0;
|
103 | 8443effb | Richard Henderson | if (val & FPCR_INV) {
|
104 | 8443effb | Richard Henderson | t |= float_flag_invalid; |
105 | 8443effb | Richard Henderson | } |
106 | 8443effb | Richard Henderson | if (val & FPCR_DZE) {
|
107 | 8443effb | Richard Henderson | t |= float_flag_divbyzero; |
108 | 8443effb | Richard Henderson | } |
109 | 8443effb | Richard Henderson | if (val & FPCR_OVF) {
|
110 | 8443effb | Richard Henderson | t |= float_flag_overflow; |
111 | 8443effb | Richard Henderson | } |
112 | 8443effb | Richard Henderson | if (val & FPCR_UNF) {
|
113 | 8443effb | Richard Henderson | t |= float_flag_underflow; |
114 | 8443effb | Richard Henderson | } |
115 | 8443effb | Richard Henderson | if (val & FPCR_INE) {
|
116 | 8443effb | Richard Henderson | t |= float_flag_inexact; |
117 | 8443effb | Richard Henderson | } |
118 | 8443effb | Richard Henderson | env->fpcr_exc_status = t; |
119 | 8443effb | Richard Henderson | |
120 | 8443effb | Richard Henderson | t = 0;
|
121 | 8443effb | Richard Henderson | if (val & FPCR_INVD) {
|
122 | 8443effb | Richard Henderson | t |= float_flag_invalid; |
123 | 8443effb | Richard Henderson | } |
124 | 8443effb | Richard Henderson | if (val & FPCR_DZED) {
|
125 | 8443effb | Richard Henderson | t |= float_flag_divbyzero; |
126 | 8443effb | Richard Henderson | } |
127 | 8443effb | Richard Henderson | if (val & FPCR_OVFD) {
|
128 | 8443effb | Richard Henderson | t |= float_flag_overflow; |
129 | 8443effb | Richard Henderson | } |
130 | 8443effb | Richard Henderson | if (val & FPCR_UNFD) {
|
131 | 8443effb | Richard Henderson | t |= float_flag_underflow; |
132 | 8443effb | Richard Henderson | } |
133 | 8443effb | Richard Henderson | if (val & FPCR_INED) {
|
134 | 8443effb | Richard Henderson | t |= float_flag_inexact; |
135 | 8443effb | Richard Henderson | } |
136 | 8443effb | Richard Henderson | env->fpcr_exc_mask = t; |
137 | 8443effb | Richard Henderson | |
138 | 8443effb | Richard Henderson | switch (val & FPCR_DYN_MASK) {
|
139 | 8443effb | Richard Henderson | case FPCR_DYN_CHOPPED:
|
140 | 8443effb | Richard Henderson | t = float_round_to_zero; |
141 | ba0e276d | Richard Henderson | break;
|
142 | 8443effb | Richard Henderson | case FPCR_DYN_MINUS:
|
143 | 8443effb | Richard Henderson | t = float_round_down; |
144 | ba0e276d | Richard Henderson | break;
|
145 | 8443effb | Richard Henderson | case FPCR_DYN_NORMAL:
|
146 | 8443effb | Richard Henderson | t = float_round_nearest_even; |
147 | ba0e276d | Richard Henderson | break;
|
148 | 8443effb | Richard Henderson | case FPCR_DYN_PLUS:
|
149 | 8443effb | Richard Henderson | t = float_round_up; |
150 | ba0e276d | Richard Henderson | break;
|
151 | ba0e276d | Richard Henderson | } |
152 | 8443effb | Richard Henderson | env->fpcr_dyn_round = t; |
153 | 8443effb | Richard Henderson | |
154 | 8443effb | Richard Henderson | env->fpcr_flush_to_zero |
155 | 8443effb | Richard Henderson | = (val & (FPCR_UNDZ|FPCR_UNFD)) == (FPCR_UNDZ|FPCR_UNFD); |
156 | 8443effb | Richard Henderson | |
157 | 8443effb | Richard Henderson | env->fpcr_dnz = (val & FPCR_DNZ) != 0;
|
158 | 8443effb | Richard Henderson | env->fpcr_dnod = (val & FPCR_DNOD) != 0;
|
159 | 8443effb | Richard Henderson | env->fpcr_undz = (val & FPCR_UNDZ) != 0;
|
160 | ba0e276d | Richard Henderson | } |
161 | 4c9649a9 | j_mayer | |
162 | 5fafdf24 | ths | #if defined(CONFIG_USER_ONLY)
|
163 | 4c9649a9 | j_mayer | int cpu_alpha_handle_mmu_fault (CPUState *env, target_ulong address, int rw, |
164 | 6ebbf390 | j_mayer | int mmu_idx, int is_softmmu) |
165 | 4c9649a9 | j_mayer | { |
166 | 07b6c13b | Richard Henderson | env->exception_index = EXCP_MMFAULT; |
167 | 129d8aa5 | Richard Henderson | env->trap_arg0 = address; |
168 | 4c9649a9 | j_mayer | return 1; |
169 | 4c9649a9 | j_mayer | } |
170 | 4c9649a9 | j_mayer | #else
|
171 | c227f099 | Anthony Liguori | target_phys_addr_t cpu_get_phys_page_debug (CPUState *env, target_ulong addr) |
172 | 4c9649a9 | j_mayer | { |
173 | 4c9649a9 | j_mayer | return -1; |
174 | 4c9649a9 | j_mayer | } |
175 | 4c9649a9 | j_mayer | |
176 | 4c9649a9 | j_mayer | int cpu_alpha_handle_mmu_fault (CPUState *env, target_ulong address, int rw, |
177 | 6ebbf390 | j_mayer | int mmu_idx, int is_softmmu) |
178 | 4c9649a9 | j_mayer | { |
179 | 129d8aa5 | Richard Henderson | return 0; |
180 | 4c9649a9 | j_mayer | } |
181 | 3a6fa678 | Richard Henderson | #endif /* USER_ONLY */ |
182 | 4c9649a9 | j_mayer | |
183 | 4c9649a9 | j_mayer | void do_interrupt (CPUState *env)
|
184 | 4c9649a9 | j_mayer | { |
185 | 3a6fa678 | Richard Henderson | int i = env->exception_index;
|
186 | 3a6fa678 | Richard Henderson | |
187 | 3a6fa678 | Richard Henderson | if (qemu_loglevel_mask(CPU_LOG_INT)) {
|
188 | 3a6fa678 | Richard Henderson | static int count; |
189 | 3a6fa678 | Richard Henderson | const char *name = "<unknown>"; |
190 | 3a6fa678 | Richard Henderson | |
191 | 3a6fa678 | Richard Henderson | switch (i) {
|
192 | 3a6fa678 | Richard Henderson | case EXCP_RESET:
|
193 | 3a6fa678 | Richard Henderson | name = "reset";
|
194 | 3a6fa678 | Richard Henderson | break;
|
195 | 3a6fa678 | Richard Henderson | case EXCP_MCHK:
|
196 | 3a6fa678 | Richard Henderson | name = "mchk";
|
197 | 3a6fa678 | Richard Henderson | break;
|
198 | 3a6fa678 | Richard Henderson | case EXCP_SMP_INTERRUPT:
|
199 | 3a6fa678 | Richard Henderson | name = "smp_interrupt";
|
200 | 3a6fa678 | Richard Henderson | break;
|
201 | 3a6fa678 | Richard Henderson | case EXCP_CLK_INTERRUPT:
|
202 | 3a6fa678 | Richard Henderson | name = "clk_interrupt";
|
203 | 3a6fa678 | Richard Henderson | break;
|
204 | 3a6fa678 | Richard Henderson | case EXCP_DEV_INTERRUPT:
|
205 | 3a6fa678 | Richard Henderson | name = "dev_interrupt";
|
206 | 3a6fa678 | Richard Henderson | break;
|
207 | 3a6fa678 | Richard Henderson | case EXCP_MMFAULT:
|
208 | 3a6fa678 | Richard Henderson | name = "mmfault";
|
209 | 3a6fa678 | Richard Henderson | break;
|
210 | 3a6fa678 | Richard Henderson | case EXCP_UNALIGN:
|
211 | 3a6fa678 | Richard Henderson | name = "unalign";
|
212 | 3a6fa678 | Richard Henderson | break;
|
213 | 3a6fa678 | Richard Henderson | case EXCP_OPCDEC:
|
214 | 3a6fa678 | Richard Henderson | name = "opcdec";
|
215 | 3a6fa678 | Richard Henderson | break;
|
216 | 3a6fa678 | Richard Henderson | case EXCP_ARITH:
|
217 | 3a6fa678 | Richard Henderson | name = "arith";
|
218 | 3a6fa678 | Richard Henderson | break;
|
219 | 3a6fa678 | Richard Henderson | case EXCP_FEN:
|
220 | 3a6fa678 | Richard Henderson | name = "fen";
|
221 | 3a6fa678 | Richard Henderson | break;
|
222 | 3a6fa678 | Richard Henderson | case EXCP_CALL_PAL:
|
223 | 3a6fa678 | Richard Henderson | name = "call_pal";
|
224 | 3a6fa678 | Richard Henderson | break;
|
225 | 3a6fa678 | Richard Henderson | case EXCP_STL_C:
|
226 | 3a6fa678 | Richard Henderson | name = "stl_c";
|
227 | 3a6fa678 | Richard Henderson | break;
|
228 | 3a6fa678 | Richard Henderson | case EXCP_STQ_C:
|
229 | 3a6fa678 | Richard Henderson | name = "stq_c";
|
230 | 3a6fa678 | Richard Henderson | break;
|
231 | 3a6fa678 | Richard Henderson | } |
232 | 3a6fa678 | Richard Henderson | qemu_log("INT %6d: %s(%#x) pc=%016" PRIx64 " sp=%016" PRIx64 "\n", |
233 | 3a6fa678 | Richard Henderson | ++count, name, env->error_code, env->pc, env->ir[IR_SP]); |
234 | 3a6fa678 | Richard Henderson | } |
235 | 3a6fa678 | Richard Henderson | |
236 | 3a6fa678 | Richard Henderson | env->exception_index = -1;
|
237 | 3a6fa678 | Richard Henderson | |
238 | 3a6fa678 | Richard Henderson | #if !defined(CONFIG_USER_ONLY)
|
239 | 3a6fa678 | Richard Henderson | switch (i) {
|
240 | 3a6fa678 | Richard Henderson | case EXCP_RESET:
|
241 | 3a6fa678 | Richard Henderson | i = 0x0000;
|
242 | 3a6fa678 | Richard Henderson | break;
|
243 | 3a6fa678 | Richard Henderson | case EXCP_MCHK:
|
244 | 3a6fa678 | Richard Henderson | i = 0x0080;
|
245 | 3a6fa678 | Richard Henderson | break;
|
246 | 3a6fa678 | Richard Henderson | case EXCP_SMP_INTERRUPT:
|
247 | 3a6fa678 | Richard Henderson | i = 0x0100;
|
248 | 3a6fa678 | Richard Henderson | break;
|
249 | 3a6fa678 | Richard Henderson | case EXCP_CLK_INTERRUPT:
|
250 | 3a6fa678 | Richard Henderson | i = 0x0180;
|
251 | 3a6fa678 | Richard Henderson | break;
|
252 | 3a6fa678 | Richard Henderson | case EXCP_DEV_INTERRUPT:
|
253 | 3a6fa678 | Richard Henderson | i = 0x0200;
|
254 | 3a6fa678 | Richard Henderson | break;
|
255 | 3a6fa678 | Richard Henderson | case EXCP_MMFAULT:
|
256 | 3a6fa678 | Richard Henderson | i = 0x0280;
|
257 | 3a6fa678 | Richard Henderson | break;
|
258 | 3a6fa678 | Richard Henderson | case EXCP_UNALIGN:
|
259 | 3a6fa678 | Richard Henderson | i = 0x0300;
|
260 | 3a6fa678 | Richard Henderson | break;
|
261 | 3a6fa678 | Richard Henderson | case EXCP_OPCDEC:
|
262 | 3a6fa678 | Richard Henderson | i = 0x0380;
|
263 | 3a6fa678 | Richard Henderson | break;
|
264 | 3a6fa678 | Richard Henderson | case EXCP_ARITH:
|
265 | 3a6fa678 | Richard Henderson | i = 0x0400;
|
266 | 3a6fa678 | Richard Henderson | break;
|
267 | 3a6fa678 | Richard Henderson | case EXCP_FEN:
|
268 | 3a6fa678 | Richard Henderson | i = 0x0480;
|
269 | 3a6fa678 | Richard Henderson | break;
|
270 | 3a6fa678 | Richard Henderson | case EXCP_CALL_PAL:
|
271 | 3a6fa678 | Richard Henderson | i = env->error_code; |
272 | 3a6fa678 | Richard Henderson | /* There are 64 entry points for both privileged and unprivileged,
|
273 | 3a6fa678 | Richard Henderson | with bit 0x80 indicating unprivileged. Each entry point gets
|
274 | 3a6fa678 | Richard Henderson | 64 bytes to do its job. */
|
275 | 3a6fa678 | Richard Henderson | if (i & 0x80) { |
276 | 3a6fa678 | Richard Henderson | i = 0x2000 + (i - 0x80) * 64; |
277 | 3a6fa678 | Richard Henderson | } else {
|
278 | 3a6fa678 | Richard Henderson | i = 0x1000 + i * 64; |
279 | 3a6fa678 | Richard Henderson | } |
280 | 3a6fa678 | Richard Henderson | break;
|
281 | 3a6fa678 | Richard Henderson | default:
|
282 | 3a6fa678 | Richard Henderson | cpu_abort(env, "Unhandled CPU exception");
|
283 | 3a6fa678 | Richard Henderson | } |
284 | 3a6fa678 | Richard Henderson | |
285 | 3a6fa678 | Richard Henderson | /* Remember where the exception happened. Emulate real hardware in
|
286 | 3a6fa678 | Richard Henderson | that the low bit of the PC indicates PALmode. */
|
287 | 3a6fa678 | Richard Henderson | env->exc_addr = env->pc | env->pal_mode; |
288 | 3a6fa678 | Richard Henderson | |
289 | 3a6fa678 | Richard Henderson | /* Continue execution at the PALcode entry point. */
|
290 | 3a6fa678 | Richard Henderson | env->pc = env->palbr + i; |
291 | 3a6fa678 | Richard Henderson | |
292 | 3a6fa678 | Richard Henderson | /* Switch to PALmode. */
|
293 | 3a6fa678 | Richard Henderson | env->pal_mode = 1;
|
294 | 3a6fa678 | Richard Henderson | #endif /* !USER_ONLY */ |
295 | 4c9649a9 | j_mayer | } |
296 | 4c9649a9 | j_mayer | |
297 | 9a78eead | Stefan Weil | void cpu_dump_state (CPUState *env, FILE *f, fprintf_function cpu_fprintf,
|
298 | 4c9649a9 | j_mayer | int flags)
|
299 | 4c9649a9 | j_mayer | { |
300 | b55266b5 | blueswir1 | static const char *linux_reg_names[] = { |
301 | 4c9649a9 | j_mayer | "v0 ", "t0 ", "t1 ", "t2 ", "t3 ", "t4 ", "t5 ", "t6 ", |
302 | 4c9649a9 | j_mayer | "t7 ", "s0 ", "s1 ", "s2 ", "s3 ", "s4 ", "s5 ", "fp ", |
303 | 4c9649a9 | j_mayer | "a0 ", "a1 ", "a2 ", "a3 ", "a4 ", "a5 ", "t8 ", "t9 ", |
304 | 4c9649a9 | j_mayer | "t10", "t11", "ra ", "t12", "at ", "gp ", "sp ", "zero", |
305 | 4c9649a9 | j_mayer | }; |
306 | 4c9649a9 | j_mayer | int i;
|
307 | 4c9649a9 | j_mayer | |
308 | 129d8aa5 | Richard Henderson | cpu_fprintf(f, " PC " TARGET_FMT_lx " PS %02x\n", |
309 | 4c9649a9 | j_mayer | env->pc, env->ps); |
310 | 4c9649a9 | j_mayer | for (i = 0; i < 31; i++) { |
311 | 4c9649a9 | j_mayer | cpu_fprintf(f, "IR%02d %s " TARGET_FMT_lx " ", i, |
312 | 4c9649a9 | j_mayer | linux_reg_names[i], env->ir[i]); |
313 | 4c9649a9 | j_mayer | if ((i % 3) == 2) |
314 | 4c9649a9 | j_mayer | cpu_fprintf(f, "\n");
|
315 | 4c9649a9 | j_mayer | } |
316 | 6910b8f6 | Richard Henderson | |
317 | 6910b8f6 | Richard Henderson | cpu_fprintf(f, "lock_a " TARGET_FMT_lx " lock_v " TARGET_FMT_lx "\n", |
318 | 6910b8f6 | Richard Henderson | env->lock_addr, env->lock_value); |
319 | 6910b8f6 | Richard Henderson | |
320 | 4c9649a9 | j_mayer | for (i = 0; i < 31; i++) { |
321 | 4c9649a9 | j_mayer | cpu_fprintf(f, "FIR%02d " TARGET_FMT_lx " ", i, |
322 | 4c9649a9 | j_mayer | *((uint64_t *)(&env->fir[i]))); |
323 | 4c9649a9 | j_mayer | if ((i % 3) == 2) |
324 | 4c9649a9 | j_mayer | cpu_fprintf(f, "\n");
|
325 | 4c9649a9 | j_mayer | } |
326 | 6910b8f6 | Richard Henderson | cpu_fprintf(f, "\n");
|
327 | 4c9649a9 | j_mayer | } |