2 * Helpers for HPPA instructions.
4 * Copyright (c) 2016 Richard Henderson <rth@twiddle.net>
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.
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.
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/>.
20 #include "qemu/osdep.h"
22 #include "exec/exec-all.h"
23 #include "exec/helper-proto.h"
24 #include "exec/cpu_ldst.h"
25 #include "sysemu/sysemu.h"
26 #include "qemu/timer.h"
29 void QEMU_NORETURN
HELPER(excp
)(CPUHPPAState
*env
, int excp
)
31 HPPACPU
*cpu
= hppa_env_get_cpu(env
);
32 CPUState
*cs
= CPU(cpu
);
34 cs
->exception_index
= excp
;
38 void QEMU_NORETURN
hppa_dynamic_excp(CPUHPPAState
*env
, int excp
, uintptr_t ra
)
40 HPPACPU
*cpu
= hppa_env_get_cpu(env
);
41 CPUState
*cs
= CPU(cpu
);
43 cs
->exception_index
= excp
;
44 cpu_loop_exit_restore(cs
, ra
);
47 void HELPER(tsv
)(CPUHPPAState
*env
, target_ureg cond
)
49 if (unlikely((target_sreg
)cond
< 0)) {
50 hppa_dynamic_excp(env
, EXCP_OVERFLOW
, GETPC());
54 void HELPER(tcond
)(CPUHPPAState
*env
, target_ureg cond
)
57 hppa_dynamic_excp(env
, EXCP_COND
, GETPC());
61 static void atomic_store_3(CPUHPPAState
*env
, target_ulong addr
, uint32_t val
,
62 uint32_t mask
, uintptr_t ra
)
64 #ifdef CONFIG_USER_ONLY
65 uint32_t old
, new, cmp
;
67 uint32_t *haddr
= g2h(addr
- 1);
70 new = (old
& ~mask
) | (val
& mask
);
71 cmp
= atomic_cmpxchg(haddr
, old
, new);
78 /* FIXME -- we can do better. */
79 cpu_loop_exit_atomic(ENV_GET_CPU(env
), ra
);
83 static void do_stby_b(CPUHPPAState
*env
, target_ulong addr
, target_ureg val
,
86 uintptr_t ra
= GETPC();
90 cpu_stb_data_ra(env
, addr
, val
, ra
);
93 cpu_stw_data_ra(env
, addr
, val
, ra
);
96 /* The 3 byte store must appear atomic. */
98 atomic_store_3(env
, addr
, val
, 0x00ffffffu
, ra
);
100 cpu_stb_data_ra(env
, addr
, val
>> 16, ra
);
101 cpu_stw_data_ra(env
, addr
+ 1, val
, ra
);
105 cpu_stl_data_ra(env
, addr
, val
, ra
);
110 void HELPER(stby_b
)(CPUHPPAState
*env
, target_ulong addr
, target_ureg val
)
112 do_stby_b(env
, addr
, val
, false);
115 void HELPER(stby_b_parallel
)(CPUHPPAState
*env
, target_ulong addr
,
118 do_stby_b(env
, addr
, val
, true);
121 static void do_stby_e(CPUHPPAState
*env
, target_ulong addr
, target_ureg val
,
124 uintptr_t ra
= GETPC();
128 /* The 3 byte store must appear atomic. */
130 atomic_store_3(env
, addr
- 3, val
, 0xffffff00u
, ra
);
132 cpu_stw_data_ra(env
, addr
- 3, val
>> 16, ra
);
133 cpu_stb_data_ra(env
, addr
- 1, val
>> 8, ra
);
137 cpu_stw_data_ra(env
, addr
- 2, val
>> 16, ra
);
140 cpu_stb_data_ra(env
, addr
- 1, val
>> 24, ra
);
143 /* Nothing is stored, but protection is checked and the
144 cacheline is marked dirty. */
145 #ifndef CONFIG_USER_ONLY
146 probe_write(env
, addr
, 0, cpu_mmu_index(env
, 0), ra
);
152 void HELPER(stby_e
)(CPUHPPAState
*env
, target_ulong addr
, target_ureg val
)
154 do_stby_e(env
, addr
, val
, false);
157 void HELPER(stby_e_parallel
)(CPUHPPAState
*env
, target_ulong addr
,
160 do_stby_e(env
, addr
, val
, true);
163 target_ureg
HELPER(probe_r
)(target_ulong addr
)
165 #ifdef CONFIG_USER_ONLY
166 return page_check_range(addr
, 1, PAGE_READ
);
168 return 1; /* FIXME */
172 target_ureg
HELPER(probe_w
)(target_ulong addr
)
174 #ifdef CONFIG_USER_ONLY
175 return page_check_range(addr
, 1, PAGE_WRITE
);
177 return 1; /* FIXME */
181 void HELPER(loaded_fr0
)(CPUHPPAState
*env
)
183 uint32_t shadow
= env
->fr
[0] >> 32;
186 env
->fr0_shadow
= shadow
;
188 switch (extract32(shadow
, 9, 2)) {
190 rm
= float_round_nearest_even
;
193 rm
= float_round_to_zero
;
199 rm
= float_round_down
;
202 set_float_rounding_mode(rm
, &env
->fp_status
);
204 d
= extract32(shadow
, 5, 1);
205 set_flush_to_zero(d
, &env
->fp_status
);
206 set_flush_inputs_to_zero(d
, &env
->fp_status
);
209 void cpu_hppa_loaded_fr0(CPUHPPAState
*env
)
211 helper_loaded_fr0(env
);
214 #define CONVERT_BIT(X, SRC, DST) \
216 ? (X) / ((SRC) / (DST)) & (DST) \
217 : ((X) & (SRC)) * ((DST) / (SRC)))
219 static void update_fr0_op(CPUHPPAState
*env
, uintptr_t ra
)
221 uint32_t soft_exp
= get_float_exception_flags(&env
->fp_status
);
222 uint32_t hard_exp
= 0;
223 uint32_t shadow
= env
->fr0_shadow
;
225 if (likely(soft_exp
== 0)) {
226 env
->fr
[0] = (uint64_t)shadow
<< 32;
229 set_float_exception_flags(0, &env
->fp_status
);
231 hard_exp
|= CONVERT_BIT(soft_exp
, float_flag_inexact
, 1u << 0);
232 hard_exp
|= CONVERT_BIT(soft_exp
, float_flag_underflow
, 1u << 1);
233 hard_exp
|= CONVERT_BIT(soft_exp
, float_flag_overflow
, 1u << 2);
234 hard_exp
|= CONVERT_BIT(soft_exp
, float_flag_divbyzero
, 1u << 3);
235 hard_exp
|= CONVERT_BIT(soft_exp
, float_flag_invalid
, 1u << 4);
236 shadow
|= hard_exp
<< (32 - 5);
237 env
->fr0_shadow
= shadow
;
238 env
->fr
[0] = (uint64_t)shadow
<< 32;
240 if (hard_exp
& shadow
) {
241 hppa_dynamic_excp(env
, EXCP_ASSIST
, ra
);
245 float32
HELPER(fsqrt_s
)(CPUHPPAState
*env
, float32 arg
)
247 float32 ret
= float32_sqrt(arg
, &env
->fp_status
);
248 update_fr0_op(env
, GETPC());
252 float32
HELPER(frnd_s
)(CPUHPPAState
*env
, float32 arg
)
254 float32 ret
= float32_round_to_int(arg
, &env
->fp_status
);
255 update_fr0_op(env
, GETPC());
259 float32
HELPER(fadd_s
)(CPUHPPAState
*env
, float32 a
, float32 b
)
261 float32 ret
= float32_add(a
, b
, &env
->fp_status
);
262 update_fr0_op(env
, GETPC());
266 float32
HELPER(fsub_s
)(CPUHPPAState
*env
, float32 a
, float32 b
)
268 float32 ret
= float32_sub(a
, b
, &env
->fp_status
);
269 update_fr0_op(env
, GETPC());
273 float32
HELPER(fmpy_s
)(CPUHPPAState
*env
, float32 a
, float32 b
)
275 float32 ret
= float32_mul(a
, b
, &env
->fp_status
);
276 update_fr0_op(env
, GETPC());
280 float32
HELPER(fdiv_s
)(CPUHPPAState
*env
, float32 a
, float32 b
)
282 float32 ret
= float32_div(a
, b
, &env
->fp_status
);
283 update_fr0_op(env
, GETPC());
287 float64
HELPER(fsqrt_d
)(CPUHPPAState
*env
, float64 arg
)
289 float64 ret
= float64_sqrt(arg
, &env
->fp_status
);
290 update_fr0_op(env
, GETPC());
294 float64
HELPER(frnd_d
)(CPUHPPAState
*env
, float64 arg
)
296 float64 ret
= float64_round_to_int(arg
, &env
->fp_status
);
297 update_fr0_op(env
, GETPC());
301 float64
HELPER(fadd_d
)(CPUHPPAState
*env
, float64 a
, float64 b
)
303 float64 ret
= float64_add(a
, b
, &env
->fp_status
);
304 update_fr0_op(env
, GETPC());
308 float64
HELPER(fsub_d
)(CPUHPPAState
*env
, float64 a
, float64 b
)
310 float64 ret
= float64_sub(a
, b
, &env
->fp_status
);
311 update_fr0_op(env
, GETPC());
315 float64
HELPER(fmpy_d
)(CPUHPPAState
*env
, float64 a
, float64 b
)
317 float64 ret
= float64_mul(a
, b
, &env
->fp_status
);
318 update_fr0_op(env
, GETPC());
322 float64
HELPER(fdiv_d
)(CPUHPPAState
*env
, float64 a
, float64 b
)
324 float64 ret
= float64_div(a
, b
, &env
->fp_status
);
325 update_fr0_op(env
, GETPC());
329 float64
HELPER(fcnv_s_d
)(CPUHPPAState
*env
, float32 arg
)
331 float64 ret
= float32_to_float64(arg
, &env
->fp_status
);
332 ret
= float64_maybe_silence_nan(ret
, &env
->fp_status
);
333 update_fr0_op(env
, GETPC());
337 float32
HELPER(fcnv_d_s
)(CPUHPPAState
*env
, float64 arg
)
339 float32 ret
= float64_to_float32(arg
, &env
->fp_status
);
340 ret
= float32_maybe_silence_nan(ret
, &env
->fp_status
);
341 update_fr0_op(env
, GETPC());
345 float32
HELPER(fcnv_w_s
)(CPUHPPAState
*env
, int32_t arg
)
347 float32 ret
= int32_to_float32(arg
, &env
->fp_status
);
348 update_fr0_op(env
, GETPC());
352 float32
HELPER(fcnv_dw_s
)(CPUHPPAState
*env
, int64_t arg
)
354 float32 ret
= int64_to_float32(arg
, &env
->fp_status
);
355 update_fr0_op(env
, GETPC());
359 float64
HELPER(fcnv_w_d
)(CPUHPPAState
*env
, int32_t arg
)
361 float64 ret
= int32_to_float64(arg
, &env
->fp_status
);
362 update_fr0_op(env
, GETPC());
366 float64
HELPER(fcnv_dw_d
)(CPUHPPAState
*env
, int64_t arg
)
368 float64 ret
= int64_to_float64(arg
, &env
->fp_status
);
369 update_fr0_op(env
, GETPC());
373 int32_t HELPER(fcnv_s_w
)(CPUHPPAState
*env
, float32 arg
)
375 int32_t ret
= float32_to_int32(arg
, &env
->fp_status
);
376 update_fr0_op(env
, GETPC());
380 int32_t HELPER(fcnv_d_w
)(CPUHPPAState
*env
, float64 arg
)
382 int32_t ret
= float64_to_int32(arg
, &env
->fp_status
);
383 update_fr0_op(env
, GETPC());
387 int64_t HELPER(fcnv_s_dw
)(CPUHPPAState
*env
, float32 arg
)
389 int64_t ret
= float32_to_int64(arg
, &env
->fp_status
);
390 update_fr0_op(env
, GETPC());
394 int64_t HELPER(fcnv_d_dw
)(CPUHPPAState
*env
, float64 arg
)
396 int64_t ret
= float64_to_int64(arg
, &env
->fp_status
);
397 update_fr0_op(env
, GETPC());
401 int32_t HELPER(fcnv_t_s_w
)(CPUHPPAState
*env
, float32 arg
)
403 int32_t ret
= float32_to_int32_round_to_zero(arg
, &env
->fp_status
);
404 update_fr0_op(env
, GETPC());
408 int32_t HELPER(fcnv_t_d_w
)(CPUHPPAState
*env
, float64 arg
)
410 int32_t ret
= float64_to_int32_round_to_zero(arg
, &env
->fp_status
);
411 update_fr0_op(env
, GETPC());
415 int64_t HELPER(fcnv_t_s_dw
)(CPUHPPAState
*env
, float32 arg
)
417 int64_t ret
= float32_to_int64_round_to_zero(arg
, &env
->fp_status
);
418 update_fr0_op(env
, GETPC());
422 int64_t HELPER(fcnv_t_d_dw
)(CPUHPPAState
*env
, float64 arg
)
424 int64_t ret
= float64_to_int64_round_to_zero(arg
, &env
->fp_status
);
425 update_fr0_op(env
, GETPC());
429 float32
HELPER(fcnv_uw_s
)(CPUHPPAState
*env
, uint32_t arg
)
431 float32 ret
= uint32_to_float32(arg
, &env
->fp_status
);
432 update_fr0_op(env
, GETPC());
436 float32
HELPER(fcnv_udw_s
)(CPUHPPAState
*env
, uint64_t arg
)
438 float32 ret
= uint64_to_float32(arg
, &env
->fp_status
);
439 update_fr0_op(env
, GETPC());
443 float64
HELPER(fcnv_uw_d
)(CPUHPPAState
*env
, uint32_t arg
)
445 float64 ret
= uint32_to_float64(arg
, &env
->fp_status
);
446 update_fr0_op(env
, GETPC());
450 float64
HELPER(fcnv_udw_d
)(CPUHPPAState
*env
, uint64_t arg
)
452 float64 ret
= uint64_to_float64(arg
, &env
->fp_status
);
453 update_fr0_op(env
, GETPC());
457 uint32_t HELPER(fcnv_s_uw
)(CPUHPPAState
*env
, float32 arg
)
459 uint32_t ret
= float32_to_uint32(arg
, &env
->fp_status
);
460 update_fr0_op(env
, GETPC());
464 uint32_t HELPER(fcnv_d_uw
)(CPUHPPAState
*env
, float64 arg
)
466 uint32_t ret
= float64_to_uint32(arg
, &env
->fp_status
);
467 update_fr0_op(env
, GETPC());
471 uint64_t HELPER(fcnv_s_udw
)(CPUHPPAState
*env
, float32 arg
)
473 uint64_t ret
= float32_to_uint64(arg
, &env
->fp_status
);
474 update_fr0_op(env
, GETPC());
478 uint64_t HELPER(fcnv_d_udw
)(CPUHPPAState
*env
, float64 arg
)
480 uint64_t ret
= float64_to_uint64(arg
, &env
->fp_status
);
481 update_fr0_op(env
, GETPC());
485 uint32_t HELPER(fcnv_t_s_uw
)(CPUHPPAState
*env
, float32 arg
)
487 uint32_t ret
= float32_to_uint32_round_to_zero(arg
, &env
->fp_status
);
488 update_fr0_op(env
, GETPC());
492 uint32_t HELPER(fcnv_t_d_uw
)(CPUHPPAState
*env
, float64 arg
)
494 uint32_t ret
= float64_to_uint32_round_to_zero(arg
, &env
->fp_status
);
495 update_fr0_op(env
, GETPC());
499 uint64_t HELPER(fcnv_t_s_udw
)(CPUHPPAState
*env
, float32 arg
)
501 uint64_t ret
= float32_to_uint64_round_to_zero(arg
, &env
->fp_status
);
502 update_fr0_op(env
, GETPC());
506 uint64_t HELPER(fcnv_t_d_udw
)(CPUHPPAState
*env
, float64 arg
)
508 uint64_t ret
= float64_to_uint64_round_to_zero(arg
, &env
->fp_status
);
509 update_fr0_op(env
, GETPC());
513 static void update_fr0_cmp(CPUHPPAState
*env
, uint32_t y
, uint32_t c
, int r
)
515 uint32_t shadow
= env
->fr0_shadow
;
518 case float_relation_greater
:
519 c
= extract32(c
, 4, 1);
521 case float_relation_less
:
522 c
= extract32(c
, 3, 1);
524 case float_relation_equal
:
525 c
= extract32(c
, 2, 1);
527 case float_relation_unordered
:
528 c
= extract32(c
, 1, 1);
531 g_assert_not_reached();
535 /* targeted comparison */
536 /* set fpsr[ca[y - 1]] to current compare */
537 shadow
= deposit32(shadow
, 21 - (y
- 1), 1, c
);
539 /* queued comparison */
540 /* shift cq right by one place */
541 shadow
= deposit32(shadow
, 11, 10, extract32(shadow
, 12, 10));
542 /* move fpsr[c] to fpsr[cq[0]] */
543 shadow
= deposit32(shadow
, 21, 1, extract32(shadow
, 26, 1));
544 /* set fpsr[c] to current compare */
545 shadow
= deposit32(shadow
, 26, 1, c
);
548 env
->fr0_shadow
= shadow
;
549 env
->fr
[0] = (uint64_t)shadow
<< 32;
552 void HELPER(fcmp_s
)(CPUHPPAState
*env
, float32 a
, float32 b
,
553 uint32_t y
, uint32_t c
)
557 r
= float32_compare(a
, b
, &env
->fp_status
);
559 r
= float32_compare_quiet(a
, b
, &env
->fp_status
);
561 update_fr0_op(env
, GETPC());
562 update_fr0_cmp(env
, y
, c
, r
);
565 void HELPER(fcmp_d
)(CPUHPPAState
*env
, float64 a
, float64 b
,
566 uint32_t y
, uint32_t c
)
570 r
= float64_compare(a
, b
, &env
->fp_status
);
572 r
= float64_compare_quiet(a
, b
, &env
->fp_status
);
574 update_fr0_op(env
, GETPC());
575 update_fr0_cmp(env
, y
, c
, r
);
578 float32
HELPER(fmpyfadd_s
)(CPUHPPAState
*env
, float32 a
, float32 b
, float32 c
)
580 float32 ret
= float32_muladd(a
, b
, c
, 0, &env
->fp_status
);
581 update_fr0_op(env
, GETPC());
585 float32
HELPER(fmpynfadd_s
)(CPUHPPAState
*env
, float32 a
, float32 b
, float32 c
)
587 float32 ret
= float32_muladd(a
, b
, c
, float_muladd_negate_product
,
589 update_fr0_op(env
, GETPC());
593 float64
HELPER(fmpyfadd_d
)(CPUHPPAState
*env
, float64 a
, float64 b
, float64 c
)
595 float64 ret
= float64_muladd(a
, b
, c
, 0, &env
->fp_status
);
596 update_fr0_op(env
, GETPC());
600 float64
HELPER(fmpynfadd_d
)(CPUHPPAState
*env
, float64 a
, float64 b
, float64 c
)
602 float64 ret
= float64_muladd(a
, b
, c
, float_muladd_negate_product
,
604 update_fr0_op(env
, GETPC());
608 target_ureg
HELPER(read_interval_timer
)(void)
610 #ifdef CONFIG_USER_ONLY
611 /* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist.
612 Just pass through the host cpu clock ticks. */
613 return cpu_get_host_ticks();
615 /* In system mode we have access to a decent high-resolution clock.
616 In order to make OS-level time accounting work with the cr16,
617 present it with a well-timed clock fixed at 250MHz. */
618 return qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
) >> 2;
622 #ifndef CONFIG_USER_ONLY
623 void HELPER(write_interval_timer
)(CPUHPPAState
*env
, target_ureg val
)
625 HPPACPU
*cpu
= hppa_env_get_cpu(env
);
626 uint64_t current
= qemu_clock_get_ns(QEMU_CLOCK_VIRTUAL
);
629 /* Even in 64-bit mode, the comparator is always 32-bit. But the
630 value we expose to the guest is 1/4 of the speed of the clock,
631 so moosh in 34 bits. */
632 timeout
= deposit64(current
, 0, 34, (uint64_t)val
<< 2);
634 /* If the mooshing puts the clock in the past, advance to next round. */
635 if (timeout
< current
+ 1000) {
636 timeout
+= 1ULL << 34;
639 cpu
->env
.cr
[CR_IT
] = timeout
;
640 timer_mod(cpu
->alarm_timer
, timeout
);
643 void HELPER(halt
)(CPUHPPAState
*env
)
645 qemu_system_shutdown_request(SHUTDOWN_CAUSE_GUEST_SHUTDOWN
);
646 helper_excp(env
, EXCP_HLT
);
649 void HELPER(reset
)(CPUHPPAState
*env
)
651 qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET
);
652 helper_excp(env
, EXCP_HLT
);
655 target_ureg
HELPER(swap_system_mask
)(CPUHPPAState
*env
, target_ureg nsm
)
657 target_ulong psw
= env
->psw
;
658 /* ??? On second reading this condition simply seems
659 to be undefined rather than a diagnosed trap. */
660 if (nsm
& ~psw
& PSW_Q
) {
661 hppa_dynamic_excp(env
, EXCP_ILL
, GETPC());
663 env
->psw
= (psw
& ~PSW_SM
) | (nsm
& PSW_SM
);
667 void HELPER(rfi
)(CPUHPPAState
*env
)
669 /* ??? On second reading this condition simply seems
670 to be undefined rather than a diagnosed trap. */
671 if (env
->psw
& (PSW_I
| PSW_R
| PSW_Q
)) {
672 helper_excp(env
, EXCP_ILL
);
674 env
->iasq_f
= (uint64_t)env
->cr
[CR_IIASQ
] << 32;
675 env
->iasq_b
= (uint64_t)env
->cr_back
[0] << 32;
676 env
->iaoq_f
= env
->cr
[CR_IIAOQ
];
677 env
->iaoq_b
= env
->cr_back
[1];
678 cpu_hppa_put_psw(env
, env
->cr
[CR_IPSW
]);
681 void HELPER(rfi_r
)(CPUHPPAState
*env
)
683 env
->gr
[1] = env
->shadow
[0];
684 env
->gr
[8] = env
->shadow
[1];
685 env
->gr
[9] = env
->shadow
[2];
686 env
->gr
[16] = env
->shadow
[3];
687 env
->gr
[17] = env
->shadow
[4];
688 env
->gr
[24] = env
->shadow
[5];
689 env
->gr
[25] = env
->shadow
[6];