ArmPkg/ArmSoftFloatLib: switch to new version of softfloat library

Update the INF description and the top level .c files in order to
switch to the new version of the SoftFloat library imported as a
Git submodule in the previous patch.

Note that we no longer use the code that travelled a long way from
the 2002 version of the softfloat library via NetBsd and the StdLib
package. Instead, we are using the upstream version unmodified, with
the glue .c file adopted from the OP-TEE project. This approach is
much cleaner and much more maintainable.

Note that support for the RVCT toolchains is being dropped at the same
time. RVCT is mostly untested, and planned to be removed, and so it
makes little sense to go to the trouble of upgrading this library for
RVCT as well.

Ref: https://bugzilla.tianocore.org/show_bug.cgi?id=1845
Acked-by: Jian J Wang <jian.j.wang@intel.com>
Acked-by: Laszlo Ersek <lersek@redhat.com>
Reviewed-by: Leif Lindholm <leif.lindholm@linaro.org>
Signed-off-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>

3 files changed, 358 insertions, 19 deletions

diff --git a/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.c b/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.c
new file mode 100644
index 0000000000..42bed7700c
--- /dev/null
+++ b/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.c
@@ -0,0 +1,283 @@
+/*
+ * Copyright (c) 2015 - 2019, Linaro Limited
+ *
+ * SPDX-License-Identifier: BSD-2-Clause-Patent
+ */
+
+#include "platform.h"
+#include <softfloat.h>
+
+/*
+ * On ARM32 EABI defines both a soft-float ABI and a hard-float ABI,
+ * hard-float is basically a super set of soft-float. Hard-float requires
+ * all the support routines provided for soft-float, but the compiler may
+ * choose to optimize to not use some of them.
+ *
+ * The AEABI functions uses soft-float calling convention even if the
+ * functions are compiled for hard-float. So where float and double would
+ * have been expected we use aeabi_float_t and aeabi_double_t respectively
+ * instead.
+ */
+typedef uint32_t aeabi_float_t;
+typedef uint64_t aeabi_double_t;
+
+/*
+ * Helpers to convert between float32 and aeabi_float_t, and float64 and
+ * aeabi_double_t used by the AEABI functions below.
+ */
+static aeabi_float_t f32_to_f(float32_t val)
+{
+	return val.v;
+}
+
+static float32_t f32_from_f(aeabi_float_t val)
+{
+	float32_t res;
+
+	res.v = val;
+
+	return res;
+}
+
+static aeabi_double_t f64_to_d(float64_t val)
+{
+	return val.v;
+}
+
+static float64_t f64_from_d(aeabi_double_t val)
+{
+	float64_t res;
+
+	res.v = val;
+
+	return res;
+}
+
+/*
+ * From ARM Run-time ABI for ARM Architecture
+ * ARM IHI 0043D, current through ABI release 2.09
+ *
+ * 4.1.2 The floating-point helper functions
+ */
+
+/*
+ * Table 2, Standard aeabi_double_t precision floating-point arithmetic helper
+ * functions
+ */
+
+aeabi_double_t __aeabi_dadd(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_to_d(f64_add(f64_from_d(a), f64_from_d(b)));
+}
+
+aeabi_double_t __aeabi_ddiv(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_to_d(f64_div(f64_from_d(a), f64_from_d(b)));
+}
+
+aeabi_double_t __aeabi_dmul(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_to_d(f64_mul(f64_from_d(a), f64_from_d(b)));
+}
+
+
+aeabi_double_t __aeabi_drsub(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_to_d(f64_sub(f64_from_d(b), f64_from_d(a)));
+}
+
+aeabi_double_t __aeabi_dsub(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_to_d(f64_sub(f64_from_d(a), f64_from_d(b)));
+}
+
+/*
+ * Table 3, double precision floating-point comparison helper functions
+ */
+
+int __aeabi_dcmpeq(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_eq(f64_from_d(a), f64_from_d(b));
+}
+
+int __aeabi_dcmplt(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_lt(f64_from_d(a), f64_from_d(b));
+}
+
+int __aeabi_dcmple(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_le(f64_from_d(a), f64_from_d(b));
+}
+
+int __aeabi_dcmpge(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_le(f64_from_d(b), f64_from_d(a));
+}
+
+int __aeabi_dcmpgt(aeabi_double_t a, aeabi_double_t b)
+{
+	return f64_lt(f64_from_d(b), f64_from_d(a));
+}
+
+/*
+ * Table 4, Standard single precision floating-point arithmetic helper
+ * functions
+ */
+
+aeabi_float_t __aeabi_fadd(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_to_f(f32_add(f32_from_f(a), f32_from_f(b)));
+}
+
+aeabi_float_t __aeabi_fdiv(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_to_f(f32_div(f32_from_f(a), f32_from_f(b)));
+}
+
+aeabi_float_t __aeabi_fmul(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_to_f(f32_mul(f32_from_f(a), f32_from_f(b)));
+}
+
+aeabi_float_t __aeabi_frsub(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_to_f(f32_sub(f32_from_f(b), f32_from_f(a)));
+}
+
+aeabi_float_t __aeabi_fsub(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_to_f(f32_sub(f32_from_f(a), f32_from_f(b)));
+}
+
+/*
+ * Table 5, Standard single precision floating-point comparison helper
+ * functions
+ */
+
+int __aeabi_fcmpeq(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_eq(f32_from_f(a), f32_from_f(b));
+}
+
+int __aeabi_fcmplt(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_lt(f32_from_f(a), f32_from_f(b));
+}
+
+int __aeabi_fcmple(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_le(f32_from_f(a), f32_from_f(b));
+}
+
+int __aeabi_fcmpge(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_le(f32_from_f(b), f32_from_f(a));
+}
+
+int __aeabi_fcmpgt(aeabi_float_t a, aeabi_float_t b)
+{
+	return f32_lt(f32_from_f(b), f32_from_f(a));
+}
+
+/*
+ * Table 6, Standard floating-point to integer conversions
+ */
+
+int __aeabi_d2iz(aeabi_double_t a)
+{
+	return f64_to_i32_r_minMag(f64_from_d(a), false);
+}
+
+unsigned __aeabi_d2uiz(aeabi_double_t a)
+{
+	return f64_to_ui32_r_minMag(f64_from_d(a), false);
+}
+
+long long __aeabi_d2lz(aeabi_double_t a)
+{
+	return f64_to_i64_r_minMag(f64_from_d(a), false);
+}
+
+unsigned long long __aeabi_d2ulz(aeabi_double_t a)
+{
+	return f64_to_ui64_r_minMag(f64_from_d(a), false);
+}
+
+int __aeabi_f2iz(aeabi_float_t a)
+{
+	return f32_to_i32_r_minMag(f32_from_f(a), false);
+}
+
+unsigned __aeabi_f2uiz(aeabi_float_t a)
+{
+	return f32_to_ui32_r_minMag(f32_from_f(a), false);
+}
+
+long long __aeabi_f2lz(aeabi_float_t a)
+{
+	return f32_to_i64_r_minMag(f32_from_f(a), false);
+}
+
+unsigned long long __aeabi_f2ulz(aeabi_float_t a)
+{
+	return f32_to_ui64_r_minMag(f32_from_f(a), false);
+}
+
+/*
+ * Table 7, Standard conversions between floating types
+ */
+
+aeabi_float_t __aeabi_d2f(aeabi_double_t a)
+{
+	return f32_to_f(f64_to_f32(f64_from_d(a)));
+}
+
+aeabi_double_t __aeabi_f2d(aeabi_float_t a)
+{
+	return f64_to_d(f32_to_f64(f32_from_f(a)));
+}
+
+/*
+ * Table 8, Standard integer to floating-point conversions
+ */
+
+aeabi_double_t __aeabi_i2d(int a)
+{
+	return f64_to_d(i32_to_f64(a));
+}
+
+aeabi_double_t __aeabi_ui2d(unsigned a)
+{
+	return f64_to_d(ui32_to_f64(a));
+}
+
+aeabi_double_t __aeabi_l2d(long long a)
+{
+	return f64_to_d(i64_to_f64(a));
+}
+
+aeabi_double_t __aeabi_ul2d(unsigned long long a)
+{
+	return f64_to_d(ui64_to_f64(a));
+}
+
+aeabi_float_t __aeabi_i2f(int a)
+{
+	return f32_to_f(i32_to_f32(a));
+}
+
+aeabi_float_t __aeabi_ui2f(unsigned a)
+{
+	return f32_to_f(ui32_to_f32(a));
+}
+
+aeabi_float_t __aeabi_l2f(long long a)
+{
+	return f32_to_f(i64_to_f32(a));
+}
+
+aeabi_float_t __aeabi_ul2f(unsigned long long a)
+{
+	return f32_to_f(ui64_to_f32(a));
+}
diff --git a/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.inf b/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.inf
index cbb49f49ad..4d0c94df83 100644
--- a/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.inf
+++ b/ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.inf
@@ -2,7 +2,7 @@
 #  ARM Software floating point Library.

 #

 #  Copyright (c) 2014, ARM Ltd. All rights reserved.

