2 * RISC-V FPU Emulation Helpers for QEMU.
4 * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
6 * This program is free software; you can redistribute it and/or modify it
7 * under the terms and conditions of the GNU General Public License,
8 * version 2 or later, as published by the Free Software Foundation.
10 * This program is distributed in the hope it will be useful, but WITHOUT
11 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
12 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
15 * You should have received a copy of the GNU General Public License along with
16 * this program. If not, see <http://www.gnu.org/licenses/>.
19 #include "qemu/osdep.h"
21 #include "qemu/host-utils.h"
22 #include "exec/exec-all.h"
23 #include "exec/helper-proto.h"
24 #include "fpu/softfloat.h"
25 #include "internals.h"
27 target_ulong
riscv_cpu_get_fflags(CPURISCVState
*env
)
29 int soft
= get_float_exception_flags(&env
->fp_status
);
30 target_ulong hard
= 0;
32 hard
|= (soft
& float_flag_inexact
) ? FPEXC_NX
: 0;
33 hard
|= (soft
& float_flag_underflow
) ? FPEXC_UF
: 0;
34 hard
|= (soft
& float_flag_overflow
) ? FPEXC_OF
: 0;
35 hard
|= (soft
& float_flag_divbyzero
) ? FPEXC_DZ
: 0;
36 hard
|= (soft
& float_flag_invalid
) ? FPEXC_NV
: 0;
41 void riscv_cpu_set_fflags(CPURISCVState
*env
, target_ulong hard
)
45 soft
|= (hard
& FPEXC_NX
) ? float_flag_inexact
: 0;
46 soft
|= (hard
& FPEXC_UF
) ? float_flag_underflow
: 0;
47 soft
|= (hard
& FPEXC_OF
) ? float_flag_overflow
: 0;
48 soft
|= (hard
& FPEXC_DZ
) ? float_flag_divbyzero
: 0;
49 soft
|= (hard
& FPEXC_NV
) ? float_flag_invalid
: 0;
51 set_float_exception_flags(soft
, &env
->fp_status
);
54 void helper_set_rounding_mode(CPURISCVState
*env
, uint32_t rm
)
63 softrm
= float_round_nearest_even
;
66 softrm
= float_round_to_zero
;
69 softrm
= float_round_down
;
72 softrm
= float_round_up
;
75 softrm
= float_round_ties_away
;
78 riscv_raise_exception(env
, RISCV_EXCP_ILLEGAL_INST
, GETPC());
81 set_float_rounding_mode(softrm
, &env
->fp_status
);
84 static uint64_t do_fmadd_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
,
85 uint64_t rs3
, int flags
)
87 float16 frs1
= check_nanbox_h(rs1
);
88 float16 frs2
= check_nanbox_h(rs2
);
89 float16 frs3
= check_nanbox_h(rs3
);
90 return nanbox_h(float16_muladd(frs1
, frs2
, frs3
, flags
, &env
->fp_status
));
93 static uint64_t do_fmadd_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
,
94 uint64_t rs3
, int flags
)
96 float32 frs1
= check_nanbox_s(rs1
);
97 float32 frs2
= check_nanbox_s(rs2
);
98 float32 frs3
= check_nanbox_s(rs3
);
99 return nanbox_s(float32_muladd(frs1
, frs2
, frs3
, flags
, &env
->fp_status
));
102 uint64_t helper_fmadd_s(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
105 return do_fmadd_s(env
, frs1
, frs2
, frs3
, 0);
108 uint64_t helper_fmadd_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
111 return float64_muladd(frs1
, frs2
, frs3
, 0, &env
->fp_status
);
114 uint64_t helper_fmadd_h(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
117 return do_fmadd_h(env
, frs1
, frs2
, frs3
, 0);
120 uint64_t helper_fmsub_s(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
123 return do_fmadd_s(env
, frs1
, frs2
, frs3
, float_muladd_negate_c
);
126 uint64_t helper_fmsub_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
129 return float64_muladd(frs1
, frs2
, frs3
, float_muladd_negate_c
,
133 uint64_t helper_fmsub_h(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
136 return do_fmadd_h(env
, frs1
, frs2
, frs3
, float_muladd_negate_c
);
139 uint64_t helper_fnmsub_s(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
142 return do_fmadd_s(env
, frs1
, frs2
, frs3
, float_muladd_negate_product
);
145 uint64_t helper_fnmsub_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
148 return float64_muladd(frs1
, frs2
, frs3
, float_muladd_negate_product
,
152 uint64_t helper_fnmsub_h(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
155 return do_fmadd_h(env
, frs1
, frs2
, frs3
, float_muladd_negate_product
);
158 uint64_t helper_fnmadd_s(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
161 return do_fmadd_s(env
, frs1
, frs2
, frs3
,
162 float_muladd_negate_c
| float_muladd_negate_product
);
165 uint64_t helper_fnmadd_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
168 return float64_muladd(frs1
, frs2
, frs3
, float_muladd_negate_c
|
169 float_muladd_negate_product
, &env
->fp_status
);
172 uint64_t helper_fnmadd_h(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
,
175 return do_fmadd_h(env
, frs1
, frs2
, frs3
,
176 float_muladd_negate_c
| float_muladd_negate_product
);
179 uint64_t helper_fadd_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
181 float32 frs1
= check_nanbox_s(rs1
);
182 float32 frs2
= check_nanbox_s(rs2
);
183 return nanbox_s(float32_add(frs1
, frs2
, &env
->fp_status
));
186 uint64_t helper_fsub_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
188 float32 frs1
= check_nanbox_s(rs1
);
189 float32 frs2
= check_nanbox_s(rs2
);
190 return nanbox_s(float32_sub(frs1
, frs2
, &env
->fp_status
));
193 uint64_t helper_fmul_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
195 float32 frs1
= check_nanbox_s(rs1
);
196 float32 frs2
= check_nanbox_s(rs2
);
197 return nanbox_s(float32_mul(frs1
, frs2
, &env
->fp_status
));
200 uint64_t helper_fdiv_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
202 float32 frs1
= check_nanbox_s(rs1
);
203 float32 frs2
= check_nanbox_s(rs2
);
204 return nanbox_s(float32_div(frs1
, frs2
, &env
->fp_status
));
207 uint64_t helper_fmin_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
209 float32 frs1
= check_nanbox_s(rs1
);
210 float32 frs2
= check_nanbox_s(rs2
);
211 return nanbox_s(env
->priv_ver
< PRIV_VERSION_1_11_0
?
212 float32_minnum(frs1
, frs2
, &env
->fp_status
) :
213 float32_minimum_number(frs1
, frs2
, &env
->fp_status
));
216 uint64_t helper_fmax_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
218 float32 frs1
= check_nanbox_s(rs1
);
219 float32 frs2
= check_nanbox_s(rs2
);
220 return nanbox_s(env
->priv_ver
< PRIV_VERSION_1_11_0
?
221 float32_maxnum(frs1
, frs2
, &env
->fp_status
) :
222 float32_maximum_number(frs1
, frs2
, &env
->fp_status
));
225 uint64_t helper_fsqrt_s(CPURISCVState
*env
, uint64_t rs1
)
227 float32 frs1
= check_nanbox_s(rs1
);
228 return nanbox_s(float32_sqrt(frs1
, &env
->fp_status
));
231 target_ulong
helper_fle_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
233 float32 frs1
= check_nanbox_s(rs1
);
234 float32 frs2
= check_nanbox_s(rs2
);
235 return float32_le(frs1
, frs2
, &env
->fp_status
);
238 target_ulong
helper_flt_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
240 float32 frs1
= check_nanbox_s(rs1
);
241 float32 frs2
= check_nanbox_s(rs2
);
242 return float32_lt(frs1
, frs2
, &env
->fp_status
);
245 target_ulong
helper_feq_s(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
247 float32 frs1
= check_nanbox_s(rs1
);
248 float32 frs2
= check_nanbox_s(rs2
);
249 return float32_eq_quiet(frs1
, frs2
, &env
->fp_status
);
252 target_ulong
helper_fcvt_w_s(CPURISCVState
*env
, uint64_t rs1
)
254 float32 frs1
= check_nanbox_s(rs1
);
255 return float32_to_int32(frs1
, &env
->fp_status
);
258 target_ulong
helper_fcvt_wu_s(CPURISCVState
*env
, uint64_t rs1
)
260 float32 frs1
= check_nanbox_s(rs1
);
261 return (int32_t)float32_to_uint32(frs1
, &env
->fp_status
);
264 target_ulong
helper_fcvt_l_s(CPURISCVState
*env
, uint64_t rs1
)
266 float32 frs1
= check_nanbox_s(rs1
);
267 return float32_to_int64(frs1
, &env
->fp_status
);
270 target_ulong
helper_fcvt_lu_s(CPURISCVState
*env
, uint64_t rs1
)
272 float32 frs1
= check_nanbox_s(rs1
);
273 return float32_to_uint64(frs1
, &env
->fp_status
);
276 uint64_t helper_fcvt_s_w(CPURISCVState
*env
, target_ulong rs1
)
278 return nanbox_s(int32_to_float32((int32_t)rs1
, &env
->fp_status
));
281 uint64_t helper_fcvt_s_wu(CPURISCVState
*env
, target_ulong rs1
)
283 return nanbox_s(uint32_to_float32((uint32_t)rs1
, &env
->fp_status
));
286 uint64_t helper_fcvt_s_l(CPURISCVState
*env
, target_ulong rs1
)
288 return nanbox_s(int64_to_float32(rs1
, &env
->fp_status
));
291 uint64_t helper_fcvt_s_lu(CPURISCVState
*env
, target_ulong rs1
)
293 return nanbox_s(uint64_to_float32(rs1
, &env
->fp_status
));
296 target_ulong
helper_fclass_s(uint64_t rs1
)
298 float32 frs1
= check_nanbox_s(rs1
);
299 return fclass_s(frs1
);
302 uint64_t helper_fadd_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
304 return float64_add(frs1
, frs2
, &env
->fp_status
);
307 uint64_t helper_fsub_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
309 return float64_sub(frs1
, frs2
, &env
->fp_status
);
312 uint64_t helper_fmul_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
314 return float64_mul(frs1
, frs2
, &env
->fp_status
);
317 uint64_t helper_fdiv_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
319 return float64_div(frs1
, frs2
, &env
->fp_status
);
322 uint64_t helper_fmin_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
324 return env
->priv_ver
< PRIV_VERSION_1_11_0
?
325 float64_minnum(frs1
, frs2
, &env
->fp_status
) :
326 float64_minimum_number(frs1
, frs2
, &env
->fp_status
);
329 uint64_t helper_fmax_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
331 return env
->priv_ver
< PRIV_VERSION_1_11_0
?
332 float64_maxnum(frs1
, frs2
, &env
->fp_status
) :
333 float64_maximum_number(frs1
, frs2
, &env
->fp_status
);
336 uint64_t helper_fcvt_s_d(CPURISCVState
*env
, uint64_t rs1
)
338 return nanbox_s(float64_to_float32(rs1
, &env
->fp_status
));
341 uint64_t helper_fcvt_d_s(CPURISCVState
*env
, uint64_t rs1
)
343 float32 frs1
= check_nanbox_s(rs1
);
344 return float32_to_float64(frs1
, &env
->fp_status
);
347 uint64_t helper_fsqrt_d(CPURISCVState
*env
, uint64_t frs1
)
349 return float64_sqrt(frs1
, &env
->fp_status
);
352 target_ulong
helper_fle_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
354 return float64_le(frs1
, frs2
, &env
->fp_status
);
357 target_ulong
helper_flt_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
359 return float64_lt(frs1
, frs2
, &env
->fp_status
);
362 target_ulong
helper_feq_d(CPURISCVState
*env
, uint64_t frs1
, uint64_t frs2
)
364 return float64_eq_quiet(frs1
, frs2
, &env
->fp_status
);
367 target_ulong
helper_fcvt_w_d(CPURISCVState
*env
, uint64_t frs1
)
369 return float64_to_int32(frs1
, &env
->fp_status
);
372 target_ulong
helper_fcvt_wu_d(CPURISCVState
*env
, uint64_t frs1
)
374 return (int32_t)float64_to_uint32(frs1
, &env
->fp_status
);
377 target_ulong
helper_fcvt_l_d(CPURISCVState
*env
, uint64_t frs1
)
379 return float64_to_int64(frs1
, &env
->fp_status
);
382 target_ulong
helper_fcvt_lu_d(CPURISCVState
*env
, uint64_t frs1
)
384 return float64_to_uint64(frs1
, &env
->fp_status
);
387 uint64_t helper_fcvt_d_w(CPURISCVState
*env
, target_ulong rs1
)
389 return int32_to_float64((int32_t)rs1
, &env
->fp_status
);
392 uint64_t helper_fcvt_d_wu(CPURISCVState
*env
, target_ulong rs1
)
394 return uint32_to_float64((uint32_t)rs1
, &env
->fp_status
);
397 uint64_t helper_fcvt_d_l(CPURISCVState
*env
, target_ulong rs1
)
399 return int64_to_float64(rs1
, &env
->fp_status
);
402 uint64_t helper_fcvt_d_lu(CPURISCVState
*env
, target_ulong rs1
)
404 return uint64_to_float64(rs1
, &env
->fp_status
);
407 target_ulong
helper_fclass_d(uint64_t frs1
)
409 return fclass_d(frs1
);
412 uint64_t helper_fadd_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
414 float16 frs1
= check_nanbox_h(rs1
);
415 float16 frs2
= check_nanbox_h(rs2
);
416 return nanbox_h(float16_add(frs1
, frs2
, &env
->fp_status
));
419 uint64_t helper_fsub_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
421 float16 frs1
= check_nanbox_h(rs1
);
422 float16 frs2
= check_nanbox_h(rs2
);
423 return nanbox_h(float16_sub(frs1
, frs2
, &env
->fp_status
));
426 uint64_t helper_fmul_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
428 float16 frs1
= check_nanbox_h(rs1
);
429 float16 frs2
= check_nanbox_h(rs2
);
430 return nanbox_h(float16_mul(frs1
, frs2
, &env
->fp_status
));
433 uint64_t helper_fdiv_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
435 float16 frs1
= check_nanbox_h(rs1
);
436 float16 frs2
= check_nanbox_h(rs2
);
437 return nanbox_h(float16_div(frs1
, frs2
, &env
->fp_status
));
440 uint64_t helper_fmin_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
442 float16 frs1
= check_nanbox_h(rs1
);
443 float16 frs2
= check_nanbox_h(rs2
);
444 return nanbox_h(env
->priv_ver
< PRIV_VERSION_1_11_0
?
445 float16_minnum(frs1
, frs2
, &env
->fp_status
) :
446 float16_minimum_number(frs1
, frs2
, &env
->fp_status
));
449 uint64_t helper_fmax_h(CPURISCVState
*env
, uint64_t rs1
, uint64_t rs2
)
451 float16 frs1
= check_nanbox_h(rs1
);
452 float16 frs2
= check_nanbox_h(rs2
);
453 return nanbox_h(env
->priv_ver
< PRIV_VERSION_1_11_0
?
454 float16_maxnum(frs1
, frs2
, &env
->fp_status
) :
455 float16_maximum_number(frs1
, frs2
, &env
->fp_status
));
458 uint64_t helper_fsqrt_h(CPURISCVState
*env
, uint64_t rs1
)
460 float16 frs1
= check_nanbox_h(rs1
);
461 return nanbox_h(float16_sqrt(frs1
, &env
->fp_status
));
464 target_ulong
helper_fcvt_w_h(CPURISCVState
*env
, uint64_t rs1
)
466 float16 frs1
= check_nanbox_h(rs1
);
467 return float16_to_int32(frs1
, &env
->fp_status
);
470 target_ulong
helper_fcvt_wu_h(CPURISCVState
*env
, uint64_t rs1
)
472 float16 frs1
= check_nanbox_h(rs1
);
473 return (int32_t)float16_to_uint32(frs1
, &env
->fp_status
);
476 target_ulong
helper_fcvt_l_h(CPURISCVState
*env
, uint64_t rs1
)
478 float16 frs1
= check_nanbox_h(rs1
);
479 return float16_to_int64(frs1
, &env
->fp_status
);
482 target_ulong
helper_fcvt_lu_h(CPURISCVState
*env
, uint64_t rs1
)
484 float16 frs1
= check_nanbox_h(rs1
);
485 return float16_to_uint64(frs1
, &env
->fp_status
);
488 uint64_t helper_fcvt_h_w(CPURISCVState
*env
, target_ulong rs1
)
490 return nanbox_h(int32_to_float16((int32_t)rs1
, &env
->fp_status
));
493 uint64_t helper_fcvt_h_wu(CPURISCVState
*env
, target_ulong rs1
)
495 return nanbox_h(uint32_to_float16((uint32_t)rs1
, &env
->fp_status
));
498 uint64_t helper_fcvt_h_l(CPURISCVState
*env
, target_ulong rs1
)
500 return nanbox_h(int64_to_float16(rs1
, &env
->fp_status
));
503 uint64_t helper_fcvt_h_lu(CPURISCVState
*env
, target_ulong rs1
)
505 return nanbox_h(uint64_to_float16(rs1
, &env
->fp_status
));
508 uint64_t helper_fcvt_h_s(CPURISCVState
*env
, uint64_t rs1
)
510 float32 frs1
= check_nanbox_s(rs1
);
511 return nanbox_h(float32_to_float16(frs1
, true, &env
->fp_status
));
514 uint64_t helper_fcvt_s_h(CPURISCVState
*env
, uint64_t rs1
)
516 float16 frs1
= check_nanbox_h(rs1
);
517 return nanbox_s(float16_to_float32(frs1
, true, &env
->fp_status
));
520 uint64_t helper_fcvt_h_d(CPURISCVState
*env
, uint64_t rs1
)
522 return nanbox_h(float64_to_float16(rs1
, true, &env
->fp_status
));
525 uint64_t helper_fcvt_d_h(CPURISCVState
*env
, uint64_t rs1
)
527 float16 frs1
= check_nanbox_h(rs1
);
528 return float16_to_float64(frs1
, true, &env
->fp_status
);