From a2b28d5e12797c2b35f49cfba2e3ec005da9377b Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 24 Oct 2016 14:29:25 +0200
Subject: Update the tests in test/regression, continued

---
 test/regression/Makefile              | 17 ++++-------------
 test/regression/Results/builtins-ia32 |  1 +
 2 files changed, 5 insertions(+), 13 deletions(-)

(limited to 'test/regression')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 88f50466..5def966b 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -69,22 +69,13 @@ clean:
 	rm -f *.parsed.c *.compcert.c *.light.c *.s *.o *.sdump *~ 
 
 test:
+	@echo "----------- Compiled tests -------------"
 	@for i in $(TESTS) $(TESTS_COMP); do \
-	   if ./$$i.compcert | cmp -s - Results/$$i; \
-           then echo "$$i: passed"; \
-           else echo "$$i: FAILED"; exit 2; \
-	   fi; \
+	   ./Runtest $$i ./$$i.compcert; \
          done
+	@echo "----------- Interpreted tests -------------"
 	@for i in $(TESTS); do \
-           if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \
-             if cmp -s _cinterp.log Results/$$i; \
-             then echo "$$i: interpreter passed"; \
-             else echo "$$i: interpreter FAILED"; \
-             fi; \
-           else \
-             echo "$$i: interpreter undefined behavior"; \
-           fi; \
-           rm -f _cinterp.log; \
+           ./Runtest $$i $(CCOMP) -fall -interp -quiet $$i.c; \
          done
 	@for i in $(TESTS_DIFF); do \
            if $(CCOMP) -fall -interp -quiet $$i.c > _cinterp.log; then \
diff --git a/test/regression/Results/builtins-ia32 b/test/regression/Results/builtins-ia32
index 6ab71f0d..393ac1fd 100644
--- a/test/regression/Results/builtins-ia32
+++ b/test/regression/Results/builtins-ia32
@@ -1,5 +1,6 @@
 bswap(12345678) = 78563412
 bswap16(1234) = 3412
+bswap64(123456789abcdef0) = f0debc9a78563412
 clz(12345678) = 3
 clzll(12345678) = 35
 clzll(1234567812345678) = 3
-- 
cgit