4 * Copyright (c) 2003-2005 Fabrice Bellard
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.
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.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with this library; if not, see <http://www.gnu.org/licenses/>.
20 #include "qemu/osdep.h"
22 #include "exec/helper-proto.h"
24 #define QT0 (env->qt0)
25 #define QT1 (env->qt1)
27 target_ulong
helper_check_ieee_exceptions(CPUSPARCState
*env
)
29 target_ulong status
= get_float_exception_flags(&env
->fp_status
);
30 target_ulong fsr
= env
->fsr
;
32 if (unlikely(status
)) {
33 /* Keep exception flags clear for next time. */
34 set_float_exception_flags(0, &env
->fp_status
);
36 /* Copy IEEE 754 flags into FSR */
37 if (status
& float_flag_invalid
) {
40 if (status
& float_flag_overflow
) {
43 if (status
& float_flag_underflow
) {
46 if (status
& float_flag_divbyzero
) {
49 if (status
& float_flag_inexact
) {
53 if ((fsr
& FSR_CEXC_MASK
) & ((fsr
& FSR_TEM_MASK
) >> 23)) {
54 /* Unmasked exception, generate a trap. Note that while
55 the helper is marked as NO_WG, we can get away with
56 writing to cpu state along the exception path, since
57 TCG generated code will never see the write. */
58 env
->fsr
= fsr
| FSR_FTT_IEEE_EXCP
;
59 helper_raise_exception(env
, TT_FP_EXCP
);
61 /* Accumulate exceptions */
62 fsr
|= (fsr
& FSR_CEXC_MASK
) << 5;
69 #define F_HELPER(name, p) void helper_f##name##p(CPUSPARCState *env)
71 #define F_BINOP(name) \
72 float32 helper_f ## name ## s (CPUSPARCState *env, float32 src1, \
75 return float32_ ## name (src1, src2, &env->fp_status); \
77 float64 helper_f ## name ## d (CPUSPARCState * env, float64 src1,\
80 return float64_ ## name (src1, src2, &env->fp_status); \
84 QT0 = float128_ ## name (QT0, QT1, &env->fp_status); \
93 float64
helper_fsmuld(CPUSPARCState
*env
, float32 src1
, float32 src2
)
95 return float64_mul(float32_to_float64(src1
, &env
->fp_status
),
96 float32_to_float64(src2
, &env
->fp_status
),
100 void helper_fdmulq(CPUSPARCState
*env
, float64 src1
, float64 src2
)
102 QT0
= float128_mul(float64_to_float128(src1
, &env
->fp_status
),
103 float64_to_float128(src2
, &env
->fp_status
),
107 float32
helper_fnegs(float32 src
)
109 return float32_chs(src
);
112 #ifdef TARGET_SPARC64
113 float64
helper_fnegd(float64 src
)
115 return float64_chs(src
);
120 QT0
= float128_chs(QT1
);
124 /* Integer to float conversion. */
125 float32
helper_fitos(CPUSPARCState
*env
, int32_t src
)
127 return int32_to_float32(src
, &env
->fp_status
);
130 float64
helper_fitod(CPUSPARCState
*env
, int32_t src
)
132 return int32_to_float64(src
, &env
->fp_status
);
135 void helper_fitoq(CPUSPARCState
*env
, int32_t src
)
137 QT0
= int32_to_float128(src
, &env
->fp_status
);
140 #ifdef TARGET_SPARC64
141 float32
helper_fxtos(CPUSPARCState
*env
, int64_t src
)
143 return int64_to_float32(src
, &env
->fp_status
);
146 float64
helper_fxtod(CPUSPARCState
*env
, int64_t src
)
148 return int64_to_float64(src
, &env
->fp_status
);
151 void helper_fxtoq(CPUSPARCState
*env
, int64_t src
)
153 QT0
= int64_to_float128(src
, &env
->fp_status
);
158 /* floating point conversion */
159 float32
helper_fdtos(CPUSPARCState
*env
, float64 src
)
161 return float64_to_float32(src
, &env
->fp_status
);
164 float64
helper_fstod(CPUSPARCState
*env
, float32 src
)
166 return float32_to_float64(src
, &env
->fp_status
);
169 float32
helper_fqtos(CPUSPARCState
*env
)
171 return float128_to_float32(QT1
, &env
->fp_status
);
174 void helper_fstoq(CPUSPARCState
*env
, float32 src
)
176 QT0
= float32_to_float128(src
, &env
->fp_status
);
179 float64
helper_fqtod(CPUSPARCState
*env
)
181 return float128_to_float64(QT1
, &env
->fp_status
);
184 void helper_fdtoq(CPUSPARCState
*env
, float64 src
)
186 QT0
= float64_to_float128(src
, &env
->fp_status
);
189 /* Float to integer conversion. */
190 int32_t helper_fstoi(CPUSPARCState
*env
, float32 src
)
192 return float32_to_int32_round_to_zero(src
, &env
->fp_status
);
195 int32_t helper_fdtoi(CPUSPARCState
*env
, float64 src
)
197 return float64_to_int32_round_to_zero(src
, &env
->fp_status
);
200 int32_t helper_fqtoi(CPUSPARCState
*env
)
202 return float128_to_int32_round_to_zero(QT1
, &env
->fp_status
);
205 #ifdef TARGET_SPARC64
206 int64_t helper_fstox(CPUSPARCState
*env
, float32 src
)
208 return float32_to_int64_round_to_zero(src
, &env
->fp_status
);
211 int64_t helper_fdtox(CPUSPARCState
*env
, float64 src
)
213 return float64_to_int64_round_to_zero(src
, &env
->fp_status
);
216 int64_t helper_fqtox(CPUSPARCState
*env
)
218 return float128_to_int64_round_to_zero(QT1
, &env
->fp_status
);
222 float32
helper_fabss(float32 src
)
224 return float32_abs(src
);
227 #ifdef TARGET_SPARC64
228 float64
helper_fabsd(float64 src
)
230 return float64_abs(src
);
233 void helper_fabsq(CPUSPARCState
*env
)
235 QT0
= float128_abs(QT1
);
239 float32
helper_fsqrts(CPUSPARCState
*env
, float32 src
)
241 return float32_sqrt(src
, &env
->fp_status
);
244 float64
helper_fsqrtd(CPUSPARCState
*env
, float64 src
)
246 return float64_sqrt(src
, &env
->fp_status
);
249 void helper_fsqrtq(CPUSPARCState
*env
)
251 QT0
= float128_sqrt(QT1
, &env
->fp_status
);
254 #define GEN_FCMP(name, size, reg1, reg2, FS, E) \
255 target_ulong glue(helper_, name) (CPUSPARCState *env) \
260 ret = glue(size, _compare)(reg1, reg2, &env->fp_status); \
262 ret = glue(size, _compare_quiet)(reg1, reg2, \
265 fsr = helper_check_ieee_exceptions(env); \
267 case float_relation_unordered: \
268 fsr |= (FSR_FCC1 | FSR_FCC0) << FS; \
271 case float_relation_less: \
272 fsr &= ~(FSR_FCC1) << FS; \
273 fsr |= FSR_FCC0 << FS; \
275 case float_relation_greater: \
276 fsr &= ~(FSR_FCC0) << FS; \
277 fsr |= FSR_FCC1 << FS; \
280 fsr &= ~((FSR_FCC1 | FSR_FCC0) << FS); \
285 #define GEN_FCMP_T(name, size, FS, E) \
286 target_ulong glue(helper_, name)(CPUSPARCState *env, size src1, size src2)\
291 ret = glue(size, _compare)(src1, src2, &env->fp_status); \
293 ret = glue(size, _compare_quiet)(src1, src2, \
296 fsr = helper_check_ieee_exceptions(env); \
298 case float_relation_unordered: \
299 fsr |= (FSR_FCC1 | FSR_FCC0) << FS; \
301 case float_relation_less: \
302 fsr &= ~(FSR_FCC1 << FS); \
303 fsr |= FSR_FCC0 << FS; \
305 case float_relation_greater: \
306 fsr &= ~(FSR_FCC0 << FS); \
307 fsr |= FSR_FCC1 << FS; \
310 fsr &= ~((FSR_FCC1 | FSR_FCC0) << FS); \
316 GEN_FCMP_T(fcmps
, float32
, 0, 0);
317 GEN_FCMP_T(fcmpd
, float64
, 0, 0);
319 GEN_FCMP_T(fcmpes
, float32
, 0, 1);
320 GEN_FCMP_T(fcmped
, float64
, 0, 1);
322 GEN_FCMP(fcmpq
, float128
, QT0
, QT1
, 0, 0);
323 GEN_FCMP(fcmpeq
, float128
, QT0
, QT1
, 0, 1);
325 #ifdef TARGET_SPARC64
326 GEN_FCMP_T(fcmps_fcc1
, float32
, 22, 0);
327 GEN_FCMP_T(fcmpd_fcc1
, float64
, 22, 0);
328 GEN_FCMP(fcmpq_fcc1
, float128
, QT0
, QT1
, 22, 0);
330 GEN_FCMP_T(fcmps_fcc2
, float32
, 24, 0);
331 GEN_FCMP_T(fcmpd_fcc2
, float64
, 24, 0);
332 GEN_FCMP(fcmpq_fcc2
, float128
, QT0
, QT1
, 24, 0);
334 GEN_FCMP_T(fcmps_fcc3
, float32
, 26, 0);
335 GEN_FCMP_T(fcmpd_fcc3
, float64
, 26, 0);
336 GEN_FCMP(fcmpq_fcc3
, float128
, QT0
, QT1
, 26, 0);
338 GEN_FCMP_T(fcmpes_fcc1
, float32
, 22, 1);
339 GEN_FCMP_T(fcmped_fcc1
, float64
, 22, 1);
340 GEN_FCMP(fcmpeq_fcc1
, float128
, QT0
, QT1
, 22, 1);
342 GEN_FCMP_T(fcmpes_fcc2
, float32
, 24, 1);
343 GEN_FCMP_T(fcmped_fcc2
, float64
, 24, 1);
344 GEN_FCMP(fcmpeq_fcc2
, float128
, QT0
, QT1
, 24, 1);
346 GEN_FCMP_T(fcmpes_fcc3
, float32
, 26, 1);
347 GEN_FCMP_T(fcmped_fcc3
, float64
, 26, 1);
348 GEN_FCMP(fcmpeq_fcc3
, float128
, QT0
, QT1
, 26, 1);
353 static void set_fsr(CPUSPARCState
*env
, target_ulong fsr
)
357 switch (fsr
& FSR_RD_MASK
) {
359 rnd_mode
= float_round_nearest_even
;
363 rnd_mode
= float_round_to_zero
;
366 rnd_mode
= float_round_up
;
369 rnd_mode
= float_round_down
;
372 set_float_rounding_mode(rnd_mode
, &env
->fp_status
);
375 target_ulong
helper_ldfsr(CPUSPARCState
*env
, target_ulong old_fsr
,
378 old_fsr
= (new_fsr
& FSR_LDFSR_MASK
) | (old_fsr
& FSR_LDFSR_OLDMASK
);
379 set_fsr(env
, old_fsr
);
383 #ifdef TARGET_SPARC64
384 target_ulong
helper_ldxfsr(CPUSPARCState
*env
, target_ulong old_fsr
,
387 old_fsr
= (new_fsr
& FSR_LDXFSR_MASK
) | (old_fsr
& FSR_LDXFSR_OLDMASK
);
388 set_fsr(env
, old_fsr
);