More explicit failwith messages for change_predicted_successor

1 files changed, 3 insertions, 3 deletions

diff --git a/kvx/lib/RTLpathScheduleraux.ml b/kvx/lib/RTLpathScheduleraux.ml
index bd6784d0..5e9111d2 100644
--- a/kvx/lib/RTLpathScheduleraux.ml
+++ b/kvx/lib/RTLpathScheduleraux.ml
@@ -179,8 +179,8 @@ let change_successors i = function
       | _ -> failwith "Wrong instruction (4)")
 
 let change_predicted_successor i s = match i with
-  | Itailcall _ | Ireturn _ -> failwith "Wrong instruction (5)"
-  | Ijumptable _ -> failwith "Wrong instruction (6) (shouldn't be predicted successor for jumptable)"
+  | Itailcall _ | Ireturn _ -> failwith "Wrong instruction (5) - Tailcalls and returns should not be moved in the middle of a superblock"
+  | Ijumptable _ -> failwith "Wrong instruction (6) - Jumptables should not be moved in the middle of a superblock"
   | Inop n -> Inop s
   | Iop (a,b,c,n) -> Iop (a,b,c,s)
   | Iload (a,b,c,d,e,n) -> Iload (a,b,c,d,e,s)
@@ -191,7 +191,7 @@ let change_predicted_successor i s = match i with
       match p with
       | Some true -> Icond (a,b,s,n2,p)
       | Some false -> Icond (a,b,n1,s,p)
-      | None -> failwith "Predicted a successor for an Icond with p=None"
+      | None -> failwith "Predicted a successor for an Icond with p=None - unpredicted CB should not be moved in the middle of the superblock"
       )
 
 let apply_schedule code sb new_order =