From 8a77a2d41eb560ce9dbc3669971ccbc342743784 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 17 Apr 2018 15:41:14 +0200 Subject: MPPA - Added CompCert tests --- test/mppa/sort/Makefile | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) (limited to 'test/mppa') diff --git a/test/mppa/sort/Makefile b/test/mppa/sort/Makefile index ce86017d..69dfca23 100644 --- a/test/mppa/sort/Makefile +++ b/test/mppa/sort/Makefile @@ -3,7 +3,8 @@ PRNG=../lib/prng.c ALL= insertion-test-x86 insertion-test-k1c\ selection-test-x86 selection-test-k1c\ merge-test-x86 merge-test-k1c\ - test-x86 test-k1c + test-x86 test-k1c\ + test-ccomp all: $(ALL) @@ -19,12 +20,26 @@ test-x86: selection.c merge.c insertion.c test.c $(PRNG) test-k1c: selection.c merge.c insertion.c test.c $(PRNG) k1-gcc -g -O2 -std=c99 $^ -o $@ +%.s: %.c + ccomp -O2 -S $< -o $@ + +test-ccomp: selection.s merge.s insertion.s test.s $(subst .c,.s,$(PRNG)) + k1-gcc $^ -o $@ + .PHONY: unittest: unittest-x86 unittest-k1c .PHONY: check: check-x86 check-k1c +.PHONY: +compc-check: test-ccomp + @if ! k1-cluster -- ./$<; then\ + >&2 echo "ERROR k1c: $< failed";\ + else\ + echo "k1c: Test $< succeeded";\ + fi + .PHONY: check-x86: test-x86 @if ! ./$<; then\ -- cgit