-#  Copyright (c) 2015, Linaro Ltd. All rights reserved.

+#  Copyright (c) 2015 - 2019, Linaro Ltd. All rights reserved.

 #

 #  SPDX-License-Identifier: BSD-2-Clause-Patent

 #

@@ -10,7 +10,7 @@
 ##

 

 [Defines]

-  INF_VERSION                    = 0x00010005

+  INF_VERSION                    = 0x0001001B

   BASE_NAME                      = ArmSoftFloatLib

   FILE_GUID                      = a485f921-749e-41a0-9f91-62f09a38721c

   MODULE_TYPE                    = BASE

@@ -22,26 +22,71 @@
 #

 

 [Sources]

-  bits32/softfloat.c

-  Arm/__aeabi_dcmpeq.c

-  Arm/__aeabi_fcmpeq.c

-  Arm/__aeabi_dcmpge.c

-  Arm/__aeabi_fcmpge.c

-  Arm/__aeabi_dcmpgt.c

-  Arm/__aeabi_fcmpgt.c

-  Arm/__aeabi_dcmple.c

-  Arm/__aeabi_fcmple.c

-  Arm/__aeabi_dcmplt.c

-  Arm/__aeabi_fcmplt.c

-  Arm/__aeabi_dcmpun.c

-  Arm/__aeabi_fcmpun.c

