include/fpu/softfloat.h

201 int8_t  float16_to_int8_scalbn(float16, FloatRoundMode, int,
203 int16_t float16_to_int16_scalbn(float16, FloatRoundMode, int, float_status *);
204 int32_t float16_to_int32_scalbn(float16, FloatRoundMode, int, float_status *);
205 int64_t float16_to_int64_scalbn(float16, FloatRoundMode, int, float_status *);
216 uint8_t float16_to_uint8_scalbn(float16 a, FloatRoundMode,
218 uint16_t float16_to_uint16_scalbn(float16 a, FloatRoundMode,
220 uint32_t float16_to_uint32_scalbn(float16 a, FloatRoundMode,
222 uint64_t float16_to_uint64_scalbn(float16 a, FloatRoundMode,
373 int8_t bfloat16_to_int8_scalbn(bfloat16, FloatRoundMode,
375 int16_t bfloat16_to_int16_scalbn(bfloat16, FloatRoundMode,
377 int32_t bfloat16_to_int32_scalbn(bfloat16, FloatRoundMode,
379 int64_t bfloat16_to_int64_scalbn(bfloat16, FloatRoundMode,
392 uint8_t bfloat16_to_uint8_scalbn(bfloat16 a, FloatRoundMode,
394 uint16_t bfloat16_to_uint16_scalbn(bfloat16 a, FloatRoundMode,
396 uint32_t bfloat16_to_uint32_scalbn(bfloat16 a, FloatRoundMode,
398 uint64_t bfloat16_to_uint64_scalbn(bfloat16 a, FloatRoundMode,
566 int16_t float32_to_int16_scalbn(float32, FloatRoundMode, int, float_status *);
567 int32_t float32_to_int32_scalbn(float32, FloatRoundMode, int, float_status *);
568 int64_t float32_to_int64_scalbn(float32, FloatRoundMode, int, float_status *);
578 uint16_t float32_to_uint16_scalbn(float32, FloatRoundMode, int, float_status *);
579 uint32_t float32_to_uint32_scalbn(float32, FloatRoundMode, int, float_status *);
580 uint64_t float32_to_uint64_scalbn(float32, FloatRoundMode, int, float_status *);
760 int16_t float64_to_int16_scalbn(float64, FloatRoundMode, int, float_status *);
761 int32_t float64_to_int32_scalbn(float64, FloatRoundMode, int, float_status *);
762 int64_t float64_to_int64_scalbn(float64, FloatRoundMode, int, float_status *);
772 int32_t float64_to_int32_modulo(float64, FloatRoundMode, float_status *status);
773 int64_t float64_to_int64_modulo(float64, FloatRoundMode, float_status *status);
775 uint16_t float64_to_uint16_scalbn(float64, FloatRoundMode, int, float_status *);
776 uint32_t float64_to_uint32_scalbn(float64, FloatRoundMode, int, float_status *);
777 uint64_t float64_to_uint64_scalbn(float64, FloatRoundMode, int, float_status *);