aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2020-07-24 14:04:27 +0200
committerCyril SIX <cyril.six@kalray.eu>2020-07-24 14:04:27 +0200
commit3c8429b030efcaba205b8d0faf7fdd1f174ea1e7 (patch)
tree0b7f0d2d0c7c54da20929bcbaf0c32b13a43ba7f /test/regression
parent83aa2b0ae311d0ea68c74b93b9e1e237f330f5fc (diff)
downloadcompcert-kvx-3c8429b030efcaba205b8d0faf7fdd1f174ea1e7.tar.gz
compcert-kvx-3c8429b030efcaba205b8d0faf7fdd1f174ea1e7.zip
Temporary prepass flags in test/regression
Diffstat (limited to 'test/regression')
-rw-r--r--test/regression/Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regression/Makefile b/test/regression/Makefile
index 744a2c03..87827282 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -1,6 +1,8 @@
include ../../Makefile.config
CCOMP=../../ccomp
+# TODO - temporary
+CCOMPOPTS:=$(CCOMPOPTS) -fall-loads-nontrap -fduplicate 2 -fprepass
CCOMPFLAGS=$(CCOMPOPTS) -stdlib ../../runtime \
-dparse -dc -dclight -dasm -fall \
-DARCH_$(ARCH) -DMODEL_$(MODEL)