From dabd9ab46319ff93aa8451e033b3b37726a50f2c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 7 Nov 2020 18:27:45 +0100 Subject: do not test with picosat --- test/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/Makefile b/test/Makefile index 2dd104d3..a846e93b 100644 --- a/test/Makefile +++ b/test/Makefile @@ -13,9 +13,10 @@ endif all: set -e; for i in $(DIRS); do $(MAKE) CCOMPOPTS='$(CCOMPOPTS)' -C $$i all; done +ifneq ($(ARCH),kvx) cd $(PICOSAT) && ./configure.sh && cd .. $(MAKE) CCOMPOPTS='$(CCOMPOPTS)' -C $(PICOSAT) -f Makefile.local all - +endif test: set -e; for i in $(DIRS); do $(MAKE) SIMU='$(SIMU)' -C $$i test; done -- cgit From e8df8a3a79ca3ac2fb45606665826735c999dc68 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 9 Nov 2020 10:45:19 +0100 Subject: renumber before SSA --- tools/compiler_expand.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/compiler_expand.ml b/tools/compiler_expand.ml index 6ba40bad..bb17191e 100644 --- a/tools/compiler_expand.ml +++ b/tools/compiler_expand.ml @@ -51,6 +51,7 @@ PARTIAL, Always, Require, (Some "Unused globals"), "Unusedglob"; PARTIAL, (Option "optim_redundancy"), Require, (Some "Redundancy elimination"), "Deadcode"; PARTIAL, (Option "optim_move_loop_invariants_s"), Require, (Some "LICM"), "LICM"; TOTAL, (Option "optim_move_loop_invariants_s"), NoRequire, (Some "Renumbering post LICM"), "Renumber"; +TOTAL, Always, Require, (Some "Renumbering pre SSA"), "Renumber"; |];; let post_ssa_passes = -- cgit