+  berkeley-softfloat-3/source/ARM-VFPv2/s_propagateNaNF64UI.c

+  berkeley-softfloat-3/source/ARM-VFPv2/softfloat_raiseFlags.c

+  berkeley-softfloat-3/source/ARM-VFPv2/specialize.h

+  berkeley-softfloat-3/source/f32_add.c

+  berkeley-softfloat-3/source/f32_div.c

+  berkeley-softfloat-3/source/f32_eq.c

+  berkeley-softfloat-3/source/f32_le.c

+  berkeley-softfloat-3/source/f32_lt.c

+  berkeley-softfloat-3/source/f32_mul.c

+  berkeley-softfloat-3/source/f32_sub.c

+  berkeley-softfloat-3/source/f32_to_f64.c

+  berkeley-softfloat-3/source/f32_to_i32_r_minMag.c

+  berkeley-softfloat-3/source/f32_to_i64_r_minMag.c

+  berkeley-softfloat-3/source/f32_to_ui32_r_minMag.c

+  berkeley-softfloat-3/source/f32_to_ui64_r_minMag.c

+  berkeley-softfloat-3/source/f64_add.c

+  berkeley-softfloat-3/source/f64_div.c

+  berkeley-softfloat-3/source/f64_eq.c

+  berkeley-softfloat-3/source/f64_le.c

+  berkeley-softfloat-3/source/f64_lt.c

+  berkeley-softfloat-3/source/f64_mul.c

+  berkeley-softfloat-3/source/f64_sub.c

