xref: /qemu/target/sparc/helper.c (revision 68524e83f8fbe23dca37dc5b847fb558d75c8fab)
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"
2263c91552SPaolo Bonzini #include "exec/exec-all.h"
23b8012ecfSPhilippe Mathieu-Daudé #include "qemu/timer.h"
241de7afc9SPaolo Bonzini #include "qemu/host-utils.h"
252ef6175aSRichard Henderson #include "exec/helper-proto.h"
26e8af50a3Sbellard 
272f9d35fcSRichard Henderson void cpu_raise_exception_ra(CPUSPARCState *env, int tt, uintptr_t ra)
282f9d35fcSRichard Henderson {
295a59fbceSRichard Henderson     CPUState *cs = env_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 {
375a59fbceSRichard Henderson     CPUState *cs = env_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 {
455a59fbceSRichard Henderson     CPUState *cs = env_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 void helper_tick_set_count(void *opaque, uint64_t count)
532336c1f1SBlue Swirl {
542336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
552336c1f1SBlue Swirl     cpu_tick_set_count(opaque, count);
562336c1f1SBlue Swirl #endif
572336c1f1SBlue Swirl }
582336c1f1SBlue Swirl 
59c9a46442SMark Cave-Ayland uint64_t helper_tick_get_count(CPUSPARCState *env, void *opaque, int mem_idx)
602336c1f1SBlue Swirl {
612336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
62c9a46442SMark Cave-Ayland     CPUTimer *timer = opaque;
63c9a46442SMark Cave-Ayland 
64c9a46442SMark Cave-Ayland     if (timer->npt && mem_idx < MMU_KERNEL_IDX) {
652f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_PRIV_INSN, GETPC());
66c9a46442SMark Cave-Ayland     }
67c9a46442SMark Cave-Ayland 
68c9a46442SMark Cave-Ayland     return cpu_tick_get_count(timer);
692336c1f1SBlue Swirl #else
70b8e13ba9SLaurent Vivier     /* In user-mode, QEMU_CLOCK_VIRTUAL doesn't exist.
71b8e13ba9SLaurent Vivier        Just pass through the host cpu clock ticks.  */
72b8e13ba9SLaurent Vivier     return cpu_get_host_ticks();
732336c1f1SBlue Swirl #endif
742336c1f1SBlue Swirl }
752336c1f1SBlue Swirl 
762336c1f1SBlue Swirl void helper_tick_set_limit(void *opaque, uint64_t limit)
772336c1f1SBlue Swirl {
782336c1f1SBlue Swirl #if !defined(CONFIG_USER_ONLY)
792336c1f1SBlue Swirl     cpu_tick_set_limit(opaque, limit);
802336c1f1SBlue Swirl #endif
812336c1f1SBlue Swirl }
822336c1f1SBlue Swirl #endif
837a5e4488SBlue Swirl 
8413260103SRichard Henderson uint64_t helper_udiv(CPUSPARCState *env, target_ulong a, target_ulong b)
857a5e4488SBlue Swirl {
8613260103SRichard Henderson     uint64_t a64 = (uint32_t)a | ((uint64_t)env->y << 32);
8713260103SRichard Henderson     uint32_t b32 = b;
8813260103SRichard Henderson     uint32_t r;
897a5e4488SBlue Swirl 
9013260103SRichard Henderson     if (b32 == 0) {
9113260103SRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
927a5e4488SBlue Swirl     }
937a5e4488SBlue Swirl 
9413260103SRichard Henderson     a64 /= b32;
9513260103SRichard Henderson     r = a64;
9613260103SRichard Henderson     if (unlikely(a64 > UINT32_MAX)) {
9713260103SRichard Henderson         return -1; /* r = UINT32_MAX, v = 1 */
9813260103SRichard Henderson     }
9913260103SRichard Henderson     return r;
1007a5e4488SBlue Swirl }
1017a5e4488SBlue Swirl 
10213260103SRichard Henderson uint64_t helper_sdiv(CPUSPARCState *env, target_ulong a, target_ulong b)
1037a5e4488SBlue Swirl {
10413260103SRichard Henderson     int64_t a64 = (uint32_t)a | ((uint64_t)env->y << 32);
10513260103SRichard Henderson     int32_t b32 = b;
10613260103SRichard Henderson     int32_t r;
10713260103SRichard Henderson 
10813260103SRichard Henderson     if (b32 == 0) {
10913260103SRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
1107a5e4488SBlue Swirl     }
1117a5e4488SBlue Swirl 
11213260103SRichard Henderson     if (unlikely(a64 == INT64_MIN)) {
11313260103SRichard Henderson         /*
11413260103SRichard Henderson          * Special case INT64_MIN / -1 is required to avoid trap on x86 host.
11513260103SRichard Henderson          * However, with a dividend of INT64_MIN, there is no 32-bit divisor
11613260103SRichard Henderson          * which can yield a 32-bit result:
11713260103SRichard Henderson          *    INT64_MIN / INT32_MIN =  0x1_0000_0000
11813260103SRichard Henderson          *    INT64_MIN / INT32_MAX = -0x1_0000_0002
11913260103SRichard Henderson          * Therefore we know we must overflow and saturate.
12013260103SRichard Henderson          */
12113260103SRichard Henderson         return (uint32_t)(b32 < 0 ? INT32_MAX : INT32_MIN) | (-1ull << 32);
1227a5e4488SBlue Swirl     }
1237a5e4488SBlue Swirl 
12413260103SRichard Henderson     a64 /= b;
12513260103SRichard Henderson     r = a64;
12613260103SRichard Henderson     if (unlikely(r != a64)) {
12713260103SRichard Henderson         return (uint32_t)(a64 < 0 ? INT32_MIN : INT32_MAX) | (-1ull << 32);
1287a5e4488SBlue Swirl     }
12913260103SRichard Henderson     return (uint32_t)r;
1307a5e4488SBlue Swirl }
131c28ae41eSRichard Henderson 
132c28ae41eSRichard Henderson #ifdef TARGET_SPARC64
133c28ae41eSRichard Henderson int64_t helper_sdivx(CPUSPARCState *env, int64_t a, int64_t b)
134c28ae41eSRichard Henderson {
135c28ae41eSRichard Henderson     if (b == 0) {
136c28ae41eSRichard Henderson         /* Raise divide by zero trap.  */
1372f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
138c28ae41eSRichard Henderson     } else if (b == -1) {
139c28ae41eSRichard Henderson         /* Avoid overflow trap with i386 divide insn.  */
140c28ae41eSRichard Henderson         return -a;
141c28ae41eSRichard Henderson     } else {
142c28ae41eSRichard Henderson         return a / b;
143c28ae41eSRichard Henderson     }
144c28ae41eSRichard Henderson }
145c28ae41eSRichard Henderson 
146c28ae41eSRichard Henderson uint64_t helper_udivx(CPUSPARCState *env, uint64_t a, uint64_t b)
147c28ae41eSRichard Henderson {
148c28ae41eSRichard Henderson     if (b == 0) {
149c28ae41eSRichard Henderson         /* Raise divide by zero trap.  */
1502f9d35fcSRichard Henderson         cpu_raise_exception_ra(env, TT_DIV_ZERO, GETPC());
151c28ae41eSRichard Henderson     }
152c28ae41eSRichard Henderson     return a / b;
153c28ae41eSRichard Henderson }
154c28ae41eSRichard Henderson #endif
155a2ea4aa9SRichard Henderson 
156a2ea4aa9SRichard Henderson target_ulong helper_taddcctv(CPUSPARCState *env, target_ulong src1,
157a2ea4aa9SRichard Henderson                              target_ulong src2)
158a2ea4aa9SRichard Henderson {
159*68524e83SRichard Henderson     target_ulong dst, v;
160a2ea4aa9SRichard Henderson 
161a2ea4aa9SRichard Henderson     /* Tag overflow occurs if either input has bits 0 or 1 set.  */
162a2ea4aa9SRichard Henderson     if ((src1 | src2) & 3) {
163a2ea4aa9SRichard Henderson         goto tag_overflow;
164a2ea4aa9SRichard Henderson     }
165a2ea4aa9SRichard Henderson 
166a2ea4aa9SRichard Henderson     dst = src1 + src2;
167a2ea4aa9SRichard Henderson 
168a2ea4aa9SRichard Henderson     /* Tag overflow occurs if the addition overflows.  */
169*68524e83SRichard Henderson     v = ~(src1 ^ src2) & (src1 ^ dst);
170*68524e83SRichard Henderson     if (v & (1u << 31)) {
171a2ea4aa9SRichard Henderson         goto tag_overflow;
172a2ea4aa9SRichard Henderson     }
173a2ea4aa9SRichard Henderson 
174a2ea4aa9SRichard Henderson     /* Only modify the CC after any exceptions have been generated.  */
175*68524e83SRichard Henderson     env->cc_V = v;
176*68524e83SRichard Henderson     env->cc_N = dst;
177*68524e83SRichard Henderson     env->icc_Z = dst;
178*68524e83SRichard Henderson #ifdef TARGET_SPARC64
179*68524e83SRichard Henderson     env->xcc_Z = dst;
180*68524e83SRichard Henderson     env->icc_C = dst ^ src1 ^ src2;
181*68524e83SRichard Henderson     env->xcc_C = dst < src1;
182*68524e83SRichard Henderson #else
183*68524e83SRichard Henderson     env->icc_C = dst < src1;
184*68524e83SRichard Henderson #endif
185*68524e83SRichard Henderson 
186a2ea4aa9SRichard Henderson     return dst;
187a2ea4aa9SRichard Henderson 
188a2ea4aa9SRichard Henderson  tag_overflow:
1892f9d35fcSRichard Henderson     cpu_raise_exception_ra(env, TT_TOVF, GETPC());
190a2ea4aa9SRichard Henderson }
191a2ea4aa9SRichard Henderson 
192a2ea4aa9SRichard Henderson target_ulong helper_tsubcctv(CPUSPARCState *env, target_ulong src1,
193a2ea4aa9SRichard Henderson                              target_ulong src2)
194a2ea4aa9SRichard Henderson {
195*68524e83SRichard Henderson     target_ulong dst, v;
196a2ea4aa9SRichard Henderson 
197a2ea4aa9SRichard Henderson     /* Tag overflow occurs if either input has bits 0 or 1 set.  */
198a2ea4aa9SRichard Henderson     if ((src1 | src2) & 3) {
199a2ea4aa9SRichard Henderson         goto tag_overflow;
200a2ea4aa9SRichard Henderson     }
201a2ea4aa9SRichard Henderson 
202a2ea4aa9SRichard Henderson     dst = src1 - src2;
203a2ea4aa9SRichard Henderson 
204a2ea4aa9SRichard Henderson     /* Tag overflow occurs if the subtraction overflows.  */
205*68524e83SRichard Henderson     v = (src1 ^ src2) & (src1 ^ dst);
206*68524e83SRichard Henderson     if (v & (1u << 31)) {
207a2ea4aa9SRichard Henderson         goto tag_overflow;
208a2ea4aa9SRichard Henderson     }
209a2ea4aa9SRichard Henderson 
210a2ea4aa9SRichard Henderson     /* Only modify the CC after any exceptions have been generated.  */
211*68524e83SRichard Henderson     env->cc_V = v;
212*68524e83SRichard Henderson     env->cc_N = dst;
213*68524e83SRichard Henderson     env->icc_Z = dst;
214*68524e83SRichard Henderson #ifdef TARGET_SPARC64
215*68524e83SRichard Henderson     env->xcc_Z = dst;
216*68524e83SRichard Henderson     env->icc_C = dst ^ src1 ^ src2;
217*68524e83SRichard Henderson     env->xcc_C = src1 < src2;
218*68524e83SRichard Henderson #else
219*68524e83SRichard Henderson     env->icc_C = src1 < src2;
220*68524e83SRichard Henderson #endif
221*68524e83SRichard Henderson 
222a2ea4aa9SRichard Henderson     return dst;
223a2ea4aa9SRichard Henderson 
224a2ea4aa9SRichard Henderson  tag_overflow:
2252f9d35fcSRichard Henderson     cpu_raise_exception_ra(env, TT_TOVF, GETPC());
226a2ea4aa9SRichard Henderson }
227d1c36ba7SRonald Hecht 
228d1c36ba7SRonald Hecht #ifndef TARGET_SPARC64
229d1c36ba7SRonald Hecht void helper_power_down(CPUSPARCState *env)
230d1c36ba7SRonald Hecht {
2315a59fbceSRichard Henderson     CPUState *cs = env_cpu(env);
232259186a7SAndreas Färber 
233259186a7SAndreas Färber     cs->halted = 1;
23427103424SAndreas Färber     cs->exception_index = EXCP_HLT;
235d1c36ba7SRonald Hecht     env->pc = env->npc;
236d1c36ba7SRonald Hecht     env->npc = env->pc + 4;
2375638d180SAndreas Färber     cpu_loop_exit(cs);
238d1c36ba7SRonald Hecht }
239d1c36ba7SRonald Hecht #endif
240