diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-08-30 12:09:23 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-08-30 12:09:23 +0200 |
commit | 96d03d469015db45828c89a68247f2c70c2bb102 (patch) | |
tree | a41285746ad036a2db7843ccf810d6589cbba8a3 /test/mppa/instr/Makefile | |
parent | 3a78733f68c8c02f8578fbfa8ca08bbed8ac7988 (diff) | |
download | compcert-kvx-96d03d469015db45828c89a68247f2c70c2bb102.tar.gz compcert-kvx-96d03d469015db45828c89a68247f2c70c2bb102.zip |
Adding tests for addx8d addx8w etc..
Diffstat (limited to 'test/mppa/instr/Makefile')
-rw-r--r-- | test/mppa/instr/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/mppa/instr/Makefile b/test/mppa/instr/Makefile index 4129b628..33a265e3 100644 --- a/test/mppa/instr/Makefile +++ b/test/mppa/instr/Makefile @@ -5,6 +5,7 @@ CC ?= gcc CCOMP ?= ccomp OPTIM ?= -O2 CFLAGS ?= $(OPTIM) +CCOMPFLAGS ?= $(CFLAGS) -faddx SIMU ?= k1-mppa TIMEOUT ?= --signal=SIGTERM 120s DIFF ?= python2.7 floatcmp.py -reltol .00001 @@ -111,7 +112,7 @@ $(BINDIR)/%.gcc.bin: $(ASMDIR)/%.gcc.s $(K1LIB) $(K1CCPATH) $(BINDIR)/%.ccomp.bin: $(ASMDIR)/%.ccomp.s $(K1LIB) $(CCOMPPATH) @mkdir -p $(@D) - $(CCOMP) $(CFLAGS) $(filter-out $(CCOMPPATH),$^) -o $@ + $(CCOMP) $(CCOMPFLAGS) $(filter-out $(CCOMPPATH),$^) -o $@ # Source to assembly @@ -125,4 +126,4 @@ $(ASMDIR)/%.gcc.s: $(SRCDIR)/%.c $(K1CCPATH) $(ASMDIR)/%.ccomp.s: $(SRCDIR)/%.c $(CCOMPPATH) @mkdir -p $(@D) - $(CCOMP) $(CFLAGS) -S $< -o $@ + $(CCOMP) $(CCOMPFLAGS) -S $< -o $@ |