aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2016-10-24 14:29:25 +0200
committerXavier Leroy <xavier.leroy@inria.fr>2016-10-24 14:34:59 +0200
commita2b28d5e12797c2b35f49cfba2e3ec005da9377b (patch)
tree6ea4aa8c5fda303d65fac879b0098a440486b1ca /test/regression
parentaf5758ac9414541a62bf08ae44373b441b8653ec (diff)
downloadcompcert-kvx-a2b28d5e12797c2b35f49cfba2e3ec005da9377b.tar.gz
compcert-kvx-a2b28d5e12797c2b35f49cfba2e3ec005da9377b.zip
Update the tests in test/regression, continued
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/Makefile17
-rw-r--r--test/regression/Results/builtins-ia321
2 files changed, 5 insertions, 13 deletions
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