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