Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 1 | /* |
| 2 | * OpenRISC float helper routines |
| 3 | * |
| 4 | * Copyright (c) 2011-2012 Jia Liu <proljc@gmail.com> |
| 5 | * Feng Gao <gf91597@gmail.com> |
| 6 | * |
| 7 | * This library is free software; you can redistribute it and/or |
| 8 | * modify it under the terms of the GNU Lesser General Public |
| 9 | * License as published by the Free Software Foundation; either |
Thomas Huth | 198a2d2 | 2019-02-13 14:46:50 +0100 | [diff] [blame] | 10 | * version 2.1 of the License, or (at your option) any later version. |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 11 | * |
| 12 | * This library is distributed in the hope that it will be useful, |
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| 15 | * Lesser General Public License for more details. |
| 16 | * |
| 17 | * You should have received a copy of the GNU Lesser General Public |
| 18 | * License along with this library; if not, see <http://www.gnu.org/licenses/>. |
| 19 | */ |
| 20 | |
Peter Maydell | ed2decc | 2016-01-26 18:17:22 +0000 | [diff] [blame] | 21 | #include "qemu/osdep.h" |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 22 | #include "cpu.h" |
Richard Henderson | 2ef6175 | 2014-04-07 22:31:41 -0700 | [diff] [blame] | 23 | #include "exec/helper-proto.h" |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 24 | #include "exception.h" |
Alex Bennée | 24f91e8 | 2018-01-19 18:24:22 +0000 | [diff] [blame] | 25 | #include "fpu/softfloat.h" |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 26 | |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 27 | static int ieee_ex_to_openrisc(int fexcp) |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 28 | { |
| 29 | int ret = 0; |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 30 | if (fexcp & float_flag_invalid) { |
| 31 | ret |= FPCSR_IVF; |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 32 | } |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 33 | if (fexcp & float_flag_overflow) { |
| 34 | ret |= FPCSR_OVF; |
| 35 | } |
| 36 | if (fexcp & float_flag_underflow) { |
| 37 | ret |= FPCSR_UNF; |
| 38 | } |
| 39 | if (fexcp & float_flag_divbyzero) { |
| 40 | ret |= FPCSR_DZF; |
| 41 | } |
| 42 | if (fexcp & float_flag_inexact) { |
| 43 | ret |= FPCSR_IXF; |
| 44 | } |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 45 | return ret; |
| 46 | } |
| 47 | |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 48 | void HELPER(update_fpcsr)(CPUOpenRISCState *env) |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 49 | { |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 50 | int tmp = get_float_exception_flags(&env->fp_status); |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 51 | |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 52 | if (tmp) { |
| 53 | set_float_exception_flags(0, &env->fp_status); |
| 54 | tmp = ieee_ex_to_openrisc(tmp); |
| 55 | if (tmp) { |
| 56 | env->fpcsr |= tmp; |
| 57 | if (env->fpcsr & FPCSR_FPEE) { |
| 58 | helper_exception(env, EXCP_FPE); |
| 59 | } |
| 60 | } |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 61 | } |
| 62 | } |
| 63 | |
Richard Henderson | a465772 | 2019-08-26 15:10:10 -0700 | [diff] [blame] | 64 | void cpu_set_fpcsr(CPUOpenRISCState *env, uint32_t val) |
| 65 | { |
| 66 | static const int rm_to_sf[] = { |
| 67 | float_round_nearest_even, |
| 68 | float_round_to_zero, |
| 69 | float_round_up, |
| 70 | float_round_down |
| 71 | }; |
| 72 | |
Stafford Horne | 97a254b | 2020-01-11 06:28:43 +0900 | [diff] [blame] | 73 | env->fpcsr = val & 0xfff; |
Richard Henderson | a465772 | 2019-08-26 15:10:10 -0700 | [diff] [blame] | 74 | set_float_rounding_mode(rm_to_sf[extract32(val, 1, 2)], &env->fp_status); |
| 75 | } |
| 76 | |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 77 | uint64_t HELPER(itofd)(CPUOpenRISCState *env, uint64_t val) |
| 78 | { |
Richard Henderson | 62f2b03 | 2019-05-06 14:49:25 -0700 | [diff] [blame] | 79 | return int64_to_float64(val, &env->fp_status); |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 80 | } |
| 81 | |
| 82 | uint32_t HELPER(itofs)(CPUOpenRISCState *env, uint32_t val) |
| 83 | { |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 84 | return int32_to_float32(val, &env->fp_status); |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 85 | } |
| 86 | |
| 87 | uint64_t HELPER(ftoid)(CPUOpenRISCState *env, uint64_t val) |
| 88 | { |
Richard Henderson | 62f2b03 | 2019-05-06 14:49:25 -0700 | [diff] [blame] | 89 | return float64_to_int64_round_to_zero(val, &env->fp_status); |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 90 | } |
| 91 | |
| 92 | uint32_t HELPER(ftois)(CPUOpenRISCState *env, uint32_t val) |
| 93 | { |
Richard Henderson | 091a351 | 2019-08-26 15:15:05 -0700 | [diff] [blame] | 94 | return float32_to_int32_round_to_zero(val, &env->fp_status); |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 95 | } |
| 96 | |
Richard Henderson | 62f2b03 | 2019-05-06 14:49:25 -0700 | [diff] [blame] | 97 | uint64_t HELPER(stod)(CPUOpenRISCState *env, uint32_t val) |
| 98 | { |
| 99 | return float32_to_float64(val, &env->fp_status); |
| 100 | } |
| 101 | |
| 102 | uint32_t HELPER(dtos)(CPUOpenRISCState *env, uint64_t val) |
| 103 | { |
| 104 | return float64_to_float32(val, &env->fp_status); |
| 105 | } |
| 106 | |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 107 | #define FLOAT_CALC(name) \ |
| 108 | uint64_t helper_float_ ## name ## _d(CPUOpenRISCState *env, \ |
| 109 | uint64_t fdt0, uint64_t fdt1) \ |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 110 | { return float64_ ## name(fdt0, fdt1, &env->fp_status); } \ |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 111 | uint32_t helper_float_ ## name ## _s(CPUOpenRISCState *env, \ |
| 112 | uint32_t fdt0, uint32_t fdt1) \ |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 113 | { return float32_ ## name(fdt0, fdt1, &env->fp_status); } |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 114 | |
| 115 | FLOAT_CALC(add) |
| 116 | FLOAT_CALC(sub) |
| 117 | FLOAT_CALC(mul) |
| 118 | FLOAT_CALC(div) |
| 119 | FLOAT_CALC(rem) |
| 120 | #undef FLOAT_CALC |
| 121 | |
Richard Henderson | 762e22e | 2015-02-18 18:47:35 -0800 | [diff] [blame] | 122 | |
| 123 | uint64_t helper_float_madd_d(CPUOpenRISCState *env, uint64_t a, |
| 124 | uint64_t b, uint64_t c) |
| 125 | { |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 126 | /* Note that or1ksim doesn't use fused operation. */ |
| 127 | b = float64_mul(b, c, &env->fp_status); |
| 128 | return float64_add(a, b, &env->fp_status); |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 129 | } |
| 130 | |
Richard Henderson | 762e22e | 2015-02-18 18:47:35 -0800 | [diff] [blame] | 131 | uint32_t helper_float_madd_s(CPUOpenRISCState *env, uint32_t a, |
| 132 | uint32_t b, uint32_t c) |
| 133 | { |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 134 | /* Note that or1ksim doesn't use fused operation. */ |
| 135 | b = float32_mul(b, c, &env->fp_status); |
| 136 | return float32_add(a, b, &env->fp_status); |
Richard Henderson | 762e22e | 2015-02-18 18:47:35 -0800 | [diff] [blame] | 137 | } |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 138 | |
| 139 | |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 140 | #define FLOAT_CMP(name, impl) \ |
| 141 | target_ulong helper_float_ ## name ## _d(CPUOpenRISCState *env, \ |
| 142 | uint64_t fdt0, uint64_t fdt1) \ |
| 143 | { return float64_ ## impl(fdt0, fdt1, &env->fp_status); } \ |
| 144 | target_ulong helper_float_ ## name ## _s(CPUOpenRISCState *env, \ |
| 145 | uint32_t fdt0, uint32_t fdt1) \ |
| 146 | { return float32_ ## impl(fdt0, fdt1, &env->fp_status); } |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 147 | |
Richard Henderson | 4e2d300 | 2015-02-18 20:40:38 -0800 | [diff] [blame] | 148 | FLOAT_CMP(le, le) |
| 149 | FLOAT_CMP(lt, lt) |
| 150 | FLOAT_CMP(eq, eq_quiet) |
Richard Henderson | 2b13b4b | 2019-05-14 06:39:47 -0700 | [diff] [blame] | 151 | FLOAT_CMP(un, unordered_quiet) |
Jia Liu | 5b56950 | 2012-07-20 15:50:44 +0800 | [diff] [blame] | 152 | #undef FLOAT_CMP |
Richard Henderson | 2b13b4b | 2019-05-14 06:39:47 -0700 | [diff] [blame] | 153 | |
| 154 | #define FLOAT_UCMP(name, expr) \ |
| 155 | target_ulong helper_float_ ## name ## _d(CPUOpenRISCState *env, \ |
| 156 | uint64_t fdt0, uint64_t fdt1) \ |
| 157 | { \ |
Richard Henderson | 71bfd65 | 2020-05-05 10:22:05 -0700 | [diff] [blame] | 158 | FloatRelation r = float64_compare_quiet(fdt0, fdt1, &env->fp_status); \ |
Richard Henderson | 2b13b4b | 2019-05-14 06:39:47 -0700 | [diff] [blame] | 159 | return expr; \ |
| 160 | } \ |
| 161 | target_ulong helper_float_ ## name ## _s(CPUOpenRISCState *env, \ |
| 162 | uint32_t fdt0, uint32_t fdt1) \ |
| 163 | { \ |
Richard Henderson | 71bfd65 | 2020-05-05 10:22:05 -0700 | [diff] [blame] | 164 | FloatRelation r = float32_compare_quiet(fdt0, fdt1, &env->fp_status); \ |
Richard Henderson | 2b13b4b | 2019-05-14 06:39:47 -0700 | [diff] [blame] | 165 | return expr; \ |
| 166 | } |
| 167 | |
| 168 | FLOAT_UCMP(ueq, r == float_relation_equal || r == float_relation_unordered) |
| 169 | FLOAT_UCMP(ult, r == float_relation_less || r == float_relation_unordered) |
| 170 | FLOAT_UCMP(ule, r != float_relation_greater) |
| 171 | #undef FLOAT_UCMP |