Cleanup

1 files changed, 0 insertions, 83 deletions

diff --git a/scheduling/RTLpathScheduleraux.ml b/scheduling/RTLpathScheduleraux.ml
index 80fc766d..e57ac3f1 100644
--- a/scheduling/RTLpathScheduleraux.ml
+++ b/scheduling/RTLpathScheduleraux.ml
@@ -282,89 +282,6 @@ let apply_schedule code sb new_order =
     !tc
   end
 
-  (*
-let main_successors = function
-| Inop n | Iop (_,_,_,n) | Iload (_,_,_,_,_,n) | Istore (_,_,_,_,n) -> [n]
-| Icall (_,_,_,_,n) | Ibuiltin (_,_,_,n) -> [n]
-| Icond (_,_,n1,n2,p) -> (
-    match p with
-    | Some true -> [n1; n2]
-    | Some false ->  [n2; n1]
-    | None -> [n1; n2] )
-| Ijumptable _ | Itailcall _ | Ireturn _ -> []
-
-let change_predicted_successor i s = match i with
-  | 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)
-  | Istore (a,b,c,d,n) -> Istore (a,b,c,d,s)
-  | Icall (a,b,c,d,n) -> Icall (a,b,c,d,s)
-  | Ibuiltin (a,b,c,n) -> Ibuiltin (a,b,c,s)
-  | Icond (a,b,n1,n2,p) -> (
-      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 - unpredicted CB should not be moved in the middle of the superblock"
-      )
-
-let rec change_successors i = function
-  | [] -> (
-      match i with
-      | Itailcall _ | Ireturn _ -> i
-      | _ -> failwith "Wrong instruction (1)")
-  | [s] -> (
-      match i with
-      | 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)
-      | Istore (a,b,c,d,n) -> Istore (a,b,c,d,s)
-      | Icall (a,b,c,d,n) -> Icall (a,b,c,d,s)
-      | Ibuiltin (a,b,c,n) -> Ibuiltin (a,b,c,s)
-      | Ijumptable (a,[n]) -> Ijumptable (a,[s])
-      | Icond (a,b,n1,n2,p) -> (
-          match p with
-          | Some true -> Icond (a,b,s,n2,p)
-          | Some false -> Icond (a,b,n1,s,p)
-          | None -> failwith "Icond Wrong instruction (2) ; should not happen?"
-        )
-      | _ -> failwith "Wrong instruction (2)")
-  | [s1; s2] -> (
-      match i with
-      | Icond (a,b,n1,n2,p) -> Icond (a,b,s1,s2,p)
-      | Ijumptable (a, [n1; n2]) -> Ijumptable (a, [s1; s2])
-      | _ -> change_successors i [s1])
-  | ls -> (
-      match i with
-      | Ijumptable (a, ln) -> begin
-          assert ((List.length ln) == (List.length ls));
-          Ijumptable (a, ls)
-        end
-      | _ -> failwith "Wrong instruction (4)")
-
-
-let apply_schedule code sb new_order =
-  let tc = ref code in
-  let old_order = sb.instructions in
-  let last_node = Array.get old_order (Array.length old_order - 1) in
-  let last_successors = main_successors
-    @@ get_some @@ PTree.get last_node code in
-  begin
-    check_order code old_order new_order;
-    Array.iteri (fun i n' ->
-      let inst' = get_some @@ PTree.get n' code in
-      let new_inst =
-        if (i == (Array.length old_order - 1)) then
-          change_successors inst' last_successors
-        else
-          change_predicted_successor inst' (Array.get old_order (i+1))
-      in tc := PTree.set (Array.get old_order i) new_inst !tc
-    ) new_order;
-    !tc
-  end
-*)
-
 let rec do_schedule code = function
   | [] -> code
   | sb :: lsb ->