diff options
| author | Robert Norton <rmn30@cam.ac.uk> | 2019-07-02 14:48:06 +0100 |
|---|---|---|
| committer | Robert Norton <rmn30@cam.ac.uk> | 2019-07-02 14:48:06 +0100 |
| commit | 2c4fdee0fba36387e6ef10c4046154ae72271643 (patch) | |
| tree | 4e71f001b95bd8b02c9e423c6aeea82c948f0d13 | |
| parent | 39584b6b1de69b05bcd6c167e63cfee3906f8bfc (diff) | |
| download | sail-riscv-2c4fdee0fba36387e6ef10c4046154ae72271643.zip sail-riscv-2c4fdee0fba36387e6ef10c4046154ae72271643.tar.gz sail-riscv-2c4fdee0fba36387e6ef10c4046154ae72271643.tar.bz2 | |
Crank up optimisation (sail and gcc).
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -122,7 +122,7 @@ ifneq (,$(COVERAGE)) C_FLAGS += --coverage -O1 SAIL_FLAGS += -Oconstant_fold else -C_FLAGS += -O2 +C_FLAGS += -O3 -flto endif # Feature detect if we are on the latest development version of Sail @@ -194,7 +194,7 @@ ocaml_emulator/tracecmp: ocaml_emulator/tracecmp.ml generated_definitions/c/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Makefile mkdir -p generated_definitions/c - $(SAIL) $(SAIL_FLAGS) -O -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) + $(SAIL) $(SAIL_FLAGS) -O -Oconstant_fold -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) c_emulator/riscv_sim_$(ARCH): generated_definitions/c/riscv_model_$(ARCH).c $(C_INCS) $(C_SRCS) Makefile gcc -g $(C_WARNINGS) $(C_FLAGS) $< $(C_SRCS) $(SAIL_LIB_DIR)/*.c $(C_LIBS) -o $@ |