diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-12-04 12:02:11 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-12-04 12:02:11 +0100 |
commit | d2197102d6b81e225865cfac5f1d319d168e1e23 (patch) | |
tree | 0e634c4d8c28d0c36fc04dc9c1657d0999363c87 /backend/Duplicateaux.ml | |
parent | 718a7da96aa18c278cde43fbc77a50135cd71e94 (diff) | |
download | compcert-kvx-d2197102d6b81e225865cfac5f1d319d168e1e23.tar.gz compcert-kvx-d2197102d6b81e225865cfac5f1d319d168e1e23.zip |
Comment
Diffstat (limited to 'backend/Duplicateaux.ml')
-rw-r--r-- | backend/Duplicateaux.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |