diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:18:09 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-08-16 09:18:09 +0200 |
commit | c56cf430484c4fcb68b7dd1180adcf2ffec5d359 (patch) | |
tree | 1157c7d4341e2a715f34e83cc53f4a1a11ae5b35 | |
parent | 91b4946c7d3c80d92d3f9befe7ad90939733235f (diff) | |
download | compcert-kvx-c56cf430484c4fcb68b7dd1180adcf2ffec5d359.tar.gz compcert-kvx-c56cf430484c4fcb68b7dd1180adcf2ffec5d359.zip |
Supply correct arguments to function
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index efc8aee0..87e106a5 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -1507,7 +1507,7 @@ let scheduler f = (List.init (Array.length sb.instructions) (fun i -> i)) PTree.empty in - let (to_insert_restoration, to_rename, next_free_reg) = restoration_instructions' live_renames ~next_free_reg in + let (to_insert_restoration, to_rename, next_free_reg) = restoration_instructions' sb code live_renames ~next_free_reg in let code = PTree.fold (fun code side_exit_pc aliases -> let idx = apply_map' pc_to_idx side_exit_pc in |