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/clflags.ml | |
| 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/clflags.ml')
| -rw-r--r-- | utils/clflags.ml | 1 |
1 files changed, 1 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 *) |