183 floatx80 int32_to_floatx80(int32_t, float_status *status);
184 floatx80 int64_to_floatx80(int64_t, float_status *status);
591 floatx80 float32_to_floatx80(float32, float_status *status);
788 floatx80 float64_to_floatx80(float64, float_status *status);
952 int32_t floatx80_to_int32(floatx80, float_status *status);
953 int32_t floatx80_to_int32_round_to_zero(floatx80, float_status *status);
954 int64_t floatx80_to_int64(floatx80, float_status *status);
955 int64_t floatx80_to_int64_round_to_zero(floatx80, float_status *status);
956 float32 floatx80_to_float32(floatx80, float_status *status);
957 float64 floatx80_to_float64(floatx80, float_status *status);
958 float128 floatx80_to_float128(floatx80, float_status *status);
963 floatx80 floatx80_default_inf(bool zSign, float_status *status);
968 floatx80 floatx80_round(floatx80 a, float_status *status);
969 floatx80 floatx80_round_to_int(floatx80, float_status *status);
970 floatx80 floatx80_add(floatx80, floatx80, float_status *status);
971 floatx80 floatx80_sub(floatx80, floatx80, float_status *status);
972 floatx80 floatx80_mul(floatx80, floatx80, float_status *status);
973 floatx80 floatx80_div(floatx80, floatx80, float_status *status);
974 floatx80 floatx80_modrem(floatx80, floatx80, bool, uint64_t *,
976 floatx80 floatx80_mod(floatx80, floatx80, float_status *status);
977 floatx80 floatx80_rem(floatx80, floatx80, float_status *status);
978 floatx80 floatx80_sqrt(floatx80, float_status *status);
979 FloatRelation floatx80_compare(floatx80, floatx80, float_status *status);
980 FloatRelation floatx80_compare_quiet(floatx80, floatx80, float_status *status);
981 int floatx80_is_quiet_nan(floatx80, float_status *status);
982 int floatx80_is_signaling_nan(floatx80, float_status *status);
983 floatx80 floatx80_silence_nan(floatx80, float_status *status);
984 floatx80 floatx80_scalbn(floatx80, int, float_status *status);
986 static inline floatx80 floatx80_abs(floatx80 a)  in floatx80_abs()
992 static inline floatx80 floatx80_chs(floatx80 a)  in floatx80_chs()
998 static inline bool floatx80_is_infinity(floatx80 a, float_status *status)  in floatx80_is_infinity()
1013 static inline bool floatx80_is_neg(floatx80 a)  in floatx80_is_neg()
1018 static inline bool floatx80_is_zero(floatx80 a)  in floatx80_is_zero()
1023 static inline bool floatx80_is_zero_or_denormal(floatx80 a)  in floatx80_is_zero_or_denormal()
1028 static inline bool floatx80_is_any_nan(floatx80 a)  in floatx80_is_any_nan()
1033 static inline bool floatx80_eq(floatx80 a, floatx80 b, float_status *s)  in floatx80_eq()
1038 static inline bool floatx80_le(floatx80 a, floatx80 b, float_status *s)  in floatx80_le()
1043 static inline bool floatx80_lt(floatx80 a, floatx80 b, float_status *s)  in floatx80_lt()
1048 static inline bool floatx80_unordered(floatx80 a, floatx80 b, float_status *s)  in floatx80_unordered()
1053 static inline bool floatx80_eq_quiet(floatx80 a, floatx80 b, float_status *s)  in floatx80_eq_quiet()
1058 static inline bool floatx80_le_quiet(floatx80 a, floatx80 b, float_status *s)  in floatx80_le_quiet()
1063 static inline bool floatx80_lt_quiet(floatx80 a, floatx80 b, float_status *s)  in floatx80_lt_quiet()
1068 static inline bool floatx80_unordered_quiet(floatx80 a, floatx80 b,  in floatx80_unordered_quiet()
1099 static inline bool floatx80_invalid_encoding(floatx80 a, float_status *s)  in floatx80_invalid_encoding()
1129 static inline uint64_t extractFloatx80Frac(floatx80 a)  in extractFloatx80Frac()
1139 static inline int32_t extractFloatx80Exp(floatx80 a)  in extractFloatx80Exp()
1149 static inline bool extractFloatx80Sign(floatx80 a)  in extractFloatx80Sign()
1159 static inline floatx80 packFloatx80(bool zSign, int32_t zExp, uint64_t zSig)  in packFloatx80()
1161     floatx80 z;  in packFloatx80()
1184 floatx80 propagateFloatx80NaN(floatx80 a, floatx80 b, float_status *status);
1210 floatx80 roundAndPackFloatx80(FloatX80RoundPrec roundingPrecision, bool zSign,
1223 floatx80 normalizeRoundAndPackFloatx80(FloatX80RoundPrec roundingPrecision,
1231 floatx80 floatx80_default_nan(float_status *status);
1250 floatx80 float128_to_floatx80(float128, float_status *status);