From: David Hildenbrand <david@redhat.com>
To: Richard Henderson <richard.henderson@linaro.org>, qemu-devel@nongnu.org
Cc: alex.bennee@linaro.org
Subject: Re: [PATCH 15/72] softfloat: Rename FloatParts to FloatParts64
Date: Tue, 11 May 2021 12:16:56 +0200 [thread overview]
Message-ID: <d2f2a89f-867e-b51e-91bf-4ec548700422@redhat.com> (raw)
In-Reply-To: <20210508014802.892561-16-richard.henderson@linaro.org>
On 08.05.21 03:47, Richard Henderson wrote:
> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> ---
> fpu/softfloat.c | 362 ++++++++++++++++-----------------
> fpu/softfloat-specialize.c.inc | 6 +-
> 2 files changed, 184 insertions(+), 184 deletions(-)
>
> diff --git a/fpu/softfloat.c b/fpu/softfloat.c
> index 6589f00b23..27b51659c9 100644
> --- a/fpu/softfloat.c
> +++ b/fpu/softfloat.c
> @@ -515,7 +515,7 @@ typedef struct {
> int32_t exp;
> FloatClass cls;
> bool sign;
> -} FloatParts;
> +} FloatParts64;
>
> #define DECOMPOSED_BINARY_POINT 63
> #define DECOMPOSED_IMPLICIT_BIT (1ull << DECOMPOSED_BINARY_POINT)
> @@ -580,11 +580,11 @@ static const FloatFmt float64_params = {
> };
>
> /* Unpack a float to parts, but do not canonicalize. */
> -static inline FloatParts unpack_raw(FloatFmt fmt, uint64_t raw)
> +static inline FloatParts64 unpack_raw(FloatFmt fmt, uint64_t raw)
> {
> const int sign_pos = fmt.frac_size + fmt.exp_size;
>
> - return (FloatParts) {
> + return (FloatParts64) {
> .cls = float_class_unclassified,
> .sign = extract64(raw, sign_pos, 1),
> .exp = extract64(raw, fmt.frac_size, fmt.exp_size),
> @@ -592,50 +592,50 @@ static inline FloatParts unpack_raw(FloatFmt fmt, uint64_t raw)
> };
> }
>
> -static inline FloatParts float16_unpack_raw(float16 f)
> +static inline FloatParts64 float16_unpack_raw(float16 f)
> {
> return unpack_raw(float16_params, f);
> }
>
> -static inline FloatParts bfloat16_unpack_raw(bfloat16 f)
> +static inline FloatParts64 bfloat16_unpack_raw(bfloat16 f)
> {
> return unpack_raw(bfloat16_params, f);
> }
>
> -static inline FloatParts float32_unpack_raw(float32 f)
> +static inline FloatParts64 float32_unpack_raw(float32 f)
> {
> return unpack_raw(float32_params, f);
> }
>
> -static inline FloatParts float64_unpack_raw(float64 f)
> +static inline FloatParts64 float64_unpack_raw(float64 f)
> {
> return unpack_raw(float64_params, f);
> }
>
> /* Pack a float from parts, but do not canonicalize. */
> -static inline uint64_t pack_raw(FloatFmt fmt, FloatParts p)
> +static inline uint64_t pack_raw(FloatFmt fmt, FloatParts64 p)
> {
> const int sign_pos = fmt.frac_size + fmt.exp_size;
> uint64_t ret = deposit64(p.frac, fmt.frac_size, fmt.exp_size, p.exp);
> return deposit64(ret, sign_pos, 1, p.sign);
> }
>
> -static inline float16 float16_pack_raw(FloatParts p)
> +static inline float16 float16_pack_raw(FloatParts64 p)
> {
> return make_float16(pack_raw(float16_params, p));
> }
>
> -static inline bfloat16 bfloat16_pack_raw(FloatParts p)
> +static inline bfloat16 bfloat16_pack_raw(FloatParts64 p)
> {
> return pack_raw(bfloat16_params, p);
> }
>
> -static inline float32 float32_pack_raw(FloatParts p)
> +static inline float32 float32_pack_raw(FloatParts64 p)
> {
> return make_float32(pack_raw(float32_params, p));
> }
>
> -static inline float64 float64_pack_raw(FloatParts p)
> +static inline float64 float64_pack_raw(FloatParts64 p)
> {
> return make_float64(pack_raw(float64_params, p));
> }
> @@ -651,7 +651,7 @@ static inline float64 float64_pack_raw(FloatParts p)
> #include "softfloat-specialize.c.inc"
>
> /* Canonicalize EXP and FRAC, setting CLS. */
> -static FloatParts sf_canonicalize(FloatParts part, const FloatFmt *parm,
> +static FloatParts64 sf_canonicalize(FloatParts64 part, const FloatFmt *parm,
> float_status *status)
> {
> if (part.exp == parm->exp_max && !parm->arm_althp) {
> @@ -689,7 +689,7 @@ static FloatParts sf_canonicalize(FloatParts part, const FloatFmt *parm,
> * by EXP_BIAS and must be bounded by [EXP_MAX-1, 0].
> */
>
> -static FloatParts round_canonical(FloatParts p, float_status *s,
> +static FloatParts64 round_canonical(FloatParts64 p, float_status *s,
> const FloatFmt *parm)
> {
> const uint64_t frac_lsb = parm->frac_lsb;
> @@ -838,59 +838,59 @@ static FloatParts round_canonical(FloatParts p, float_status *s,
> }
>
> /* Explicit FloatFmt version */
> -static FloatParts float16a_unpack_canonical(float16 f, float_status *s,
> +static FloatParts64 float16a_unpack_canonical(float16 f, float_status *s,
> const FloatFmt *params)
> {
> return sf_canonicalize(float16_unpack_raw(f), params, s);
> }
>
> -static FloatParts float16_unpack_canonical(float16 f, float_status *s)
> +static FloatParts64 float16_unpack_canonical(float16 f, float_status *s)
> {
> return float16a_unpack_canonical(f, s, &float16_params);
> }
>
> -static FloatParts bfloat16_unpack_canonical(bfloat16 f, float_status *s)
> +static FloatParts64 bfloat16_unpack_canonical(bfloat16 f, float_status *s)
> {
> return sf_canonicalize(bfloat16_unpack_raw(f), &bfloat16_params, s);
> }
>
> -static float16 float16a_round_pack_canonical(FloatParts p, float_status *s,
> +static float16 float16a_round_pack_canonical(FloatParts64 p, float_status *s,
> const FloatFmt *params)
> {
> return float16_pack_raw(round_canonical(p, s, params));
> }
>
> -static float16 float16_round_pack_canonical(FloatParts p, float_status *s)
> +static float16 float16_round_pack_canonical(FloatParts64 p, float_status *s)
> {
> return float16a_round_pack_canonical(p, s, &float16_params);
> }
>
> -static bfloat16 bfloat16_round_pack_canonical(FloatParts p, float_status *s)
> +static bfloat16 bfloat16_round_pack_canonical(FloatParts64 p, float_status *s)
> {
> return bfloat16_pack_raw(round_canonical(p, s, &bfloat16_params));
> }
>
> -static FloatParts float32_unpack_canonical(float32 f, float_status *s)
> +static FloatParts64 float32_unpack_canonical(float32 f, float_status *s)
> {
> return sf_canonicalize(float32_unpack_raw(f), &float32_params, s);
> }
>
> -static float32 float32_round_pack_canonical(FloatParts p, float_status *s)
> +static float32 float32_round_pack_canonical(FloatParts64 p, float_status *s)
> {
> return float32_pack_raw(round_canonical(p, s, &float32_params));
> }
>
> -static FloatParts float64_unpack_canonical(float64 f, float_status *s)
> +static FloatParts64 float64_unpack_canonical(float64 f, float_status *s)
> {
> return sf_canonicalize(float64_unpack_raw(f), &float64_params, s);
> }
>
> -static float64 float64_round_pack_canonical(FloatParts p, float_status *s)
> +static float64 float64_round_pack_canonical(FloatParts64 p, float_status *s)
> {
> return float64_pack_raw(round_canonical(p, s, &float64_params));
> }
>
> -static FloatParts return_nan(FloatParts a, float_status *s)
> +static FloatParts64 return_nan(FloatParts64 a, float_status *s)
> {
> g_assert(is_nan(a.cls));
> if (is_snan(a.cls)) {
> @@ -904,7 +904,7 @@ static FloatParts return_nan(FloatParts a, float_status *s)
> return parts_default_nan(s);
> }
>
> -static FloatParts pick_nan(FloatParts a, FloatParts b, float_status *s)
> +static FloatParts64 pick_nan(FloatParts64 a, FloatParts64 b, float_status *s)
> {
> if (is_snan(a.cls) || is_snan(b.cls)) {
> float_raise(float_flag_invalid, s);
> @@ -925,7 +925,7 @@ static FloatParts pick_nan(FloatParts a, FloatParts b, float_status *s)
> return a;
> }
>
> -static FloatParts pick_nan_muladd(FloatParts a, FloatParts b, FloatParts c,
> +static FloatParts64 pick_nan_muladd(FloatParts64 a, FloatParts64 b, FloatParts64 c,
> bool inf_zero, float_status *s)
> {
> int which;
> @@ -971,7 +971,7 @@ static FloatParts pick_nan_muladd(FloatParts a, FloatParts b, FloatParts c,
> * Arithmetic.
> */
>
> -static FloatParts addsub_floats(FloatParts a, FloatParts b, bool subtract,
> +static FloatParts64 addsub_floats(FloatParts64 a, FloatParts64 b, bool subtract,
> float_status *s)
> {
> bool a_sign = a.sign;
> @@ -1062,18 +1062,18 @@ static FloatParts addsub_floats(FloatParts a, FloatParts b, bool subtract,
>
> float16 QEMU_FLATTEN float16_add(float16 a, float16 b, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pb = float16_unpack_canonical(b, status);
> - FloatParts pr = addsub_floats(pa, pb, false, status);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pb = float16_unpack_canonical(b, status);
> + FloatParts64 pr = addsub_floats(pa, pb, false, status);
>
> return float16_round_pack_canonical(pr, status);
> }
>
> float16 QEMU_FLATTEN float16_sub(float16 a, float16 b, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pb = float16_unpack_canonical(b, status);
> - FloatParts pr = addsub_floats(pa, pb, true, status);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pb = float16_unpack_canonical(b, status);
> + FloatParts64 pr = addsub_floats(pa, pb, true, status);
>
> return float16_round_pack_canonical(pr, status);
> }
> @@ -1081,9 +1081,9 @@ float16 QEMU_FLATTEN float16_sub(float16 a, float16 b, float_status *status)
> static float32 QEMU_SOFTFLOAT_ATTR
> soft_f32_addsub(float32 a, float32 b, bool subtract, float_status *status)
> {
> - FloatParts pa = float32_unpack_canonical(a, status);
> - FloatParts pb = float32_unpack_canonical(b, status);
> - FloatParts pr = addsub_floats(pa, pb, subtract, status);
> + FloatParts64 pa = float32_unpack_canonical(a, status);
> + FloatParts64 pb = float32_unpack_canonical(b, status);
> + FloatParts64 pr = addsub_floats(pa, pb, subtract, status);
>
> return float32_round_pack_canonical(pr, status);
> }
> @@ -1101,9 +1101,9 @@ static inline float32 soft_f32_sub(float32 a, float32 b, float_status *status)
> static float64 QEMU_SOFTFLOAT_ATTR
> soft_f64_addsub(float64 a, float64 b, bool subtract, float_status *status)
> {
> - FloatParts pa = float64_unpack_canonical(a, status);
> - FloatParts pb = float64_unpack_canonical(b, status);
> - FloatParts pr = addsub_floats(pa, pb, subtract, status);
> + FloatParts64 pa = float64_unpack_canonical(a, status);
> + FloatParts64 pb = float64_unpack_canonical(b, status);
> + FloatParts64 pr = addsub_floats(pa, pb, subtract, status);
>
> return float64_round_pack_canonical(pr, status);
> }
> @@ -1199,18 +1199,18 @@ float64_sub(float64 a, float64 b, float_status *s)
> */
> bfloat16 QEMU_FLATTEN bfloat16_add(bfloat16 a, bfloat16 b, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pb = bfloat16_unpack_canonical(b, status);
> - FloatParts pr = addsub_floats(pa, pb, false, status);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pb = bfloat16_unpack_canonical(b, status);
> + FloatParts64 pr = addsub_floats(pa, pb, false, status);
>
> return bfloat16_round_pack_canonical(pr, status);
> }
>
> bfloat16 QEMU_FLATTEN bfloat16_sub(bfloat16 a, bfloat16 b, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pb = bfloat16_unpack_canonical(b, status);
> - FloatParts pr = addsub_floats(pa, pb, true, status);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pb = bfloat16_unpack_canonical(b, status);
> + FloatParts64 pr = addsub_floats(pa, pb, true, status);
>
> return bfloat16_round_pack_canonical(pr, status);
> }
> @@ -1221,7 +1221,7 @@ bfloat16 QEMU_FLATTEN bfloat16_sub(bfloat16 a, bfloat16 b, float_status *status)
> * for Binary Floating-Point Arithmetic.
> */
>
> -static FloatParts mul_floats(FloatParts a, FloatParts b, float_status *s)
> +static FloatParts64 mul_floats(FloatParts64 a, FloatParts64 b, float_status *s)
> {
> bool sign = a.sign ^ b.sign;
>
> @@ -1267,9 +1267,9 @@ static FloatParts mul_floats(FloatParts a, FloatParts b, float_status *s)
>
> float16 QEMU_FLATTEN float16_mul(float16 a, float16 b, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pb = float16_unpack_canonical(b, status);
> - FloatParts pr = mul_floats(pa, pb, status);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pb = float16_unpack_canonical(b, status);
> + FloatParts64 pr = mul_floats(pa, pb, status);
>
> return float16_round_pack_canonical(pr, status);
> }
> @@ -1277,9 +1277,9 @@ float16 QEMU_FLATTEN float16_mul(float16 a, float16 b, float_status *status)
> static float32 QEMU_SOFTFLOAT_ATTR
> soft_f32_mul(float32 a, float32 b, float_status *status)
> {
> - FloatParts pa = float32_unpack_canonical(a, status);
> - FloatParts pb = float32_unpack_canonical(b, status);
> - FloatParts pr = mul_floats(pa, pb, status);
> + FloatParts64 pa = float32_unpack_canonical(a, status);
> + FloatParts64 pb = float32_unpack_canonical(b, status);
> + FloatParts64 pr = mul_floats(pa, pb, status);
>
> return float32_round_pack_canonical(pr, status);
> }
> @@ -1287,9 +1287,9 @@ soft_f32_mul(float32 a, float32 b, float_status *status)
> static float64 QEMU_SOFTFLOAT_ATTR
> soft_f64_mul(float64 a, float64 b, float_status *status)
> {
> - FloatParts pa = float64_unpack_canonical(a, status);
> - FloatParts pb = float64_unpack_canonical(b, status);
> - FloatParts pr = mul_floats(pa, pb, status);
> + FloatParts64 pa = float64_unpack_canonical(a, status);
> + FloatParts64 pb = float64_unpack_canonical(b, status);
> + FloatParts64 pr = mul_floats(pa, pb, status);
>
> return float64_round_pack_canonical(pr, status);
> }
> @@ -1325,9 +1325,9 @@ float64_mul(float64 a, float64 b, float_status *s)
>
> bfloat16 QEMU_FLATTEN bfloat16_mul(bfloat16 a, bfloat16 b, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pb = bfloat16_unpack_canonical(b, status);
> - FloatParts pr = mul_floats(pa, pb, status);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pb = bfloat16_unpack_canonical(b, status);
> + FloatParts64 pr = mul_floats(pa, pb, status);
>
> return bfloat16_round_pack_canonical(pr, status);
> }
> @@ -1344,7 +1344,7 @@ bfloat16 QEMU_FLATTEN bfloat16_mul(bfloat16 a, bfloat16 b, float_status *status)
> * NaNs.)
> */
>
> -static FloatParts muladd_floats(FloatParts a, FloatParts b, FloatParts c,
> +static FloatParts64 muladd_floats(FloatParts64 a, FloatParts64 b, FloatParts64 c,
> int flags, float_status *s)
> {
> bool inf_zero, p_sign;
> @@ -1520,10 +1520,10 @@ static FloatParts muladd_floats(FloatParts a, FloatParts b, FloatParts c,
> float16 QEMU_FLATTEN float16_muladd(float16 a, float16 b, float16 c,
> int flags, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pb = float16_unpack_canonical(b, status);
> - FloatParts pc = float16_unpack_canonical(c, status);
> - FloatParts pr = muladd_floats(pa, pb, pc, flags, status);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pb = float16_unpack_canonical(b, status);
> + FloatParts64 pc = float16_unpack_canonical(c, status);
> + FloatParts64 pr = muladd_floats(pa, pb, pc, flags, status);
>
> return float16_round_pack_canonical(pr, status);
> }
> @@ -1532,10 +1532,10 @@ static float32 QEMU_SOFTFLOAT_ATTR
> soft_f32_muladd(float32 a, float32 b, float32 c, int flags,
> float_status *status)
> {
> - FloatParts pa = float32_unpack_canonical(a, status);
> - FloatParts pb = float32_unpack_canonical(b, status);
> - FloatParts pc = float32_unpack_canonical(c, status);
> - FloatParts pr = muladd_floats(pa, pb, pc, flags, status);
> + FloatParts64 pa = float32_unpack_canonical(a, status);
> + FloatParts64 pb = float32_unpack_canonical(b, status);
> + FloatParts64 pc = float32_unpack_canonical(c, status);
> + FloatParts64 pr = muladd_floats(pa, pb, pc, flags, status);
>
> return float32_round_pack_canonical(pr, status);
> }
> @@ -1544,10 +1544,10 @@ static float64 QEMU_SOFTFLOAT_ATTR
> soft_f64_muladd(float64 a, float64 b, float64 c, int flags,
> float_status *status)
> {
> - FloatParts pa = float64_unpack_canonical(a, status);
> - FloatParts pb = float64_unpack_canonical(b, status);
> - FloatParts pc = float64_unpack_canonical(c, status);
> - FloatParts pr = muladd_floats(pa, pb, pc, flags, status);
> + FloatParts64 pa = float64_unpack_canonical(a, status);
> + FloatParts64 pb = float64_unpack_canonical(b, status);
> + FloatParts64 pc = float64_unpack_canonical(c, status);
> + FloatParts64 pr = muladd_floats(pa, pb, pc, flags, status);
>
> return float64_round_pack_canonical(pr, status);
> }
> @@ -1705,10 +1705,10 @@ float64_muladd(float64 xa, float64 xb, float64 xc, int flags, float_status *s)
> bfloat16 QEMU_FLATTEN bfloat16_muladd(bfloat16 a, bfloat16 b, bfloat16 c,
> int flags, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pb = bfloat16_unpack_canonical(b, status);
> - FloatParts pc = bfloat16_unpack_canonical(c, status);
> - FloatParts pr = muladd_floats(pa, pb, pc, flags, status);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pb = bfloat16_unpack_canonical(b, status);
> + FloatParts64 pc = bfloat16_unpack_canonical(c, status);
> + FloatParts64 pr = muladd_floats(pa, pb, pc, flags, status);
>
> return bfloat16_round_pack_canonical(pr, status);
> }
> @@ -1719,7 +1719,7 @@ bfloat16 QEMU_FLATTEN bfloat16_muladd(bfloat16 a, bfloat16 b, bfloat16 c,
> * the IEC/IEEE Standard for Binary Floating-Point Arithmetic.
> */
>
> -static FloatParts div_floats(FloatParts a, FloatParts b, float_status *s)
> +static FloatParts64 div_floats(FloatParts64 a, FloatParts64 b, float_status *s)
> {
> bool sign = a.sign ^ b.sign;
>
> @@ -1786,9 +1786,9 @@ static FloatParts div_floats(FloatParts a, FloatParts b, float_status *s)
>
> float16 float16_div(float16 a, float16 b, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pb = float16_unpack_canonical(b, status);
> - FloatParts pr = div_floats(pa, pb, status);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pb = float16_unpack_canonical(b, status);
> + FloatParts64 pr = div_floats(pa, pb, status);
>
> return float16_round_pack_canonical(pr, status);
> }
> @@ -1796,9 +1796,9 @@ float16 float16_div(float16 a, float16 b, float_status *status)
> static float32 QEMU_SOFTFLOAT_ATTR
> soft_f32_div(float32 a, float32 b, float_status *status)
> {
> - FloatParts pa = float32_unpack_canonical(a, status);
> - FloatParts pb = float32_unpack_canonical(b, status);
> - FloatParts pr = div_floats(pa, pb, status);
> + FloatParts64 pa = float32_unpack_canonical(a, status);
> + FloatParts64 pb = float32_unpack_canonical(b, status);
> + FloatParts64 pr = div_floats(pa, pb, status);
>
> return float32_round_pack_canonical(pr, status);
> }
> @@ -1806,9 +1806,9 @@ soft_f32_div(float32 a, float32 b, float_status *status)
> static float64 QEMU_SOFTFLOAT_ATTR
> soft_f64_div(float64 a, float64 b, float_status *status)
> {
> - FloatParts pa = float64_unpack_canonical(a, status);
> - FloatParts pb = float64_unpack_canonical(b, status);
> - FloatParts pr = div_floats(pa, pb, status);
> + FloatParts64 pa = float64_unpack_canonical(a, status);
> + FloatParts64 pb = float64_unpack_canonical(b, status);
> + FloatParts64 pr = div_floats(pa, pb, status);
>
> return float64_round_pack_canonical(pr, status);
> }
> @@ -1878,9 +1878,9 @@ float64_div(float64 a, float64 b, float_status *s)
>
> bfloat16 bfloat16_div(bfloat16 a, bfloat16 b, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pb = bfloat16_unpack_canonical(b, status);
> - FloatParts pr = div_floats(pa, pb, status);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pb = bfloat16_unpack_canonical(b, status);
> + FloatParts64 pr = div_floats(pa, pb, status);
>
> return bfloat16_round_pack_canonical(pr, status);
> }
> @@ -1896,7 +1896,7 @@ bfloat16 bfloat16_div(bfloat16 a, bfloat16 b, float_status *status)
> * invalid exceptions and handling the conversion on NaNs.
> */
>
> -static FloatParts float_to_float(FloatParts a, const FloatFmt *dstf,
> +static FloatParts64 float_to_float(FloatParts64 a, const FloatFmt *dstf,
> float_status *s)
> {
> if (dstf->arm_althp) {
> @@ -1934,32 +1934,32 @@ static FloatParts float_to_float(FloatParts a, const FloatFmt *dstf,
> float32 float16_to_float32(float16 a, bool ieee, float_status *s)
> {
> const FloatFmt *fmt16 = ieee ? &float16_params : &float16_params_ahp;
> - FloatParts p = float16a_unpack_canonical(a, s, fmt16);
> - FloatParts pr = float_to_float(p, &float32_params, s);
> + FloatParts64 p = float16a_unpack_canonical(a, s, fmt16);
> + FloatParts64 pr = float_to_float(p, &float32_params, s);
> return float32_round_pack_canonical(pr, s);
> }
>
> float64 float16_to_float64(float16 a, bool ieee, float_status *s)
> {
> const FloatFmt *fmt16 = ieee ? &float16_params : &float16_params_ahp;
> - FloatParts p = float16a_unpack_canonical(a, s, fmt16);
> - FloatParts pr = float_to_float(p, &float64_params, s);
> + FloatParts64 p = float16a_unpack_canonical(a, s, fmt16);
> + FloatParts64 pr = float_to_float(p, &float64_params, s);
> return float64_round_pack_canonical(pr, s);
> }
>
> float16 float32_to_float16(float32 a, bool ieee, float_status *s)
> {
> const FloatFmt *fmt16 = ieee ? &float16_params : &float16_params_ahp;
> - FloatParts p = float32_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, fmt16, s);
> + FloatParts64 p = float32_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, fmt16, s);
> return float16a_round_pack_canonical(pr, s, fmt16);
> }
>
> static float64 QEMU_SOFTFLOAT_ATTR
> soft_float32_to_float64(float32 a, float_status *s)
> {
> - FloatParts p = float32_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, &float64_params, s);
> + FloatParts64 p = float32_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, &float64_params, s);
> return float64_round_pack_canonical(pr, s);
> }
>
> @@ -1982,43 +1982,43 @@ float64 float32_to_float64(float32 a, float_status *s)
> float16 float64_to_float16(float64 a, bool ieee, float_status *s)
> {
> const FloatFmt *fmt16 = ieee ? &float16_params : &float16_params_ahp;
> - FloatParts p = float64_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, fmt16, s);
> + FloatParts64 p = float64_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, fmt16, s);
> return float16a_round_pack_canonical(pr, s, fmt16);
> }
>
> float32 float64_to_float32(float64 a, float_status *s)
> {
> - FloatParts p = float64_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, &float32_params, s);
> + FloatParts64 p = float64_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, &float32_params, s);
> return float32_round_pack_canonical(pr, s);
> }
>
> float32 bfloat16_to_float32(bfloat16 a, float_status *s)
> {
> - FloatParts p = bfloat16_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, &float32_params, s);
> + FloatParts64 p = bfloat16_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, &float32_params, s);
> return float32_round_pack_canonical(pr, s);
> }
>
> float64 bfloat16_to_float64(bfloat16 a, float_status *s)
> {
> - FloatParts p = bfloat16_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, &float64_params, s);
> + FloatParts64 p = bfloat16_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, &float64_params, s);
> return float64_round_pack_canonical(pr, s);
> }
>
> bfloat16 float32_to_bfloat16(float32 a, float_status *s)
> {
> - FloatParts p = float32_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, &bfloat16_params, s);
> + FloatParts64 p = float32_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, &bfloat16_params, s);
> return bfloat16_round_pack_canonical(pr, s);
> }
>
> bfloat16 float64_to_bfloat16(float64 a, float_status *s)
> {
> - FloatParts p = float64_unpack_canonical(a, s);
> - FloatParts pr = float_to_float(p, &bfloat16_params, s);
> + FloatParts64 p = float64_unpack_canonical(a, s);
> + FloatParts64 pr = float_to_float(p, &bfloat16_params, s);
> return bfloat16_round_pack_canonical(pr, s);
> }
>
> @@ -2029,7 +2029,7 @@ bfloat16 float64_to_bfloat16(float64 a, float_status *s)
> * Arithmetic.
> */
>
> -static FloatParts round_to_int(FloatParts a, FloatRoundMode rmode,
> +static FloatParts64 round_to_int(FloatParts64 a, FloatRoundMode rmode,
> int scale, float_status *s)
> {
> switch (a.cls) {
> @@ -2132,22 +2132,22 @@ static FloatParts round_to_int(FloatParts a, FloatRoundMode rmode,
>
> float16 float16_round_to_int(float16 a, float_status *s)
> {
> - FloatParts pa = float16_unpack_canonical(a, s);
> - FloatParts pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> + FloatParts64 pa = float16_unpack_canonical(a, s);
> + FloatParts64 pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> return float16_round_pack_canonical(pr, s);
> }
>
> float32 float32_round_to_int(float32 a, float_status *s)
> {
> - FloatParts pa = float32_unpack_canonical(a, s);
> - FloatParts pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> + FloatParts64 pa = float32_unpack_canonical(a, s);
> + FloatParts64 pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> return float32_round_pack_canonical(pr, s);
> }
>
> float64 float64_round_to_int(float64 a, float_status *s)
> {
> - FloatParts pa = float64_unpack_canonical(a, s);
> - FloatParts pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> + FloatParts64 pa = float64_unpack_canonical(a, s);
> + FloatParts64 pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> return float64_round_pack_canonical(pr, s);
> }
>
> @@ -2158,8 +2158,8 @@ float64 float64_round_to_int(float64 a, float_status *s)
>
> bfloat16 bfloat16_round_to_int(bfloat16 a, float_status *s)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, s);
> - FloatParts pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, s);
> + FloatParts64 pr = round_to_int(pa, s->float_rounding_mode, 0, s);
> return bfloat16_round_pack_canonical(pr, s);
> }
>
> @@ -2174,13 +2174,13 @@ bfloat16 bfloat16_round_to_int(bfloat16 a, float_status *s)
> * is returned.
> */
>
> -static int64_t round_to_int_and_pack(FloatParts in, FloatRoundMode rmode,
> +static int64_t round_to_int_and_pack(FloatParts64 in, FloatRoundMode rmode,
> int scale, int64_t min, int64_t max,
> float_status *s)
> {
> uint64_t r;
> int orig_flags = get_float_exception_flags(s);
> - FloatParts p = round_to_int(in, rmode, scale, s);
> + FloatParts64 p = round_to_int(in, rmode, scale, s);
>
> switch (p.cls) {
> case float_class_snan:
> @@ -2452,12 +2452,12 @@ int64_t bfloat16_to_int64_round_to_zero(bfloat16 a, float_status *s)
> * flag.
> */
>
> -static uint64_t round_to_uint_and_pack(FloatParts in, FloatRoundMode rmode,
> +static uint64_t round_to_uint_and_pack(FloatParts64 in, FloatRoundMode rmode,
> int scale, uint64_t max,
> float_status *s)
> {
> int orig_flags = get_float_exception_flags(s);
> - FloatParts p = round_to_int(in, rmode, scale, s);
> + FloatParts64 p = round_to_int(in, rmode, scale, s);
> uint64_t r;
>
> switch (p.cls) {
> @@ -2726,9 +2726,9 @@ uint64_t bfloat16_to_uint64_round_to_zero(bfloat16 a, float_status *s)
> * to the IEC/IEEE Standard for Binary Floating-Point Arithmetic.
> */
>
> -static FloatParts int_to_float(int64_t a, int scale, float_status *status)
> +static FloatParts64 int_to_float(int64_t a, int scale, float_status *status)
> {
> - FloatParts r = { .sign = false };
> + FloatParts64 r = { .sign = false };
>
> if (a == 0) {
> r.cls = float_class_zero;
> @@ -2753,7 +2753,7 @@ static FloatParts int_to_float(int64_t a, int scale, float_status *status)
>
> float16 int64_to_float16_scalbn(int64_t a, int scale, float_status *status)
> {
> - FloatParts pa = int_to_float(a, scale, status);
> + FloatParts64 pa = int_to_float(a, scale, status);
> return float16_round_pack_canonical(pa, status);
> }
>
> @@ -2789,7 +2789,7 @@ float16 int8_to_float16(int8_t a, float_status *status)
>
> float32 int64_to_float32_scalbn(int64_t a, int scale, float_status *status)
> {
> - FloatParts pa = int_to_float(a, scale, status);
> + FloatParts64 pa = int_to_float(a, scale, status);
> return float32_round_pack_canonical(pa, status);
> }
>
> @@ -2820,7 +2820,7 @@ float32 int16_to_float32(int16_t a, float_status *status)
>
> float64 int64_to_float64_scalbn(int64_t a, int scale, float_status *status)
> {
> - FloatParts pa = int_to_float(a, scale, status);
> + FloatParts64 pa = int_to_float(a, scale, status);
> return float64_round_pack_canonical(pa, status);
> }
>
> @@ -2856,7 +2856,7 @@ float64 int16_to_float64(int16_t a, float_status *status)
>
> bfloat16 int64_to_bfloat16_scalbn(int64_t a, int scale, float_status *status)
> {
> - FloatParts pa = int_to_float(a, scale, status);
> + FloatParts64 pa = int_to_float(a, scale, status);
> return bfloat16_round_pack_canonical(pa, status);
> }
>
> @@ -2893,9 +2893,9 @@ bfloat16 int16_to_bfloat16(int16_t a, float_status *status)
> * IEC/IEEE Standard for Binary Floating-Point Arithmetic.
> */
>
> -static FloatParts uint_to_float(uint64_t a, int scale, float_status *status)
> +static FloatParts64 uint_to_float(uint64_t a, int scale, float_status *status)
> {
> - FloatParts r = { .sign = false };
> + FloatParts64 r = { .sign = false };
> int shift;
>
> if (a == 0) {
> @@ -2913,7 +2913,7 @@ static FloatParts uint_to_float(uint64_t a, int scale, float_status *status)
>
> float16 uint64_to_float16_scalbn(uint64_t a, int scale, float_status *status)
> {
> - FloatParts pa = uint_to_float(a, scale, status);
> + FloatParts64 pa = uint_to_float(a, scale, status);
> return float16_round_pack_canonical(pa, status);
> }
>
> @@ -2949,7 +2949,7 @@ float16 uint8_to_float16(uint8_t a, float_status *status)
>
> float32 uint64_to_float32_scalbn(uint64_t a, int scale, float_status *status)
> {
> - FloatParts pa = uint_to_float(a, scale, status);
> + FloatParts64 pa = uint_to_float(a, scale, status);
> return float32_round_pack_canonical(pa, status);
> }
>
> @@ -2980,7 +2980,7 @@ float32 uint16_to_float32(uint16_t a, float_status *status)
>
> float64 uint64_to_float64_scalbn(uint64_t a, int scale, float_status *status)
> {
> - FloatParts pa = uint_to_float(a, scale, status);
> + FloatParts64 pa = uint_to_float(a, scale, status);
> return float64_round_pack_canonical(pa, status);
> }
>
> @@ -3016,7 +3016,7 @@ float64 uint16_to_float64(uint16_t a, float_status *status)
>
> bfloat16 uint64_to_bfloat16_scalbn(uint64_t a, int scale, float_status *status)
> {
> - FloatParts pa = uint_to_float(a, scale, status);
> + FloatParts64 pa = uint_to_float(a, scale, status);
> return bfloat16_round_pack_canonical(pa, status);
> }
>
> @@ -3061,7 +3061,7 @@ bfloat16 uint16_to_bfloat16(uint16_t a, float_status *status)
> * minnummag() and maxnummag() functions correspond to minNumMag()
> * and minNumMag() from the IEEE-754 2008.
> */
> -static FloatParts minmax_floats(FloatParts a, FloatParts b, bool ismin,
> +static FloatParts64 minmax_floats(FloatParts64 a, FloatParts64 b, bool ismin,
> bool ieee, bool ismag, float_status *s)
> {
> if (unlikely(is_nan(a.cls) || is_nan(b.cls))) {
> @@ -3136,9 +3136,9 @@ static FloatParts minmax_floats(FloatParts a, FloatParts b, bool ismin,
> float ## sz float ## sz ## _ ## name(float ## sz a, float ## sz b, \
> float_status *s) \
> { \
> - FloatParts pa = float ## sz ## _unpack_canonical(a, s); \
> - FloatParts pb = float ## sz ## _unpack_canonical(b, s); \
> - FloatParts pr = minmax_floats(pa, pb, ismin, isiee, ismag, s); \
> + FloatParts64 pa = float ## sz ## _unpack_canonical(a, s); \
> + FloatParts64 pb = float ## sz ## _unpack_canonical(b, s); \
> + FloatParts64 pr = minmax_floats(pa, pb, ismin, isiee, ismag, s); \
> \
> return float ## sz ## _round_pack_canonical(pr, s); \
> }
> @@ -3169,9 +3169,9 @@ MINMAX(64, maxnummag, false, true, true)
> #define BF16_MINMAX(name, ismin, isiee, ismag) \
> bfloat16 bfloat16_ ## name(bfloat16 a, bfloat16 b, float_status *s) \
> { \
> - FloatParts pa = bfloat16_unpack_canonical(a, s); \
> - FloatParts pb = bfloat16_unpack_canonical(b, s); \
> - FloatParts pr = minmax_floats(pa, pb, ismin, isiee, ismag, s); \
> + FloatParts64 pa = bfloat16_unpack_canonical(a, s); \
> + FloatParts64 pb = bfloat16_unpack_canonical(b, s); \
> + FloatParts64 pr = minmax_floats(pa, pb, ismin, isiee, ismag, s); \
> \
> return bfloat16_round_pack_canonical(pr, s); \
> }
> @@ -3186,7 +3186,7 @@ BF16_MINMAX(maxnummag, false, true, true)
> #undef BF16_MINMAX
>
> /* Floating point compare */
> -static FloatRelation compare_floats(FloatParts a, FloatParts b, bool is_quiet,
> +static FloatRelation compare_floats(FloatParts64 a, FloatParts64 b, bool is_quiet,
> float_status *s)
> {
> if (is_nan(a.cls) || is_nan(b.cls)) {
> @@ -3247,8 +3247,8 @@ static FloatRelation compare_floats(FloatParts a, FloatParts b, bool is_quiet,
> static int attr \
> name(float ## sz a, float ## sz b, bool is_quiet, float_status *s) \
> { \
> - FloatParts pa = float ## sz ## _unpack_canonical(a, s); \
> - FloatParts pb = float ## sz ## _unpack_canonical(b, s); \
> + FloatParts64 pa = float ## sz ## _unpack_canonical(a, s); \
> + FloatParts64 pb = float ## sz ## _unpack_canonical(b, s); \
> return compare_floats(pa, pb, is_quiet, s); \
> }
>
> @@ -3349,8 +3349,8 @@ FloatRelation float64_compare_quiet(float64 a, float64 b, float_status *s)
> static FloatRelation QEMU_FLATTEN
> soft_bf16_compare(bfloat16 a, bfloat16 b, bool is_quiet, float_status *s)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, s);
> - FloatParts pb = bfloat16_unpack_canonical(b, s);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, s);
> + FloatParts64 pb = bfloat16_unpack_canonical(b, s);
> return compare_floats(pa, pb, is_quiet, s);
> }
>
> @@ -3365,16 +3365,16 @@ FloatRelation bfloat16_compare_quiet(bfloat16 a, bfloat16 b, float_status *s)
> }
>
> /* Multiply A by 2 raised to the power N. */
> -static FloatParts scalbn_decomposed(FloatParts a, int n, float_status *s)
> +static FloatParts64 scalbn_decomposed(FloatParts64 a, int n, float_status *s)
> {
> if (unlikely(is_nan(a.cls))) {
> return return_nan(a, s);
> }
> if (a.cls == float_class_normal) {
> - /* The largest float type (even though not supported by FloatParts)
> + /* The largest float type (even though not supported by FloatParts64)
> * is float128, which has a 15 bit exponent. Bounding N to 16 bits
> * still allows rounding to infinity, without allowing overflow
> - * within the int32_t that backs FloatParts.exp.
> + * within the int32_t that backs FloatParts64.exp.
> */
> n = MIN(MAX(n, -0x10000), 0x10000);
> a.exp += n;
> @@ -3384,29 +3384,29 @@ static FloatParts scalbn_decomposed(FloatParts a, int n, float_status *s)
>
> float16 float16_scalbn(float16 a, int n, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pr = scalbn_decomposed(pa, n, status);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pr = scalbn_decomposed(pa, n, status);
> return float16_round_pack_canonical(pr, status);
> }
>
> float32 float32_scalbn(float32 a, int n, float_status *status)
> {
> - FloatParts pa = float32_unpack_canonical(a, status);
> - FloatParts pr = scalbn_decomposed(pa, n, status);
> + FloatParts64 pa = float32_unpack_canonical(a, status);
> + FloatParts64 pr = scalbn_decomposed(pa, n, status);
> return float32_round_pack_canonical(pr, status);
> }
>
> float64 float64_scalbn(float64 a, int n, float_status *status)
> {
> - FloatParts pa = float64_unpack_canonical(a, status);
> - FloatParts pr = scalbn_decomposed(pa, n, status);
> + FloatParts64 pa = float64_unpack_canonical(a, status);
> + FloatParts64 pr = scalbn_decomposed(pa, n, status);
> return float64_round_pack_canonical(pr, status);
> }
>
> bfloat16 bfloat16_scalbn(bfloat16 a, int n, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pr = scalbn_decomposed(pa, n, status);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pr = scalbn_decomposed(pa, n, status);
> return bfloat16_round_pack_canonical(pr, status);
> }
>
> @@ -3422,7 +3422,7 @@ bfloat16 bfloat16_scalbn(bfloat16 a, int n, float_status *status)
> * especially for 64 bit floats.
> */
>
> -static FloatParts sqrt_float(FloatParts a, float_status *s, const FloatFmt *p)
> +static FloatParts64 sqrt_float(FloatParts64 a, float_status *s, const FloatFmt *p)
> {
> uint64_t a_frac, r_frac, s_frac;
> int bit, last_bit;
> @@ -3482,24 +3482,24 @@ static FloatParts sqrt_float(FloatParts a, float_status *s, const FloatFmt *p)
>
> float16 QEMU_FLATTEN float16_sqrt(float16 a, float_status *status)
> {
> - FloatParts pa = float16_unpack_canonical(a, status);
> - FloatParts pr = sqrt_float(pa, status, &float16_params);
> + FloatParts64 pa = float16_unpack_canonical(a, status);
> + FloatParts64 pr = sqrt_float(pa, status, &float16_params);
> return float16_round_pack_canonical(pr, status);
> }
>
> static float32 QEMU_SOFTFLOAT_ATTR
> soft_f32_sqrt(float32 a, float_status *status)
> {
> - FloatParts pa = float32_unpack_canonical(a, status);
> - FloatParts pr = sqrt_float(pa, status, &float32_params);
> + FloatParts64 pa = float32_unpack_canonical(a, status);
> + FloatParts64 pr = sqrt_float(pa, status, &float32_params);
> return float32_round_pack_canonical(pr, status);
> }
>
> static float64 QEMU_SOFTFLOAT_ATTR
> soft_f64_sqrt(float64 a, float_status *status)
> {
> - FloatParts pa = float64_unpack_canonical(a, status);
> - FloatParts pr = sqrt_float(pa, status, &float64_params);
> + FloatParts64 pa = float64_unpack_canonical(a, status);
> + FloatParts64 pr = sqrt_float(pa, status, &float64_params);
> return float64_round_pack_canonical(pr, status);
> }
>
> @@ -3559,8 +3559,8 @@ float64 QEMU_FLATTEN float64_sqrt(float64 xa, float_status *s)
>
> bfloat16 QEMU_FLATTEN bfloat16_sqrt(bfloat16 a, float_status *status)
> {
> - FloatParts pa = bfloat16_unpack_canonical(a, status);
> - FloatParts pr = sqrt_float(pa, status, &bfloat16_params);
> + FloatParts64 pa = bfloat16_unpack_canonical(a, status);
> + FloatParts64 pr = sqrt_float(pa, status, &bfloat16_params);
> return bfloat16_round_pack_canonical(pr, status);
> }
>
> @@ -3570,28 +3570,28 @@ bfloat16 QEMU_FLATTEN bfloat16_sqrt(bfloat16 a, float_status *status)
>
> float16 float16_default_nan(float_status *status)
> {
> - FloatParts p = parts_default_nan(status);
> + FloatParts64 p = parts_default_nan(status);
> p.frac >>= float16_params.frac_shift;
> return float16_pack_raw(p);
> }
>
> float32 float32_default_nan(float_status *status)
> {
> - FloatParts p = parts_default_nan(status);
> + FloatParts64 p = parts_default_nan(status);
> p.frac >>= float32_params.frac_shift;
> return float32_pack_raw(p);
> }
>
> float64 float64_default_nan(float_status *status)
> {
> - FloatParts p = parts_default_nan(status);
> + FloatParts64 p = parts_default_nan(status);
> p.frac >>= float64_params.frac_shift;
> return float64_pack_raw(p);
> }
>
> float128 float128_default_nan(float_status *status)
> {
> - FloatParts p = parts_default_nan(status);
> + FloatParts64 p = parts_default_nan(status);
> float128 r;
>
> /* Extrapolate from the choices made by parts_default_nan to fill
> @@ -3608,7 +3608,7 @@ float128 float128_default_nan(float_status *status)
>
> bfloat16 bfloat16_default_nan(float_status *status)
> {
> - FloatParts p = parts_default_nan(status);
> + FloatParts64 p = parts_default_nan(status);
> p.frac >>= bfloat16_params.frac_shift;
> return bfloat16_pack_raw(p);
> }
> @@ -3619,7 +3619,7 @@ bfloat16 bfloat16_default_nan(float_status *status)
>
> float16 float16_silence_nan(float16 a, float_status *status)
> {
> - FloatParts p = float16_unpack_raw(a);
> + FloatParts64 p = float16_unpack_raw(a);
> p.frac <<= float16_params.frac_shift;
> p = parts_silence_nan(p, status);
> p.frac >>= float16_params.frac_shift;
> @@ -3628,7 +3628,7 @@ float16 float16_silence_nan(float16 a, float_status *status)
>
> float32 float32_silence_nan(float32 a, float_status *status)
> {
> - FloatParts p = float32_unpack_raw(a);
> + FloatParts64 p = float32_unpack_raw(a);
> p.frac <<= float32_params.frac_shift;
> p = parts_silence_nan(p, status);
> p.frac >>= float32_params.frac_shift;
> @@ -3637,7 +3637,7 @@ float32 float32_silence_nan(float32 a, float_status *status)
>
> float64 float64_silence_nan(float64 a, float_status *status)
> {
> - FloatParts p = float64_unpack_raw(a);
> + FloatParts64 p = float64_unpack_raw(a);
> p.frac <<= float64_params.frac_shift;
> p = parts_silence_nan(p, status);
> p.frac >>= float64_params.frac_shift;
> @@ -3646,7 +3646,7 @@ float64 float64_silence_nan(float64 a, float_status *status)
>
> bfloat16 bfloat16_silence_nan(bfloat16 a, float_status *status)
> {
> - FloatParts p = bfloat16_unpack_raw(a);
> + FloatParts64 p = bfloat16_unpack_raw(a);
> p.frac <<= bfloat16_params.frac_shift;
> p = parts_silence_nan(p, status);
> p.frac >>= bfloat16_params.frac_shift;
> @@ -3658,7 +3658,7 @@ bfloat16 bfloat16_silence_nan(bfloat16 a, float_status *status)
> | input-denormal exception and return zero. Otherwise just return the value.
> *----------------------------------------------------------------------------*/
>
> -static bool parts_squash_denormal(FloatParts p, float_status *status)
> +static bool parts_squash_denormal(FloatParts64 p, float_status *status)
> {
> if (p.exp == 0 && p.frac != 0) {
> float_raise(float_flag_input_denormal, status);
> @@ -3671,7 +3671,7 @@ static bool parts_squash_denormal(FloatParts p, float_status *status)
> float16 float16_squash_input_denormal(float16 a, float_status *status)
> {
> if (status->flush_inputs_to_zero) {
> - FloatParts p = float16_unpack_raw(a);
> + FloatParts64 p = float16_unpack_raw(a);
> if (parts_squash_denormal(p, status)) {
> return float16_set_sign(float16_zero, p.sign);
> }
> @@ -3682,7 +3682,7 @@ float16 float16_squash_input_denormal(float16 a, float_status *status)
> float32 float32_squash_input_denormal(float32 a, float_status *status)
> {
> if (status->flush_inputs_to_zero) {
> - FloatParts p = float32_unpack_raw(a);
> + FloatParts64 p = float32_unpack_raw(a);
> if (parts_squash_denormal(p, status)) {
> return float32_set_sign(float32_zero, p.sign);
> }
> @@ -3693,7 +3693,7 @@ float32 float32_squash_input_denormal(float32 a, float_status *status)
> float64 float64_squash_input_denormal(float64 a, float_status *status)
> {
> if (status->flush_inputs_to_zero) {
> - FloatParts p = float64_unpack_raw(a);
> + FloatParts64 p = float64_unpack_raw(a);
> if (parts_squash_denormal(p, status)) {
> return float64_set_sign(float64_zero, p.sign);
> }
> @@ -3704,7 +3704,7 @@ float64 float64_squash_input_denormal(float64 a, float_status *status)
> bfloat16 bfloat16_squash_input_denormal(bfloat16 a, float_status *status)
> {
> if (status->flush_inputs_to_zero) {
> - FloatParts p = bfloat16_unpack_raw(a);
> + FloatParts64 p = bfloat16_unpack_raw(a);
> if (parts_squash_denormal(p, status)) {
> return bfloat16_set_sign(bfloat16_zero, p.sign);
> }
> diff --git a/fpu/softfloat-specialize.c.inc b/fpu/softfloat-specialize.c.inc
> index 5988830c16..52fc76d800 100644
> --- a/fpu/softfloat-specialize.c.inc
> +++ b/fpu/softfloat-specialize.c.inc
> @@ -129,7 +129,7 @@ static bool parts_is_snan_frac(uint64_t frac, float_status *status)
> | The pattern for a default generated deconstructed floating-point NaN.
> *----------------------------------------------------------------------------*/
>
> -static FloatParts parts_default_nan(float_status *status)
> +static FloatParts64 parts_default_nan(float_status *status)
> {
> bool sign = 0;
> uint64_t frac;
> @@ -164,7 +164,7 @@ static FloatParts parts_default_nan(float_status *status)
> }
> #endif
>
> - return (FloatParts) {
> + return (FloatParts64) {
> .cls = float_class_qnan,
> .sign = sign,
> .exp = INT_MAX,
> @@ -177,7 +177,7 @@ static FloatParts parts_default_nan(float_status *status)
> | floating-point parts.
> *----------------------------------------------------------------------------*/
>
> -static FloatParts parts_silence_nan(FloatParts a, float_status *status)
> +static FloatParts64 parts_silence_nan(FloatParts64 a, float_status *status)
> {
> g_assert(!no_signaling_nans(status));
> g_assert(!status->default_nan_mode);
>
Reviewed-by: David Hildenbrand <david@redhat.com>
--
Thanks,
David / dhildenb
next prev parent reply other threads:[~2021-05-11 10:19 UTC|newest]
Thread overview: 151+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-08 1:46 [PATCH 00/72] Convert floatx80 and float128 to FloatParts Richard Henderson
2021-05-08 1:46 ` [PATCH 01/72] qemu/host-utils: Use __builtin_bitreverseN Richard Henderson
2021-05-10 9:59 ` Alex Bennée
2021-05-11 9:41 ` David Hildenbrand
2021-05-08 1:46 ` [PATCH 02/72] qemu/host-utils: Add wrappers for overflow builtins Richard Henderson
2021-05-10 10:22 ` Alex Bennée
2021-05-08 1:46 ` [PATCH 03/72] qemu/host-utils: Add wrappers for carry builtins Richard Henderson
2021-05-10 12:57 ` Alex Bennée
2021-05-11 20:10 ` Richard Henderson
2021-05-12 11:17 ` Alex Bennée
2021-05-08 1:46 ` [PATCH 04/72] accel/tcg: Use add/sub overflow routines in tcg-runtime-gvec.c Richard Henderson
2021-05-09 8:43 ` Philippe Mathieu-Daudé
2021-05-10 13:02 ` Alex Bennée
2021-05-11 9:46 ` David Hildenbrand
2021-05-08 1:46 ` [PATCH 05/72] tests/fp: add quad support to the benchmark utility Richard Henderson
2021-05-11 10:01 ` David Hildenbrand
2021-05-08 1:46 ` [PATCH 06/72] softfloat: Move the binary point to the msb Richard Henderson
2021-05-10 13:36 ` Alex Bennée
2021-05-08 1:46 ` [PATCH 07/72] softfloat: Inline float_raise Richard Henderson
2021-05-09 8:32 ` Philippe Mathieu-Daudé
2021-05-11 10:04 ` David Hildenbrand
2021-05-08 1:46 ` [PATCH 08/72] softfloat: Use float_raise in more places Richard Henderson
2021-05-09 8:34 ` Philippe Mathieu-Daudé
2021-05-11 10:06 ` David Hildenbrand
2021-05-08 1:46 ` [PATCH 09/72] softfloat: Tidy a * b + inf return Richard Henderson
2021-05-08 1:47 ` [PATCH 10/72] softfloat: Add float_cmask and constants Richard Henderson
2021-05-08 1:47 ` [PATCH 11/72] softfloat: Use return_nan in float_to_float Richard Henderson
2021-05-10 15:10 ` Alex Bennée
2021-05-11 10:10 ` David Hildenbrand
2021-05-08 1:47 ` [PATCH 12/72] softfloat: fix return_nan vs default_nan_mode Richard Henderson
2021-05-10 15:12 ` Alex Bennée
2021-05-11 10:12 ` David Hildenbrand
2021-05-08 1:47 ` [PATCH 13/72] target/mips: Set set_default_nan_mode with set_snan_bit_is_one Richard Henderson
2021-05-11 9:37 ` Alex Bennée
2021-05-11 10:16 ` David Hildenbrand
2021-05-08 1:47 ` [PATCH 14/72] softfloat: Do not produce a default_nan from parts_silence_nan Richard Henderson
2021-05-11 10:16 ` David Hildenbrand
2021-05-11 10:32 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 15/72] softfloat: Rename FloatParts to FloatParts64 Richard Henderson
2021-05-09 8:45 ` Philippe Mathieu-Daudé
2021-05-11 10:16 ` David Hildenbrand [this message]
2021-05-08 1:47 ` [PATCH 16/72] softfloat: Move type-specific pack/unpack routines Richard Henderson
2021-05-09 8:46 ` Philippe Mathieu-Daudé
2021-05-11 10:17 ` David Hildenbrand
2021-05-08 1:47 ` [PATCH 17/72] softfloat: Use pointers with parts_default_nan Richard Henderson
2021-05-11 10:22 ` David Hildenbrand
2021-05-11 20:19 ` Richard Henderson
2021-05-08 1:47 ` [PATCH 18/72] softfloat: Use pointers with unpack_raw Richard Henderson
2021-05-09 8:48 ` Philippe Mathieu-Daudé
2021-05-12 12:58 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 19/72] softfloat: Use pointers with ftype_unpack_raw Richard Henderson
2021-05-11 11:31 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 20/72] softfloat: Use pointers with pack_raw Richard Henderson
2021-05-11 11:32 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 21/72] softfloat: Use pointers with ftype_pack_raw Richard Henderson
2021-05-11 11:32 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 22/72] softfloat: Use pointers with ftype_unpack_canonical Richard Henderson
2021-05-11 13:54 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 23/72] softfloat: Use pointers with ftype_round_pack_canonical Richard Henderson
2021-05-11 13:55 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 24/72] softfloat: Use pointers with parts_silence_nan Richard Henderson
2021-05-11 13:56 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 25/72] softfloat: Rearrange FloatParts64 Richard Henderson
2021-05-11 13:57 ` Alex Bennée
2021-05-11 15:04 ` Richard Henderson
2021-05-12 11:08 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 26/72] softfloat: Convert float128_silence_nan to parts Richard Henderson
2021-05-13 8:34 ` Alex Bennée
2021-05-13 12:25 ` Richard Henderson
2021-05-08 1:47 ` [PATCH 27/72] softfloat: Convert float128_default_nan " Richard Henderson
2021-05-13 8:56 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 28/72] softfloat: Move return_nan to softfloat-parts.c.inc Richard Henderson
2021-05-12 18:10 ` David Hildenbrand
2021-05-08 1:47 ` [PATCH 29/72] softfloat: Move pick_nan " Richard Henderson
2021-05-12 18:16 ` David Hildenbrand
2021-05-13 12:28 ` Richard Henderson
2021-05-08 1:47 ` [PATCH 30/72] softfloat: Move pick_nan_muladd " Richard Henderson
2021-05-12 18:18 ` David Hildenbrand
2021-05-08 1:47 ` [PATCH 31/72] softfloat: Move sf_canonicalize " Richard Henderson
2021-05-13 9:45 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 32/72] softfloat: Move round_canonical " Richard Henderson
2021-05-13 9:53 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 33/72] softfloat: Use uadd64_carry, usub64_borrow in softfloat-macros.h Richard Henderson
2021-05-13 10:00 ` Alex Bennée
2021-05-13 12:38 ` Richard Henderson
2021-05-08 1:47 ` [PATCH 34/72] softfloat: Move addsub_floats to softfloat-parts.c.inc Richard Henderson
2021-05-13 10:03 ` Alex Bennée
2021-05-13 10:05 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 35/72] softfloat: Implement float128_add/sub via parts Richard Henderson
2021-05-13 10:06 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 36/72] softfloat: Move mul_floats to softfloat-parts.c.inc Richard Henderson
2021-05-13 10:08 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 37/72] softfloat: Move muladd_floats " Richard Henderson
2021-05-13 10:43 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 38/72] softfloat: Use mulu64 for mul64To128 Richard Henderson
2021-05-08 1:47 ` [PATCH 39/72] softfloat: Use add192 in mul128To256 Richard Henderson
2021-05-13 10:49 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 40/72] softfloat: Tidy mul128By64To192 Richard Henderson
2021-05-13 10:50 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 41/72] softfloat: Introduce sh[lr]_double primitives Richard Henderson
2021-05-13 10:59 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 42/72] softfloat: Move div_floats to softfloat-parts.c.inc Richard Henderson
2021-05-13 11:02 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 43/72] softfloat: Split float_to_float Richard Henderson
2021-05-13 11:04 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 44/72] softfloat: Convert float-to-float conversions with float128 Richard Henderson
2021-05-13 11:17 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 45/72] softfloat: Move round_to_int to softfloat-parts.c.inc Richard Henderson
2021-05-13 14:10 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 46/72] softfloat: Move rount_to_int_and_pack " Richard Henderson
2021-05-13 14:11 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 47/72] softfloat: Move rount_to_uint_and_pack " Richard Henderson
2021-05-08 1:47 ` [PATCH 48/72] softfloat: Move int_to_float " Richard Henderson
2021-05-08 1:47 ` [PATCH 49/72] softfloat: Move uint_to_float " Richard Henderson
2021-05-08 1:47 ` [PATCH 50/72] softfloat: Move minmax_flags " Richard Henderson
2021-05-17 13:14 ` David Hildenbrand
2021-05-17 15:57 ` Richard Henderson
2021-05-08 1:47 ` [PATCH 51/72] softfloat: Move compare_floats " Richard Henderson
2021-05-08 1:47 ` [PATCH 52/72] softfloat: Move scalbn_decomposed " Richard Henderson
2021-05-08 1:47 ` [PATCH 53/72] softfloat: Move sqrt_float " Richard Henderson
2021-05-08 1:47 ` [PATCH 54/72] softfloat: Split out parts_uncanon_normal Richard Henderson
2021-05-08 1:47 ` [PATCH 55/72] softfloat: Reduce FloatFmt Richard Henderson
2021-05-08 1:47 ` [PATCH 56/72] softfloat: Introduce Floatx80RoundPrec Richard Henderson
2021-05-08 1:47 ` [PATCH 57/72] softfloat: Adjust parts_uncanon_normal for floatx80 Richard Henderson
2021-05-08 1:47 ` [PATCH 58/72] tests/fp/fp-test: Reverse order of floatx80 precision tests Richard Henderson
2021-05-13 14:12 ` Alex Bennée
2021-05-08 1:47 ` [PATCH 59/72] softfloat: Convert floatx80_add/sub to FloatParts Richard Henderson
2021-05-08 1:47 ` [PATCH 60/72] softfloat: Convert floatx80_mul " Richard Henderson
2021-05-08 1:47 ` [PATCH 61/72] softfloat: Convert floatx80_div " Richard Henderson
2021-05-08 1:47 ` [PATCH 62/72] softfloat: Convert floatx80_sqrt " Richard Henderson
2021-05-08 1:47 ` [PATCH 63/72] softfloat: Convert floatx80_round " Richard Henderson
2021-05-08 1:47 ` [PATCH 64/72] softfloat: Convert floatx80_round_to_int " Richard Henderson
2021-05-08 1:47 ` [PATCH 65/72] softfloat: Convert integer to floatx80 " Richard Henderson
2021-05-08 1:47 ` [PATCH 66/72] softfloat: Convert floatx80 float conversions " Richard Henderson
2021-05-08 1:47 ` [PATCH 67/72] softfloat: Convert floatx80 to integer " Richard Henderson
2021-05-08 1:47 ` [PATCH 68/72] softfloat: Convert floatx80_scalbn " Richard Henderson
2021-05-08 1:47 ` [PATCH 69/72] softfloat: Convert floatx80 compare " Richard Henderson
2021-05-08 1:48 ` [PATCH 70/72] softfloat: Convert float32_exp2 " Richard Henderson
2021-05-08 1:48 ` [PATCH 71/72] softfloat: Move floatN_log2 to softfloat-parts.c.inc Richard Henderson
2021-05-08 1:48 ` [PATCH 72/72] softfloat: Convert modrem operations to FloatParts Richard Henderson
2021-05-08 2:52 ` [PATCH 00/72] Convert floatx80 and float128 " no-reply
2021-05-10 13:36 ` Alex Bennée
2021-05-12 1:52 ` Richard Henderson
2021-05-12 11:22 ` Alex Bennée
2021-05-12 15:28 ` Richard Henderson
2021-05-12 16:47 ` Alex Bennée
2021-05-12 19:23 ` Alex Bennée
2021-05-13 11:49 ` Richard Henderson
2021-05-13 13:33 ` Alex Bennée
2021-05-13 23:54 ` Richard Henderson
2021-05-13 14:13 ` Alex Bennée
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=d2f2a89f-867e-b51e-91bf-4ec548700422@redhat.com \
--to=david@redhat.com \
--cc=alex.bennee@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).