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"
30 #if !defined(CONFIG_USER_ONLY)
32 /* Try to fill the TLB and return an exception if error. If retaddr is
33 * NULL, it means that the function was called in C code (i.e. not
34 * from generated code or from helper.c)
36 void tlb_fill(CPUState
*cs
, target_ulong addr
, MMUAccessType access_type
,
37 int mmu_idx
, uintptr_t retaddr
)
41 ret
= mb_cpu_handle_mmu_fault(cs
, addr
, access_type
, mmu_idx
);
43 /* now we have a real cpu fault */
44 cpu_loop_exit_restore(cs
, retaddr
);
49 void helper_put(uint32_t id
, uint32_t ctrl
, uint32_t data
)
51 int test
= ctrl
& STREAM_TEST
;
52 int atomic
= ctrl
& STREAM_ATOMIC
;
53 int control
= ctrl
& STREAM_CONTROL
;
54 int nonblock
= ctrl
& STREAM_NONBLOCK
;
55 int exception
= ctrl
& STREAM_EXCEPTION
;
57 qemu_log_mask(LOG_UNIMP
, "Unhandled stream put to stream-id=%d data=%x %s%s%s%s%s\n",
66 uint32_t helper_get(uint32_t id
, uint32_t ctrl
)
68 int test
= ctrl
& STREAM_TEST
;
69 int atomic
= ctrl
& STREAM_ATOMIC
;
70 int control
= ctrl
& STREAM_CONTROL
;
71 int nonblock
= ctrl
& STREAM_NONBLOCK
;
72 int exception
= ctrl
& STREAM_EXCEPTION
;
74 qemu_log_mask(LOG_UNIMP
, "Unhandled stream get from stream-id=%d %s%s%s%s%s\n",
81 return 0xdead0000 | id
;
84 void QEMU_NORETURN
helper_raise_exception(CPUMBState
*env
, uint32_t index
)
86 CPUState
*cs
= CPU(mb_env_get_cpu(env
));
88 cs
->exception_index
= index
;
92 void helper_debug(CPUMBState
*env
)
96 qemu_log("PC=%8.8x\n", env
->sregs
[SR_PC
]);
97 qemu_log("rmsr=%x resr=%x rear=%x debug[%x] imm=%x iflags=%x\n",
98 env
->sregs
[SR_MSR
], env
->sregs
[SR_ESR
], env
->sregs
[SR_EAR
],
99 env
->debug
, env
->imm
, env
->iflags
);
100 qemu_log("btaken=%d btarget=%x mode=%s(saved=%s) eip=%d ie=%d\n",
101 env
->btaken
, env
->btarget
,
102 (env
->sregs
[SR_MSR
] & MSR_UM
) ? "user" : "kernel",
103 (env
->sregs
[SR_MSR
] & MSR_UMS
) ? "user" : "kernel",
104 (env
->sregs
[SR_MSR
] & MSR_EIP
),
105 (env
->sregs
[SR_MSR
] & MSR_IE
));
106 for (i
= 0; i
< 32; i
++) {
107 qemu_log("r%2.2d=%8.8x ", i
, env
->regs
[i
]);
108 if ((i
+ 1) % 4 == 0)
114 static inline uint32_t compute_carry(uint32_t a
, uint32_t b
, uint32_t cin
)
118 if ((b
== ~0) && cin
)
120 else if ((~0 - a
) < (b
+ cin
))
125 uint32_t helper_cmp(uint32_t a
, uint32_t b
)
130 if ((b
& 0x80000000) ^ (a
& 0x80000000))
131 t
= (t
& 0x7fffffff) | (b
& 0x80000000);
135 uint32_t helper_cmpu(uint32_t a
, uint32_t b
)
140 if ((b
& 0x80000000) ^ (a
& 0x80000000))
141 t
= (t
& 0x7fffffff) | (a
& 0x80000000);
145 uint32_t helper_carry(uint32_t a
, uint32_t b
, uint32_t cf
)
147 return compute_carry(a
, b
, cf
);
150 static inline int div_prepare(CPUMBState
*env
, uint32_t a
, uint32_t b
)
153 env
->sregs
[SR_MSR
] |= MSR_DZ
;
155 if ((env
->sregs
[SR_MSR
] & MSR_EE
)
156 && !(env
->pvr
.regs
[2] & PVR2_DIV_ZERO_EXC_MASK
)) {
157 env
->sregs
[SR_ESR
] = ESR_EC_DIVZERO
;
158 helper_raise_exception(env
, EXCP_HW_EXCP
);
162 env
->sregs
[SR_MSR
] &= ~MSR_DZ
;
166 uint32_t helper_divs(CPUMBState
*env
, uint32_t a
, uint32_t b
)
168 if (!div_prepare(env
, a
, b
)) {
171 return (int32_t)a
/ (int32_t)b
;
174 uint32_t helper_divu(CPUMBState
*env
, uint32_t a
, uint32_t b
)
176 if (!div_prepare(env
, a
, b
)) {
182 /* raise FPU exception. */
183 static void raise_fpu_exception(CPUMBState
*env
)
185 env
->sregs
[SR_ESR
] = ESR_EC_FPU
;
186 helper_raise_exception(env
, EXCP_HW_EXCP
);
189 static void update_fpu_flags(CPUMBState
*env
, int flags
)
193 if (flags
& float_flag_invalid
) {
194 env
->sregs
[SR_FSR
] |= FSR_IO
;
197 if (flags
& float_flag_divbyzero
) {
198 env
->sregs
[SR_FSR
] |= FSR_DZ
;
201 if (flags
& float_flag_overflow
) {
202 env
->sregs
[SR_FSR
] |= FSR_OF
;
205 if (flags
& float_flag_underflow
) {
206 env
->sregs
[SR_FSR
] |= FSR_UF
;
210 && (env
->pvr
.regs
[2] & PVR2_FPU_EXC_MASK
)
211 && (env
->sregs
[SR_MSR
] & MSR_EE
)) {
212 raise_fpu_exception(env
);
216 uint32_t helper_fadd(CPUMBState
*env
, uint32_t a
, uint32_t b
)
218 CPU_FloatU fd
, fa
, fb
;
221 set_float_exception_flags(0, &env
->fp_status
);
224 fd
.f
= float32_add(fa
.f
, fb
.f
, &env
->fp_status
);
226 flags
= get_float_exception_flags(&env
->fp_status
);
227 update_fpu_flags(env
, flags
);
231 uint32_t helper_frsub(CPUMBState
*env
, uint32_t a
, uint32_t b
)
233 CPU_FloatU fd
, fa
, fb
;
236 set_float_exception_flags(0, &env
->fp_status
);
239 fd
.f
= float32_sub(fb
.f
, fa
.f
, &env
->fp_status
);
240 flags
= get_float_exception_flags(&env
->fp_status
);
241 update_fpu_flags(env
, flags
);
245 uint32_t helper_fmul(CPUMBState
*env
, uint32_t a
, uint32_t b
)
247 CPU_FloatU fd
, fa
, fb
;
250 set_float_exception_flags(0, &env
->fp_status
);
253 fd
.f
= float32_mul(fa
.f
, fb
.f
, &env
->fp_status
);
254 flags
= get_float_exception_flags(&env
->fp_status
);
255 update_fpu_flags(env
, flags
);
260 uint32_t helper_fdiv(CPUMBState
*env
, uint32_t a
, uint32_t b
)
262 CPU_FloatU fd
, fa
, fb
;
265 set_float_exception_flags(0, &env
->fp_status
);
268 fd
.f
= float32_div(fb
.f
, fa
.f
, &env
->fp_status
);
269 flags
= get_float_exception_flags(&env
->fp_status
);
270 update_fpu_flags(env
, flags
);
275 uint32_t helper_fcmp_un(CPUMBState
*env
, uint32_t a
, uint32_t b
)
283 if (float32_is_signaling_nan(fa
.f
, &env
->fp_status
) ||
284 float32_is_signaling_nan(fb
.f
, &env
->fp_status
)) {
285 update_fpu_flags(env
, float_flag_invalid
);
289 if (float32_is_quiet_nan(fa
.f
, &env
->fp_status
) ||
290 float32_is_quiet_nan(fb
.f
, &env
->fp_status
)) {
297 uint32_t helper_fcmp_lt(CPUMBState
*env
, uint32_t a
, uint32_t b
)
303 set_float_exception_flags(0, &env
->fp_status
);
306 r
= float32_lt(fb
.f
, fa
.f
, &env
->fp_status
);
307 flags
= get_float_exception_flags(&env
->fp_status
);
308 update_fpu_flags(env
, flags
& float_flag_invalid
);
313 uint32_t helper_fcmp_eq(CPUMBState
*env
, uint32_t a
, uint32_t b
)
319 set_float_exception_flags(0, &env
->fp_status
);
322 r
= float32_eq_quiet(fa
.f
, fb
.f
, &env
->fp_status
);
323 flags
= get_float_exception_flags(&env
->fp_status
);
324 update_fpu_flags(env
, flags
& float_flag_invalid
);
329 uint32_t helper_fcmp_le(CPUMBState
*env
, uint32_t a
, uint32_t b
)
337 set_float_exception_flags(0, &env
->fp_status
);
338 r
= float32_le(fa
.f
, fb
.f
, &env
->fp_status
);
339 flags
= get_float_exception_flags(&env
->fp_status
);
340 update_fpu_flags(env
, flags
& float_flag_invalid
);
346 uint32_t helper_fcmp_gt(CPUMBState
*env
, uint32_t a
, uint32_t b
)
353 set_float_exception_flags(0, &env
->fp_status
);
354 r
= float32_lt(fa
.f
, fb
.f
, &env
->fp_status
);
355 flags
= get_float_exception_flags(&env
->fp_status
);
356 update_fpu_flags(env
, flags
& float_flag_invalid
);
360 uint32_t helper_fcmp_ne(CPUMBState
*env
, uint32_t a
, uint32_t b
)
367 set_float_exception_flags(0, &env
->fp_status
);
368 r
= !float32_eq_quiet(fa
.f
, fb
.f
, &env
->fp_status
);
369 flags
= get_float_exception_flags(&env
->fp_status
);
370 update_fpu_flags(env
, flags
& float_flag_invalid
);
375 uint32_t helper_fcmp_ge(CPUMBState
*env
, uint32_t a
, uint32_t b
)
382 set_float_exception_flags(0, &env
->fp_status
);
383 r
= !float32_lt(fa
.f
, fb
.f
, &env
->fp_status
);
384 flags
= get_float_exception_flags(&env
->fp_status
);
385 update_fpu_flags(env
, flags
& float_flag_invalid
);
390 uint32_t helper_flt(CPUMBState
*env
, uint32_t a
)
395 fd
.f
= int32_to_float32(fa
.l
, &env
->fp_status
);
399 uint32_t helper_fint(CPUMBState
*env
, uint32_t a
)
405 set_float_exception_flags(0, &env
->fp_status
);
407 r
= float32_to_int32(fa
.f
, &env
->fp_status
);
408 flags
= get_float_exception_flags(&env
->fp_status
);
409 update_fpu_flags(env
, flags
);
414 uint32_t helper_fsqrt(CPUMBState
*env
, uint32_t a
)
419 set_float_exception_flags(0, &env
->fp_status
);
421 fd
.l
= float32_sqrt(fa
.f
, &env
->fp_status
);
422 flags
= get_float_exception_flags(&env
->fp_status
);
423 update_fpu_flags(env
, flags
);
428 uint32_t helper_pcmpbf(uint32_t a
, uint32_t b
)
431 uint32_t mask
= 0xff000000;
433 for (i
= 0; i
< 4; i
++) {
434 if ((a
& mask
) == (b
& mask
))
441 void helper_memalign(CPUMBState
*env
, uint32_t addr
, uint32_t dr
, uint32_t wr
,
445 qemu_log_mask(CPU_LOG_INT
,
446 "unaligned access addr=%x mask=%x, wr=%d dr=r%d\n",
448 env
->sregs
[SR_EAR
] = addr
;
449 env
->sregs
[SR_ESR
] = ESR_EC_UNALIGNED_DATA
| (wr
<< 10) \
452 env
->sregs
[SR_ESR
] |= 1 << 11;
454 if (!(env
->sregs
[SR_MSR
] & MSR_EE
)) {
457 helper_raise_exception(env
, EXCP_HW_EXCP
);
461 void helper_stackprot(CPUMBState
*env
, uint32_t addr
)
463 if (addr
< env
->slr
|| addr
> env
->shr
) {
464 qemu_log_mask(CPU_LOG_INT
, "Stack protector violation at %x %x %x\n",
465 addr
, env
->slr
, env
->shr
);
466 env
->sregs
[SR_EAR
] = addr
;
467 env
->sregs
[SR_ESR
] = ESR_EC_STACKPROT
;
468 helper_raise_exception(env
, EXCP_HW_EXCP
);
472 #if !defined(CONFIG_USER_ONLY)
473 /* Writes/reads to the MMU's special regs end up here. */
474 uint32_t helper_mmu_read(CPUMBState
*env
, uint32_t rn
)
476 return mmu_read(env
, rn
);
479 void helper_mmu_write(CPUMBState
*env
, uint32_t rn
, uint32_t v
)
481 mmu_write(env
, rn
, v
);
484 void mb_cpu_unassigned_access(CPUState
*cs
, hwaddr addr
,
485 bool is_write
, bool is_exec
, int is_asi
,
491 qemu_log_mask(CPU_LOG_INT
, "Unassigned " TARGET_FMT_plx
" wr=%d exe=%d\n",
492 addr
, is_write
? 1 : 0, is_exec
? 1 : 0);
496 cpu
= MICROBLAZE_CPU(cs
);
498 if (!(env
->sregs
[SR_MSR
] & MSR_EE
)) {
502 env
->sregs
[SR_EAR
] = addr
;
504 if ((env
->pvr
.regs
[2] & PVR2_IOPB_BUS_EXC_MASK
)) {
505 env
->sregs
[SR_ESR
] = ESR_EC_INSN_BUS
;
506 helper_raise_exception(env
, EXCP_HW_EXCP
);
509 if ((env
->pvr
.regs
[2] & PVR2_DOPB_BUS_EXC_MASK
)) {
510 env
->sregs
[SR_ESR
] = ESR_EC_DATA_BUS
;
511 helper_raise_exception(env
, EXCP_HW_EXCP
);