Splitting Duplicate in several passes

1 files changed, 20 insertions, 14 deletions

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index eb9f42e0..2b13ab5d 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -836,42 +836,48 @@ let unroll_inner_loops_body f code revmap =
     (!code', !revmap')
   end
 
-let duplicate_aux f =
-  (* initializing *)
+let static_predict f =
   let entrypoint = f.fn_entrypoint in
   let code = f.fn_code in
   let revmap = make_identity_ptree code in
-
-  (* static prediction *)
   let code =
     if !Clflags.option_fpredict then
       update_directions code entrypoint
     else code in
+  let code =
+    if !Clflags.option_fpredict then
+      invert_iconds code
+    else code in
+  ((code, entrypoint), revmap)
 
-  (* unroll single *)
+let unroll_single f =
+  let entrypoint = f.fn_entrypoint in
+  let code = f.fn_code in
+  let revmap = make_identity_ptree code in
   let (code, revmap) =
     if !Clflags.option_funrollsingle > 0 then
       unroll_inner_loops_single f code revmap
     else (code, revmap) in
+  ((code, entrypoint), revmap)
 
-  (* unroll body *)
+let unroll_body f =
+  let entrypoint = f.fn_entrypoint in
+  let code = f.fn_code in
+  let revmap = make_identity_ptree code in
   let (code, revmap) =
     if !Clflags.option_funrollbody > 0 then
       unroll_inner_loops_body f code revmap
     else (code, revmap) in
+  ((code, entrypoint), revmap)
 
-  (* static prediction bis *)
-  let code =
-    if !Clflags.option_fpredict then
-      invert_iconds code
-    else code in
-
-  (* tail duplication *)
+let tail_duplicate f =
+  let entrypoint = f.fn_entrypoint in
+  let code = f.fn_code in
+  let revmap = make_identity_ptree code in
   let (code, revmap) =
     if !Clflags.option_ftailduplicate > 0 then
       let traces = select_traces code entrypoint in
       let preds = get_predecessors_rtl code in
       superblockify_traces code preds traces revmap
     else (code, revmap) in
-
   ((code, entrypoint), revmap)