diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-26 10:40:22 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-04-26 10:40:22 +0000 |
| commit | 558f40e3446854913d5ce011441c4b10da03f27e (patch) | |
| tree | 84c78a2d3098937813daae9bd75d328dc0669840 /utils | |
| parent | 95d98cd9782c0577b0c7290f6535b29e7bd4cd41 (diff) | |
| download | ocaml-558f40e3446854913d5ce011441c4b10da03f27e.tar.gz | |
New back-end optimization pass: common subexpression elimination (CSE).
(Reuses results of previous computations instead of recomputing them.)
(Cherry-picked from branch backend-optim.)
Tested on amd64/linux and i386/linux.
Other back-ends compile (after assorted updates) but are untested.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/clflags.ml | 1 | ||||
| -rw-r--r-- | utils/clflags.mli | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index d0484b7728..90b8a948fd 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -73,6 +73,7 @@ let optimize_for_speed = ref true (* -compact *) and dump_cmm = ref false (* -dcmm *) let dump_selection = ref false (* -dsel *) +let dump_cse = ref false (* -dcse *) let dump_live = ref false (* -dlive *) let dump_spill = ref false (* -dspill *) let dump_split = ref false (* -dsplit *) diff --git a/utils/clflags.mli b/utils/clflags.mli index 02c378d23f..489ac4d7b7 100644 --- a/utils/clflags.mli +++ b/utils/clflags.mli @@ -68,6 +68,7 @@ val keep_asm_file : bool ref val optimize_for_speed : bool ref val dump_cmm : bool ref val dump_selection : bool ref +val dump_cse : bool ref val dump_live : bool ref val dump_spill : bool ref val dump_split : bool ref |