diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/main_args.ml | 14 | ||||
| -rw-r--r-- | driver/main_args.mli | 3 | ||||
| -rw-r--r-- | driver/optmain.ml | 2 |
3 files changed, 19 insertions, 0 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index bb03f8cf27..1444ae4571 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -154,6 +154,10 @@ let mk_no_app_funct f = "-no-app-funct", Arg.Unit f, " Deactivate applicative functors" ;; +let mk_no_float_const_prop f = + "-no-float-const-prop", Arg.Unit f, " Deactivate constant propagation for floating-point operations" +;; + let mk_noassert f = "-noassert", Arg.Unit f, " Do not compile assertion checks" ;; @@ -393,6 +397,10 @@ let mk_dcombine f = "-dcombine", Arg.Unit f, " (undocumented)" ;; +let mk_dcse f = + "-dcse", Arg.Unit f, " (undocumented)" +;; + let mk_dlive f = "-dlive", Arg.Unit f, " (undocumented)" ;; @@ -566,6 +574,7 @@ module type Optcomp_options = sig val _labels : unit -> unit val _linkall : unit -> unit val _no_app_funct : unit -> unit + val _no_float_const_prop : unit -> unit val _noassert : unit -> unit val _noautolink : unit -> unit val _nodynlink : unit -> unit @@ -608,6 +617,7 @@ module type Optcomp_options = sig val _dcmm : unit -> unit val _dsel : unit -> unit val _dcombine : unit -> unit + val _dcse : unit -> unit val _dlive : unit -> unit val _dspill : unit -> unit val _dsplit : unit -> unit @@ -662,6 +672,7 @@ module type Opttop_options = sig val _dcmm : unit -> unit val _dsel : unit -> unit val _dcombine : unit -> unit + val _dcse : unit -> unit val _dlive : unit -> unit val _dspill : unit -> unit val _dsplit : unit -> unit @@ -821,6 +832,7 @@ struct mk_labels F._labels; mk_linkall F._linkall; mk_no_app_funct F._no_app_funct; + mk_no_float_const_prop F._no_float_const_prop; mk_noassert F._noassert; mk_noautolink_opt F._noautolink; mk_nodynlink F._nodynlink; @@ -864,6 +876,7 @@ struct mk_dcmm F._dcmm; mk_dsel F._dsel; mk_dcombine F._dcombine; + mk_dcse F._dcse; mk_dlive F._dlive; mk_dspill F._dspill; mk_dsplit F._dsplit; @@ -918,6 +931,7 @@ module Make_opttop_options (F : Opttop_options) = struct mk_dcmm F._dcmm; mk_dsel F._dsel; mk_dcombine F._dcombine; + mk_dcse F._dcse; mk_dlive F._dlive; mk_dspill F._dspill; mk_dsplit F._dsplit; diff --git a/driver/main_args.mli b/driver/main_args.mli index 078008f147..98d294f87d 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -140,6 +140,7 @@ module type Optcomp_options = sig val _labels : unit -> unit val _linkall : unit -> unit val _no_app_funct : unit -> unit + val _no_float_const_prop : unit -> unit val _noassert : unit -> unit val _noautolink : unit -> unit val _nodynlink : unit -> unit @@ -182,6 +183,7 @@ module type Optcomp_options = sig val _dcmm : unit -> unit val _dsel : unit -> unit val _dcombine : unit -> unit + val _dcse : unit -> unit val _dlive : unit -> unit val _dspill : unit -> unit val _dsplit : unit -> unit @@ -236,6 +238,7 @@ module type Opttop_options = sig val _dcmm : unit -> unit val _dsel : unit -> unit val _dcombine : unit -> unit + val _dcse : unit -> unit val _dlive : unit -> unit val _dspill : unit -> unit val _dsplit : unit -> unit diff --git a/driver/optmain.ml b/driver/optmain.ml index fceac7a5d7..8285c6deb7 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -94,6 +94,7 @@ module Options = Main_args.Make_optcomp_options (struct let _labels = clear classic let _linkall = set link_everything let _no_app_funct = clear applicative_functors + let _no_float_const_prop = clear float_const_prop let _noassert = set noassert let _noautolink = set no_auto_link let _nodynlink = clear dlcode @@ -136,6 +137,7 @@ module Options = Main_args.Make_optcomp_options (struct let _dcmm = set dump_cmm let _dsel = set dump_selection let _dcombine = set dump_combine + let _dcse = set dump_cse let _dlive () = dump_live := true; Printmach.print_live := true let _dspill = set dump_spill let _dsplit = set dump_split |