diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-01 16:57:12 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-09-01 16:57:12 +0200 |
commit | ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e (patch) | |
tree | ab479fba4e57dc9d8ca131d485e9ec626815eee4 /backend | |
parent | a4c7a7240a93e874779027a6a3d41ccebc81b396 (diff) | |
download | compcert-kvx-ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e.tar.gz compcert-kvx-ddc17a17408541efa8b23afa3e6ccad1e6ce0b6e.zip |
cleanup
Diffstat (limited to 'backend')
-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) *) |