diff options
| author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-30 10:07:48 +0200 |
|---|---|---|
| committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-30 10:07:48 +0200 |
| commit | e6194adf32596d1e6bce3b52b5c8b44bc525be49 (patch) | |
| tree | 7c3ce1491f33307d9419a1d0c7d77d29f17a7e9a | |
| parent | da97abdfbe81254a8055b3bf8b5865bf045e51b5 (diff) | |
| download | compcert-kvx-e6194adf32596d1e6bce3b52b5c8b44bc525be49.tar.gz compcert-kvx-e6194adf32596d1e6bce3b52b5c8b44bc525be49.zip | |
Do not accidentally shadow a previous function
| -rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index f91aa594..9acdc364 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1091,7 +1091,8 @@ let stage_duplication sb code staged_dupcode staged_revmap ~next_free_pc = in (code, staged_dupcode, staged_revmap, next_free_pc) -let rename_regs sb code name_map ~offset = +(* TODO? better name *) +let apply_aliases sb code name_map ~offset = let code = ref code in let name_map = ref name_map in let length = Array.length sb.instructions in @@ -1277,7 +1278,7 @@ let scheduler f = let code = PTree.fold (fun code side_exit_pc aliases -> let idx = apply_map' pc_to_idx side_exit_pc in - let code = rename_regs sb code aliases ~offset:idx in + let code = apply_aliases sb code aliases ~offset:idx in code) to_rename code |