diff options
author | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-12 09:03:44 +0200 |
---|---|---|
committer | Justus Fasse <justus.fasse@etu.univ-grenoble-alpes.fr> | 2021-07-12 09:03:44 +0200 |
commit | f30bf16eadba6824354cab1be131d10f3f3abd67 (patch) | |
tree | 6d6d272765e6c057963e9abbf18c5fa3132cfbff | |
parent | a82e4c533d1a07acb1e24f6f00f172c7c090ec01 (diff) | |
download | compcert-kvx-f30bf16eadba6824354cab1be131d10f3f3abd67.tar.gz compcert-kvx-f30bf16eadba6824354cab1be131d10f3f3abd67.zip |
Fix error message
-rw-r--r-- | scheduling/MyRTLpathScheduleraux.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scheduling/MyRTLpathScheduleraux.ml b/scheduling/MyRTLpathScheduleraux.ml index 5bc63798..1b23bc92 100644 --- a/scheduling/MyRTLpathScheduleraux.ml +++ b/scheduling/MyRTLpathScheduleraux.ml @@ -513,7 +513,7 @@ let ideal_schedule' sb code ~next_free_reg = (Array.map (fun i -> (match PTree.get i code with | Some ii -> ii - | None -> failwith "RTLpathScheduleraux.schedule_superblock"), + | None -> failwith "MyRTLpathScheduleraux.ideal_schedule'"), (match PTree.get i sb.liveins with | Some s -> s | None -> Regset.empty)) @@ -523,7 +523,7 @@ let ideal_schedule' sb code ~next_free_reg = (Array.map (fun i -> (match PTree.get i fake_code with | Some ii -> ii - | None -> failwith "RTLpathScheduleraux.schedule_superblock"), + | None -> failwith "MyRTLpathScheduleraux.ideal_schedule'"), (match PTree.get i fake_sb.liveins with | Some s -> s | None -> Regset.empty)) |