Merge dump_live and print_live
parent
9f0092b798
commit
91c762a427
|
@ -113,8 +113,6 @@ let test tst ppf arg =
|
||||||
| Ieventest -> fprintf ppf "%a & 1 == 0" reg arg.(0)
|
| Ieventest -> fprintf ppf "%a & 1 == 0" reg arg.(0)
|
||||||
| Ioddtest -> fprintf ppf "%a & 1 == 1" reg arg.(0)
|
| Ioddtest -> fprintf ppf "%a & 1 == 1" reg arg.(0)
|
||||||
|
|
||||||
let print_live = ref false
|
|
||||||
|
|
||||||
let operation op arg ppf res =
|
let operation op arg ppf res =
|
||||||
if Array.length res > 0 then fprintf ppf "%a := " regs res;
|
if Array.length res > 0 then fprintf ppf "%a := " regs res;
|
||||||
match op with
|
match op with
|
||||||
|
@ -169,7 +167,7 @@ let operation op arg ppf res =
|
||||||
Arch.print_specific_operation reg op ppf arg
|
Arch.print_specific_operation reg op ppf arg
|
||||||
|
|
||||||
let rec instr ppf i =
|
let rec instr ppf i =
|
||||||
if !print_live then begin
|
if !Clflags.dump_live then begin
|
||||||
fprintf ppf "@[<1>{%a" regsetaddr i.live;
|
fprintf ppf "@[<1>{%a" regsetaddr i.live;
|
||||||
if Array.length i.arg > 0 then fprintf ppf "@ +@ %a" regs i.arg;
|
if Array.length i.arg > 0 then fprintf ppf "@ +@ %a" regs i.arg;
|
||||||
fprintf ppf "}@]@,";
|
fprintf ppf "}@]@,";
|
||||||
|
|
|
@ -29,5 +29,3 @@ val phase: string -> formatter -> Mach.fundecl -> unit
|
||||||
val interferences: formatter -> unit -> unit
|
val interferences: formatter -> unit -> unit
|
||||||
val intervals: formatter -> unit -> unit
|
val intervals: formatter -> unit -> unit
|
||||||
val preferences: formatter -> unit -> unit
|
val preferences: formatter -> unit -> unit
|
||||||
|
|
||||||
val print_live: bool ref
|
|
||||||
|
|
|
@ -236,7 +236,7 @@ module Options = Main_args.Make_optcomp_options (struct
|
||||||
let _dsel = set dump_selection
|
let _dsel = set dump_selection
|
||||||
let _dcombine = set dump_combine
|
let _dcombine = set dump_combine
|
||||||
let _dcse = set dump_cse
|
let _dcse = set dump_cse
|
||||||
let _dlive () = dump_live := true; Printmach.print_live := true
|
let _dlive () = dump_live := true
|
||||||
let _davail () = dump_avail := true
|
let _davail () = dump_avail := true
|
||||||
let _drunavail () = debug_runavail := true
|
let _drunavail () = debug_runavail := true
|
||||||
let _dspill = set dump_spill
|
let _dspill = set dump_spill
|
||||||
|
|
|
@ -62,8 +62,7 @@ let main() =
|
||||||
"-dcmm", Arg.Set dump_cmm, "";
|
"-dcmm", Arg.Set dump_cmm, "";
|
||||||
"-dcse", Arg.Set dump_cse, "";
|
"-dcse", Arg.Set dump_cse, "";
|
||||||
"-dsel", Arg.Set dump_selection, "";
|
"-dsel", Arg.Set dump_selection, "";
|
||||||
"-dlive", Arg.Unit(fun () -> dump_live := true;
|
"-dlive", Arg.Unit(fun () -> dump_live := true ), "";
|
||||||
Printmach.print_live := true), "";
|
|
||||||
"-dspill", Arg.Set dump_spill, "";
|
"-dspill", Arg.Set dump_spill, "";
|
||||||
"-dsplit", Arg.Set dump_split, "";
|
"-dsplit", Arg.Set dump_split, "";
|
||||||
"-dinterf", Arg.Set dump_interf, "";
|
"-dinterf", Arg.Set dump_interf, "";
|
||||||
|
|
|
@ -226,7 +226,7 @@ module Options = Main_args.Make_opttop_options (struct
|
||||||
let _dsel = set dump_selection
|
let _dsel = set dump_selection
|
||||||
let _dcombine = set dump_combine
|
let _dcombine = set dump_combine
|
||||||
let _dcse = set dump_cse
|
let _dcse = set dump_cse
|
||||||
let _dlive () = dump_live := true; Printmach.print_live := true
|
let _dlive () = dump_live := true
|
||||||
let _davail () = dump_avail := true
|
let _davail () = dump_avail := true
|
||||||
let _drunavail () = debug_runavail := true
|
let _drunavail () = debug_runavail := true
|
||||||
let _dspill = set dump_spill
|
let _dspill = set dump_spill
|
||||||
|
|
Loading…
Reference in New Issue