xref: /qemu/target/sparc/helper.c (revision 2f9d35fc4006122bad33f9ae3e2e51d2263e98ee)
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
9e8af50a3Sbellard  * version 2 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"
2263c91552SPaolo Bonzini #include "exec/exec-all.h"
231de7afc9SPaolo Bonzini #include "qemu/host-utils.h"
242ef6175aSRichard Henderson #include "exec/helper-proto.h"
259c17d615SPaolo Bonzini #include "sysemu/sysemu.h"
26e8af50a3Sbellard 
272f9d35fcSRichard Henderson void cpu_raise_exception_ra(CPUSPARCState *env, int tt, uintptr_t ra)
282f9d35fcSRichard Henderson {
292f9d35fcSRichard Henderson     CPUState *cs = CPU(sparc_env_get_cpu(env));
302f9d35fcSRichard Henderson 
312f9d35fcSRichard Henderson     cs->exception_index = tt;
322f9d35fcSRichard Henderson     cpu_loop_exit_restore(cs, ra);
332f9d35fcSRichard Henderson }
342f9d35fcSRichard Henderson 
35c5f9864eSAndreas Färber void helper_raise_exception(CPUSPARCState *env, int tt)
36bc265319SBlue Swirl {
3727103424SAndreas Färber     CPUState *cs = CPU(sparc_env_get_cpu(env));
3827103424SAndreas Färber 
3927103424SAndreas Färber     cs->exception_index = tt;
405638d180SAndreas Färber     cpu_loop_exit(cs);
41bc265319SBlue Swirl }
42bc265319SBlue Swirl 
43c5f9864eSAndreas Färber void helper_debug(CPUSPARCState *env)
44bc265319SBlue Swirl {
4527103424SAndreas Färber     CPUState *cs = CPU(sparc_env_get_cpu(env));
4627103424SAndreas Färber 
4727103424SAndreas Färber     cs->exception_index = EXCP_DEBUG;
485638d180SAndreas Färber     cpu_loop_exit(cs);
49bc265319SBlue Swirl }
50bc265319SBlue Swirl 
512336c1f1SBlue Swirl #ifdef TARGET_SPARC64
522336c1f1SBlue Swirl target_ulong helper_popc(target_ulong val)
532336c1f1SBlue Swirl {
542336c1f1SBlue Swirl     return ctpop64(val);
552336c1f1SBlue Swirl }
562336c1f1SBlue Swirl 
572336c1f1SBlue Swirl void helper_tick_set_count(void *opaque, uint64_t count)
582336c1f1SBlue Swirl {
592336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
602336c1f1SBlue Swirl     cpu_tick_set_count(opaque, count);
612336c1f1SBlue Swirl #endif
622336c1f1SBlue Swirl }
632336c1f1SBlue Swirl 
64c9a46442SMark Cave-Ayland uint64_t helper_tick_get_count(CPUSPARCState *env, void *opaque, int mem_idx)
652336c1f1SBlue Swirl {
662336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
67c9a46442SMark Cave-Ayland     CPUTimer *timer = opaque;
68c9a46442SMark Cave-Ayland 
69c9a46442SMark Cave-Ayland     if (timer->npt && mem_idx < MMU_KERNEL_IDX) {
702f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_PRIV_INSN, GETPC());
71c9a46442SMark Cave-Ayland     }
72c9a46442SMark Cave-Ayland 
73c9a46442SMark Cave-Ayland     return cpu_tick_get_count(timer);
742336c1f1SBlue Swirl #else
752336c1f1SBlue Swirl     return 0;
762336c1f1SBlue Swirl #endif
772336c1f1SBlue Swirl }
782336c1f1SBlue Swirl 
792336c1f1SBlue Swirl void helper_tick_set_limit(void *opaque, uint64_t limit)
802336c1f1SBlue Swirl {
812336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
822336c1f1SBlue Swirl     cpu_tick_set_limit(opaque, limit);
832336c1f1SBlue Swirl #endif
842336c1f1SBlue Swirl }
852336c1f1SBlue Swirl #endif
867a5e4488SBlue Swirl 
872f9d35fcSRichard Henderson static target_ulong do_udiv(CPUSPARCState *env, target_ulong a,
882f9d35fcSRichard Henderson                             target_ulong b, int cc, uintptr_t ra)
897a5e4488SBlue Swirl {
907a5e4488SBlue Swirl     int overflow = 0;
917a5e4488SBlue Swirl     uint64_t x0;
927a5e4488SBlue Swirl     uint32_t x1;
937a5e4488SBlue Swirl 
947a5e4488SBlue Swirl     x0 = (a & 0xffffffff) | ((int64_t) (env->y) << 32);
957a5e4488SBlue Swirl     x1 = (b & 0xffffffff);
967a5e4488SBlue Swirl 
977a5e4488SBlue Swirl     if (x1 == 0) {
982f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, ra);
997a5e4488SBlue Swirl     }
1007a5e4488SBlue Swirl 
1017a5e4488SBlue Swirl     x0 = x0 / x1;
1026a5b69a9SOlivier Danet     if (x0 > UINT32_MAX) {
1036a5b69a9SOlivier Danet         x0 = UINT32_MAX;
1047a5e4488SBlue Swirl         overflow = 1;
1057a5e4488SBlue Swirl     }
1067a5e4488SBlue Swirl 
1077a5e4488SBlue Swirl     if (cc) {
1087a5e4488SBlue Swirl         env->cc_dst = x0;
1097a5e4488SBlue Swirl         env->cc_src2 = overflow;
1107a5e4488SBlue Swirl         env->cc_op = CC_OP_DIV;
1117a5e4488SBlue Swirl     }
1127a5e4488SBlue Swirl     return x0;
1137a5e4488SBlue Swirl }
1147a5e4488SBlue Swirl 
115c5f9864eSAndreas Färber target_ulong helper_udiv(CPUSPARCState *env, target_ulong a, target_ulong b)
1167a5e4488SBlue Swirl {
1172f9d35fcSRichard Henderson     return do_udiv(env, a, b, 0, GETPC());
1187a5e4488SBlue Swirl }
1197a5e4488SBlue Swirl 
120c5f9864eSAndreas Färber target_ulong helper_udiv_cc(CPUSPARCState *env, target_ulong a, target_ulong b)
1217a5e4488SBlue Swirl {
1222f9d35fcSRichard Henderson     return do_udiv(env, a, b, 1, GETPC());
1237a5e4488SBlue Swirl }
1247a5e4488SBlue Swirl 
1252f9d35fcSRichard Henderson static target_ulong do_sdiv(CPUSPARCState *env, target_ulong a,
1262f9d35fcSRichard Henderson                             target_ulong b, int cc, uintptr_t ra)
1277a5e4488SBlue Swirl {
1287a5e4488SBlue Swirl     int overflow = 0;
1297a5e4488SBlue Swirl     int64_t x0;
1307a5e4488SBlue Swirl     int32_t x1;
1317a5e4488SBlue Swirl 
1327a5e4488SBlue Swirl     x0 = (a & 0xffffffff) | ((int64_t) (env->y) << 32);
1337a5e4488SBlue Swirl     x1 = (b & 0xffffffff);
1347a5e4488SBlue Swirl 
1357a5e4488SBlue Swirl     if (x1 == 0) {
1362f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, ra);
1376a5b69a9SOlivier Danet     } else if (x1 == -1 && x0 == INT64_MIN) {
1386a5b69a9SOlivier Danet         x0 = INT32_MAX;
1396a5b69a9SOlivier Danet         overflow = 1;
1406a5b69a9SOlivier Danet     } else {
1417a5e4488SBlue Swirl         x0 = x0 / x1;
1427a5e4488SBlue Swirl         if ((int32_t) x0 != x0) {
1436a5b69a9SOlivier Danet             x0 = x0 < 0 ? INT32_MIN : INT32_MAX;
1447a5e4488SBlue Swirl             overflow = 1;
1457a5e4488SBlue Swirl         }
1466a5b69a9SOlivier Danet     }
1477a5e4488SBlue Swirl 
1487a5e4488SBlue Swirl     if (cc) {
1497a5e4488SBlue Swirl         env->cc_dst = x0;
1507a5e4488SBlue Swirl         env->cc_src2 = overflow;
1517a5e4488SBlue Swirl         env->cc_op = CC_OP_DIV;
1527a5e4488SBlue Swirl     }
1537a5e4488SBlue Swirl     return x0;
1547a5e4488SBlue Swirl }
1557a5e4488SBlue Swirl 
156c5f9864eSAndreas Färber target_ulong helper_sdiv(CPUSPARCState *env, target_ulong a, target_ulong b)
1577a5e4488SBlue Swirl {
1582f9d35fcSRichard Henderson     return do_sdiv(env, a, b, 0, GETPC());
1597a5e4488SBlue Swirl }
1607a5e4488SBlue Swirl 
161c5f9864eSAndreas Färber target_ulong helper_sdiv_cc(CPUSPARCState *env, target_ulong a, target_ulong b)
1627a5e4488SBlue Swirl {
1632f9d35fcSRichard Henderson     return do_sdiv(env, a, b, 1, GETPC());
1647a5e4488SBlue Swirl }
165c28ae41eSRichard Henderson 
166c28ae41eSRichard Henderson #ifdef TARGET_SPARC64
167c28ae41eSRichard Henderson int64_t helper_sdivx(CPUSPARCState *env, int64_t a, int64_t b)
168c28ae41eSRichard Henderson {
169c28ae41eSRichard Henderson     if (b == 0) {
170c28ae41eSRichard Henderson         /* Raise divide by zero trap.  */
1712f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
172c28ae41eSRichard Henderson     } else if (b == -1) {
173c28ae41eSRichard Henderson         /* Avoid overflow trap with i386 divide insn.  */
174c28ae41eSRichard Henderson         return -a;
175c28ae41eSRichard Henderson     } else {
176c28ae41eSRichard Henderson         return a / b;
177c28ae41eSRichard Henderson     }
178c28ae41eSRichard Henderson }
179c28ae41eSRichard Henderson 
180c28ae41eSRichard Henderson uint64_t helper_udivx(CPUSPARCState *env, uint64_t a, uint64_t b)
181c28ae41eSRichard Henderson {
182c28ae41eSRichard Henderson     if (b == 0) {
183c28ae41eSRichard Henderson         /* Raise divide by zero trap.  */
1842f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
185c28ae41eSRichard Henderson     }
186c28ae41eSRichard Henderson     return a / b;
187c28ae41eSRichard Henderson }
188c28ae41eSRichard Henderson #endif
189a2ea4aa9SRichard Henderson 
190a2ea4aa9SRichard Henderson target_ulong helper_taddcctv(CPUSPARCState *env, target_ulong src1,
191a2ea4aa9SRichard Henderson                              target_ulong src2)
192a2ea4aa9SRichard Henderson {
193a2ea4aa9SRichard Henderson     target_ulong dst;
194a2ea4aa9SRichard Henderson 
195a2ea4aa9SRichard Henderson     /* Tag overflow occurs if either input has bits 0 or 1 set.  */
196a2ea4aa9SRichard Henderson     if ((src1 | src2) & 3) {
197a2ea4aa9SRichard Henderson         goto tag_overflow;
198a2ea4aa9SRichard Henderson     }
199a2ea4aa9SRichard Henderson 
200a2ea4aa9SRichard Henderson     dst = src1 + src2;
201a2ea4aa9SRichard Henderson 
202a2ea4aa9SRichard Henderson     /* Tag overflow occurs if the addition overflows.  */
203a2ea4aa9SRichard Henderson     if (~(src1 ^ src2) & (src1 ^ dst) & (1u << 31)) {
204a2ea4aa9SRichard Henderson         goto tag_overflow;
205a2ea4aa9SRichard Henderson     }
206a2ea4aa9SRichard Henderson 
207a2ea4aa9SRichard Henderson     /* Only modify the CC after any exceptions have been generated.  */
208a2ea4aa9SRichard Henderson     env->cc_op = CC_OP_TADDTV;
209a2ea4aa9SRichard Henderson     env->cc_src = src1;
210a2ea4aa9SRichard Henderson     env->cc_src2 = src2;
211a2ea4aa9SRichard Henderson     env->cc_dst = dst;
212a2ea4aa9SRichard Henderson     return dst;
213a2ea4aa9SRichard Henderson 
214a2ea4aa9SRichard Henderson  tag_overflow:
2152f9d35fcSRichard Henderson     cpu_raise_exception_ra(env, TT_TOVF, GETPC());
216a2ea4aa9SRichard Henderson }
217a2ea4aa9SRichard Henderson 
218a2ea4aa9SRichard Henderson target_ulong helper_tsubcctv(CPUSPARCState *env, target_ulong src1,
219a2ea4aa9SRichard Henderson                              target_ulong src2)
220a2ea4aa9SRichard Henderson {
221a2ea4aa9SRichard Henderson     target_ulong dst;
222a2ea4aa9SRichard Henderson 
223a2ea4aa9SRichard Henderson     /* Tag overflow occurs if either input has bits 0 or 1 set.  */
224a2ea4aa9SRichard Henderson     if ((src1 | src2) & 3) {
225a2ea4aa9SRichard Henderson         goto tag_overflow;
226a2ea4aa9SRichard Henderson     }
227a2ea4aa9SRichard Henderson 
228a2ea4aa9SRichard Henderson     dst = src1 - src2;
229a2ea4aa9SRichard Henderson 
230a2ea4aa9SRichard Henderson     /* Tag overflow occurs if the subtraction overflows.  */
231a2ea4aa9SRichard Henderson     if ((src1 ^ src2) & (src1 ^ dst) & (1u << 31)) {
232a2ea4aa9SRichard Henderson         goto tag_overflow;
233a2ea4aa9SRichard Henderson     }
234a2ea4aa9SRichard Henderson 
235a2ea4aa9SRichard Henderson     /* Only modify the CC after any exceptions have been generated.  */
236a2ea4aa9SRichard Henderson     env->cc_op = CC_OP_TSUBTV;
237a2ea4aa9SRichard Henderson     env->cc_src = src1;
238a2ea4aa9SRichard Henderson     env->cc_src2 = src2;
239a2ea4aa9SRichard Henderson     env->cc_dst = dst;
240a2ea4aa9SRichard Henderson     return dst;
241a2ea4aa9SRichard Henderson 
242a2ea4aa9SRichard Henderson  tag_overflow:
2432f9d35fcSRichard Henderson     cpu_raise_exception_ra(env, TT_TOVF, GETPC());
244a2ea4aa9SRichard Henderson }
245d1c36ba7SRonald Hecht 
246d1c36ba7SRonald Hecht #ifndef TARGET_SPARC64
247d1c36ba7SRonald Hecht void helper_power_down(CPUSPARCState *env)
248d1c36ba7SRonald Hecht {
249259186a7SAndreas Färber     CPUState *cs = CPU(sparc_env_get_cpu(env));
250259186a7SAndreas Färber 
251259186a7SAndreas Färber     cs->halted = 1;
25227103424SAndreas Färber     cs->exception_index = EXCP_HLT;
253d1c36ba7SRonald Hecht     env->pc = env->npc;
254d1c36ba7SRonald Hecht     env->npc = env->pc + 4;
2555638d180SAndreas Färber     cpu_loop_exit(cs);
256d1c36ba7SRonald Hecht }
257d1c36ba7SRonald Hecht #endif
258