xref: /openbmc/qemu/target/riscv/fpu_helper.c (revision 8c6631e6)
1 /*
2  * RISC-V FPU Emulation Helpers for QEMU.
3  *
4  * Copyright (c) 2016-2017 Sagar Karandikar, sagark@eecs.berkeley.edu
5  *
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.
9  *
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
13  * more details.
14  *
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/>.
17  */
18 
19 #include "qemu/osdep.h"
20 #include "cpu.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"
26 
27 target_ulong riscv_cpu_get_fflags(CPURISCVState *env)
28 {
29     int soft = get_float_exception_flags(&env->fp_status);
30     target_ulong hard = 0;
31 
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;
37 
38     return hard;
39 }
40 
41 void riscv_cpu_set_fflags(CPURISCVState *env, target_ulong hard)
42 {
43     int soft = 0;
44 
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;
50 
51     set_float_exception_flags(soft, &env->fp_status);
52 }
53 
54 void helper_set_rounding_mode(CPURISCVState *env, uint32_t rm)
55 {
56     int softrm;
57 
58     if (rm == RISCV_FRM_DYN) {
59         rm = env->frm;
60     }
61     switch (rm) {
62     case RISCV_FRM_RNE:
63         softrm = float_round_nearest_even;
64         break;
65     case RISCV_FRM_RTZ:
66         softrm = float_round_to_zero;
67         break;
68     case RISCV_FRM_RDN:
69         softrm = float_round_down;
70         break;
71     case RISCV_FRM_RUP:
72         softrm = float_round_up;
73         break;
74     case RISCV_FRM_RMM:
75         softrm = float_round_ties_away;
76         break;
77     default:
78         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
79     }
80 
81     set_float_rounding_mode(softrm, &env->fp_status);
82 }
83 
84 void helper_set_rounding_mode_chkfrm(CPURISCVState *env, uint32_t rm)
85 {
86     int softrm;
87 
88     /* Always validate frm, even if rm != DYN. */
89     if (unlikely(env->frm >= 5)) {
90         riscv_raise_exception(env, RISCV_EXCP_ILLEGAL_INST, GETPC());
91     }
92     if (rm == RISCV_FRM_DYN) {
93         rm = env->frm;
94     }
95     switch (rm) {
96     case RISCV_FRM_RNE:
97         softrm = float_round_nearest_even;
98         break;
99     case RISCV_FRM_RTZ:
100         softrm = float_round_to_zero;
101         break;
102     case RISCV_FRM_RDN:
103         softrm = float_round_down;
104         break;
105     case RISCV_FRM_RUP:
106         softrm = float_round_up;
107         break;
108     case RISCV_FRM_RMM:
109         softrm = float_round_ties_away;
110         break;
111     case RISCV_FRM_ROD:
112         softrm = float_round_to_odd;
113         break;
114     default:
115         g_assert_not_reached();
116     }
117 
118     set_float_rounding_mode(softrm, &env->fp_status);
119 }
120 
121 static uint64_t do_fmadd_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2,
122                            uint64_t rs3, int flags)
123 {
124     float16 frs1 = check_nanbox_h(env, rs1);
125     float16 frs2 = check_nanbox_h(env, rs2);
126     float16 frs3 = check_nanbox_h(env, rs3);
127     return nanbox_h(env, float16_muladd(frs1, frs2, frs3, flags,
128                                         &env->fp_status));
129 }
130 
131 static uint64_t do_fmadd_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2,
132                            uint64_t rs3, int flags)
133 {
134     float32 frs1 = check_nanbox_s(env, rs1);
135     float32 frs2 = check_nanbox_s(env, rs2);
136     float32 frs3 = check_nanbox_s(env, rs3);
137     return nanbox_s(env, float32_muladd(frs1, frs2, frs3, flags,
138                                         &env->fp_status));
139 }
140 
141 uint64_t helper_fmadd_s(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
142                         uint64_t frs3)
143 {
144     return do_fmadd_s(env, frs1, frs2, frs3, 0);
145 }
146 
147 uint64_t helper_fmadd_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
148                         uint64_t frs3)
149 {
150     return float64_muladd(frs1, frs2, frs3, 0, &env->fp_status);
151 }
152 
153 uint64_t helper_fmadd_h(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
154                         uint64_t frs3)
155 {
156     return do_fmadd_h(env, frs1, frs2, frs3, 0);
157 }
158 
159 uint64_t helper_fmsub_s(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
160                         uint64_t frs3)
161 {
162     return do_fmadd_s(env, frs1, frs2, frs3, float_muladd_negate_c);
163 }
164 
165 uint64_t helper_fmsub_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
166                         uint64_t frs3)
167 {
168     return float64_muladd(frs1, frs2, frs3, float_muladd_negate_c,
169                           &env->fp_status);
170 }
171 
172 uint64_t helper_fmsub_h(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
173                         uint64_t frs3)
174 {
175     return do_fmadd_h(env, frs1, frs2, frs3, float_muladd_negate_c);
176 }
177 
178 uint64_t helper_fnmsub_s(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
179                          uint64_t frs3)
180 {
181     return do_fmadd_s(env, frs1, frs2, frs3, float_muladd_negate_product);
182 }
183 
184 uint64_t helper_fnmsub_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
185                          uint64_t frs3)
186 {
187     return float64_muladd(frs1, frs2, frs3, float_muladd_negate_product,
188                           &env->fp_status);
189 }
190 
191 uint64_t helper_fnmsub_h(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
192                          uint64_t frs3)
193 {
194     return do_fmadd_h(env, frs1, frs2, frs3, float_muladd_negate_product);
195 }
196 
197 uint64_t helper_fnmadd_s(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
198                          uint64_t frs3)
199 {
200     return do_fmadd_s(env, frs1, frs2, frs3,
201                       float_muladd_negate_c | float_muladd_negate_product);
202 }
203 
204 uint64_t helper_fnmadd_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
205                          uint64_t frs3)
206 {
207     return float64_muladd(frs1, frs2, frs3, float_muladd_negate_c |
208                           float_muladd_negate_product, &env->fp_status);
209 }
210 
211 uint64_t helper_fnmadd_h(CPURISCVState *env, uint64_t frs1, uint64_t frs2,
212                          uint64_t frs3)
213 {
214     return do_fmadd_h(env, frs1, frs2, frs3,
215                       float_muladd_negate_c | float_muladd_negate_product);
216 }
217 
218 uint64_t helper_fadd_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
219 {
220     float32 frs1 = check_nanbox_s(env, rs1);
221     float32 frs2 = check_nanbox_s(env, rs2);
222     return nanbox_s(env, float32_add(frs1, frs2, &env->fp_status));
223 }
224 
225 uint64_t helper_fsub_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
226 {
227     float32 frs1 = check_nanbox_s(env, rs1);
228     float32 frs2 = check_nanbox_s(env, rs2);
229     return nanbox_s(env, float32_sub(frs1, frs2, &env->fp_status));
230 }
231 
232 uint64_t helper_fmul_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
233 {
234     float32 frs1 = check_nanbox_s(env, rs1);
235     float32 frs2 = check_nanbox_s(env, rs2);
236     return nanbox_s(env, float32_mul(frs1, frs2, &env->fp_status));
237 }
238 
239 uint64_t helper_fdiv_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
240 {
241     float32 frs1 = check_nanbox_s(env, rs1);
242     float32 frs2 = check_nanbox_s(env, rs2);
243     return nanbox_s(env, float32_div(frs1, frs2, &env->fp_status));
244 }
245 
246 uint64_t helper_fmin_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
247 {
248     float32 frs1 = check_nanbox_s(env, rs1);
249     float32 frs2 = check_nanbox_s(env, rs2);
250     return nanbox_s(env, env->priv_ver < PRIV_VERSION_1_11_0 ?
251                     float32_minnum(frs1, frs2, &env->fp_status) :
252                     float32_minimum_number(frs1, frs2, &env->fp_status));
253 }
254 
255 uint64_t helper_fmax_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
256 {
257     float32 frs1 = check_nanbox_s(env, rs1);
258     float32 frs2 = check_nanbox_s(env, rs2);
259     return nanbox_s(env, env->priv_ver < PRIV_VERSION_1_11_0 ?
260                     float32_maxnum(frs1, frs2, &env->fp_status) :
261                     float32_maximum_number(frs1, frs2, &env->fp_status));
262 }
263 
264 uint64_t helper_fsqrt_s(CPURISCVState *env, uint64_t rs1)
265 {
266     float32 frs1 = check_nanbox_s(env, rs1);
267     return nanbox_s(env, float32_sqrt(frs1, &env->fp_status));
268 }
269 
270 target_ulong helper_fle_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
271 {
272     float32 frs1 = check_nanbox_s(env, rs1);
273     float32 frs2 = check_nanbox_s(env, rs2);
274     return float32_le(frs1, frs2, &env->fp_status);
275 }
276 
277 target_ulong helper_flt_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
278 {
279     float32 frs1 = check_nanbox_s(env, rs1);
280     float32 frs2 = check_nanbox_s(env, rs2);
281     return float32_lt(frs1, frs2, &env->fp_status);
282 }
283 
284 target_ulong helper_feq_s(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
285 {
286     float32 frs1 = check_nanbox_s(env, rs1);
287     float32 frs2 = check_nanbox_s(env, rs2);
288     return float32_eq_quiet(frs1, frs2, &env->fp_status);
289 }
290 
291 target_ulong helper_fcvt_w_s(CPURISCVState *env, uint64_t rs1)
292 {
293     float32 frs1 = check_nanbox_s(env, rs1);
294     return float32_to_int32(frs1, &env->fp_status);
295 }
296 
297 target_ulong helper_fcvt_wu_s(CPURISCVState *env, uint64_t rs1)
298 {
299     float32 frs1 = check_nanbox_s(env, rs1);
300     return (int32_t)float32_to_uint32(frs1, &env->fp_status);
301 }
302 
303 target_ulong helper_fcvt_l_s(CPURISCVState *env, uint64_t rs1)
304 {
305     float32 frs1 = check_nanbox_s(env, rs1);
306     return float32_to_int64(frs1, &env->fp_status);
307 }
308 
309 target_ulong helper_fcvt_lu_s(CPURISCVState *env, uint64_t rs1)
310 {
311     float32 frs1 = check_nanbox_s(env, rs1);
312     return float32_to_uint64(frs1, &env->fp_status);
313 }
314 
315 uint64_t helper_fcvt_s_w(CPURISCVState *env, target_ulong rs1)
316 {
317     return nanbox_s(env, int32_to_float32((int32_t)rs1, &env->fp_status));
318 }
319 
320 uint64_t helper_fcvt_s_wu(CPURISCVState *env, target_ulong rs1)
321 {
322     return nanbox_s(env, uint32_to_float32((uint32_t)rs1, &env->fp_status));
323 }
324 
325 uint64_t helper_fcvt_s_l(CPURISCVState *env, target_ulong rs1)
326 {
327     return nanbox_s(env, int64_to_float32(rs1, &env->fp_status));
328 }
329 
330 uint64_t helper_fcvt_s_lu(CPURISCVState *env, target_ulong rs1)
331 {
332     return nanbox_s(env, uint64_to_float32(rs1, &env->fp_status));
333 }
334 
335 target_ulong helper_fclass_s(CPURISCVState *env, uint64_t rs1)
336 {
337     float32 frs1 = check_nanbox_s(env, rs1);
338     return fclass_s(frs1);
339 }
340 
341 uint64_t helper_fadd_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
342 {
343     return float64_add(frs1, frs2, &env->fp_status);
344 }
345 
346 uint64_t helper_fsub_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
347 {
348     return float64_sub(frs1, frs2, &env->fp_status);
349 }
350 
351 uint64_t helper_fmul_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
352 {
353     return float64_mul(frs1, frs2, &env->fp_status);
354 }
355 
356 uint64_t helper_fdiv_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
357 {
358     return float64_div(frs1, frs2, &env->fp_status);
359 }
360 
361 uint64_t helper_fmin_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
362 {
363     return env->priv_ver < PRIV_VERSION_1_11_0 ?
364             float64_minnum(frs1, frs2, &env->fp_status) :
365             float64_minimum_number(frs1, frs2, &env->fp_status);
366 }
367 
368 uint64_t helper_fmax_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
369 {
370     return env->priv_ver < PRIV_VERSION_1_11_0 ?
371             float64_maxnum(frs1, frs2, &env->fp_status) :
372             float64_maximum_number(frs1, frs2, &env->fp_status);
373 }
374 
375 uint64_t helper_fcvt_s_d(CPURISCVState *env, uint64_t rs1)
376 {
377     return nanbox_s(env, float64_to_float32(rs1, &env->fp_status));
378 }
379 
380 uint64_t helper_fcvt_d_s(CPURISCVState *env, uint64_t rs1)
381 {
382     float32 frs1 = check_nanbox_s(env, rs1);
383     return float32_to_float64(frs1, &env->fp_status);
384 }
385 
386 uint64_t helper_fsqrt_d(CPURISCVState *env, uint64_t frs1)
387 {
388     return float64_sqrt(frs1, &env->fp_status);
389 }
390 
391 target_ulong helper_fle_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
392 {
393     return float64_le(frs1, frs2, &env->fp_status);
394 }
395 
396 target_ulong helper_flt_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
397 {
398     return float64_lt(frs1, frs2, &env->fp_status);
399 }
400 
401 target_ulong helper_feq_d(CPURISCVState *env, uint64_t frs1, uint64_t frs2)
402 {
403     return float64_eq_quiet(frs1, frs2, &env->fp_status);
404 }
405 
406 target_ulong helper_fcvt_w_d(CPURISCVState *env, uint64_t frs1)
407 {
408     return float64_to_int32(frs1, &env->fp_status);
409 }
410 
411 target_ulong helper_fcvt_wu_d(CPURISCVState *env, uint64_t frs1)
412 {
413     return (int32_t)float64_to_uint32(frs1, &env->fp_status);
414 }
415 
416 target_ulong helper_fcvt_l_d(CPURISCVState *env, uint64_t frs1)
417 {
418     return float64_to_int64(frs1, &env->fp_status);
419 }
420 
421 target_ulong helper_fcvt_lu_d(CPURISCVState *env, uint64_t frs1)
422 {
423     return float64_to_uint64(frs1, &env->fp_status);
424 }
425 
426 uint64_t helper_fcvt_d_w(CPURISCVState *env, target_ulong rs1)
427 {
428     return int32_to_float64((int32_t)rs1, &env->fp_status);
429 }
430 
431 uint64_t helper_fcvt_d_wu(CPURISCVState *env, target_ulong rs1)
432 {
433     return uint32_to_float64((uint32_t)rs1, &env->fp_status);
434 }
435 
436 uint64_t helper_fcvt_d_l(CPURISCVState *env, target_ulong rs1)
437 {
438     return int64_to_float64(rs1, &env->fp_status);
439 }
440 
441 uint64_t helper_fcvt_d_lu(CPURISCVState *env, target_ulong rs1)
442 {
443     return uint64_to_float64(rs1, &env->fp_status);
444 }
445 
446 target_ulong helper_fclass_d(uint64_t frs1)
447 {
448     return fclass_d(frs1);
449 }
450 
451 uint64_t helper_fadd_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
452 {
453     float16 frs1 = check_nanbox_h(env, rs1);
454     float16 frs2 = check_nanbox_h(env, rs2);
455     return nanbox_h(env, float16_add(frs1, frs2, &env->fp_status));
456 }
457 
458 uint64_t helper_fsub_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
459 {
460     float16 frs1 = check_nanbox_h(env, rs1);
461     float16 frs2 = check_nanbox_h(env, rs2);
462     return nanbox_h(env, float16_sub(frs1, frs2, &env->fp_status));
463 }
464 
465 uint64_t helper_fmul_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
466 {
467     float16 frs1 = check_nanbox_h(env, rs1);
468     float16 frs2 = check_nanbox_h(env, rs2);
469     return nanbox_h(env, float16_mul(frs1, frs2, &env->fp_status));
470 }
471 
472 uint64_t helper_fdiv_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
473 {
474     float16 frs1 = check_nanbox_h(env, rs1);
475     float16 frs2 = check_nanbox_h(env, rs2);
476     return nanbox_h(env, float16_div(frs1, frs2, &env->fp_status));
477 }
478 
479 uint64_t helper_fmin_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
480 {
481     float16 frs1 = check_nanbox_h(env, rs1);
482     float16 frs2 = check_nanbox_h(env, rs2);
483     return nanbox_h(env, env->priv_ver < PRIV_VERSION_1_11_0 ?
484                     float16_minnum(frs1, frs2, &env->fp_status) :
485                     float16_minimum_number(frs1, frs2, &env->fp_status));
486 }
487 
488 uint64_t helper_fmax_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
489 {
490     float16 frs1 = check_nanbox_h(env, rs1);
491     float16 frs2 = check_nanbox_h(env, rs2);
492     return nanbox_h(env, env->priv_ver < PRIV_VERSION_1_11_0 ?
493                     float16_maxnum(frs1, frs2, &env->fp_status) :
494                     float16_maximum_number(frs1, frs2, &env->fp_status));
495 }
496 
497 uint64_t helper_fsqrt_h(CPURISCVState *env, uint64_t rs1)
498 {
499     float16 frs1 = check_nanbox_h(env, rs1);
500     return nanbox_h(env, float16_sqrt(frs1, &env->fp_status));
501 }
502 
503 target_ulong helper_fle_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
504 {
505     float16 frs1 = check_nanbox_h(env, rs1);
506     float16 frs2 = check_nanbox_h(env, rs2);
507     return float16_le(frs1, frs2, &env->fp_status);
508 }
509 
510 target_ulong helper_flt_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
511 {
512     float16 frs1 = check_nanbox_h(env, rs1);
513     float16 frs2 = check_nanbox_h(env, rs2);
514     return float16_lt(frs1, frs2, &env->fp_status);
515 }
516 
517 target_ulong helper_feq_h(CPURISCVState *env, uint64_t rs1, uint64_t rs2)
518 {
519     float16 frs1 = check_nanbox_h(env, rs1);
520     float16 frs2 = check_nanbox_h(env, rs2);
521     return float16_eq_quiet(frs1, frs2, &env->fp_status);
522 }
523 
524 target_ulong helper_fclass_h(CPURISCVState *env, uint64_t rs1)
525 {
526     float16 frs1 = check_nanbox_h(env, rs1);
527     return fclass_h(frs1);
528 }
529 
530 target_ulong helper_fcvt_w_h(CPURISCVState *env, uint64_t rs1)
531 {
532     float16 frs1 = check_nanbox_h(env, rs1);
533     return float16_to_int32(frs1, &env->fp_status);
534 }
535 
536 target_ulong helper_fcvt_wu_h(CPURISCVState *env, uint64_t rs1)
537 {
538     float16 frs1 = check_nanbox_h(env, rs1);
539     return (int32_t)float16_to_uint32(frs1, &env->fp_status);
540 }
541 
542 target_ulong helper_fcvt_l_h(CPURISCVState *env, uint64_t rs1)
543 {
544     float16 frs1 = check_nanbox_h(env, rs1);
545     return float16_to_int64(frs1, &env->fp_status);
546 }
547 
548 target_ulong helper_fcvt_lu_h(CPURISCVState *env, uint64_t rs1)
549 {
550     float16 frs1 = check_nanbox_h(env, rs1);
551     return float16_to_uint64(frs1, &env->fp_status);
552 }
553 
554 uint64_t helper_fcvt_h_w(CPURISCVState *env, target_ulong rs1)
555 {
556     return nanbox_h(env, int32_to_float16((int32_t)rs1, &env->fp_status));
557 }
558 
559 uint64_t helper_fcvt_h_wu(CPURISCVState *env, target_ulong rs1)
560 {
561     return nanbox_h(env, uint32_to_float16((uint32_t)rs1, &env->fp_status));
562 }
563 
564 uint64_t helper_fcvt_h_l(CPURISCVState *env, target_ulong rs1)
565 {
566     return nanbox_h(env, int64_to_float16(rs1, &env->fp_status));
567 }
568 
569 uint64_t helper_fcvt_h_lu(CPURISCVState *env, target_ulong rs1)
570 {
571     return nanbox_h(env, uint64_to_float16(rs1, &env->fp_status));
572 }
573 
574 uint64_t helper_fcvt_h_s(CPURISCVState *env, uint64_t rs1)
575 {
576     float32 frs1 = check_nanbox_s(env, rs1);
577     return nanbox_h(env, float32_to_float16(frs1, true, &env->fp_status));
578 }
579 
580 uint64_t helper_fcvt_s_h(CPURISCVState *env, uint64_t rs1)
581 {
582     float16 frs1 = check_nanbox_h(env, rs1);
583     return nanbox_s(env, float16_to_float32(frs1, true, &env->fp_status));
584 }
585 
586 uint64_t helper_fcvt_h_d(CPURISCVState *env, uint64_t rs1)
587 {
588     return nanbox_h(env, float64_to_float16(rs1, true, &env->fp_status));
589 }
590 
591 uint64_t helper_fcvt_d_h(CPURISCVState *env, uint64_t rs1)
592 {
593     float16 frs1 = check_nanbox_h(env, rs1);
594     return float16_to_float64(frs1, true, &env->fp_status);
595 }
596