From d2197102d6b81e225865cfac5f1d319d168e1e23 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 4 Dec 2020 12:02:11 +0100
Subject: Comment

---
 backend/Duplicateaux.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend/Duplicateaux.ml')

diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml
index 196d15f2..c9985dc4 100644
--- a/backend/Duplicateaux.ml
+++ b/backend/Duplicateaux.ml
@@ -741,6 +741,7 @@ let rec find_last_node_before_loop code node trace is_loop_header =
   | [h] -> Some node
   | _ -> failwith "Multiple branches leading to a loop"
 
+(* The computation of sb_final requires to already have branch prediction *)
 let get_inner_loops f code is_loop_header =
   let fake_f = { fn_sig = f.fn_sig; fn_params = f.fn_params; 
     fn_stacksize = f.fn_stacksize; fn_code = code; fn_entrypoint = f.fn_entrypoint } in
-- 
cgit