aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Results
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-08-26 10:04:43 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2017-08-26 10:04:43 +0200
commitf6cbce233ef89c30bbc8334c800e8a205677ec8b (patch)
tree5d71e539a0241c74c6cf99a1b9c99843411d04f8 /test/c/Results
parent4affb2b02e486681b39add0dbaf4f873a91885c8 (diff)
downloadcompcert-kvx-f6cbce233ef89c30bbc8334c800e8a205677ec8b.tar.gz
compcert-kvx-f6cbce233ef89c30bbc8334c800e8a205677ec8b.zip
Reduce the running times of the tests in test/c
Running times were too long when executed on low-end ARM or PowerPC hardware, or under QEMU emulation.
Diffstat (limited to 'test/c/Results')
-rw-r--r--test/c/Results/binarytrees16
-rw-r--r--test/c/Results/chomp16
-rw-r--r--test/c/Results/fannkuch62
-rw-r--r--test/c/Results/fib2
-rw-r--r--test/c/Results/mandelbrotbin1125013 -> 125013 bytes
-rw-r--r--test/c/Results/nbody2
-rw-r--r--test/c/Results/perlin2
-rw-r--r--test/c/Results/spectral2
8 files changed, 48 insertions, 54 deletions
diff --git a/test/c/Results/binarytrees b/test/c/Results/binarytrees
index 696bd5c8..9dfe1355 100644
--- a/test/c/Results/binarytrees
+++ b/test/c/Results/binarytrees
@@ -1,9 +1,7 @@
-stretch tree of depth 17 check: -1
-131072 trees of depth 4 check: -131072
-32768 trees of depth 6 check: -32768
-8192 trees of depth 8 check: -8192
-2048 trees of depth 10 check: -2048
-512 trees of depth 12 check: -512
-128 trees of depth 14 check: -128
-32 trees of depth 16 check: -32
-long lived tree of depth 16 check: -1
+stretch tree of depth 13 check: -1
+8192 trees of depth 4 check: -8192
+2048 trees of depth 6 check: -2048
+512 trees of depth 8 check: -512
+128 trees of depth 10 check: -128
+32 trees of depth 12 check: -32
+long lived tree of depth 12 check: -1
diff --git a/test/c/Results/chomp b/test/c/Results/chomp
index c2154208..145b603a 100644
--- a/test/c/Results/chomp
+++ b/test/c/Results/chomp
@@ -1,18 +1,14 @@
-player 0 plays at (2,2)
-player 1 plays at (7,1)
-player 0 plays at (0,2)
-player 1 plays at (7,0)
-player 0 plays at (6,1)
+player 0 plays at (1,1)
player 1 plays at (6,0)
-player 0 plays at (5,1)
+player 0 plays at (0,6)
player 1 plays at (5,0)
-player 0 plays at (4,1)
+player 0 plays at (0,5)
player 1 plays at (4,0)
-player 0 plays at (3,1)
+player 0 plays at (0,4)
player 1 plays at (3,0)
-player 0 plays at (2,1)
+player 0 plays at (0,3)
player 1 plays at (2,0)
-player 0 plays at (1,1)
+player 0 plays at (0,2)
player 1 plays at (1,0)
player 0 plays at (0,1)
player 1 plays at (0,0)
diff --git a/test/c/Results/fannkuch b/test/c/Results/fannkuch
index 15d56d61..be1815d4 100644
--- a/test/c/Results/fannkuch
+++ b/test/c/Results/fannkuch
@@ -1,31 +1,31 @@
-1234567891011
-2134567891011
-2314567891011
-3214567891011
-3124567891011
-1324567891011
-2341567891011
-3241567891011
-3421567891011
-4321567891011
-4231567891011
-2431567891011
-3412567891011
-4312567891011
-4132567891011
-1432567891011
-1342567891011
-3142567891011
-4123567891011
-1423567891011
-1243567891011
-2143567891011
-2413567891011
-4213567891011
-2345167891011
-3245167891011
-3425167891011
-4325167891011
-4235167891011
-2435167891011
-Pfannkuchen(11) = 51
+12345678910
+21345678910
+23145678910
+32145678910
+31245678910
+13245678910
+23415678910
+32415678910
+34215678910
+43215678910
+42315678910
+24315678910
+34125678910
+43125678910
+41325678910
+14325678910
+13425678910
+31425678910
+41235678910
+14235678910
+12435678910
+21435678910
+24135678910
+42135678910
+23451678910
+32451678910
+34251678910
+43251678910
+42351678910
+24351678910
+Pfannkuchen(10) = 38
diff --git a/test/c/Results/fib b/test/c/Results/fib
index 53a71233..84ce6474 100644
--- a/test/c/Results/fib
+++ b/test/c/Results/fib
@@ -1 +1 @@
-fib(40) = 165580141
+fib(35) = 14930352
diff --git a/test/c/Results/mandelbrot b/test/c/Results/mandelbrot
index 2e350cf0..b81e96bf 100644
--- a/test/c/Results/mandelbrot
+++ b/test/c/Results/mandelbrot
Binary files differ
diff --git a/test/c/Results/nbody b/test/c/Results/nbody
index d132576b..41b648fd 100644
--- a/test/c/Results/nbody
+++ b/test/c/Results/nbody
@@ -1,2 +1,2 @@
-0.169075164
--0.169031665
+-0.169086185
diff --git a/test/c/Results/perlin b/test/c/Results/perlin
index 74e56554..4503fc1c 100644
--- a/test/c/Results/perlin
+++ b/test/c/Results/perlin
@@ -1 +1 @@
-1.7556e+02
+-4.0543e+03
diff --git a/test/c/Results/spectral b/test/c/Results/spectral
index 50f033a0..1e35f7e0 100644
--- a/test/c/Results/spectral
+++ b/test/c/Results/spectral
@@ -1 +1 @@
-1.274224153
+1.274224148