From 9bb6fd8219fcd4ef8da5d2b3a6d93f802fc777c3 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 27 Oct 2020 15:57:40 +0100
Subject: Splitting Duplicate in several passes

---
 backend/Duplicateaux.ml | 34 ++++++++++++++++++++--------------
 1 file changed, 20 insertions(+), 14 deletions(-)

(limited to 'backend/Duplicateaux.ml')

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)
-- 
cgit