From be4d6e42dfa287b93b1a35ec820ab2a5aaf8c7ec Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 19 May 2013 09:54:40 +0000
Subject: Merge of the float32 branch: - added RTL type "Tsingle" -
 ABI-compatible passing of single-precision floats on ARM and x86

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2260 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Results/fftsp | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 test/c/Results/fftsp

(limited to 'test/c/Results/fftsp')

diff --git a/test/c/Results/fftsp b/test/c/Results/fftsp
new file mode 100644
index 00000000..cbeb0999
--- /dev/null
+++ b/test/c/Results/fftsp
@@ -0,0 +1 @@
+4096 points, result OK
-- 
cgit