diff options
| author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-22 15:57:21 +0200 |
|---|---|---|
| committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-22 15:57:21 +0200 |
| commit | 10cbe4b28ef6dc5d02c9a5d4d369484e4943a18d (patch) | |
| tree | f5334c751dd40116a630ca238db02a8a35841471 | |
| parent | fe557bf65ec738eaa078bc5e398ff690eb1f2b9e (diff) | |
| download | compcert-kvx-10cbe4b28ef6dc5d02c9a5d4d369484e4943a18d.tar.gz compcert-kvx-10cbe4b28ef6dc5d02c9a5d4d369484e4943a18d.zip | |
Changed default threshold value following tests
| -rw-r--r-- | driver/Clflags.ml | 2 | ||||
| -rw-r--r-- | scheduling/InstructionScheduler.ml | 10 |
2 files changed, 3 insertions, 9 deletions
diff --git a/driver/Clflags.ml b/driver/Clflags.ml index 1f31bd3e..c90fdb8c 100644 --- a/driver/Clflags.ml +++ b/driver/Clflags.ml @@ -115,5 +115,5 @@ let option_inline_auto_threshold = ref 0 let option_profile_arcs = ref false let option_fbranch_probabilities = ref true let option_debug_compcert = ref 0 -let option_regpres_threshold = ref 5 +let option_regpres_threshold = ref 2 let main_function_name = ref "main" diff --git a/scheduling/InstructionScheduler.ml b/scheduling/InstructionScheduler.ml index 5b4c87f4..cd924825 100644 --- a/scheduling/InstructionScheduler.ml +++ b/scheduling/InstructionScheduler.ml @@ -551,19 +551,13 @@ let reg_pres_scheduler (problem : problem) : solution option = | Some (t, n) -> Hashtbl.remove counts r; if n = 1 then - ((* print_string "yaaaaaaaaaaaas "; - * print_int (Camlcoq.P.to_int r); - * print_newline (); *) - Hashtbl.remove live_regs r; + (Hashtbl.remove live_regs r; available_regs.(t) <- available_regs.(t) + 1)) else let t = class_r r in match Hashtbl.find_opt live_regs r with - | None -> ((* print_string "noooooooooo "; - * print_int (Camlcoq.P.to_int r); - * print_newline (); *) - Hashtbl.add live_regs r t; + | None -> (Hashtbl.add live_regs r t; available_regs.(t) <- available_regs.(t) - 1) | Some i -> () |