diff options
| author | Alasdair Armstrong | 2018-06-06 14:01:31 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-06 14:04:50 +0100 |
| commit | 11521bfab8ebc89435673e365d0dce0392d63c32 (patch) | |
| tree | bd6ac6393648938ff8b47a8da5bc75cba0b4ec6f /aarch64 | |
| parent | 662a41a6613adf8a00544beb642a90a8e53c9239 (diff) | |
Some additional fixes to C backend. Re-enable primitive optimizations.
Also add an additional -Oz3 flag that uses z3 to optimize some
additional types. This is currently very experimental and doesn't
fully work yet.
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index e307f604..ed16495b 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -5,7 +5,7 @@ SAIL_LIB_DIR:=$(SAIL_DIR)/lib SAIL:=$(SAIL_DIR)/sail aarch64.c: no_vector.sail - $(SAIL) $^ -c -O -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c + $(SAIL) $^ -c -O -Oz3 -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c aarch64: no_vector.sail $(SAIL) $^ -o aarch64 -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3 |