From de7c3ec210cb5374bfcd133394fa35f0c7f516ac Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 9 Mar 2012 10:01:06 +0000
Subject: PrintCminor: printing Sskip test/cminor: updating

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1839 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/cminor/Makefile          | 4 ++--
 test/cminor/mainconversions.c | 4 ++--
 test/cminor/marksweep.cmp     | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'test')

diff --git a/test/cminor/Makefile b/test/cminor/Makefile
index 04c01bc..a66bcc6 100644
--- a/test/cminor/Makefile
+++ b/test/cminor/Makefile
@@ -62,12 +62,12 @@ clean::
 	rm -f lists
 
 stopcopy: stopcopy.o maingc.o
-	$(CC) $(CFLAGS) -o stopcopy stopcopy.o maingc.o
+	$(CC) $(CFLAGS) -o stopcopy stopcopy.o maingc.o $(LIBMATH)
 clean::
 	rm -f stopcopy
 
 marksweep: marksweep.o maingc.o marksweepcheck.o
-	$(CC) $(CFLAGS) -o marksweep marksweep.o maingc.o marksweepcheck.o
+	$(CC) $(CFLAGS) -o marksweep marksweep.o maingc.o marksweepcheck.o $(LIBMATH)
 clean::
 	rm -f marksweep
 
diff --git a/test/cminor/mainconversions.c b/test/cminor/mainconversions.c
index 4adfaa5..a274e99 100644
--- a/test/cminor/mainconversions.c
+++ b/test/cminor/mainconversions.c
@@ -98,9 +98,9 @@ int main(int argc, char ** argv)
   int numtests = 1000000;
 
   TEST(test_intoffloat, cases_intoffloat, double,
-       (random_double() - 2147483648.0) * 1.1);
+       (random_double() - 2147483648.0));
   TEST(test_intuoffloat, cases_intuoffloat, double,
-       random_double() * 1.1);
+       random_double());
   TEST(test_floatofint, cases_floatofint, int,
        (int) random_uint());
   TEST(test_floatofintu, cases_floatofintu, unsigned int,
diff --git a/test/cminor/marksweep.cmp b/test/cminor/marksweep.cmp
index 3988299..5b35678 100644
--- a/test/cminor/marksweep.cmp
+++ b/test/cminor/marksweep.cmp
@@ -44,7 +44,7 @@ var "gray_cache_overflow"[4]
   p = "freelist_head";
   {{ {{ loop {
       b = int32[p];               /* b is current free block */
-      if (b == 0) exit 2;         /* free list exhausted */
+      if (b == 0) exit 1;         /* free list exhausted */
       header = int32[b - 4];
       size = Size_header(header);
       if (size >= req_size) exit;
-- 
cgit v1.2.3