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