xref: /qemu/target/openrisc/fpu_helper.c (revision 7cef6d686309e2792186504ae17cf4f3eb57ef68)
15b569507SJia Liu /*
25b569507SJia Liu  * OpenRISC float helper routines
35b569507SJia Liu  *
45b569507SJia Liu  * Copyright (c) 2011-2012 Jia Liu <proljc@gmail.com>
55b569507SJia Liu  *                         Feng Gao <gf91597@gmail.com>
65b569507SJia Liu  *
75b569507SJia Liu  * This library is free software; you can redistribute it and/or
85b569507SJia Liu  * modify it under the terms of the GNU Lesser General Public
95b569507SJia Liu  * License as published by the Free Software Foundation; either
10198a2d21SThomas Huth  * version 2.1 of the License, or (at your option) any later version.
115b569507SJia Liu  *
125b569507SJia Liu  * This library is distributed in the hope that it will be useful,
135b569507SJia Liu  * but WITHOUT ANY WARRANTY; without even the implied warranty of
145b569507SJia Liu  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
155b569507SJia Liu  * Lesser General Public License for more details.
165b569507SJia Liu  *
175b569507SJia Liu  * You should have received a copy of the GNU Lesser General Public
185b569507SJia Liu  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
195b569507SJia Liu  */
205b569507SJia Liu 
21ed2decc6SPeter Maydell #include "qemu/osdep.h"
225b569507SJia Liu #include "cpu.h"
232ef6175aSRichard Henderson #include "exec/helper-proto.h"
2424f91e81SAlex Bennée #include "fpu/softfloat.h"
255b569507SJia Liu 
ieee_ex_to_openrisc(int fexcp)264e2d3007SRichard Henderson static int ieee_ex_to_openrisc(int fexcp)
275b569507SJia Liu {
285b569507SJia Liu     int ret = 0;
295b569507SJia Liu     if (fexcp & float_flag_invalid) {
304e2d3007SRichard Henderson         ret |= FPCSR_IVF;
315b569507SJia Liu     }
325b569507SJia Liu     if (fexcp & float_flag_overflow) {
334e2d3007SRichard Henderson         ret |= FPCSR_OVF;
345b569507SJia Liu     }
355b569507SJia Liu     if (fexcp & float_flag_underflow) {
364e2d3007SRichard Henderson         ret |= FPCSR_UNF;
375b569507SJia Liu     }
385b569507SJia Liu     if (fexcp & float_flag_divbyzero) {
394e2d3007SRichard Henderson         ret |= FPCSR_DZF;
405b569507SJia Liu     }
415b569507SJia Liu     if (fexcp & float_flag_inexact) {
424e2d3007SRichard Henderson         ret |= FPCSR_IXF;
435b569507SJia Liu     }
445b569507SJia Liu     return ret;
455b569507SJia Liu }
465b569507SJia Liu 
47*9156ca76SStafford Horne static G_NORETURN
do_fpe(CPUOpenRISCState * env,uintptr_t pc)48*9156ca76SStafford Horne void do_fpe(CPUOpenRISCState *env, uintptr_t pc)
49*9156ca76SStafford Horne {
50*9156ca76SStafford Horne     CPUState *cs = env_cpu(env);
51*9156ca76SStafford Horne 
52*9156ca76SStafford Horne     cs->exception_index = EXCP_FPE;
53*9156ca76SStafford Horne     cpu_loop_exit_restore(cs, pc);
54*9156ca76SStafford Horne }
55*9156ca76SStafford Horne 
HELPER(update_fpcsr)564e2d3007SRichard Henderson void HELPER(update_fpcsr)(CPUOpenRISCState *env)
575b569507SJia Liu {
584e2d3007SRichard Henderson     int tmp = get_float_exception_flags(&env->fp_status);
595b569507SJia Liu 
604e2d3007SRichard Henderson     if (tmp) {
614e2d3007SRichard Henderson         set_float_exception_flags(0, &env->fp_status);
624e2d3007SRichard Henderson         tmp = ieee_ex_to_openrisc(tmp);
634e2d3007SRichard Henderson         if (tmp) {
644e2d3007SRichard Henderson             env->fpcsr |= tmp;
654e2d3007SRichard Henderson             if (env->fpcsr & FPCSR_FPEE) {
66*9156ca76SStafford Horne                 do_fpe(env, GETPC());
674e2d3007SRichard Henderson             }
684e2d3007SRichard Henderson         }
695b569507SJia Liu     }
705b569507SJia Liu }
715b569507SJia Liu 
cpu_set_fpcsr(CPUOpenRISCState * env,uint32_t val)72a465772eSRichard Henderson void cpu_set_fpcsr(CPUOpenRISCState *env, uint32_t val)
73a465772eSRichard Henderson {
74a465772eSRichard Henderson     static const int rm_to_sf[] = {
75a465772eSRichard Henderson         float_round_nearest_even,
76a465772eSRichard Henderson         float_round_to_zero,
77a465772eSRichard Henderson         float_round_up,
78a465772eSRichard Henderson         float_round_down
79a465772eSRichard Henderson     };
80a465772eSRichard Henderson 
8197a254b3SStafford Horne     env->fpcsr = val & 0xfff;
82a465772eSRichard Henderson     set_float_rounding_mode(rm_to_sf[extract32(val, 1, 2)], &env->fp_status);
83a465772eSRichard Henderson }
84a465772eSRichard Henderson 
HELPER(itofd)855b569507SJia Liu uint64_t HELPER(itofd)(CPUOpenRISCState *env, uint64_t val)
865b569507SJia Liu {
8762f2b038SRichard Henderson     return int64_to_float64(val, &env->fp_status);
885b569507SJia Liu }
895b569507SJia Liu 
HELPER(itofs)905b569507SJia Liu uint32_t HELPER(itofs)(CPUOpenRISCState *env, uint32_t val)
915b569507SJia Liu {
924e2d3007SRichard Henderson     return int32_to_float32(val, &env->fp_status);
935b569507SJia Liu }
945b569507SJia Liu 
HELPER(ftoid)955b569507SJia Liu uint64_t HELPER(ftoid)(CPUOpenRISCState *env, uint64_t val)
965b569507SJia Liu {
9762f2b038SRichard Henderson     return float64_to_int64_round_to_zero(val, &env->fp_status);
985b569507SJia Liu }
995b569507SJia Liu 
HELPER(ftois)1005b569507SJia Liu uint32_t HELPER(ftois)(CPUOpenRISCState *env, uint32_t val)
1015b569507SJia Liu {
102091a3516SRichard Henderson     return float32_to_int32_round_to_zero(val, &env->fp_status);
1035b569507SJia Liu }
1045b569507SJia Liu 
HELPER(stod)10562f2b038SRichard Henderson uint64_t HELPER(stod)(CPUOpenRISCState *env, uint32_t val)
10662f2b038SRichard Henderson {
10762f2b038SRichard Henderson     return float32_to_float64(val, &env->fp_status);
10862f2b038SRichard Henderson }
10962f2b038SRichard Henderson 
HELPER(dtos)11062f2b038SRichard Henderson uint32_t HELPER(dtos)(CPUOpenRISCState *env, uint64_t val)
11162f2b038SRichard Henderson {
11262f2b038SRichard Henderson     return float64_to_float32(val, &env->fp_status);
11362f2b038SRichard Henderson }
11462f2b038SRichard Henderson 
1155b569507SJia Liu #define FLOAT_CALC(name)                                                  \
1165b569507SJia Liu uint64_t helper_float_ ## name ## _d(CPUOpenRISCState *env,               \
1175b569507SJia Liu                                      uint64_t fdt0, uint64_t fdt1)        \
1184e2d3007SRichard Henderson { return float64_ ## name(fdt0, fdt1, &env->fp_status); }                 \
1195b569507SJia Liu uint32_t helper_float_ ## name ## _s(CPUOpenRISCState *env,               \
1205b569507SJia Liu                                      uint32_t fdt0, uint32_t fdt1)        \
1214e2d3007SRichard Henderson { return float32_ ## name(fdt0, fdt1, &env->fp_status); }
1225b569507SJia Liu 
1235b569507SJia Liu FLOAT_CALC(add)
FLOAT_CALC(sub)1245b569507SJia Liu FLOAT_CALC(sub)
1255b569507SJia Liu FLOAT_CALC(mul)
1265b569507SJia Liu FLOAT_CALC(div)
1275b569507SJia Liu FLOAT_CALC(rem)
1285b569507SJia Liu #undef FLOAT_CALC
1295b569507SJia Liu 
130762e22edSRichard Henderson 
131762e22edSRichard Henderson uint64_t helper_float_madd_d(CPUOpenRISCState *env, uint64_t a,
132762e22edSRichard Henderson                              uint64_t b, uint64_t c)
133762e22edSRichard Henderson {
1344e2d3007SRichard Henderson     /* Note that or1ksim doesn't use fused operation.  */
1354e2d3007SRichard Henderson     b = float64_mul(b, c, &env->fp_status);
1364e2d3007SRichard Henderson     return float64_add(a, b, &env->fp_status);
1375b569507SJia Liu }
1385b569507SJia Liu 
helper_float_madd_s(CPUOpenRISCState * env,uint32_t a,uint32_t b,uint32_t c)139762e22edSRichard Henderson uint32_t helper_float_madd_s(CPUOpenRISCState *env, uint32_t a,
140762e22edSRichard Henderson                              uint32_t b, uint32_t c)
141762e22edSRichard Henderson {
1424e2d3007SRichard Henderson     /* Note that or1ksim doesn't use fused operation.  */
1434e2d3007SRichard Henderson     b = float32_mul(b, c, &env->fp_status);
1444e2d3007SRichard Henderson     return float32_add(a, b, &env->fp_status);
145762e22edSRichard Henderson }
1465b569507SJia Liu 
1475b569507SJia Liu 
1484e2d3007SRichard Henderson #define FLOAT_CMP(name, impl)                                             \
1494e2d3007SRichard Henderson target_ulong helper_float_ ## name ## _d(CPUOpenRISCState *env,           \
1505b569507SJia Liu                                          uint64_t fdt0, uint64_t fdt1)    \
1514e2d3007SRichard Henderson { return float64_ ## impl(fdt0, fdt1, &env->fp_status); }                 \
1524e2d3007SRichard Henderson target_ulong helper_float_ ## name ## _s(CPUOpenRISCState *env,           \
1535b569507SJia Liu                                          uint32_t fdt0, uint32_t fdt1)    \
1544e2d3007SRichard Henderson { return float32_ ## impl(fdt0, fdt1, &env->fp_status); }
1555b569507SJia Liu 
1564e2d3007SRichard Henderson FLOAT_CMP(le, le)
1574e2d3007SRichard Henderson FLOAT_CMP(lt, lt)
1584e2d3007SRichard Henderson FLOAT_CMP(eq, eq_quiet)
1592b13b4b9SRichard Henderson FLOAT_CMP(un, unordered_quiet)
1605b569507SJia Liu #undef FLOAT_CMP
1612b13b4b9SRichard Henderson 
1622b13b4b9SRichard Henderson #define FLOAT_UCMP(name, expr) \
1632b13b4b9SRichard Henderson target_ulong helper_float_ ## name ## _d(CPUOpenRISCState *env,           \
1642b13b4b9SRichard Henderson                                          uint64_t fdt0, uint64_t fdt1)    \
1652b13b4b9SRichard Henderson {                                                                         \
16671bfd65cSRichard Henderson     FloatRelation r = float64_compare_quiet(fdt0, fdt1, &env->fp_status); \
1672b13b4b9SRichard Henderson     return expr;                                                          \
1682b13b4b9SRichard Henderson }                                                                         \
1692b13b4b9SRichard Henderson target_ulong helper_float_ ## name ## _s(CPUOpenRISCState *env,           \
1702b13b4b9SRichard Henderson                                          uint32_t fdt0, uint32_t fdt1)    \
1712b13b4b9SRichard Henderson {                                                                         \
17271bfd65cSRichard Henderson     FloatRelation r = float32_compare_quiet(fdt0, fdt1, &env->fp_status); \
1732b13b4b9SRichard Henderson     return expr;                                                          \
1742b13b4b9SRichard Henderson }
1752b13b4b9SRichard Henderson 
1762b13b4b9SRichard Henderson FLOAT_UCMP(ueq, r == float_relation_equal || r == float_relation_unordered)
1772b13b4b9SRichard Henderson FLOAT_UCMP(ult, r == float_relation_less || r == float_relation_unordered)
1782b13b4b9SRichard Henderson FLOAT_UCMP(ule, r != float_relation_greater)
1792b13b4b9SRichard Henderson #undef FLOAT_UCMP
180