At the same time, export.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
---
include/fpu/softfloat-parts.h | 5 ++++
fpu/softfloat.c | 30 +++++++++++------------
fpu/softfloat-parts.c.inc | 45 ++++++++++++++++++-----------------
3 files changed, 43 insertions(+), 37 deletions(-)
diff --git a/include/fpu/softfloat-parts.h b/include/fpu/softfloat-parts.h
index f2c31eb7a6..8522b916f3 100644
--- a/include/fpu/softfloat-parts.h
+++ b/include/fpu/softfloat-parts.h
@@ -179,6 +179,11 @@ FloatParts128 parts128_pick_nan(const FloatParts128 *, const FloatParts128 *,
* Operations
*/
+FloatParts64 parts64_addsub(const FloatParts64 *a, const FloatParts64 *b,
+ float_status *s, bool subtract);
+FloatParts128 parts128_addsub(const FloatParts128 *a, const FloatParts128 *b,
+ float_status *s, bool subtract);
+
FloatParts64 parts64_div(const FloatParts64 *a, const FloatParts64 *b,
float_status *s);
FloatParts128 parts128_div(const FloatParts128 *a, const FloatParts128 *b,
diff --git a/fpu/softfloat.c b/fpu/softfloat.c
index 2db08ca660..484db3ddf6 100644
--- a/fpu/softfloat.c
+++ b/fpu/softfloat.c
@@ -1579,9 +1579,9 @@ float16_addsub(float16 a, float16 b, float_status *status, bool subtract)
{
FloatParts64 pa = float16_unpack_canonical(a, status);
FloatParts64 pb = float16_unpack_canonical(b, status);
- FloatParts64 *pr = parts64_addsub(&pa, &pb, status, subtract);
+ FloatParts64 pr = parts64_addsub(&pa, &pb, status, subtract);
- return float16_round_pack_canonical(pr, status);
+ return float16_round_pack_canonical(&pr, status);
}
float16 float16_add(float16 a, float16 b, float_status *status)
@@ -1599,9 +1599,9 @@ soft_f32_addsub(float32 a, float32 b, float_status *status, bool subtract)
{
FloatParts64 pa = float32_unpack_canonical(a, status);
FloatParts64 pb = float32_unpack_canonical(b, status);
- FloatParts64 *pr = parts64_addsub(&pa, &pb, status, subtract);
+ FloatParts64 pr = parts64_addsub(&pa, &pb, status, subtract);
- return float32_round_pack_canonical(pr, status);
+ return float32_round_pack_canonical(&pr, status);
}
static float32 soft_f32_add(float32 a, float32 b, float_status *status)
@@ -1619,9 +1619,9 @@ soft_f64_addsub(float64 a, float64 b, float_status *status, bool subtract)
{
FloatParts64 pa = float64_unpack_canonical(a, status);
FloatParts64 pb = float64_unpack_canonical(b, status);
- FloatParts64 *pr = parts64_addsub(&pa, &pb, status, subtract);
+ FloatParts64 pr = parts64_addsub(&pa, &pb, status, subtract);
- return float64_round_pack_canonical(pr, status);
+ return float64_round_pack_canonical(&pr, status);
}
static float64 soft_f64_add(float64 a, float64 b, float_status *status)
@@ -1714,9 +1714,9 @@ static float64 float64r32_addsub(float64 a, float64 b, float_status *status,
{
FloatParts64 pa = float64_unpack_canonical(a, status);
FloatParts64 pb = float64_unpack_canonical(b, status);
- FloatParts64 *pr = parts64_addsub(&pa, &pb, status, subtract);
+ FloatParts64 pr = parts64_addsub(&pa, &pb, status, subtract);
- return float64r32_round_pack_canonical(pr, status);
+ return float64r32_round_pack_canonical(&pr, status);
}
float64 float64r32_add(float64 a, float64 b, float_status *status)
@@ -1734,9 +1734,9 @@ bfloat16_addsub(bfloat16 a, bfloat16 b, float_status *status, bool subtract)
{
FloatParts64 pa = bfloat16_unpack_canonical(a, status);
FloatParts64 pb = bfloat16_unpack_canonical(b, status);
- FloatParts64 *pr = parts64_addsub(&pa, &pb, status, subtract);
+ FloatParts64 pr = parts64_addsub(&pa, &pb, status, subtract);
- return bfloat16_round_pack_canonical(pr, status);
+ return bfloat16_round_pack_canonical(&pr, status);
}
bfloat16 bfloat16_add(bfloat16 a, bfloat16 b, float_status *status)
@@ -1754,9 +1754,9 @@ float128_addsub(float128 a, float128 b, float_status *status, bool subtract)
{
FloatParts128 pa = float128_unpack_canonical(a, status);
FloatParts128 pb = float128_unpack_canonical(b, status);
- FloatParts128 *pr = parts128_addsub(&pa, &pb, status, subtract);
+ FloatParts128 pr = parts128_addsub(&pa, &pb, status, subtract);
- return float128_round_pack_canonical(pr, status);
+ return float128_round_pack_canonical(&pr, status);
}
float128 float128_add(float128 a, float128 b, float_status *status)
@@ -1772,15 +1772,15 @@ float128 float128_sub(float128 a, float128 b, float_status *status)
static floatx80 QEMU_FLATTEN
floatx80_addsub(floatx80 a, floatx80 b, float_status *status, bool subtract)
{
- FloatParts128 pa, pb, *pr;
+ FloatParts128 pa, pb;
if (!floatx80_unpack_canonical(&pa, a, status) ||
!floatx80_unpack_canonical(&pb, b, status)) {
return floatx80_default_nan(status);
}
- pr = parts128_addsub(&pa, &pb, status, subtract);
- return floatx80_round_pack_canonical(pr, status);
+ pa = parts128_addsub(&pa, &pb, status, subtract);
+ return floatx80_round_pack_canonical(&pa, status);
}
floatx80 floatx80_add(floatx80 a, floatx80 b, float_status *status)
diff --git a/fpu/softfloat-parts.c.inc b/fpu/softfloat-parts.c.inc
index 244fdd90d2..6d65b7bfe3 100644
--- a/fpu/softfloat-parts.c.inc
+++ b/fpu/softfloat-parts.c.inc
@@ -524,15 +524,14 @@ static void partsN(uncanon)(FloatPartsN *p, float_status *s,
* according to the IEC/IEEE Standard for Binary Floating-Point
* Arithmetic.
*/
-static FloatPartsN *partsN(addsub)(FloatPartsN *a, FloatPartsN *b,
- float_status *s, bool subtract)
+FloatPartsN partsN(addsub)(const FloatPartsN *a_orig,
+ const FloatPartsN *b_orig,
+ float_status *s, bool subtract)
{
- bool b_sign = b->sign ^ subtract;
- int ab_mask = float_cmask(a->cls) | float_cmask(b->cls);
+ int ab_mask = float_cmask(a_orig->cls) | float_cmask(b_orig->cls);
if (unlikely(ab_mask & float_cmask_anynan)) {
- *a = partsN(pick_nan)(a, b, s);
- return a;
+ return partsN(pick_nan)(a_orig, b_orig, s);
}
/*
@@ -541,10 +540,15 @@ static FloatPartsN *partsN(addsub)(FloatPartsN *a, FloatPartsN *b,
*/
record_denormals_used(ab_mask, s);
- if (a->sign != b_sign) {
+ FloatPartsN a = *a_orig;
+ FloatPartsN b = *b_orig;
+
+ b.sign ^= subtract;
+
+ if (a.sign != b.sign) {
/* Subtraction */
if (likely(cmask_is_only_normals(ab_mask))) {
- if (partsN(sub_normal)(a, b)) {
+ if (partsN(sub_normal)(&a, &b)) {
return a;
}
/* Subtract was exact, fall through to set sign. */
@@ -552,28 +556,27 @@ static FloatPartsN *partsN(addsub)(FloatPartsN *a, FloatPartsN *b,
}
if (ab_mask == float_cmask_zero) {
- a->sign = s->float_rounding_mode == float_round_down;
+ a.sign = s->float_rounding_mode == float_round_down;
return a;
}
if (ab_mask & float_cmask_inf) {
- if (a->cls != float_class_inf) {
+ if (a.cls != float_class_inf) {
/* N - Inf */
- goto return_b;
+ return b;
}
- if (b->cls != float_class_inf) {
+ if (b.cls != float_class_inf) {
/* Inf - N */
return a;
}
/* Inf - Inf */
float_raise(float_flag_invalid | float_flag_invalid_isi, s);
- *a = partsN(default_nan)(s);
- return a;
+ return partsN(default_nan)(s);
}
} else {
/* Addition */
if (likely(cmask_is_only_normals(ab_mask))) {
- partsN(add_normal)(a, b);
+ partsN(add_normal)(&a, &b);
return a;
}
@@ -582,20 +585,18 @@ static FloatPartsN *partsN(addsub)(FloatPartsN *a, FloatPartsN *b,
}
if (ab_mask & float_cmask_inf) {
- a->cls = float_class_inf;
+ a.cls = float_class_inf;
return a;
}
}
- if (b->cls == float_class_zero) {
- g_assert(is_anynorm(a->cls));
+ if (b.cls == float_class_zero) {
+ g_assert(is_anynorm(a.cls));
return a;
}
- g_assert(a->cls == float_class_zero);
- g_assert(is_anynorm(b->cls));
- return_b:
- b->sign = b_sign;
+ g_assert(a.cls == float_class_zero);
+ g_assert(is_anynorm(b.cls));
return b;
}
--
2.43.0