diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-07-31 12:44:18 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-07-31 12:44:18 +0000 |
commit | 4c8a550fae641115170e4fc9c1b1292834e0c6c0 (patch) | |
tree | 2363194510dce61b3a6e3280601654c0c8646f9a /test/c | |
parent | 99294ec7c8054b92536d14883599ff3bfe7745ee (diff) | |
download | compcert-4c8a550fae641115170e4fc9c1b1292834e0c6c0.tar.gz compcert-4c8a550fae641115170e4fc9c1b1292834e0c6c0.zip |
Flag to turn on/off the recognition of fused multiply-add and multiply-sub
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@706 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/c')
-rw-r--r-- | test/c/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index c6cd9289..bff62114 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -1,7 +1,7 @@ include ../../Makefile.config CCOMP=../../ccomp -CCOMPFLAGS=-stdlib ../../runtime -dclight -dasm +CCOMPFLAGS=-stdlib ../../runtime -fmadd -dclight -dasm CFLAGS=-O1 -Wall |