2 * Microblaze helper routines.
4 * Copyright (c) 2009 Edgar E. Iglesias <edgar.iglesias@gmail.com>.
5 * Copyright (c) 2009-2012 PetaLogix Qld Pty Ltd.
7 * This library is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU Lesser General Public
9 * License as published by the Free Software Foundation; either
10 * version 2 of the License, or (at your option) any later version.
12 * This library is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public
18 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
21 #include "qemu/osdep.h"
23 #include "exec/helper-proto.h"
24 #include "qemu/host-utils.h"
25 #include "exec/exec-all.h"
26 #include "exec/cpu_ldst.h"
27 #include "fpu/softfloat.h"
29 void helper_put(uint32_t id
, uint32_t ctrl
, uint32_t data
)
31 int test
= ctrl
& STREAM_TEST
;
32 int atomic
= ctrl
& STREAM_ATOMIC
;
33 int control
= ctrl
& STREAM_CONTROL
;
34 int nonblock
= ctrl
& STREAM_NONBLOCK
;
35 int exception
= ctrl
& STREAM_EXCEPTION
;
37 qemu_log_mask(LOG_UNIMP
, "Unhandled stream put to stream-id=%d data=%x %s%s%s%s%s\n",
46 uint32_t helper_get(uint32_t id
, uint32_t ctrl
)
48 int test
= ctrl
& STREAM_TEST
;
49 int atomic
= ctrl
& STREAM_ATOMIC
;
50 int control
= ctrl
& STREAM_CONTROL
;
51 int nonblock
= ctrl
& STREAM_NONBLOCK
;
52 int exception
= ctrl
& STREAM_EXCEPTION
;
54 qemu_log_mask(LOG_UNIMP
, "Unhandled stream get from stream-id=%d %s%s%s%s%s\n",
61 return 0xdead0000 | id
;
64 void helper_raise_exception(CPUMBState
*env
, uint32_t index
)
66 CPUState
*cs
= env_cpu(env
);
68 cs
->exception_index
= index
;
72 static bool check_divz(CPUMBState
*env
, uint32_t a
, uint32_t b
, uintptr_t ra
)
74 if (unlikely(b
== 0)) {
77 if ((env
->msr
& MSR_EE
) &&
78 env_archcpu(env
)->cfg
.div_zero_exception
) {
79 CPUState
*cs
= env_cpu(env
);
81 env
->esr
= ESR_EC_DIVZERO
;
82 cs
->exception_index
= EXCP_HW_EXCP
;
83 cpu_loop_exit_restore(cs
, ra
);
90 uint32_t helper_divs(CPUMBState
*env
, uint32_t a
, uint32_t b
)
92 if (!check_divz(env
, a
, b
, GETPC())) {
95 return (int32_t)a
/ (int32_t)b
;
98 uint32_t helper_divu(CPUMBState
*env
, uint32_t a
, uint32_t b
)
100 if (!check_divz(env
, a
, b
, GETPC())) {
106 /* raise FPU exception. */
107 static void raise_fpu_exception(CPUMBState
*env
)
109 env
->esr
= ESR_EC_FPU
;
110 helper_raise_exception(env
, EXCP_HW_EXCP
);
113 static void update_fpu_flags(CPUMBState
*env
, int flags
)
117 if (flags
& float_flag_invalid
) {
121 if (flags
& float_flag_divbyzero
) {
125 if (flags
& float_flag_overflow
) {
129 if (flags
& float_flag_underflow
) {
134 && (env
->pvr
.regs
[2] & PVR2_FPU_EXC_MASK
)
135 && (env
->msr
& MSR_EE
)) {
136 raise_fpu_exception(env
);
140 uint32_t helper_fadd(CPUMBState
*env
, uint32_t a
, uint32_t b
)
142 CPU_FloatU fd
, fa
, fb
;
145 set_float_exception_flags(0, &env
->fp_status
);
148 fd
.f
= float32_add(fa
.f
, fb
.f
, &env
->fp_status
);
150 flags
= get_float_exception_flags(&env
->fp_status
);
151 update_fpu_flags(env
, flags
);
155 uint32_t helper_frsub(CPUMBState
*env
, uint32_t a
, uint32_t b
)
157 CPU_FloatU fd
, fa
, fb
;
160 set_float_exception_flags(0, &env
->fp_status
);
163 fd
.f
= float32_sub(fb
.f
, fa
.f
, &env
->fp_status
);
164 flags
= get_float_exception_flags(&env
->fp_status
);
165 update_fpu_flags(env
, flags
);
169 uint32_t helper_fmul(CPUMBState
*env
, uint32_t a
, uint32_t b
)
171 CPU_FloatU fd
, fa
, fb
;
174 set_float_exception_flags(0, &env
->fp_status
);
177 fd
.f
= float32_mul(fa
.f
, fb
.f
, &env
->fp_status
);
178 flags
= get_float_exception_flags(&env
->fp_status
);
179 update_fpu_flags(env
, flags
);
184 uint32_t helper_fdiv(CPUMBState
*env
, uint32_t a
, uint32_t b
)
186 CPU_FloatU fd
, fa
, fb
;
189 set_float_exception_flags(0, &env
->fp_status
);
192 fd
.f
= float32_div(fb
.f
, fa
.f
, &env
->fp_status
);
193 flags
= get_float_exception_flags(&env
->fp_status
);
194 update_fpu_flags(env
, flags
);
199 uint32_t helper_fcmp_un(CPUMBState
*env
, uint32_t a
, uint32_t b
)
207 if (float32_is_signaling_nan(fa
.f
, &env
->fp_status
) ||
208 float32_is_signaling_nan(fb
.f
, &env
->fp_status
)) {
209 update_fpu_flags(env
, float_flag_invalid
);
213 if (float32_is_quiet_nan(fa
.f
, &env
->fp_status
) ||
214 float32_is_quiet_nan(fb
.f
, &env
->fp_status
)) {
221 uint32_t helper_fcmp_lt(CPUMBState
*env
, uint32_t a
, uint32_t b
)
227 set_float_exception_flags(0, &env
->fp_status
);
230 r
= float32_lt(fb
.f
, fa
.f
, &env
->fp_status
);
231 flags
= get_float_exception_flags(&env
->fp_status
);
232 update_fpu_flags(env
, flags
& float_flag_invalid
);
237 uint32_t helper_fcmp_eq(CPUMBState
*env
, uint32_t a
, uint32_t b
)
243 set_float_exception_flags(0, &env
->fp_status
);
246 r
= float32_eq_quiet(fa
.f
, fb
.f
, &env
->fp_status
);
247 flags
= get_float_exception_flags(&env
->fp_status
);
248 update_fpu_flags(env
, flags
& float_flag_invalid
);
253 uint32_t helper_fcmp_le(CPUMBState
*env
, uint32_t a
, uint32_t b
)
261 set_float_exception_flags(0, &env
->fp_status
);
262 r
= float32_le(fa
.f
, fb
.f
, &env
->fp_status
);
263 flags
= get_float_exception_flags(&env
->fp_status
);
264 update_fpu_flags(env
, flags
& float_flag_invalid
);
270 uint32_t helper_fcmp_gt(CPUMBState
*env
, uint32_t a
, uint32_t b
)
277 set_float_exception_flags(0, &env
->fp_status
);
278 r
= float32_lt(fa
.f
, fb
.f
, &env
->fp_status
);
279 flags
= get_float_exception_flags(&env
->fp_status
);
280 update_fpu_flags(env
, flags
& float_flag_invalid
);
284 uint32_t helper_fcmp_ne(CPUMBState
*env
, uint32_t a
, uint32_t b
)
291 set_float_exception_flags(0, &env
->fp_status
);
292 r
= !float32_eq_quiet(fa
.f
, fb
.f
, &env
->fp_status
);
293 flags
= get_float_exception_flags(&env
->fp_status
);
294 update_fpu_flags(env
, flags
& float_flag_invalid
);
299 uint32_t helper_fcmp_ge(CPUMBState
*env
, uint32_t a
, uint32_t b
)
306 set_float_exception_flags(0, &env
->fp_status
);
307 r
= !float32_lt(fa
.f
, fb
.f
, &env
->fp_status
);
308 flags
= get_float_exception_flags(&env
->fp_status
);
309 update_fpu_flags(env
, flags
& float_flag_invalid
);
314 uint32_t helper_flt(CPUMBState
*env
, uint32_t a
)
319 fd
.f
= int32_to_float32(fa
.l
, &env
->fp_status
);
323 uint32_t helper_fint(CPUMBState
*env
, uint32_t a
)
329 set_float_exception_flags(0, &env
->fp_status
);
331 r
= float32_to_int32(fa
.f
, &env
->fp_status
);
332 flags
= get_float_exception_flags(&env
->fp_status
);
333 update_fpu_flags(env
, flags
);
338 uint32_t helper_fsqrt(CPUMBState
*env
, uint32_t a
)
343 set_float_exception_flags(0, &env
->fp_status
);
345 fd
.l
= float32_sqrt(fa
.f
, &env
->fp_status
);
346 flags
= get_float_exception_flags(&env
->fp_status
);
347 update_fpu_flags(env
, flags
);
352 uint32_t helper_pcmpbf(uint32_t a
, uint32_t b
)
355 uint32_t mask
= 0xff000000;
357 for (i
= 0; i
< 4; i
++) {
358 if ((a
& mask
) == (b
& mask
))
365 void helper_memalign(CPUMBState
*env
, target_ulong addr
,
366 uint32_t dr
, uint32_t wr
,
370 qemu_log_mask(CPU_LOG_INT
,
371 "unaligned access addr=" TARGET_FMT_lx
372 " mask=%x, wr=%d dr=r%d\n",
375 env
->esr
= ESR_EC_UNALIGNED_DATA
| (wr
<< 10) | (dr
& 31) << 5;
379 if (!(env
->msr
& MSR_EE
)) {
382 helper_raise_exception(env
, EXCP_HW_EXCP
);
386 void helper_stackprot(CPUMBState
*env
, target_ulong addr
)
388 if (addr
< env
->slr
|| addr
> env
->shr
) {
389 qemu_log_mask(CPU_LOG_INT
, "Stack protector violation at "
390 TARGET_FMT_lx
" %x %x\n",
391 addr
, env
->slr
, env
->shr
);
393 env
->esr
= ESR_EC_STACKPROT
;
394 helper_raise_exception(env
, EXCP_HW_EXCP
);
398 #if !defined(CONFIG_USER_ONLY)
399 /* Writes/reads to the MMU's special regs end up here. */
400 uint32_t helper_mmu_read(CPUMBState
*env
, uint32_t ext
, uint32_t rn
)
402 return mmu_read(env
, ext
, rn
);
405 void helper_mmu_write(CPUMBState
*env
, uint32_t ext
, uint32_t rn
, uint32_t v
)
407 mmu_write(env
, ext
, rn
, v
);
410 void mb_cpu_transaction_failed(CPUState
*cs
, hwaddr physaddr
, vaddr addr
,
411 unsigned size
, MMUAccessType access_type
,
412 int mmu_idx
, MemTxAttrs attrs
,
413 MemTxResult response
, uintptr_t retaddr
)
417 qemu_log_mask(CPU_LOG_INT
, "Transaction failed: vaddr 0x%" VADDR_PRIx
418 " physaddr 0x" TARGET_FMT_plx
" size %d access type %s\n",
419 addr
, physaddr
, size
,
420 access_type
== MMU_INST_FETCH
? "INST_FETCH" :
421 (access_type
== MMU_DATA_LOAD
? "DATA_LOAD" : "DATA_STORE"));
422 cpu
= MICROBLAZE_CPU(cs
);
425 cpu_restore_state(cs
, retaddr
, true);
426 if (!(env
->msr
& MSR_EE
)) {
431 if (access_type
== MMU_INST_FETCH
) {
432 if ((env
->pvr
.regs
[2] & PVR2_IOPB_BUS_EXC_MASK
)) {
433 env
->esr
= ESR_EC_INSN_BUS
;
434 helper_raise_exception(env
, EXCP_HW_EXCP
);
437 if ((env
->pvr
.regs
[2] & PVR2_DOPB_BUS_EXC_MASK
)) {
438 env
->esr
= ESR_EC_DATA_BUS
;
439 helper_raise_exception(env
, EXCP_HW_EXCP
);