From bbe9efbc9b60c5ba0a67077cd06438dc805f0478 Mon Sep 17 00:00:00 2001 From: Justus Fasse Date: Mon, 16 Aug 2021 09:12:08 +0200 Subject: More appropriate name for function --- scheduling/MyRTLpathScheduleraux.ml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 547019a9..c1caf6c0 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -380,7 +380,7 @@ let local_single_assignment sb code liveatentry ~next_free_reg = debug_flag := old_debug_flag; (code, live_renames, next_free_reg) -let restoration_instructions sb code live_renames = +let final_restoration_code sb code live_renames = let last_inst_pc = sb.instructions.(Array.length sb.instructions - 1) in let last_inst = get_some @@ PTree.get last_inst_pc code in let last_inst_is_basic = match last_inst with @@ -1381,10 +1381,7 @@ let scheduler f = let (sb_renamings, code, pm, next_free_pc) = ListLabels.fold_left sb_renamings ~init:([], code, pm, next_free_pc) ~f:(fun (sbs, code, pm, next_free_pc) (sb, live_renames) -> - let nr_instr = Array.length sb.instructions in - let last_pc = sb.instructions.(nr_instr - 1) in - let final_renames = PTree.map (fun pc renames -> if Camlcoq.P.eq pc last_pc then renames else []) live_renames in - let final_restoration = restoration_instructions final_renames in + let final_restoration = final_restoration_code sb code live_renames in let (sb, code, pm, next_free_pc, fwmap) = insert_code sb code pm final_restoration ~next_free_pc in let live_renames = PTree.fold -- cgit