]>
Commit | Line | Data |
---|---|---|
61766fe9 RH |
1 | /* |
2 | * Helpers for HPPA instructions. | |
3 | * | |
4 | * Copyright (c) 2016 Richard Henderson <[email protected]> | |
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 | |
d6ea4236 | 9 | * version 2.1 of the License, or (at your option) any later version. |
61766fe9 RH |
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, see <http://www.gnu.org/licenses/>. | |
18 | */ | |
19 | ||
20 | #include "qemu/osdep.h" | |
cd617484 | 21 | #include "qemu/log.h" |
61766fe9 RH |
22 | #include "cpu.h" |
23 | #include "exec/exec-all.h" | |
24 | #include "exec/helper-proto.h" | |
96d6407f | 25 | #include "exec/cpu_ldst.h" |
49c29d6c | 26 | #include "qemu/timer.h" |
54d31236 | 27 | #include "sysemu/runstate.h" |
24f91e81 | 28 | #include "fpu/softfloat.h" |
23c3d569 | 29 | #include "trace.h" |
61766fe9 | 30 | |
8905770b | 31 | G_NORETURN void HELPER(excp)(CPUHPPAState *env, int excp) |
61766fe9 | 32 | { |
25f32708 | 33 | CPUState *cs = env_cpu(env); |
61766fe9 RH |
34 | |
35 | cs->exception_index = excp; | |
36 | cpu_loop_exit(cs); | |
37 | } | |
38 | ||
8905770b | 39 | G_NORETURN void hppa_dynamic_excp(CPUHPPAState *env, int excp, uintptr_t ra) |
b2167459 | 40 | { |
25f32708 | 41 | CPUState *cs = env_cpu(env); |
b2167459 RH |
42 | |
43 | cs->exception_index = excp; | |
44 | cpu_loop_exit_restore(cs, ra); | |
45 | } | |
46 | ||
eaa3783b | 47 | void HELPER(tsv)(CPUHPPAState *env, target_ureg cond) |
b2167459 | 48 | { |
eaa3783b | 49 | if (unlikely((target_sreg)cond < 0)) { |
2dfcca9f | 50 | hppa_dynamic_excp(env, EXCP_OVERFLOW, GETPC()); |
b2167459 RH |
51 | } |
52 | } | |
53 | ||
eaa3783b | 54 | void HELPER(tcond)(CPUHPPAState *env, target_ureg cond) |
b2167459 RH |
55 | { |
56 | if (unlikely(cond)) { | |
2dfcca9f | 57 | hppa_dynamic_excp(env, EXCP_COND, GETPC()); |
b2167459 RH |
58 | } |
59 | } | |
60 | ||
9f54dc1c RH |
61 | static void atomic_store_3(CPUHPPAState *env, target_ulong addr, |
62 | uint32_t val, uintptr_t ra) | |
96d6407f | 63 | { |
9f54dc1c RH |
64 | int mmu_idx = cpu_mmu_index(env, 0); |
65 | uint32_t old, new, cmp, mask, *haddr; | |
66 | void *vaddr; | |
67 | ||
68 | vaddr = probe_access(env, addr, 3, MMU_DATA_STORE, mmu_idx, ra); | |
69 | if (vaddr == NULL) { | |
70 | cpu_loop_exit_atomic(env_cpu(env), ra); | |
71 | } | |
72 | haddr = (uint32_t *)((uintptr_t)vaddr & -4); | |
73 | mask = addr & 1 ? 0x00ffffffu : 0xffffff00u; | |
96d6407f | 74 | |
96d6407f RH |
75 | old = *haddr; |
76 | while (1) { | |
9f54dc1c | 77 | new = be32_to_cpu((cpu_to_be32(old) & ~mask) | (val & mask)); |
d73415a3 | 78 | cmp = qatomic_cmpxchg(haddr, old, new); |
96d6407f RH |
79 | if (cmp == old) { |
80 | return; | |
81 | } | |
82 | old = cmp; | |
83 | } | |
96d6407f RH |
84 | } |
85 | ||
eaa3783b | 86 | static void do_stby_b(CPUHPPAState *env, target_ulong addr, target_ureg val, |
5010e5c4 | 87 | bool parallel, uintptr_t ra) |
96d6407f | 88 | { |
96d6407f RH |
89 | switch (addr & 3) { |
90 | case 3: | |
91 | cpu_stb_data_ra(env, addr, val, ra); | |
92 | break; | |
93 | case 2: | |
94 | cpu_stw_data_ra(env, addr, val, ra); | |
95 | break; | |
96 | case 1: | |
97 | /* The 3 byte store must appear atomic. */ | |
f9f46db4 | 98 | if (parallel) { |
9f54dc1c | 99 | atomic_store_3(env, addr, val, ra); |
96d6407f RH |
100 | } else { |
101 | cpu_stb_data_ra(env, addr, val >> 16, ra); | |
102 | cpu_stw_data_ra(env, addr + 1, val, ra); | |
103 | } | |
104 | break; | |
105 | default: | |
106 | cpu_stl_data_ra(env, addr, val, ra); | |
107 | break; | |
108 | } | |
109 | } | |
110 | ||
eaa3783b | 111 | void HELPER(stby_b)(CPUHPPAState *env, target_ulong addr, target_ureg val) |
f9f46db4 | 112 | { |
5010e5c4 | 113 | do_stby_b(env, addr, val, false, GETPC()); |
f9f46db4 EC |
114 | } |
115 | ||
116 | void HELPER(stby_b_parallel)(CPUHPPAState *env, target_ulong addr, | |
eaa3783b | 117 | target_ureg val) |
f9f46db4 | 118 | { |
5010e5c4 | 119 | do_stby_b(env, addr, val, true, GETPC()); |
f9f46db4 EC |
120 | } |
121 | ||
eaa3783b | 122 | static void do_stby_e(CPUHPPAState *env, target_ulong addr, target_ureg val, |
5010e5c4 | 123 | bool parallel, uintptr_t ra) |
96d6407f | 124 | { |
96d6407f RH |
125 | switch (addr & 3) { |
126 | case 3: | |
127 | /* The 3 byte store must appear atomic. */ | |
f9f46db4 | 128 | if (parallel) { |
9f54dc1c | 129 | atomic_store_3(env, addr - 3, val, ra); |
96d6407f RH |
130 | } else { |
131 | cpu_stw_data_ra(env, addr - 3, val >> 16, ra); | |
132 | cpu_stb_data_ra(env, addr - 1, val >> 8, ra); | |
133 | } | |
134 | break; | |
135 | case 2: | |
136 | cpu_stw_data_ra(env, addr - 2, val >> 16, ra); | |
137 | break; | |
138 | case 1: | |
139 | cpu_stb_data_ra(env, addr - 1, val >> 24, ra); | |
140 | break; | |
141 | default: | |
142 | /* Nothing is stored, but protection is checked and the | |
143 | cacheline is marked dirty. */ | |
98670d47 | 144 | probe_write(env, addr, 0, cpu_mmu_index(env, 0), ra); |
96d6407f RH |
145 | break; |
146 | } | |
147 | } | |
148 | ||
eaa3783b | 149 | void HELPER(stby_e)(CPUHPPAState *env, target_ulong addr, target_ureg val) |
f9f46db4 | 150 | { |
5010e5c4 | 151 | do_stby_e(env, addr, val, false, GETPC()); |
f9f46db4 EC |
152 | } |
153 | ||
154 | void HELPER(stby_e_parallel)(CPUHPPAState *env, target_ulong addr, | |
eaa3783b | 155 | target_ureg val) |
f9f46db4 | 156 | { |
5010e5c4 | 157 | do_stby_e(env, addr, val, true, GETPC()); |
f9f46db4 EC |
158 | } |
159 | ||
b1af755c RH |
160 | void HELPER(ldc_check)(target_ulong addr) |
161 | { | |
162 | if (unlikely(addr & 0xf)) { | |
163 | qemu_log_mask(LOG_GUEST_ERROR, | |
164 | "Undefined ldc to unaligned address mod 16: " | |
165 | TARGET_FMT_lx "\n", addr); | |
166 | } | |
167 | } | |
168 | ||
eed14219 RH |
169 | target_ureg HELPER(probe)(CPUHPPAState *env, target_ulong addr, |
170 | uint32_t level, uint32_t want) | |
98a9cb79 | 171 | { |
813dff13 | 172 | #ifdef CONFIG_USER_ONLY |
6fab0c18 | 173 | return (page_check_range(addr, 1, want) == 0) ? 1 : 0; |
813dff13 | 174 | #else |
eed14219 RH |
175 | int prot, excp; |
176 | hwaddr phys; | |
98a9cb79 | 177 | |
23c3d569 | 178 | trace_hppa_tlb_probe(addr, level, want); |
eed14219 RH |
179 | /* Fail if the requested privilege level is higher than current. */ |
180 | if (level < (env->iaoq_f & 3)) { | |
181 | return 0; | |
182 | } | |
183 | ||
184 | excp = hppa_get_physical_address(env, addr, level, 0, &phys, &prot); | |
185 | if (excp >= 0) { | |
186 | if (env->psw & PSW_Q) { | |
187 | /* ??? Needs tweaking for hppa64. */ | |
188 | env->cr[CR_IOR] = addr; | |
189 | env->cr[CR_ISR] = addr >> 32; | |
190 | } | |
191 | if (excp == EXCP_DTLB_MISS) { | |
192 | excp = EXCP_NA_DTLB_MISS; | |
193 | } | |
194 | hppa_dynamic_excp(env, excp, GETPC()); | |
195 | } | |
196 | return (want & prot) != 0; | |
813dff13 | 197 | #endif |
98a9cb79 RH |
198 | } |
199 | ||
61766fe9 RH |
200 | void HELPER(loaded_fr0)(CPUHPPAState *env) |
201 | { | |
202 | uint32_t shadow = env->fr[0] >> 32; | |
203 | int rm, d; | |
204 | ||
205 | env->fr0_shadow = shadow; | |
206 | ||
207 | switch (extract32(shadow, 9, 2)) { | |
208 | default: | |
209 | rm = float_round_nearest_even; | |
210 | break; | |
211 | case 1: | |
212 | rm = float_round_to_zero; | |
213 | break; | |
214 | case 2: | |
215 | rm = float_round_up; | |
216 | break; | |
217 | case 3: | |
218 | rm = float_round_down; | |
219 | break; | |
220 | } | |
221 | set_float_rounding_mode(rm, &env->fp_status); | |
222 | ||
223 | d = extract32(shadow, 5, 1); | |
224 | set_flush_to_zero(d, &env->fp_status); | |
225 | set_flush_inputs_to_zero(d, &env->fp_status); | |
226 | } | |
227 | ||
228 | void cpu_hppa_loaded_fr0(CPUHPPAState *env) | |
229 | { | |
230 | helper_loaded_fr0(env); | |
231 | } | |
ebe9383c RH |
232 | |
233 | #define CONVERT_BIT(X, SRC, DST) \ | |
234 | ((SRC) > (DST) \ | |
235 | ? (X) / ((SRC) / (DST)) & (DST) \ | |
236 | : ((X) & (SRC)) * ((DST) / (SRC))) | |
237 | ||
238 | static void update_fr0_op(CPUHPPAState *env, uintptr_t ra) | |
239 | { | |
240 | uint32_t soft_exp = get_float_exception_flags(&env->fp_status); | |
241 | uint32_t hard_exp = 0; | |
242 | uint32_t shadow = env->fr0_shadow; | |
243 | ||
244 | if (likely(soft_exp == 0)) { | |
245 | env->fr[0] = (uint64_t)shadow << 32; | |
246 | return; | |
247 | } | |
248 | set_float_exception_flags(0, &env->fp_status); | |
249 | ||
250 | hard_exp |= CONVERT_BIT(soft_exp, float_flag_inexact, 1u << 0); | |
251 | hard_exp |= CONVERT_BIT(soft_exp, float_flag_underflow, 1u << 1); | |
252 | hard_exp |= CONVERT_BIT(soft_exp, float_flag_overflow, 1u << 2); | |
253 | hard_exp |= CONVERT_BIT(soft_exp, float_flag_divbyzero, 1u << 3); | |
254 | hard_exp |= CONVERT_BIT(soft_exp, float_flag_invalid, 1u << 4); | |
255 | shadow |= hard_exp << (32 - 5); | |
256 | env->fr0_shadow = shadow; | |
257 | env->fr[0] = (uint64_t)shadow << 32; | |
258 | ||
259 | if (hard_exp & shadow) { | |
2dfcca9f | 260 | hppa_dynamic_excp(env, EXCP_ASSIST, ra); |
ebe9383c RH |
261 | } |
262 | } | |
263 | ||
264 | float32 HELPER(fsqrt_s)(CPUHPPAState *env, float32 arg) | |
265 | { | |
266 | float32 ret = float32_sqrt(arg, &env->fp_status); | |
267 | update_fr0_op(env, GETPC()); | |
268 | return ret; | |
269 | } | |
270 | ||
271 | float32 HELPER(frnd_s)(CPUHPPAState *env, float32 arg) | |
272 | { | |
273 | float32 ret = float32_round_to_int(arg, &env->fp_status); | |
274 | update_fr0_op(env, GETPC()); | |
275 | return ret; | |
276 | } | |
277 | ||
278 | float32 HELPER(fadd_s)(CPUHPPAState *env, float32 a, float32 b) | |
279 | { | |
280 | float32 ret = float32_add(a, b, &env->fp_status); | |
281 | update_fr0_op(env, GETPC()); | |
282 | return ret; | |
283 | } | |
284 | ||
285 | float32 HELPER(fsub_s)(CPUHPPAState *env, float32 a, float32 b) | |
286 | { | |
287 | float32 ret = float32_sub(a, b, &env->fp_status); | |
288 | update_fr0_op(env, GETPC()); | |
289 | return ret; | |
290 | } | |
291 | ||
292 | float32 HELPER(fmpy_s)(CPUHPPAState *env, float32 a, float32 b) | |
293 | { | |
294 | float32 ret = float32_mul(a, b, &env->fp_status); | |
295 | update_fr0_op(env, GETPC()); | |
296 | return ret; | |
297 | } | |
298 | ||
299 | float32 HELPER(fdiv_s)(CPUHPPAState *env, float32 a, float32 b) | |
300 | { | |
301 | float32 ret = float32_div(a, b, &env->fp_status); | |
302 | update_fr0_op(env, GETPC()); | |
303 | return ret; | |
304 | } | |
305 | ||
306 | float64 HELPER(fsqrt_d)(CPUHPPAState *env, float64 arg) | |
307 | { | |
308 | float64 ret = float64_sqrt(arg, &env->fp_status); | |
309 | update_fr0_op(env, GETPC()); | |
310 | return ret; | |
311 | } | |
312 | ||
313 | float64 HELPER(frnd_d)(CPUHPPAState *env, float64 arg) | |
314 | { | |
315 | float64 ret = float64_round_to_int(arg, &env->fp_status); | |
316 | update_fr0_op(env, GETPC()); | |
317 | return ret; | |
318 | } | |
319 | ||
320 | float64 HELPER(fadd_d)(CPUHPPAState *env, float64 a, float64 b) | |
321 | { | |
322 | float64 ret = float64_add(a, b, &env->fp_status); | |
323 | update_fr0_op(env, GETPC()); | |
324 | return ret; | |
325 | } | |
326 | ||
327 | float64 HELPER(fsub_d)(CPUHPPAState *env, float64 a, float64 b) | |
328 | { | |
329 | float64 ret = float64_sub(a, b, &env->fp_status); | |
330 | update_fr0_op(env, GETPC()); | |
331 | return ret; | |
332 | } | |
333 | ||
334 | float64 HELPER(fmpy_d)(CPUHPPAState *env, float64 a, float64 b) | |
335 | { | |
336 | float64 ret = float64_mul(a, b, &env->fp_status); | |
337 | update_fr0_op(env, GETPC()); | |
338 | return ret; | |
339 | } | |
340 | ||
341 | float64 HELPER(fdiv_d)(CPUHPPAState *env, float64 a, float64 b) | |
342 | { | |
343 | float64 ret = float64_div(a, b, &env->fp_status); | |
344 | update_fr0_op(env, GETPC()); | |
345 | return ret; | |
346 | } | |
347 | ||
348 | float64 HELPER(fcnv_s_d)(CPUHPPAState *env, float32 arg) | |
349 | { | |
350 | float64 ret = float32_to_float64(arg, &env->fp_status); | |
ebe9383c RH |
351 | update_fr0_op(env, GETPC()); |
352 | return ret; | |
353 | } | |
354 | ||
355 | float32 HELPER(fcnv_d_s)(CPUHPPAState *env, float64 arg) | |
356 | { | |
357 | float32 ret = float64_to_float32(arg, &env->fp_status); | |
ebe9383c RH |
358 | update_fr0_op(env, GETPC()); |
359 | return ret; | |
360 | } | |
361 | ||
362 | float32 HELPER(fcnv_w_s)(CPUHPPAState *env, int32_t arg) | |
363 | { | |
364 | float32 ret = int32_to_float32(arg, &env->fp_status); | |
365 | update_fr0_op(env, GETPC()); | |
366 | return ret; | |
367 | } | |
368 | ||
369 | float32 HELPER(fcnv_dw_s)(CPUHPPAState *env, int64_t arg) | |
370 | { | |
371 | float32 ret = int64_to_float32(arg, &env->fp_status); | |
372 | update_fr0_op(env, GETPC()); | |
373 | return ret; | |
374 | } | |
375 | ||
376 | float64 HELPER(fcnv_w_d)(CPUHPPAState *env, int32_t arg) | |
377 | { | |
378 | float64 ret = int32_to_float64(arg, &env->fp_status); | |
379 | update_fr0_op(env, GETPC()); | |
380 | return ret; | |
381 | } | |
382 | ||
383 | float64 HELPER(fcnv_dw_d)(CPUHPPAState *env, int64_t arg) | |
384 | { | |
385 | float64 ret = int64_to_float64(arg, &env->fp_status); | |
386 | update_fr0_op(env, GETPC()); | |
387 | return ret; | |
388 | } | |
389 | ||
390 | int32_t HELPER(fcnv_s_w)(CPUHPPAState *env, float32 arg) | |
391 | { | |
392 | int32_t ret = float32_to_int32(arg, &env->fp_status); | |
393 | update_fr0_op(env, GETPC()); | |
394 | return ret; | |
395 | } | |
396 | ||
397 | int32_t HELPER(fcnv_d_w)(CPUHPPAState *env, float64 arg) | |
398 | { | |
399 | int32_t ret = float64_to_int32(arg, &env->fp_status); | |
400 | update_fr0_op(env, GETPC()); | |
401 | return ret; | |
402 | } | |
403 | ||
404 | int64_t HELPER(fcnv_s_dw)(CPUHPPAState *env, float32 arg) | |
405 | { | |
406 | int64_t ret = float32_to_int64(arg, &env->fp_status); | |
407 | update_fr0_op(env, GETPC()); | |
408 | return ret; | |
409 | } | |
410 | ||
411 | int64_t HELPER(fcnv_d_dw)(CPUHPPAState *env, float64 arg) | |
412 | { | |
413 | int64_t ret = float64_to_int64(arg, &env->fp_status); | |
414 | update_fr0_op(env, GETPC()); | |
415 | return ret; | |
416 | } | |
417 | ||
418 | int32_t HELPER(fcnv_t_s_w)(CPUHPPAState *env, float32 arg) | |
419 | { | |
420 | int32_t ret = float32_to_int32_round_to_zero(arg, &env->fp_status); | |
421 | update_fr0_op(env, GETPC()); | |
422 | return ret; | |
423 | } | |
424 | ||
425 | int32_t HELPER(fcnv_t_d_w)(CPUHPPAState *env, float64 arg) | |
426 | { | |
427 | int32_t ret = float64_to_int32_round_to_zero(arg, &env->fp_status); | |
428 | update_fr0_op(env, GETPC()); | |
429 | return ret; | |
430 | } | |
431 | ||
432 | int64_t HELPER(fcnv_t_s_dw)(CPUHPPAState *env, float32 arg) | |
433 | { | |
434 | int64_t ret = float32_to_int64_round_to_zero(arg, &env->fp_status); | |
435 | update_fr0_op(env, GETPC()); | |
436 | return ret; | |
437 | } | |
438 | ||
439 | int64_t HELPER(fcnv_t_d_dw)(CPUHPPAState *env, float64 arg) | |
440 | { | |
441 | int64_t ret = float64_to_int64_round_to_zero(arg, &env->fp_status); | |
442 | update_fr0_op(env, GETPC()); | |
443 | return ret; | |
444 | } | |
445 | ||
446 | float32 HELPER(fcnv_uw_s)(CPUHPPAState *env, uint32_t arg) | |
447 | { | |
448 | float32 ret = uint32_to_float32(arg, &env->fp_status); | |
449 | update_fr0_op(env, GETPC()); | |
450 | return ret; | |
451 | } | |
452 | ||
453 | float32 HELPER(fcnv_udw_s)(CPUHPPAState *env, uint64_t arg) | |
454 | { | |
455 | float32 ret = uint64_to_float32(arg, &env->fp_status); | |
456 | update_fr0_op(env, GETPC()); | |
457 | return ret; | |
458 | } | |
459 | ||
460 | float64 HELPER(fcnv_uw_d)(CPUHPPAState *env, uint32_t arg) | |
461 | { | |
462 | float64 ret = uint32_to_float64(arg, &env->fp_status); | |
463 | update_fr0_op(env, GETPC()); | |
464 | return ret; | |
465 | } | |
466 | ||
467 | float64 HELPER(fcnv_udw_d)(CPUHPPAState *env, uint64_t arg) | |
468 | { | |
469 | float64 ret = uint64_to_float64(arg, &env->fp_status); | |
470 | update_fr0_op(env, GETPC()); | |
471 | return ret; | |
472 | } | |
473 | ||
474 | uint32_t HELPER(fcnv_s_uw)(CPUHPPAState *env, float32 arg) | |
475 | { | |
476 | uint32_t ret = float32_to_uint32(arg, &env->fp_status); | |
477 | update_fr0_op(env, GETPC()); | |
478 | return ret; | |
479 | } | |
480 | ||
481 | uint32_t HELPER(fcnv_d_uw)(CPUHPPAState *env, float64 arg) | |
482 | { | |
483 | uint32_t ret = float64_to_uint32(arg, &env->fp_status); | |
484 | update_fr0_op(env, GETPC()); | |
485 | return ret; | |
486 | } | |
487 | ||
488 | uint64_t HELPER(fcnv_s_udw)(CPUHPPAState *env, float32 arg) | |
489 | { | |
490 | uint64_t ret = float32_to_uint64(arg, &env->fp_status); | |
491 | update_fr0_op(env, GETPC()); | |
492 | return ret; | |
493 | } | |
494 | ||
495 | uint64_t HELPER(fcnv_d_udw)(CPUHPPAState *env, float64 arg) | |
496 | { | |
497 | uint64_t ret = float64_to_uint64(arg, &env->fp_status); | |
498 | update_fr0_op(env, GETPC()); | |
499 | return ret; | |
500 | } | |
501 | ||
502 | uint32_t HELPER(fcnv_t_s_uw)(CPUHPPAState *env, float32 arg) | |
503 | { | |
504 | uint32_t ret = float32_to_uint32_round_to_zero(arg, &env->fp_status); | |
505 | update_fr0_op(env, GETPC()); | |
506 | return ret; | |
507 | } | |
508 | ||
509 | uint32_t HELPER(fcnv_t_d_uw)(CPUHPPAState *env, float64 arg) | |
510 | { | |
511 | uint32_t ret = float64_to_uint32_round_to_zero(arg, &env->fp_status); | |
512 | update_fr0_op(env, GETPC()); | |
513 | return ret; | |
514 | } | |
515 | ||
516 | uint64_t HELPER(fcnv_t_s_udw)(CPUHPPAState *env, float32 arg) | |
517 | { | |
518 | uint64_t ret = float32_to_uint64_round_to_zero(arg, &env->fp_status); | |
519 | update_fr0_op(env, GETPC()); | |
520 | return ret; | |
521 | } | |
522 | ||
523 | uint64_t HELPER(fcnv_t_d_udw)(CPUHPPAState *env, float64 arg) | |
524 | { | |
525 | uint64_t ret = float64_to_uint64_round_to_zero(arg, &env->fp_status); | |
526 | update_fr0_op(env, GETPC()); | |
527 | return ret; | |
528 | } | |
529 | ||
71bfd65c RH |
530 | static void update_fr0_cmp(CPUHPPAState *env, uint32_t y, |
531 | uint32_t c, FloatRelation r) | |
ebe9383c RH |
532 | { |
533 | uint32_t shadow = env->fr0_shadow; | |
534 | ||
535 | switch (r) { | |
536 | case float_relation_greater: | |
537 | c = extract32(c, 4, 1); | |
538 | break; | |
539 | case float_relation_less: | |
540 | c = extract32(c, 3, 1); | |
541 | break; | |
542 | case float_relation_equal: | |
543 | c = extract32(c, 2, 1); | |
544 | break; | |
545 | case float_relation_unordered: | |
546 | c = extract32(c, 1, 1); | |
547 | break; | |
548 | default: | |
549 | g_assert_not_reached(); | |
550 | } | |
551 | ||
552 | if (y) { | |
553 | /* targeted comparison */ | |
554 | /* set fpsr[ca[y - 1]] to current compare */ | |
555 | shadow = deposit32(shadow, 21 - (y - 1), 1, c); | |
556 | } else { | |
557 | /* queued comparison */ | |
558 | /* shift cq right by one place */ | |
559 | shadow = deposit32(shadow, 11, 10, extract32(shadow, 12, 10)); | |
560 | /* move fpsr[c] to fpsr[cq[0]] */ | |
561 | shadow = deposit32(shadow, 21, 1, extract32(shadow, 26, 1)); | |
562 | /* set fpsr[c] to current compare */ | |
563 | shadow = deposit32(shadow, 26, 1, c); | |
564 | } | |
565 | ||
566 | env->fr0_shadow = shadow; | |
567 | env->fr[0] = (uint64_t)shadow << 32; | |
568 | } | |
569 | ||
570 | void HELPER(fcmp_s)(CPUHPPAState *env, float32 a, float32 b, | |
571 | uint32_t y, uint32_t c) | |
572 | { | |
71bfd65c | 573 | FloatRelation r; |
ebe9383c RH |
574 | if (c & 1) { |
575 | r = float32_compare(a, b, &env->fp_status); | |
576 | } else { | |
577 | r = float32_compare_quiet(a, b, &env->fp_status); | |
578 | } | |
579 | update_fr0_op(env, GETPC()); | |
580 | update_fr0_cmp(env, y, c, r); | |
581 | } | |
582 | ||
583 | void HELPER(fcmp_d)(CPUHPPAState *env, float64 a, float64 b, | |
584 | uint32_t y, uint32_t c) | |
585 | { | |
71bfd65c | 586 | FloatRelation r; |
ebe9383c RH |
587 | if (c & 1) { |
588 | r = float64_compare(a, b, &env->fp_status); | |
589 | } else { | |
590 | r = float64_compare_quiet(a, b, &env->fp_status); | |
591 | } | |
592 | update_fr0_op(env, GETPC()); | |
593 | update_fr0_cmp(env, y, c, r); | |
594 | } | |
595 | ||
596 | float32 HELPER(fmpyfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c) | |
597 | { | |
598 | float32 ret = float32_muladd(a, b, c, 0, &env->fp_status); | |
599 | update_fr0_op(env, GETPC()); | |
600 | return ret; | |
601 | } | |
602 | ||
603 | float32 HELPER(fmpynfadd_s)(CPUHPPAState *env, float32 a, float32 b, float32 c) | |
604 | { | |
605 | float32 ret = float32_muladd(a, b, c, float_muladd_negate_product, | |
606 | &env->fp_status); | |
607 | update_fr0_op(env, GETPC()); | |
608 | return ret; | |
609 | } | |
610 | ||
611 | float64 HELPER(fmpyfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c) | |
612 | { | |
613 | float64 ret = float64_muladd(a, b, c, 0, &env->fp_status); | |
614 | update_fr0_op(env, GETPC()); | |
615 | return ret; | |
616 | } | |
617 | ||
618 | float64 HELPER(fmpynfadd_d)(CPUHPPAState *env, float64 a, float64 b, float64 c) | |
619 | { | |
620 | float64 ret = float64_muladd(a, b, c, float_muladd_negate_product, | |
621 | &env->fp_status); | |
622 | update_fr0_op(env, GETPC()); | |
623 | return ret; | |
624 | } | |
e1b5a5ed | 625 | |
49c29d6c RH |
626 | target_ureg HELPER(read_interval_timer)(void) |
627 | { | |
628 | #ifdef CONFIG_USER_ONLY | |
629 | /* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist. | |
630 | Just pass through the host cpu clock ticks. */ | |
631 | return cpu_get_host_ticks(); | |
632 | #else | |
633 | /* In system mode we have access to a decent high-resolution clock. | |
634 | In order to make OS-level time accounting work with the cr16, | |
635 | present it with a well-timed clock fixed at 250MHz. */ | |
636 | return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL) >> 2; | |
637 | #endif | |
638 | } | |
639 | ||
e1b5a5ed | 640 | #ifndef CONFIG_USER_ONLY |
49c29d6c RH |
641 | void HELPER(write_interval_timer)(CPUHPPAState *env, target_ureg val) |
642 | { | |
25f32708 | 643 | HPPACPU *cpu = env_archcpu(env); |
49c29d6c RH |
644 | uint64_t current = qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL); |
645 | uint64_t timeout; | |
646 | ||
647 | /* Even in 64-bit mode, the comparator is always 32-bit. But the | |
648 | value we expose to the guest is 1/4 of the speed of the clock, | |
649 | so moosh in 34 bits. */ | |
650 | timeout = deposit64(current, 0, 34, (uint64_t)val << 2); | |
651 | ||
652 | /* If the mooshing puts the clock in the past, advance to next round. */ | |
653 | if (timeout < current + 1000) { | |
654 | timeout += 1ULL << 34; | |
655 | } | |
656 | ||
657 | cpu->env.cr[CR_IT] = timeout; | |
658 | timer_mod(cpu->alarm_timer, timeout); | |
659 | } | |
660 | ||
6210db05 HD |
661 | void HELPER(halt)(CPUHPPAState *env) |
662 | { | |
663 | qemu_system_shutdown_request(SHUTDOWN_CAUSE_GUEST_SHUTDOWN); | |
664 | helper_excp(env, EXCP_HLT); | |
665 | } | |
666 | ||
667 | void HELPER(reset)(CPUHPPAState *env) | |
668 | { | |
669 | qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET); | |
670 | helper_excp(env, EXCP_HLT); | |
671 | } | |
672 | ||
e1b5a5ed RH |
673 | target_ureg HELPER(swap_system_mask)(CPUHPPAState *env, target_ureg nsm) |
674 | { | |
675 | target_ulong psw = env->psw; | |
68aa851a SS |
676 | /* |
677 | * Setting the PSW Q bit to 1, if it was not already 1, is an | |
678 | * undefined operation. | |
679 | * | |
680 | * However, HP-UX 10.20 does this with the SSM instruction. | |
681 | * Tested this on HP9000/712 and HP9000/785/C3750 and both | |
682 | * machines set the Q bit from 0 to 1 without an exception, | |
683 | * so let this go without comment. | |
684 | */ | |
e1b5a5ed RH |
685 | env->psw = (psw & ~PSW_SM) | (nsm & PSW_SM); |
686 | return psw & PSW_SM; | |
687 | } | |
f49b3537 RH |
688 | |
689 | void HELPER(rfi)(CPUHPPAState *env) | |
690 | { | |
c301f34e RH |
691 | env->iasq_f = (uint64_t)env->cr[CR_IIASQ] << 32; |
692 | env->iasq_b = (uint64_t)env->cr_back[0] << 32; | |
f49b3537 RH |
693 | env->iaoq_f = env->cr[CR_IIAOQ]; |
694 | env->iaoq_b = env->cr_back[1]; | |
695 | cpu_hppa_put_psw(env, env->cr[CR_IPSW]); | |
696 | } | |
697 | ||
4a4554c6 | 698 | void HELPER(getshadowregs)(CPUHPPAState *env) |
f49b3537 RH |
699 | { |
700 | env->gr[1] = env->shadow[0]; | |
701 | env->gr[8] = env->shadow[1]; | |
702 | env->gr[9] = env->shadow[2]; | |
703 | env->gr[16] = env->shadow[3]; | |
704 | env->gr[17] = env->shadow[4]; | |
705 | env->gr[24] = env->shadow[5]; | |
706 | env->gr[25] = env->shadow[6]; | |
4a4554c6 HD |
707 | } |
708 | ||
709 | void HELPER(rfi_r)(CPUHPPAState *env) | |
710 | { | |
711 | helper_getshadowregs(env); | |
f49b3537 RH |
712 | helper_rfi(env); |
713 | } | |
e1b5a5ed | 714 | #endif |