From 265fa07b34a813ba9d8249ddad82d71e6002c10d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 2 Sep 2010 12:42:19 +0000
Subject: Merge of the reuse-temps branch: - Reload temporaries are marked as
 destroyed (set to Vundef) across   operations in the semantics of LTL, LTLin,
 Linear and Mach,   allowing Asmgen to reuse them. - Added IA32 port. -
 Cleaned up float conversions and axiomatization of floats.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1499 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/casts3.c | 60 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 test/regression/casts3.c

(limited to 'test/regression/casts3.c')

diff --git a/test/regression/casts3.c b/test/regression/casts3.c
new file mode 100644
index 00000000..f6e35c24
--- /dev/null
+++ b/test/regression/casts3.c
@@ -0,0 +1,60 @@
+/* Testing int <-> float conversions */
+
+#include <stdio.h>
+
+unsigned int urand(void)
+{
+  static unsigned int seed = 0;
+  seed = seed * 25173 + 8453;
+  return seed;
+}
+
+signed int srand(void)
+{
+  return (signed int) urand();
+}
+
+double fuzzing[] = { 0.0, 0.01, 0.25, 0.4, 0.5, 0.6, 0.75, 0.99 };
+
+double fuzz(void)
+{
+  static unsigned int n = 0;
+  n = n + 1;
+  if (n >= sizeof(fuzzing) / sizeof(double)) n = 0;
+  return fuzzing[n];
+}
+
+void test_signed_conv(void)
+{
+  int n = srand();
+  double f = fuzz();
+  double d = (double) n;
+  double e = n < 0 ? d - f : d + f;
+  int m = (int) e;
+  if (m != n)
+    printf("\nError: signed: %d, %g, %g, %d\n", n, f, e, m);
+}
+
+void test_unsigned_conv(void)
+{
+  unsigned int n = srand();
+  double f = fuzz();
+  double d = (double) n;
+  double e = f + d;
+  unsigned int m = (unsigned int) e;
+  if (m != n)
+    printf("\nError: unsigned: %u, %g, %g, %u\n", n, f, e, m);
+}
+
+int main()
+{
+  int i;
+  for (i = 0; i < 1000000; i++) {
+    if ((i % 1000) == 0) { printf("."); fflush(stdout); }
+    test_signed_conv();
+    test_unsigned_conv();
+  }
+  printf("\n");
+  return 0;
+}
+
-- 
cgit