Skip to content

Commit 6b58001

Browse files
authored
flambda-backend: Move compiler flag -dcfg out of ocaml/ subdirectory (ocaml-flambda#400)
1 parent 4fd57cf commit 6b58001

File tree

4 files changed

+0
-11
lines changed

4 files changed

+0
-11
lines changed

driver/main_args.ml

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -803,10 +803,6 @@ let mk_dcamlprimc f =
803803
"-dcamlprimc", Arg.Unit f, " (undocumented)"
804804
;;
805805

806-
let mk_dcfg f =
807-
"-dcfg", Arg.Unit f, " (undocumented)"
808-
;;
809-
810806
let mk_dcmm_invariants f =
811807
"-dcmm-invariants", Arg.Unit f, " Extra sanity checks on Cmm"
812808
;;
@@ -1121,7 +1117,6 @@ module type Optcommon_options = sig
11211117
val _dflambda_verbose : unit -> unit
11221118
val _drawclambda : unit -> unit
11231119
val _dclambda : unit -> unit
1124-
val _dcfg : unit -> unit
11251120
val _dcmm_invariants : unit -> unit
11261121
val _dcmm : unit -> unit
11271122
val _dsel : unit -> unit
@@ -1496,7 +1491,6 @@ struct
14961491
mk_dflambda_let F._dflambda_let;
14971492
mk_dflambda_verbose F._dflambda_verbose;
14981493

1499-
mk_dcfg F._dcfg;
15001494
mk_dcmm F._dcmm;
15011495
mk_dsel F._dsel;
15021496
mk_dcombine F._dcombine;
@@ -1606,7 +1600,6 @@ module Make_opttop_options (F : Opttop_options) = struct
16061600
mk_dcmm_invariants F._dcmm_invariants;
16071601
mk_drawflambda F._drawflambda;
16081602
mk_dflambda F._dflambda;
1609-
mk_dcfg F._dcfg;
16101603
mk_dcmm F._dcmm;
16111604
mk_dsel F._dsel;
16121605
mk_dcombine F._dcombine;
@@ -1787,7 +1780,6 @@ module Default = struct
17871780
let _dalloc = set dump_regalloc
17881781
let _davail () = dump_avail := true
17891782
let _dclambda = set dump_clambda
1790-
let _dcfg = set dump_cfg
17911783
let _dcmm = set dump_cmm
17921784
let _dcmm_invariants = set cmm_invariants
17931785
let _dcombine = set dump_combine

driver/main_args.mli

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -205,7 +205,6 @@ module type Optcommon_options = sig
205205
val _dflambda_verbose : unit -> unit
206206
val _drawclambda : unit -> unit
207207
val _dclambda : unit -> unit
208-
val _dcfg : unit -> unit
209208
val _dcmm_invariants : unit -> unit
210209
val _dcmm : unit -> unit
211210
val _dsel : unit -> unit

utils/clflags.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,6 @@ let optimize_for_speed = ref true (* -compact *)
116116
and opaque = ref false (* -opaque *)
117117

118118
and dump_cmm = ref false (* -dcmm *)
119-
let dump_cfg = ref false (* -dcfg *)
120119
let dump_selection = ref false (* -dsel *)
121120
let dump_cse = ref false (* -dcse *)
122121
let dump_live = ref false (* -dlive *)

utils/clflags.mli

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -121,7 +121,6 @@ val dump_instr : bool ref
121121
val keep_camlprimc_file : bool ref
122122
val keep_asm_file : bool ref
123123
val optimize_for_speed : bool ref
124-
val dump_cfg : bool ref
125124
val dump_cmm : bool ref
126125
val dump_selection : bool ref
127126
val dump_cse : bool ref

0 commit comments

Comments
 (0)