From ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e Mon Sep 17 00:00:00 2001 From: Léo Gourdin Date: Wed, 1 Sep 2021 16:57:12 +0200 Subject: cleanup --- backend/RTLcommonaux.ml | 9 --------- 1 file changed, 9 deletions(-) (limited to 'backend') diff --git a/backend/RTLcommonaux.ml b/backend/RTLcommonaux.ml index f7e49aa4..2e9dde2e 100644 --- a/backend/RTLcommonaux.ml +++ b/backend/RTLcommonaux.ml @@ -103,12 +103,3 @@ let get_outputs liveness n last = List.map (fun n -> get_some @@ PTree.get n liveness) path_last_successors in List.fold_left Regset.union Regset.empty list_input_regs -(* TODO gourdinl to remove, as we do not need por anymore? - let por = match last_instruction with (* see RTLpathLivegen.final_inst_checker *) - | Icall (_, _, _, res, _) -> Regset.remove res outputs - | Ibuiltin (_, _, res, _) -> Liveness.reg_list_dead (AST.params_of_builtin_res res) outputs - | Itailcall (_, _, _) | Ireturn _ -> - assert (outputs = Regset.empty); (* defensive check for performance *) - outputs - | _ -> outputs - in (por, outputs) *) -- cgit