4 * Copyright (c) 2005 Samuel Tardieu
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/>.
24 static void cpu_restore_state_from_retaddr(void *retaddr
)
30 pc
= (unsigned long) retaddr
;
33 /* the PC is inside the translated code. It means that we have
34 a virtual CPU fault */
35 cpu_restore_state(tb
, env
, pc
, NULL
);
40 #ifndef CONFIG_USER_ONLY
42 #define MMUSUFFIX _mmu
45 #include "softmmu_template.h"
48 #include "softmmu_template.h"
51 #include "softmmu_template.h"
54 #include "softmmu_template.h"
56 void tlb_fill(target_ulong addr
, int is_write
, int mmu_idx
, void *retaddr
)
61 /* XXX: hack to restore env in all cases, even if not called from
65 ret
= cpu_sh4_handle_mmu_fault(env
, addr
, is_write
, mmu_idx
, 1);
67 /* now we have a real cpu fault */
68 cpu_restore_state_from_retaddr(retaddr
);
76 void helper_ldtlb(void)
78 #ifdef CONFIG_USER_ONLY
80 cpu_abort(env
, "Unhandled ldtlb");
86 static inline void raise_exception(int index
, void *retaddr
)
88 env
->exception_index
= index
;
89 cpu_restore_state_from_retaddr(retaddr
);
93 void helper_raise_illegal_instruction(void)
95 raise_exception(0x180, GETPC());
98 void helper_raise_slot_illegal_instruction(void)
100 raise_exception(0x1a0, GETPC());
103 void helper_raise_fpu_disable(void)
105 raise_exception(0x800, GETPC());
108 void helper_raise_slot_fpu_disable(void)
110 raise_exception(0x820, GETPC());
113 void helper_debug(void)
115 env
->exception_index
= EXCP_DEBUG
;
119 void helper_sleep(uint32_t next_pc
)
122 env
->exception_index
= EXCP_HLT
;
127 void helper_trapa(uint32_t tra
)
130 raise_exception(0x160, GETPC());
133 void helper_movcal(uint32_t address
, uint32_t value
)
135 if (cpu_sh4_is_cached (env
, address
))
137 memory_content
*r
= malloc (sizeof(memory_content
));
138 r
->address
= address
;
142 *(env
->movcal_backup_tail
) = r
;
143 env
->movcal_backup_tail
= &(r
->next
);
147 void helper_discard_movcal_backup(void)
149 memory_content
*current
= env
->movcal_backup
;
153 memory_content
*next
= current
->next
;
155 env
->movcal_backup
= current
= next
;
157 env
->movcal_backup_tail
= &(env
->movcal_backup
);
161 void helper_ocbi(uint32_t address
)
163 memory_content
**current
= &(env
->movcal_backup
);
166 uint32_t a
= (*current
)->address
;
167 if ((a
& ~0x1F) == (address
& ~0x1F))
169 memory_content
*next
= (*current
)->next
;
170 stl(a
, (*current
)->value
);
174 env
->movcal_backup_tail
= current
;
184 uint32_t helper_addc(uint32_t arg0
, uint32_t arg1
)
190 arg1
= tmp1
+ (env
->sr
& 1);
200 uint32_t helper_addv(uint32_t arg0
, uint32_t arg1
)
202 uint32_t dest
, src
, ans
;
204 if ((int32_t) arg1
>= 0)
208 if ((int32_t) arg0
>= 0)
214 if ((int32_t) arg1
>= 0)
219 if (src
== 0 || src
== 2) {
229 #define T (env->sr & SR_T)
230 #define Q (env->sr & SR_Q ? 1 : 0)
231 #define M (env->sr & SR_M ? 1 : 0)
232 #define SETT env->sr |= SR_T
233 #define CLRT env->sr &= ~SR_T
234 #define SETQ env->sr |= SR_Q
235 #define CLRQ env->sr &= ~SR_Q
236 #define SETM env->sr |= SR_M
237 #define CLRM env->sr &= ~SR_M
239 uint32_t helper_div1(uint32_t arg0
, uint32_t arg1
)
242 uint8_t old_q
, tmp1
= 0xff;
244 //printf("div1 arg0=0x%08x arg1=0x%08x M=%d Q=%d T=%d\n", arg0, arg1, M, Q, T);
246 if ((0x80000000 & arg1
) != 0)
343 //printf("Output: arg1=0x%08x M=%d Q=%d T=%d\n", arg1, M, Q, T);
347 void helper_macl(uint32_t arg0
, uint32_t arg1
)
351 res
= ((uint64_t) env
->mach
<< 32) | env
->macl
;
352 res
+= (int64_t) (int32_t) arg0
*(int64_t) (int32_t) arg1
;
353 env
->mach
= (res
>> 32) & 0xffffffff;
354 env
->macl
= res
& 0xffffffff;
355 if (env
->sr
& SR_S
) {
357 env
->mach
|= 0xffff0000;
359 env
->mach
&= 0x00007fff;
363 void helper_macw(uint32_t arg0
, uint32_t arg1
)
367 res
= ((uint64_t) env
->mach
<< 32) | env
->macl
;
368 res
+= (int64_t) (int16_t) arg0
*(int64_t) (int16_t) arg1
;
369 env
->mach
= (res
>> 32) & 0xffffffff;
370 env
->macl
= res
& 0xffffffff;
371 if (env
->sr
& SR_S
) {
372 if (res
< -0x80000000) {
374 env
->macl
= 0x80000000;
375 } else if (res
> 0x000000007fffffff) {
377 env
->macl
= 0x7fffffff;
382 uint32_t helper_subc(uint32_t arg0
, uint32_t arg1
)
388 arg1
= tmp1
- (env
->sr
& SR_T
);
398 uint32_t helper_subv(uint32_t arg0
, uint32_t arg1
)
400 int32_t dest
, src
, ans
;
402 if ((int32_t) arg1
>= 0)
406 if ((int32_t) arg0
>= 0)
412 if ((int32_t) arg1
>= 0)
427 static inline void set_t(void)
432 static inline void clr_t(void)
437 void helper_ld_fpscr(uint32_t val
)
439 env
->fpscr
= val
& FPSCR_MASK
;
440 if ((val
& FPSCR_RM_MASK
) == FPSCR_RM_ZERO
) {
441 set_float_rounding_mode(float_round_to_zero
, &env
->fp_status
);
443 set_float_rounding_mode(float_round_nearest_even
, &env
->fp_status
);
445 set_flush_to_zero((val
& FPSCR_DN
) != 0, &env
->fp_status
);
448 static void update_fpscr(void *retaddr
)
450 int xcpt
, cause
, enable
;
452 xcpt
= get_float_exception_flags(&env
->fp_status
);
454 /* Clear the flag entries */
455 env
->fpscr
&= ~FPSCR_FLAG_MASK
;
457 if (unlikely(xcpt
)) {
458 if (xcpt
& float_flag_invalid
) {
459 env
->fpscr
|= FPSCR_FLAG_V
;
461 if (xcpt
& float_flag_divbyzero
) {
462 env
->fpscr
|= FPSCR_FLAG_Z
;
464 if (xcpt
& float_flag_overflow
) {
465 env
->fpscr
|= FPSCR_FLAG_O
;
467 if (xcpt
& float_flag_underflow
) {
468 env
->fpscr
|= FPSCR_FLAG_U
;
470 if (xcpt
& float_flag_inexact
) {
471 env
->fpscr
|= FPSCR_FLAG_I
;
474 /* Accumulate in cause entries */
475 env
->fpscr
|= (env
->fpscr
& FPSCR_FLAG_MASK
)
476 << (FPSCR_CAUSE_SHIFT
- FPSCR_FLAG_SHIFT
);
478 /* Generate an exception if enabled */
479 cause
= (env
->fpscr
& FPSCR_CAUSE_MASK
) >> FPSCR_CAUSE_SHIFT
;
480 enable
= (env
->fpscr
& FPSCR_ENABLE_MASK
) >> FPSCR_ENABLE_SHIFT
;
481 if (cause
& enable
) {
482 cpu_restore_state_from_retaddr(retaddr
);
483 env
->exception_index
= 0x120;
489 uint32_t helper_fabs_FT(uint32_t t0
)
493 f
.f
= float32_abs(f
.f
);
497 uint64_t helper_fabs_DT(uint64_t t0
)
501 d
.d
= float64_abs(d
.d
);
505 uint32_t helper_fadd_FT(uint32_t t0
, uint32_t t1
)
510 set_float_exception_flags(0, &env
->fp_status
);
511 f0
.f
= float32_add(f0
.f
, f1
.f
, &env
->fp_status
);
512 update_fpscr(GETPC());
516 uint64_t helper_fadd_DT(uint64_t t0
, uint64_t t1
)
521 set_float_exception_flags(0, &env
->fp_status
);
522 d0
.d
= float64_add(d0
.d
, d1
.d
, &env
->fp_status
);
523 update_fpscr(GETPC());
527 void helper_fcmp_eq_FT(uint32_t t0
, uint32_t t1
)
534 set_float_exception_flags(0, &env
->fp_status
);
535 relation
= float32_compare(f0
.f
, f1
.f
, &env
->fp_status
);
536 if (unlikely(relation
== float_relation_unordered
)) {
537 update_fpscr(GETPC());
538 } else if (relation
== float_relation_equal
) {
545 void helper_fcmp_eq_DT(uint64_t t0
, uint64_t t1
)
552 set_float_exception_flags(0, &env
->fp_status
);
553 relation
= float64_compare(d0
.d
, d1
.d
, &env
->fp_status
);
554 if (unlikely(relation
== float_relation_unordered
)) {
555 update_fpscr(GETPC());
556 } else if (relation
== float_relation_equal
) {
563 void helper_fcmp_gt_FT(uint32_t t0
, uint32_t t1
)
570 set_float_exception_flags(0, &env
->fp_status
);
571 relation
= float32_compare(f0
.f
, f1
.f
, &env
->fp_status
);
572 if (unlikely(relation
== float_relation_unordered
)) {
573 update_fpscr(GETPC());
574 } else if (relation
== float_relation_greater
) {
581 void helper_fcmp_gt_DT(uint64_t t0
, uint64_t t1
)
588 set_float_exception_flags(0, &env
->fp_status
);
589 relation
= float64_compare(d0
.d
, d1
.d
, &env
->fp_status
);
590 if (unlikely(relation
== float_relation_unordered
)) {
591 update_fpscr(GETPC());
592 } else if (relation
== float_relation_greater
) {
599 uint64_t helper_fcnvsd_FT_DT(uint32_t t0
)
604 set_float_exception_flags(0, &env
->fp_status
);
605 d
.d
= float32_to_float64(f
.f
, &env
->fp_status
);
606 update_fpscr(GETPC());
610 uint32_t helper_fcnvds_DT_FT(uint64_t t0
)
615 set_float_exception_flags(0, &env
->fp_status
);
616 f
.f
= float64_to_float32(d
.d
, &env
->fp_status
);
617 update_fpscr(GETPC());
621 uint32_t helper_fdiv_FT(uint32_t t0
, uint32_t t1
)
626 set_float_exception_flags(0, &env
->fp_status
);
627 f0
.f
= float32_div(f0
.f
, f1
.f
, &env
->fp_status
);
628 update_fpscr(GETPC());
632 uint64_t helper_fdiv_DT(uint64_t t0
, uint64_t t1
)
637 set_float_exception_flags(0, &env
->fp_status
);
638 d0
.d
= float64_div(d0
.d
, d1
.d
, &env
->fp_status
);
639 update_fpscr(GETPC());
643 uint32_t helper_float_FT(uint32_t t0
)
647 set_float_exception_flags(0, &env
->fp_status
);
648 f
.f
= int32_to_float32(t0
, &env
->fp_status
);
649 update_fpscr(GETPC());
654 uint64_t helper_float_DT(uint32_t t0
)
657 set_float_exception_flags(0, &env
->fp_status
);
658 d
.d
= int32_to_float64(t0
, &env
->fp_status
);
659 update_fpscr(GETPC());
663 uint32_t helper_fmac_FT(uint32_t t0
, uint32_t t1
, uint32_t t2
)
665 CPU_FloatU f0
, f1
, f2
;
669 set_float_exception_flags(0, &env
->fp_status
);
670 f0
.f
= float32_mul(f0
.f
, f1
.f
, &env
->fp_status
);
671 f0
.f
= float32_add(f0
.f
, f2
.f
, &env
->fp_status
);
672 update_fpscr(GETPC());
677 uint32_t helper_fmul_FT(uint32_t t0
, uint32_t t1
)
682 set_float_exception_flags(0, &env
->fp_status
);
683 f0
.f
= float32_mul(f0
.f
, f1
.f
, &env
->fp_status
);
684 update_fpscr(GETPC());
688 uint64_t helper_fmul_DT(uint64_t t0
, uint64_t t1
)
693 set_float_exception_flags(0, &env
->fp_status
);
694 d0
.d
= float64_mul(d0
.d
, d1
.d
, &env
->fp_status
);
695 update_fpscr(GETPC());
700 uint32_t helper_fneg_T(uint32_t t0
)
704 f
.f
= float32_chs(f
.f
);
708 uint32_t helper_fsqrt_FT(uint32_t t0
)
712 set_float_exception_flags(0, &env
->fp_status
);
713 f
.f
= float32_sqrt(f
.f
, &env
->fp_status
);
714 update_fpscr(GETPC());
718 uint64_t helper_fsqrt_DT(uint64_t t0
)
722 set_float_exception_flags(0, &env
->fp_status
);
723 d
.d
= float64_sqrt(d
.d
, &env
->fp_status
);
724 update_fpscr(GETPC());
728 uint32_t helper_fsub_FT(uint32_t t0
, uint32_t t1
)
733 set_float_exception_flags(0, &env
->fp_status
);
734 f0
.f
= float32_sub(f0
.f
, f1
.f
, &env
->fp_status
);
735 update_fpscr(GETPC());
739 uint64_t helper_fsub_DT(uint64_t t0
, uint64_t t1
)
745 set_float_exception_flags(0, &env
->fp_status
);
746 d0
.d
= float64_sub(d0
.d
, d1
.d
, &env
->fp_status
);
747 update_fpscr(GETPC());
751 uint32_t helper_ftrc_FT(uint32_t t0
)
756 set_float_exception_flags(0, &env
->fp_status
);
757 ret
= float32_to_int32_round_to_zero(f
.f
, &env
->fp_status
);
758 update_fpscr(GETPC());
762 uint32_t helper_ftrc_DT(uint64_t t0
)
767 set_float_exception_flags(0, &env
->fp_status
);
768 ret
= float64_to_int32_round_to_zero(d
.d
, &env
->fp_status
);
769 update_fpscr(GETPC());
773 void helper_fipr(uint32_t m
, uint32_t n
)
778 bank
= (env
->sr
& FPSCR_FR
) ? 16 : 0;
780 set_float_exception_flags(0, &env
->fp_status
);
782 for (i
= 0 ; i
< 4 ; i
++) {
783 p
= float32_mul(env
->fregs
[bank
+ m
+ i
],
784 env
->fregs
[bank
+ n
+ i
],
786 r
= float32_add(r
, p
, &env
->fp_status
);
788 update_fpscr(GETPC());
790 env
->fregs
[bank
+ n
+ 3] = r
;
793 void helper_ftrv(uint32_t n
)
795 int bank_matrix
, bank_vector
;
800 bank_matrix
= (env
->sr
& FPSCR_FR
) ? 0 : 16;
801 bank_vector
= (env
->sr
& FPSCR_FR
) ? 16 : 0;
802 set_float_exception_flags(0, &env
->fp_status
);
803 for (i
= 0 ; i
< 4 ; i
++) {
805 for (j
= 0 ; j
< 4 ; j
++) {
806 p
= float32_mul(env
->fregs
[bank_matrix
+ 4 * j
+ i
],
807 env
->fregs
[bank_vector
+ j
],
809 r
[i
] = float32_add(r
[i
], p
, &env
->fp_status
);
812 update_fpscr(GETPC());
814 for (i
= 0 ; i
< 4 ; i
++) {
815 env
->fregs
[bank_vector
+ i
] = r
[i
];