summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorArd Biesheuvel <ard.biesheuvel@linaro.org>2019-05-24 16:52:13 +0200
committerArd Biesheuvel <ard.biesheuvel@linaro.org>2019-05-31 17:54:09 +0200
commit3cc57695df5a6e8c65fb46b993836c315cabf49d (patch)
treef2f71357337ee74a5621391632adeb193a35bbff
parent85af0b8116f3cb926ad9d88f9503dfeef71a5cfe (diff)
downloadedk2-3cc57695df5a6e8c65fb46b993836c315cabf49d.tar.gz
edk2-3cc57695df5a6e8c65fb46b993836c315cabf49d.tar.bz2
edk2-3cc57695df5a6e8c65fb46b993836c315cabf49d.zip
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>
-rw-r--r--ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.c283
-rw-r--r--ArmPkg/Library/ArmSoftFloatLib/ArmSoftFloatLib.inf83
-rw-r--r--ArmPkg/Library/ArmSoftFloatLib/platform.h11
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"