diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-24 10:48:24 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-24 10:48:24 +0200 |
| commit | b1ab210e798c911a5e4952ed244e581a18c86312 (patch) | |
| tree | 23a310a068c9b61ad433aabfe581e555c2f21d92 /test/mppa | |
| parent | f73f3a4e5dda58408c82fe2657ddb251532ea894 (diff) | |
| download | compcert-kvx-b1ab210e798c911a5e4952ed244e581a18c86312.tar.gz compcert-kvx-b1ab210e798c911a5e4952ed244e581a18c86312.zip | |
MPPA - refined tests. Bug in mmult - need to generate O0 to debug easier
Diffstat (limited to 'test/mppa')
| -rw-r--r-- | test/mppa/Makefile | 6 | ||||
| -rw-r--r-- | test/mppa/generate.sh | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index 3c1ab002..faeb7c62 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -34,13 +34,17 @@ $(DIR)/output/%.bin.exp: $(DIR)/%.c FORCE: .PHONY: -check: $(TOK) sort +check: $(TOK) sort mmult .PHONY: sort: FORCE (cd sort && make compc-check) .PHONY: +mmult: FORCE + (cd mmult && make compc-check) + +.PHONY: clean: rm -f $(DIR)/*.alloctrace rm -f $(DIR)/*.cm diff --git a/test/mppa/generate.sh b/test/mppa/generate.sh index cfe6f7bb..cfb0a119 100644 --- a/test/mppa/generate.sh +++ b/test/mppa/generate.sh @@ -9,4 +9,6 @@ if [ ! -f $cfile ]; then shift; continue fi +mkdir -p $(dirname $writefile) + sed -n "s/^.*\/\*\s*RETURN VALUE:\s*\([0-9]*\)\s*\*\//\1/p" $1 > $2 |