1e8af50a3Sbellard /*
2163fa5caSBlue Swirl * Misc Sparc helpers
3e8af50a3Sbellard *
483469015Sbellard * Copyright (c) 2003-2005 Fabrice Bellard
5e8af50a3Sbellard *
6e8af50a3Sbellard * This library is free software; you can redistribute it and/or
7e8af50a3Sbellard * modify it under the terms of the GNU Lesser General Public
8e8af50a3Sbellard * License as published by the Free Software Foundation; either
95650b549SChetan Pant * version 2.1 of the License, or (at your option) any later version.
10e8af50a3Sbellard *
11e8af50a3Sbellard * This library is distributed in the hope that it will be useful,
12e8af50a3Sbellard * but WITHOUT ANY WARRANTY; without even the implied warranty of
13e8af50a3Sbellard * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14e8af50a3Sbellard * Lesser General Public License for more details.
15e8af50a3Sbellard *
16e8af50a3Sbellard * You should have received a copy of the GNU Lesser General Public
178167ee88SBlue Swirl * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18e8af50a3Sbellard */
19ee5bbe38Sbellard
20db5ebe5fSPeter Maydell #include "qemu/osdep.h"
21ee5bbe38Sbellard #include "cpu.h"
22b8012ecfSPhilippe Mathieu-Daudé #include "qemu/timer.h"
231de7afc9SPaolo Bonzini #include "qemu/host-utils.h"
242ef6175aSRichard Henderson #include "exec/helper-proto.h"
25e8af50a3Sbellard
cpu_raise_exception_ra(CPUSPARCState * env,int tt,uintptr_t ra)262f9d35fcSRichard Henderson void cpu_raise_exception_ra(CPUSPARCState *env, int tt, uintptr_t ra)
272f9d35fcSRichard Henderson {
285a59fbceSRichard Henderson CPUState *cs = env_cpu(env);
292f9d35fcSRichard Henderson
302f9d35fcSRichard Henderson cs->exception_index = tt;
312f9d35fcSRichard Henderson cpu_loop_exit_restore(cs, ra);
322f9d35fcSRichard Henderson }
332f9d35fcSRichard Henderson
helper_raise_exception(CPUSPARCState * env,int tt)34c5f9864eSAndreas Färber void helper_raise_exception(CPUSPARCState *env, int tt)
35bc265319SBlue Swirl {
365a59fbceSRichard Henderson CPUState *cs = env_cpu(env);
3727103424SAndreas Färber
3827103424SAndreas Färber cs->exception_index = tt;
395638d180SAndreas Färber cpu_loop_exit(cs);
40bc265319SBlue Swirl }
41bc265319SBlue Swirl
helper_debug(CPUSPARCState * env)42c5f9864eSAndreas Färber void helper_debug(CPUSPARCState *env)
43bc265319SBlue Swirl {
445a59fbceSRichard Henderson CPUState *cs = env_cpu(env);
4527103424SAndreas Färber
4627103424SAndreas Färber cs->exception_index = EXCP_DEBUG;
475638d180SAndreas Färber cpu_loop_exit(cs);
48bc265319SBlue Swirl }
49bc265319SBlue Swirl
502336c1f1SBlue Swirl #ifdef TARGET_SPARC64
helper_tick_set_count(void * opaque,uint64_t count)512336c1f1SBlue Swirl void helper_tick_set_count(void *opaque, uint64_t count)
522336c1f1SBlue Swirl {
532336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
542336c1f1SBlue Swirl cpu_tick_set_count(opaque, count);
552336c1f1SBlue Swirl #endif
562336c1f1SBlue Swirl }
572336c1f1SBlue Swirl
helper_tick_get_count(CPUSPARCState * env,void * opaque,int mem_idx)58c9a46442SMark Cave-Ayland uint64_t helper_tick_get_count(CPUSPARCState *env, void *opaque, int mem_idx)
592336c1f1SBlue Swirl {
602336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
61c9a46442SMark Cave-Ayland CPUTimer *timer = opaque;
62c9a46442SMark Cave-Ayland
63c9a46442SMark Cave-Ayland if (timer->npt && mem_idx < MMU_KERNEL_IDX) {
642f9d35fcSRichard Henderson cpu_raise_exception_ra(env, TT_PRIV_INSN, GETPC());
65c9a46442SMark Cave-Ayland }
66c9a46442SMark Cave-Ayland
67c9a46442SMark Cave-Ayland return cpu_tick_get_count(timer);
682336c1f1SBlue Swirl #else
69b8e13ba9SLaurent Vivier /* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist.
70b8e13ba9SLaurent Vivier Just pass through the host cpu clock ticks. */
71b8e13ba9SLaurent Vivier return cpu_get_host_ticks();
722336c1f1SBlue Swirl #endif
732336c1f1SBlue Swirl }
742336c1f1SBlue Swirl
helper_tick_set_limit(void * opaque,uint64_t limit)752336c1f1SBlue Swirl void helper_tick_set_limit(void *opaque, uint64_t limit)
762336c1f1SBlue Swirl {
772336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
782336c1f1SBlue Swirl cpu_tick_set_limit(opaque, limit);
792336c1f1SBlue Swirl #endif
802336c1f1SBlue Swirl }
812336c1f1SBlue Swirl #endif
827a5e4488SBlue Swirl
helper_udiv(CPUSPARCState * env,target_ulong a,target_ulong b)8313260103SRichard Henderson uint64_t helper_udiv(CPUSPARCState *env, target_ulong a, target_ulong b)
847a5e4488SBlue Swirl {
8513260103SRichard Henderson uint64_t a64 = (uint32_t)a | ((uint64_t)env->y << 32);
8613260103SRichard Henderson uint32_t b32 = b;
8713260103SRichard Henderson uint32_t r;
887a5e4488SBlue Swirl
8913260103SRichard Henderson if (b32 == 0) {
9013260103SRichard Henderson cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
917a5e4488SBlue Swirl }
927a5e4488SBlue Swirl
9313260103SRichard Henderson a64 /= b32;
9413260103SRichard Henderson r = a64;
9513260103SRichard Henderson if (unlikely(a64 > UINT32_MAX)) {
9613260103SRichard Henderson return -1; /* r = UINT32_MAX, v = 1 */
9713260103SRichard Henderson }
9813260103SRichard Henderson return r;
997a5e4488SBlue Swirl }
1007a5e4488SBlue Swirl
helper_sdiv(CPUSPARCState * env,target_ulong a,target_ulong b)10113260103SRichard Henderson uint64_t helper_sdiv(CPUSPARCState *env, target_ulong a, target_ulong b)
1027a5e4488SBlue Swirl {
10313260103SRichard Henderson int64_t a64 = (uint32_t)a | ((uint64_t)env->y << 32);
10413260103SRichard Henderson int32_t b32 = b;
10513260103SRichard Henderson int32_t r;
10613260103SRichard Henderson
10713260103SRichard Henderson if (b32 == 0) {
10813260103SRichard Henderson cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
1097a5e4488SBlue Swirl }
1107a5e4488SBlue Swirl
11113260103SRichard Henderson if (unlikely(a64 == INT64_MIN)) {
11213260103SRichard Henderson /*
11313260103SRichard Henderson * Special case INT64_MIN / -1 is required to avoid trap on x86 host.
11413260103SRichard Henderson * However, with a dividend of INT64_MIN, there is no 32-bit divisor
11513260103SRichard Henderson * which can yield a 32-bit result:
11613260103SRichard Henderson * INT64_MIN / INT32_MIN = 0x1_0000_0000
11713260103SRichard Henderson * INT64_MIN / INT32_MAX = -0x1_0000_0002
11813260103SRichard Henderson * Therefore we know we must overflow and saturate.
11913260103SRichard Henderson */
12013260103SRichard Henderson return (uint32_t)(b32 < 0 ? INT32_MAX : INT32_MIN) | (-1ull << 32);
1217a5e4488SBlue Swirl }
1227a5e4488SBlue Swirl
123*6b496537SClément Chigot a64 /= b32;
12413260103SRichard Henderson r = a64;
12513260103SRichard Henderson if (unlikely(r != a64)) {
12613260103SRichard Henderson return (uint32_t)(a64 < 0 ? INT32_MIN : INT32_MAX) | (-1ull << 32);
1277a5e4488SBlue Swirl }
12813260103SRichard Henderson return (uint32_t)r;
1297a5e4488SBlue Swirl }
130c28ae41eSRichard Henderson
helper_taddcctv(CPUSPARCState * env,target_ulong src1,target_ulong src2)131a2ea4aa9SRichard Henderson target_ulong helper_taddcctv(CPUSPARCState *env, target_ulong src1,
132a2ea4aa9SRichard Henderson target_ulong src2)
133a2ea4aa9SRichard Henderson {
13468524e83SRichard Henderson target_ulong dst, v;
135a2ea4aa9SRichard Henderson
136a2ea4aa9SRichard Henderson /* Tag overflow occurs if either input has bits 0 or 1 set. */
137a2ea4aa9SRichard Henderson if ((src1 | src2) & 3) {
138a2ea4aa9SRichard Henderson goto tag_overflow;
139a2ea4aa9SRichard Henderson }
140a2ea4aa9SRichard Henderson
141a2ea4aa9SRichard Henderson dst = src1 + src2;
142a2ea4aa9SRichard Henderson
143a2ea4aa9SRichard Henderson /* Tag overflow occurs if the addition overflows. */
14468524e83SRichard Henderson v = ~(src1 ^ src2) & (src1 ^ dst);
14568524e83SRichard Henderson if (v & (1u << 31)) {
146a2ea4aa9SRichard Henderson goto tag_overflow;
147a2ea4aa9SRichard Henderson }
148a2ea4aa9SRichard Henderson
149a2ea4aa9SRichard Henderson /* Only modify the CC after any exceptions have been generated. */
15068524e83SRichard Henderson env->cc_V = v;
15168524e83SRichard Henderson env->cc_N = dst;
15268524e83SRichard Henderson env->icc_Z = dst;
15368524e83SRichard Henderson #ifdef TARGET_SPARC64
15468524e83SRichard Henderson env->xcc_Z = dst;
15568524e83SRichard Henderson env->icc_C = dst ^ src1 ^ src2;
15668524e83SRichard Henderson env->xcc_C = dst < src1;
15768524e83SRichard Henderson #else
15868524e83SRichard Henderson env->icc_C = dst < src1;
15968524e83SRichard Henderson #endif
16068524e83SRichard Henderson
161a2ea4aa9SRichard Henderson return dst;
162a2ea4aa9SRichard Henderson
163a2ea4aa9SRichard Henderson tag_overflow:
1642f9d35fcSRichard Henderson cpu_raise_exception_ra(env, TT_TOVF, GETPC());
165a2ea4aa9SRichard Henderson }
166a2ea4aa9SRichard Henderson
helper_tsubcctv(CPUSPARCState * env,target_ulong src1,target_ulong src2)167a2ea4aa9SRichard Henderson target_ulong helper_tsubcctv(CPUSPARCState *env, target_ulong src1,
168a2ea4aa9SRichard Henderson target_ulong src2)
169a2ea4aa9SRichard Henderson {
17068524e83SRichard Henderson target_ulong dst, v;
171a2ea4aa9SRichard Henderson
172a2ea4aa9SRichard Henderson /* Tag overflow occurs if either input has bits 0 or 1 set. */
173a2ea4aa9SRichard Henderson if ((src1 | src2) & 3) {
174a2ea4aa9SRichard Henderson goto tag_overflow;
175a2ea4aa9SRichard Henderson }
176a2ea4aa9SRichard Henderson
177a2ea4aa9SRichard Henderson dst = src1 - src2;
178a2ea4aa9SRichard Henderson
179a2ea4aa9SRichard Henderson /* Tag overflow occurs if the subtraction overflows. */
18068524e83SRichard Henderson v = (src1 ^ src2) & (src1 ^ dst);
18168524e83SRichard Henderson if (v & (1u << 31)) {
182a2ea4aa9SRichard Henderson goto tag_overflow;
183a2ea4aa9SRichard Henderson }
184a2ea4aa9SRichard Henderson
185a2ea4aa9SRichard Henderson /* Only modify the CC after any exceptions have been generated. */
18668524e83SRichard Henderson env->cc_V = v;
18768524e83SRichard Henderson env->cc_N = dst;
18868524e83SRichard Henderson env->icc_Z = dst;
18968524e83SRichard Henderson #ifdef TARGET_SPARC64
19068524e83SRichard Henderson env->xcc_Z = dst;
19168524e83SRichard Henderson env->icc_C = dst ^ src1 ^ src2;
19268524e83SRichard Henderson env->xcc_C = src1 < src2;
19368524e83SRichard Henderson #else
19468524e83SRichard Henderson env->icc_C = src1 < src2;
19568524e83SRichard Henderson #endif
19668524e83SRichard Henderson
197a2ea4aa9SRichard Henderson return dst;
198a2ea4aa9SRichard Henderson
199a2ea4aa9SRichard Henderson tag_overflow:
2002f9d35fcSRichard Henderson cpu_raise_exception_ra(env, TT_TOVF, GETPC());
201a2ea4aa9SRichard Henderson }
202d1c36ba7SRonald Hecht
203d1c36ba7SRonald Hecht #ifndef TARGET_SPARC64
helper_power_down(CPUSPARCState * env)204d1c36ba7SRonald Hecht void helper_power_down(CPUSPARCState *env)
205d1c36ba7SRonald Hecht {
2065a59fbceSRichard Henderson CPUState *cs = env_cpu(env);
207259186a7SAndreas Färber
208259186a7SAndreas Färber cs->halted = 1;
20927103424SAndreas Färber cs->exception_index = EXCP_HLT;
210d1c36ba7SRonald Hecht env->pc = env->npc;
211d1c36ba7SRonald Hecht env->npc = env->pc + 4;
2125638d180SAndreas Färber cpu_loop_exit(cs);
213d1c36ba7SRonald Hecht }
214c92948f2SClément Chigot
helper_rdasr17(CPUSPARCState * env)215c92948f2SClément Chigot target_ulong helper_rdasr17(CPUSPARCState *env)
216c92948f2SClément Chigot {
217c92948f2SClément Chigot CPUState *cs = env_cpu(env);
218c92948f2SClément Chigot target_ulong val;
219c92948f2SClément Chigot
220c92948f2SClément Chigot /*
221c92948f2SClément Chigot * TODO: There are many more fields to be filled,
222c92948f2SClément Chigot * some of which are writable.
223c92948f2SClément Chigot */
224c92948f2SClément Chigot val = env->def.nwindows - 1; /* [4:0] NWIN */
225c92948f2SClément Chigot val |= 1 << 8; /* [8] V8 */
226c92948f2SClément Chigot val |= (cs->cpu_index) << 28; /* [31:28] INDEX */
227c92948f2SClément Chigot
228c92948f2SClément Chigot return val;
229c92948f2SClément Chigot }
230d1c36ba7SRonald Hecht #endif
231