diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2021-04-23 15:30:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-23 14:30:32 +0100 |
commit | 4f4e46af447364ed633dd6baf5f8a2ad79c5d081 (patch) | |
tree | 816ebd2ca874c8b21e58f515934ad238639293fc /driver | |
parent | bbbe9e559b4023b319385faad2b4925e7aacff82 (diff) | |
download | ocaml-4f4e46af447364ed633dd6baf5f8a2ad79c5d081.tar.gz |
Remove the availability analysis (#10355)
The availability analysis was introduced in 2017 as part of GPR #856,
as a first step towards generating DWARF debugging information.
This project (generating DWARF debug info) was stopped, but the analysis
is still here, even though its results are not used and it is not normally run
(except when the experimental -drunavail flag is given).
This is essentially dead code. This PR removes it.
Diffstat (limited to 'driver')
-rw-r--r-- | driver/main_args.ml | 18 | ||||
-rw-r--r-- | driver/main_args.mli | 2 |
2 files changed, 0 insertions, 20 deletions
diff --git a/driver/main_args.ml b/driver/main_args.ml index eeb4fd6b5e..afa1a44a0e 100644 --- a/driver/main_args.ml +++ b/driver/main_args.ml @@ -799,16 +799,6 @@ let mk_dlive f = "-dlive", Arg.Unit f, " (undocumented)" ;; -let mk_davail f = - "-davail", Arg.Unit f, " Print register availability info when printing \ - liveness" -;; - -let mk_drunavail f = - "-drunavail", Arg.Unit f, " Run register availability pass (for testing \ - only; needs -g)" -;; - let mk_dspill f = "-dspill", Arg.Unit f, " (undocumented)" ;; @@ -1092,8 +1082,6 @@ module type Optcommon_options = sig val _dcombine : unit -> unit val _dcse : unit -> unit val _dlive : unit -> unit - val _davail : unit -> unit - val _drunavail : unit -> unit val _dspill : unit -> unit val _dsplit : unit -> unit val _dinterf : unit -> unit @@ -1456,8 +1444,6 @@ struct mk_dcombine F._dcombine; mk_dcse F._dcse; mk_dlive F._dlive; - mk_davail F._davail; - mk_drunavail F._drunavail; mk_dspill F._dspill; mk_dsplit F._dsplit; mk_dinterf F._dinterf; @@ -1562,8 +1548,6 @@ module Make_opttop_options (F : Opttop_options) = struct mk_dcombine F._dcombine; mk_dcse F._dcse; mk_dlive F._dlive; - mk_davail F._davail; - mk_drunavail F._drunavail; mk_dspill F._dspill; mk_dsplit F._dsplit; mk_dinterf F._dinterf; @@ -1736,7 +1720,6 @@ module Default = struct let _classic_inlining () = classic_inlining := true let _compact = clear optimize_for_speed let _dalloc = set dump_regalloc - let _davail () = dump_avail := true let _dclambda = set dump_clambda let _dcmm = set dump_cmm let _dcombine = set dump_combine @@ -1755,7 +1738,6 @@ module Default = struct let _drawclambda = set dump_rawclambda let _drawflambda = set dump_rawflambda let _dreload = set dump_reload - let _drunavail () = debug_runavail := true let _dscheduling = set dump_scheduling let _dsel = set dump_selection let _dspill = set dump_spill diff --git a/driver/main_args.mli b/driver/main_args.mli index 27fb475ae0..6f77a29708 100644 --- a/driver/main_args.mli +++ b/driver/main_args.mli @@ -208,8 +208,6 @@ module type Optcommon_options = sig val _dcombine : unit -> unit val _dcse : unit -> unit val _dlive : unit -> unit - val _davail : unit -> unit - val _drunavail : unit -> unit val _dspill : unit -> unit val _dsplit : unit -> unit val _dinterf : unit -> unit |