diff options
Diffstat (limited to 'backend/RTLcommonaux.ml')
| -rw-r--r-- | backend/RTLcommonaux.ml | 9 |
1 files changed, 0 insertions, 9 deletions
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) *) |