diff options
| author | Alasdair | 2018-06-07 01:38:21 +0100 |
|---|---|---|
| committer | Alasdair | 2018-06-07 01:38:21 +0100 |
| commit | 1f88b4812916a56df8d5ff8c09ac56c8e4086be4 (patch) | |
| tree | 7bcfdf8a175f402c3158a8cbfec451d3d8742dfb /aarch64/Makefile | |
| parent | 9cc101327450f5871749ecd797361f5b254100e5 (diff) | |
Add a constant folding optimization pass
Diffstat (limited to 'aarch64/Makefile')
| -rw-r--r-- | aarch64/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/aarch64/Makefile b/aarch64/Makefile index e307f604..58281dc7 100644 --- a/aarch64/Makefile +++ b/aarch64/Makefile @@ -7,6 +7,9 @@ SAIL:=$(SAIL_DIR)/sail aarch64.c: no_vector.sail $(SAIL) $^ -c -O -undefined_gen -no_lexp_bounds_check -memo_z3 1> aarch64.c +aarch64_c: aarch64.c + gcc -O2 $^ -o aarch64_c -lgmp -L $(SAIL_DIR)/lib + aarch64: no_vector.sail $(SAIL) $^ -o aarch64 -ocaml -undefined_gen -no_lexp_bounds_check -memo_z3 |