From 0c805fe28e5ebdf4890dd42f5c12a85ee61bafc5 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 20 Apr 2013 08:42:06 +0000
Subject: Tests "floats" and "floats-basics" moved from test/c to
 test/regression

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2202 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/regression/Makefile | 27 ++++++++++++++++-----------
 1 file changed, 16 insertions(+), 11 deletions(-)

(limited to 'test/regression/Makefile')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 7791794..454bcef 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -5,16 +5,22 @@ CCOMPFLAGS=-stdlib ../../runtime -dparse -dc -dclight -dasm -fall
 
 LIBS=$(LIBMATH)
 
-# Can run and have reference output in Results
+# Can run, both in compiled mode and in interpreter mode,
+# and have reference output in Results
 
-TESTS=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \
-  bitfields5 bitfields6 bitfields7 bitfields8 \
+TESTS=int32 int64 floats floats-basics \
   expr1 expr6 funptr2 initializers volatile1 volatile2 volatile3 \
   funct3 expr5 struct7 struct8 struct11 casts1 casts2 char1 \
-  sizeof1 sizeof2 packedstruct1 packedstruct2 \
-  instrsel bool compar switch int32 int64
+  sizeof1 sizeof2
+
+# Can run, but only in compiled mode, and have reference output in Results
+
+TESTS_COMP=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \
+  bitfields5 bitfields6 bitfields7 bitfields8 \
+  packedstruct1 packedstruct2 \
 
 # Other tests: should compile to .s without errors (but expect warnings)
+
 EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \
   init2 init3 init4 pragmas ptrs1 ptrs2 struct1 struct2 struct3 \
   struct4 struct5 struct6 struct9 struct10 types1 seqops
@@ -22,9 +28,9 @@ EXTRAS=annot1 commaprec expr2 expr3 expr4 extern1 funct2 funptr1 init1 \
 # Test known to fail
 FAILURES=funct1 varargs1
 
-all: $(TESTS:%=%.compcert) $(EXTRAS:%=%.s)
+all: $(TESTS:%=%.compcert) $(TESTS_COMP:%=%.compcert) $(EXTRAS:%=%.s)
 
-all_s: $(TESTS:%=%.s) $(EXTRAS:%=%.s)
+all_s: $(TESTS:%=%.s) $(TESTS_COMP:%=%.s) $(EXTRAS:%=%.s)
 
 %.compcert: %.c $(CCOMP)
 	$(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS)
@@ -37,14 +43,12 @@ clean:
 	rm -f *.parsed.c *.compcert.c *.light.c *.s *.o *~ 
 
 test:
-	@for i in $(TESTS); do \
+	@for i in $(TESTS) $(TESTS_COMP); do \
 	   if ./$$i.compcert | cmp -s - Results/$$i; \
            then echo "$$i: passed"; \
            else echo "$$i: FAILED"; \
 	   fi; \
-         done
-
-interp:
+         done;
 	@for i in $(TESTS); do \
            if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \
              if cmp -s _cinterp.log Results/$$i; \
@@ -54,6 +58,7 @@ interp:
            else \
              echo "$$i: interpreter undefined behavior"; \
            fi; \
+           rm -f _cinterp.log; \
          done
 
 bench:
-- 
cgit v1.2.3