+  berkeley-softfloat-3/source/f64_to_f32.c

+  berkeley-softfloat-3/source/f64_to_i32_r_minMag.c

+  berkeley-softfloat-3/source/f64_to_i64_r_minMag.c

+  berkeley-softfloat-3/source/f64_to_ui32_r_minMag.c

+  berkeley-softfloat-3/source/f64_to_ui64_r_minMag.c

+  berkeley-softfloat-3/source/i32_to_f32.c

+  berkeley-softfloat-3/source/i32_to_f64.c

+  berkeley-softfloat-3/source/i64_to_f32.c

+  berkeley-softfloat-3/source/i64_to_f64.c

+  berkeley-softfloat-3/source/include/internals.h

+  berkeley-softfloat-3/source/include/opts-GCC.h

+  berkeley-softfloat-3/source/include/primitiveTypes.h

+  berkeley-softfloat-3/source/include/primitives.h

+  berkeley-softfloat-3/source/include/softfloat.h

+  berkeley-softfloat-3/source/include/softfloat_types.h

+  berkeley-softfloat-3/source/s_addMagsF32.c

+  berkeley-softfloat-3/source/s_addMagsF64.c

+  berkeley-softfloat-3/source/s_countLeadingZeros32.c

+  berkeley-softfloat-3/source/s_countLeadingZeros64.c

+  berkeley-softfloat-3/source/s_countLeadingZeros8.c

+  berkeley-softfloat-3/source/s_mul64To128.c

+  berkeley-softfloat-3/source/s_normRoundPackToF32.c

+  berkeley-softfloat-3/source/s_normRoundPackToF64.c

+  berkeley-softfloat-3/source/s_normSubnormalF32Sig.c

+  berkeley-softfloat-3/source/s_normSubnormalF64Sig.c

+  berkeley-softfloat-3/source/s_roundPackToF32.c

+  berkeley-softfloat-3/source/s_roundPackToF64.c

+  berkeley-softfloat-3/source/s_shiftRightJam32.c

+  berkeley-softfloat-3/source/s_shiftRightJam64.c

+  berkeley-softfloat-3/source/s_shortShiftRightJam64.c

+  berkeley-softfloat-3/source/s_subMagsF32.c

+  berkeley-softfloat-3/source/s_subMagsF64.c

+  berkeley-softfloat-3/source/softfloat_state.c

+  berkeley-softfloat-3/source/ui32_to_f32.c

+  berkeley-softfloat-3/source/ui32_to_f64.c

+  berkeley-softfloat-3/source/ui64_to_f32.c

+  berkeley-softfloat-3/source/ui64_to_f64.c

 

-  Arm/__aeabi_cdcmp.asm   | RVCT

-  Arm/__aeabi_cfcmp.asm   | RVCT

+  ArmSoftFloatLib.c

+  platform.h

 

 [Packages]

   MdePkg/MdePkg.dec

 

 [BuildOptions]

-  GCC:*_*_*_CC_FLAGS = -DSOFTFLOAT_FOR_GCC -Wno-enum-compare -fno-lto

-  RVCT:*_*_*_CC_FLAGS = -DSOFTFLOAT_FOR_GCC

+  GCC:*_*_*_CC_FLAGS = -fno-lto -ffreestanding -Wno-unused-label

diff --git a/ArmPkg/Library/ArmSoftFloatLib/platform.h b/ArmPkg/Library/ArmSoftFloatLib/platform.h
new file mode 100644
index 0000000000..31e843463a
--- /dev/null
+++ b/ArmPkg/Library/ArmSoftFloatLib/platform.h
@@ -0,0 +1,11 @@
+/*

+ * Copyright (c) 2019, Linaro Limited

+ *

+ * SPDX-License-Identifier: BSD-2-Clause-Patent

+ */

+

+#define LITTLEENDIAN 1

+#define INLINE inline __attribute__((always_inline))

+#define SOFTFLOAT_BUILTIN_CLZ 1

+#define SOFTFLOAT_FAST_INT64

+#include "opts-GCC.h"