diff options
Diffstat (limited to 'scheduling/InstructionScheduler.ml')
| -rw-r--r-- | scheduling/InstructionScheduler.ml | 10 |
1 files changed, 2 insertions, 8 deletions
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 -> () |