From d176dda24c5522205efff5f2b9a4929ad0ea5a64 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 21 Aug 2009 12:59:10 +0000
Subject: Stronger constant folding, esp. w.r.t. floats

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1137 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Results/initializers | Bin 239 -> 277 bytes
 test/c/initializers.c       |   7 +++++++
 2 files changed, 7 insertions(+)

(limited to 'test/c')

diff --git a/test/c/Results/initializers b/test/c/Results/initializers
index 67be47f..7285bb7 100644
Binary files a/test/c/Results/initializers and b/test/c/Results/initializers differ
diff --git a/test/c/initializers.c b/test/c/initializers.c
index da45e5b..5fa4fd4 100644
--- a/test/c/initializers.c
+++ b/test/c/initializers.c
@@ -23,6 +23,11 @@ struct {
   double v;
 } x10 = { { 'v', 7 }, 2.718 };
 
+float x11 = 1 + 1 / 3.14159;
+
+double x12 = 1 / 3.14159 + 1;
+
+
 int main(int argc, char ** argv)
 {
   int i;
@@ -43,6 +48,8 @@ int main(int argc, char ** argv)
   printf("}, %.3f }\n", x9.z);
   printf("x10 = { { '%c', %d }, %.3f }\n",
          x10.u.y, x10.u.z, x10.v);
+  printf("x11 = %.10f\n", x11);
+  printf("x12 = %.10f\n", x12);
   return 0;
 }
 
-- 
cgit v1.2.3