diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-20 09:24:18 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-20 09:24:18 +0000 |
commit | 34d015fde1fa0cf02a18a07fc362a75617d94e54 (patch) | |
tree | 61d47434603337ddf6ea49d3e8d99dc064117d45 /test/c/Results | |
parent | 0c805fe28e5ebdf4890dd42f5c12a85ee61bafc5 (diff) |
Added FFTW benchmark provided by Guillaume Melquiond
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2203 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/c/Results')
-rw-r--r-- | test/c/Results/fftw | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/c/Results/fftw b/test/c/Results/fftw new file mode 100644 index 0000000..a1b6130 --- /dev/null +++ b/test/c/Results/fftw @@ -0,0 +1,16 @@ +o[0] = 2.918193e+01 +o[1] = -3.230611e+01 +o[2] = 1.271687e+01 +o[3] = -1.099040e+01 +o[4] = 5.728673e+00 +o[5] = -4.918940e+00 +o[6] = 1.880764e+00 +o[7] = -1.292782e+00 +o[8] = 1.104073e+02 +o[9] = -5.867858e+01 +o[10] = 2.768382e+01 +o[11] = -2.073843e+01 +o[12] = 1.229410e+01 +o[13] = -9.195029e+00 +o[14] = 4.307537e+00 +o[15] = -2.080713e+00 |