diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 13:51:50 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-10 13:51:50 +0200 |
| commit | 9862e89118492e6ab530b2e2992161dd4eb52d0a (patch) | |
| tree | 2657be1ff60d44b78e5d65dd238ab867d7e4cc46 /test/mppa | |
| parent | 5541fb2f156aa314e26cac65546458e47ba03264 (diff) | |
| download | compcert-kvx-9862e89118492e6ab530b2e2992161dd4eb52d0a.tar.gz compcert-kvx-9862e89118492e6ab530b2e2992161dd4eb52d0a.zip | |
MPPA - Onegl + Pnegl
Diffstat (limited to 'test/mppa')
| -rw-r--r-- | test/mppa/Makefile | 5 | ||||
| -rw-r--r-- | test/mppa/check.sh | 5 |
2 files changed, 3 insertions, 7 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index 6f7ea55a..c02f8d94 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -1,6 +1,7 @@ DIR=general TESTNAMES=simple call branch for forvar forvarl branchz branchzu +CCOMP=../../ccomp TESTS=$(addprefix $(DIR)/,$(TESTNAMES)) ELF=$(addsuffix .bin,$(TESTS)) TOK=$(addsuffix .tok,$(TESTS)) @@ -15,10 +16,10 @@ $(DIR)/%.bin: $(DIR)/%.s k1-gcc $< -o $@ .SECONDARY: -$(DIR)/%.s: $(DIR)/%.c +$(DIR)/%.s: $(DIR)/%.c $(CCOMP) ccomp $(DEBUG) -O0 -v -S $< -o $@ -$(DIR)/%.tok: $(DIR)/%.bin FORCE +$(DIR)/%.tok: $(DIR)/%.bin @bash check.sh $< $@ .PHONY: FORCE diff --git a/test/mppa/check.sh b/test/mppa/check.sh index 8e889175..f38d3f0d 100644 --- a/test/mppa/check.sh +++ b/test/mppa/check.sh @@ -9,11 +9,6 @@ if [ ! -f $elffile ]; then shift; continue fi -if [ -f $token ]; then - echo "ALREADY PASSED: $elffile" - exit -fi - dir="$(dirname $elffile)" elf="$(basename $elffile)" exp="$dir/output/$elf.exp" |