Added float64 conversion tests

Author: ZERICO2005

src/crt/float64_to_int.c

@@ -1,5 +1,6 @@
 #include <stdbool.h>
 #include <stdint.h>
+#include <math.h>
 
 typedef union F64_pun {
     long double flt;
@@ -91,6 +92,9 @@ static uint64_t f64_to_unsigned(F64_pun val) {
 }
 
 uint64_t _dtoull_c(long double x) {
+    if (signbit(x)) {
+        return 0;
+    }
     F64_pun val;
     val.flt = x;
     /* overflow || signbit(x) || isinf(x) || isnan(x) */
@@ -102,6 +106,9 @@ uint64_t _dtoull_c(long double x) {
 }
 
 uint32_t _dtoul_c(long double x) {
+    if (signbit(x)) {
+        return 0;
+    }
     F64_pun val;
     val.flt = x;
     /* overflow || signbit(x) || isinf(x) || isnan(x) */
@@ -114,11 +121,9 @@ uint32_t _dtoul_c(long double x) {
 
 int64_t _dtoll_c(long double x) {
     F64_pun val;
-    val.flt = x;
-    // tests for signbit(x)
-    bool x_sign = (val.reg.BC >= 0x8000);
-    // clears the signbit
-    val.reg.BC &= 0x7FFF;
+    bool x_sign = signbit(x);
+    val.flt = fabsl(x);
+    
     /* overflow || isinf(x) || isnan(x) */
     if (val.reg.BC >= ((Float64_bias + Float64_i64_max_exp) << Float64_exp_BC_shift)) {
         /* undefined return value for inf/NaN values of x */
@@ -131,11 +136,9 @@ int64_t _dtoll_c(long double x) {
 
 int32_t _dtol_c(long double x) {
     F64_pun val;
-    val.flt = x;
-    // tests for signbit(x)
-    bool x_sign = (val.reg.BC >= 0x8000);
-    // clears the signbit
-    val.reg.BC &= 0x7FFF;
+    bool x_sign = signbit(x);
+    val.flt = fabsl(x);
+    
     /* overflow || isinf(x) || isnan(x) */
     if (val.reg.BC >= ((Float64_bias + Float64_i32_max_exp) << Float64_exp_BC_shift)) {
         /* undefined return value for inf/NaN values of x */

src/libc/float64_rounding.c

@@ -11,7 +11,7 @@ typedef union F64_pun {
 } F64_pun;
 
 #if 0
-/* implemented in truncl.src/truncl.c */
+/* implemented in truncl.c */
 long double truncl(long double x) {
     F64_pun arg_x, ret;
     arg_x.flt = x;

src/libc/frexpf.c

@@ -1,4 +1,8 @@
-#if 0
+/**
+ * @remarks Zilog's implementation of ldexpf is probably smaller since it does
+ * not handle subnormals.
+ */
+#if 1
 /************************************************************************/
 /*                                                                      */
 /*			Copyright (C) 2000-2008 Zilog, Inc.		*/

src/libc/ldexpf.c

@@ -1,4 +1,9 @@
-#if 0
+/**
+ * @remarks Zilog's implementation of ldexpf is probably smaller since it does
+ * not handle subnormals. Once subnormal support in _fmul is added, switch to
+ * the other routine.
+ */
+#if 1
 
 /************************************************************************/
 /*                                                                      */

test/floating_point/float32_frexp/src/main.c

@@ -8,6 +8,9 @@
 #include <ti/getcsc.h>
 #include <sys/util.h>
 
+/* enable if the toolchain is configured to use the subnormal compliant frexpf */
+#if 0
+
 #include "f32_frexp_LUT.h"
 
 #define ARRAY_LENGTH(x) (sizeof(x) / sizeof(x[0]))
@@ -53,3 +56,14 @@ int main(void) {
 
     return 0;
 }
+
+#else
+
+int main(void) {
+    os_ClrHome();
+    printf("All tests passed");
+    while (!os_GetCSC());
+    return 0;
+}
+
+#endif

test/floating_point/float32_ldexp/src/main.c

@@ -8,6 +8,9 @@
 #include <ti/getcsc.h>
 #include <sys/util.h>
 
+/* enable if the toolchain is configured to use the subnormal compliant ldexpf */
+#if 0
+
 #include "f32_ldexp_LUT.h"
 
 #define ARRAY_LENGTH(x) (sizeof(x) / sizeof(x[0]))
@@ -54,3 +57,14 @@ int main(void) {
 
     return 0;
 }
+
+#else
+
+int main(void) {
+    os_ClrHome();
+    printf("All tests passed");
+    while (!os_GetCSC());
+    return 0;
+}
+
+#endif

test/floating_point/float32_to_float64/autotest.json

@@ -0,0 +1,40 @@
+{
+	"transfer_files": [
+	  "bin/DEMO.8xp"
+	],
+	"target": {
+	  "name": "DEMO",
+	  "isASM": true
+	},
+	"sequence": [
+	  "action|launch",
+	  "delay|1000",
+	  "hashWait|1",
+	  "key|enter",
+	  "delay|300",
+	  "hashWait|2"
+	],
+	"hashes": {
+	  "1": {
+		"description": "All tests passed",
+		"timeout": 5000,
+		"start": "vram_start",
+		"size": "vram_16_size",
+		"expected_CRCs": [
+		  "38E2AD5A"
+		]
+	  },
+	  "2": {
+		"description": "Exit",
+		"start": "vram_start",
+		"size": "vram_16_size",
+		"expected_CRCs": [
+		  "FFAF89BA",
+		  "101734A5",
+		  "9DA19F44",
+		  "A32840C8",
+		  "349F4775"
+		]
+	  }
+	}
+}

test/floating_point/float32_to_float64/makefile

@@ -0,0 +1,17 @@
+# ----------------------------
+# Makefile Options
+# ----------------------------
+
+NAME = DEMO
+ICON = icon.png
+DESCRIPTION = "CE C Toolchain Demo"
+COMPRESSED = NO
+
+CFLAGS = -Wall -Wextra -Wshadow -Wfloat-conversion -Wimplicit-float-conversion -Wimplicit-int-float-conversion -Oz -std=c11
+CXXFLAGS = -Wall -Wextra -Wshadow -Wfloat-conversion -Wimplicit-float-conversion -Wimplicit-int-float-conversion -Oz -std=c++11
+
+PREFER_OS_LIBC = NO
+
+# ----------------------------
+
+include $(shell cedev-config --makefile)