blob: ae7740bca15d1cba4fe85ad0070471ec21649f14 [file] [log] [blame]
bellarde8af50a2004-09-30 21:55:55 +00001/*
Blue Swirl163fa5c2011-09-11 11:30:01 +00002 * Misc Sparc helpers
ths5fafdf22007-09-16 21:08:06 +00003 *
bellard83469012005-07-23 14:27:54 +00004 * Copyright (c) 2003-2005 Fabrice Bellard
bellarde8af50a2004-09-30 21:55:55 +00005 *
6 * This library is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2 of the License, or (at your option) any later version.
10 *
11 * This library is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
15 *
16 * You should have received a copy of the GNU Lesser General Public
Blue Swirl8167ee82009-07-16 20:47:01 +000017 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
bellarde8af50a2004-09-30 21:55:55 +000018 */
bellardee5bbe32005-07-04 22:18:23 +000019
20#include "cpu.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010021#include "qemu/host-utils.h"
Blue Swirl2336c1f2011-07-03 07:05:50 +000022#include "helper.h"
Paolo Bonzini9c17d612012-12-17 18:20:04 +010023#include "sysemu/sysemu.h"
bellarde8af50a2004-09-30 21:55:55 +000024
Andreas Färberc5f98642012-03-14 01:38:22 +010025void helper_raise_exception(CPUSPARCState *env, int tt)
Blue Swirlbc265312011-07-03 08:19:42 +000026{
Andreas Färber27103422013-08-26 08:31:06 +020027 CPUState *cs = CPU(sparc_env_get_cpu(env));
28
29 cs->exception_index = tt;
Andreas Färber5638d182013-08-27 17:52:12 +020030 cpu_loop_exit(cs);
Blue Swirlbc265312011-07-03 08:19:42 +000031}
32
Andreas Färberc5f98642012-03-14 01:38:22 +010033void helper_debug(CPUSPARCState *env)
Blue Swirlbc265312011-07-03 08:19:42 +000034{
Andreas Färber27103422013-08-26 08:31:06 +020035 CPUState *cs = CPU(sparc_env_get_cpu(env));
36
37 cs->exception_index = EXCP_DEBUG;
Andreas Färber5638d182013-08-27 17:52:12 +020038 cpu_loop_exit(cs);
Blue Swirlbc265312011-07-03 08:19:42 +000039}
40
Blue Swirl2336c1f2011-07-03 07:05:50 +000041#ifdef TARGET_SPARC64
42target_ulong helper_popc(target_ulong val)
43{
44 return ctpop64(val);
45}
46
47void helper_tick_set_count(void *opaque, uint64_t count)
48{
49#if !defined(CONFIG_USER_ONLY)
50 cpu_tick_set_count(opaque, count);
51#endif
52}
53
54uint64_t helper_tick_get_count(void *opaque)
55{
56#if !defined(CONFIG_USER_ONLY)
57 return cpu_tick_get_count(opaque);
58#else
59 return 0;
60#endif
61}
62
63void helper_tick_set_limit(void *opaque, uint64_t limit)
64{
65#if !defined(CONFIG_USER_ONLY)
66 cpu_tick_set_limit(opaque, limit);
67#endif
68}
69#endif
Blue Swirl7a5e4482011-07-04 18:15:42 +000070
Andreas Färberc5f98642012-03-14 01:38:22 +010071static target_ulong helper_udiv_common(CPUSPARCState *env, target_ulong a,
Blue Swirl7a5e4482011-07-04 18:15:42 +000072 target_ulong b, int cc)
73{
Andreas Färber3f38f302013-09-01 16:51:34 +020074 SPARCCPU *cpu = sparc_env_get_cpu(env);
Blue Swirl7a5e4482011-07-04 18:15:42 +000075 int overflow = 0;
76 uint64_t x0;
77 uint32_t x1;
78
79 x0 = (a & 0xffffffff) | ((int64_t) (env->y) << 32);
80 x1 = (b & 0xffffffff);
81
82 if (x1 == 0) {
Andreas Färber3f38f302013-09-01 16:51:34 +020083 cpu_restore_state(CPU(cpu), GETPC());
Blue Swirl7a5e4482011-07-04 18:15:42 +000084 helper_raise_exception(env, TT_DIV_ZERO);
85 }
86
87 x0 = x0 / x1;
Olivier Danet6a5b69a2014-03-21 02:25:19 +010088 if (x0 > UINT32_MAX) {
89 x0 = UINT32_MAX;
Blue Swirl7a5e4482011-07-04 18:15:42 +000090 overflow = 1;
91 }
92
93 if (cc) {
94 env->cc_dst = x0;
95 env->cc_src2 = overflow;
96 env->cc_op = CC_OP_DIV;
97 }
98 return x0;
99}
100
Andreas Färberc5f98642012-03-14 01:38:22 +0100101target_ulong helper_udiv(CPUSPARCState *env, target_ulong a, target_ulong b)
Blue Swirl7a5e4482011-07-04 18:15:42 +0000102{
103 return helper_udiv_common(env, a, b, 0);
104}
105
Andreas Färberc5f98642012-03-14 01:38:22 +0100106target_ulong helper_udiv_cc(CPUSPARCState *env, target_ulong a, target_ulong b)
Blue Swirl7a5e4482011-07-04 18:15:42 +0000107{
108 return helper_udiv_common(env, a, b, 1);
109}
110
Andreas Färberc5f98642012-03-14 01:38:22 +0100111static target_ulong helper_sdiv_common(CPUSPARCState *env, target_ulong a,
Blue Swirl7a5e4482011-07-04 18:15:42 +0000112 target_ulong b, int cc)
113{
Andreas Färber3f38f302013-09-01 16:51:34 +0200114 SPARCCPU *cpu = sparc_env_get_cpu(env);
Blue Swirl7a5e4482011-07-04 18:15:42 +0000115 int overflow = 0;
116 int64_t x0;
117 int32_t x1;
118
119 x0 = (a & 0xffffffff) | ((int64_t) (env->y) << 32);
120 x1 = (b & 0xffffffff);
121
122 if (x1 == 0) {
Andreas Färber3f38f302013-09-01 16:51:34 +0200123 cpu_restore_state(CPU(cpu), GETPC());
Blue Swirl7a5e4482011-07-04 18:15:42 +0000124 helper_raise_exception(env, TT_DIV_ZERO);
Olivier Danet6a5b69a2014-03-21 02:25:19 +0100125 } else if (x1 == -1 && x0 == INT64_MIN) {
126 x0 = INT32_MAX;
Blue Swirl7a5e4482011-07-04 18:15:42 +0000127 overflow = 1;
Olivier Danet6a5b69a2014-03-21 02:25:19 +0100128 } else {
129 x0 = x0 / x1;
130 if ((int32_t) x0 != x0) {
131 x0 = x0 < 0 ? INT32_MIN : INT32_MAX;
132 overflow = 1;
133 }
Blue Swirl7a5e4482011-07-04 18:15:42 +0000134 }
135
136 if (cc) {
137 env->cc_dst = x0;
138 env->cc_src2 = overflow;
139 env->cc_op = CC_OP_DIV;
140 }
141 return x0;
142}
143
Andreas Färberc5f98642012-03-14 01:38:22 +0100144target_ulong helper_sdiv(CPUSPARCState *env, target_ulong a, target_ulong b)
Blue Swirl7a5e4482011-07-04 18:15:42 +0000145{
146 return helper_sdiv_common(env, a, b, 0);
147}
148
Andreas Färberc5f98642012-03-14 01:38:22 +0100149target_ulong helper_sdiv_cc(CPUSPARCState *env, target_ulong a, target_ulong b)
Blue Swirl7a5e4482011-07-04 18:15:42 +0000150{
151 return helper_sdiv_common(env, a, b, 1);
152}
Richard Hendersonc28ae412012-10-05 16:55:03 -0700153
154#ifdef TARGET_SPARC64
155int64_t helper_sdivx(CPUSPARCState *env, int64_t a, int64_t b)
156{
157 if (b == 0) {
158 /* Raise divide by zero trap. */
Andreas Färber3f38f302013-09-01 16:51:34 +0200159 SPARCCPU *cpu = sparc_env_get_cpu(env);
160
161 cpu_restore_state(CPU(cpu), GETPC());
Richard Hendersonc28ae412012-10-05 16:55:03 -0700162 helper_raise_exception(env, TT_DIV_ZERO);
163 } else if (b == -1) {
164 /* Avoid overflow trap with i386 divide insn. */
165 return -a;
166 } else {
167 return a / b;
168 }
169}
170
171uint64_t helper_udivx(CPUSPARCState *env, uint64_t a, uint64_t b)
172{
173 if (b == 0) {
174 /* Raise divide by zero trap. */
Andreas Färber3f38f302013-09-01 16:51:34 +0200175 SPARCCPU *cpu = sparc_env_get_cpu(env);
176
177 cpu_restore_state(CPU(cpu), GETPC());
Richard Hendersonc28ae412012-10-05 16:55:03 -0700178 helper_raise_exception(env, TT_DIV_ZERO);
179 }
180 return a / b;
181}
182#endif
Richard Hendersona2ea4aa2012-10-05 16:55:05 -0700183
184target_ulong helper_taddcctv(CPUSPARCState *env, target_ulong src1,
185 target_ulong src2)
186{
Andreas Färber3f38f302013-09-01 16:51:34 +0200187 SPARCCPU *cpu = sparc_env_get_cpu(env);
Richard Hendersona2ea4aa2012-10-05 16:55:05 -0700188 target_ulong dst;
189
190 /* Tag overflow occurs if either input has bits 0 or 1 set. */
191 if ((src1 | src2) & 3) {
192 goto tag_overflow;
193 }
194
195 dst = src1 + src2;
196
197 /* Tag overflow occurs if the addition overflows. */
198 if (~(src1 ^ src2) & (src1 ^ dst) & (1u << 31)) {
199 goto tag_overflow;
200 }
201
202 /* Only modify the CC after any exceptions have been generated. */
203 env->cc_op = CC_OP_TADDTV;
204 env->cc_src = src1;
205 env->cc_src2 = src2;
206 env->cc_dst = dst;
207 return dst;
208
209 tag_overflow:
Andreas Färber3f38f302013-09-01 16:51:34 +0200210 cpu_restore_state(CPU(cpu), GETPC());
Richard Hendersona2ea4aa2012-10-05 16:55:05 -0700211 helper_raise_exception(env, TT_TOVF);
212}
213
214target_ulong helper_tsubcctv(CPUSPARCState *env, target_ulong src1,
215 target_ulong src2)
216{
Andreas Färber3f38f302013-09-01 16:51:34 +0200217 SPARCCPU *cpu = sparc_env_get_cpu(env);
Richard Hendersona2ea4aa2012-10-05 16:55:05 -0700218 target_ulong dst;
219
220 /* Tag overflow occurs if either input has bits 0 or 1 set. */
221 if ((src1 | src2) & 3) {
222 goto tag_overflow;
223 }
224
225 dst = src1 - src2;
226
227 /* Tag overflow occurs if the subtraction overflows. */
228 if ((src1 ^ src2) & (src1 ^ dst) & (1u << 31)) {
229 goto tag_overflow;
230 }
231
232 /* Only modify the CC after any exceptions have been generated. */
233 env->cc_op = CC_OP_TSUBTV;
234 env->cc_src = src1;
235 env->cc_src2 = src2;
236 env->cc_dst = dst;
237 return dst;
238
239 tag_overflow:
Andreas Färber3f38f302013-09-01 16:51:34 +0200240 cpu_restore_state(CPU(cpu), GETPC());
Richard Hendersona2ea4aa2012-10-05 16:55:05 -0700241 helper_raise_exception(env, TT_TOVF);
242}
Ronald Hechtd1c36ba2013-02-19 12:45:07 +0100243
244#ifndef TARGET_SPARC64
245void helper_power_down(CPUSPARCState *env)
246{
Andreas Färber259186a2013-01-17 18:51:17 +0100247 CPUState *cs = CPU(sparc_env_get_cpu(env));
248
249 cs->halted = 1;
Andreas Färber27103422013-08-26 08:31:06 +0200250 cs->exception_index = EXCP_HLT;
Ronald Hechtd1c36ba2013-02-19 12:45:07 +0100251 env->pc = env->npc;
252 env->npc = env->pc + 4;
Andreas Färber5638d182013-08-27 17:52:12 +0200253 cpu_loop_exit(cs);
Ronald Hechtd1c36ba2013-02-19 12:45:07 +0100254}
255#endif