Commit 8a77a2d4 authored by Cyril SIX's avatar Cyril SIX
Browse files

MPPA - Added CompCert tests

parent 1b8cf73a
...@@ -3,7 +3,8 @@ PRNG=../lib/prng.c ...@@ -3,7 +3,8 @@ PRNG=../lib/prng.c
ALL= insertion-test-x86 insertion-test-k1c\ ALL= insertion-test-x86 insertion-test-k1c\
selection-test-x86 selection-test-k1c\ selection-test-x86 selection-test-k1c\
merge-test-x86 merge-test-k1c\ merge-test-x86 merge-test-k1c\
test-x86 test-k1c test-x86 test-k1c\
test-ccomp
all: $(ALL) all: $(ALL)
...@@ -19,12 +20,26 @@ test-x86: selection.c merge.c insertion.c test.c $(PRNG) ...@@ -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) test-k1c: selection.c merge.c insertion.c test.c $(PRNG)
k1-gcc -g -O2 -std=c99 $^ -o $@ 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: .PHONY:
unittest: unittest-x86 unittest-k1c unittest: unittest-x86 unittest-k1c
.PHONY: .PHONY:
check: check-x86 check-k1c 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: .PHONY:
check-x86: test-x86 check-x86: test-x86
@if ! ./$<; then\ @if ! ./$<; then\
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment