diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-04-02 13:42:46 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-04-02 13:42:46 +0200 |
commit | 294df98be0c67f858355ff1ba08e9ac7a03c4ee2 (patch) | |
tree | fff9c554aebc304aca4b356ae5dda87192359811 | |
parent | b6b7b6a525e4b0b9fd727ef9d52c1901c3308cf0 (diff) | |
download | compcert-kvx-294df98be0c67f858355ff1ba08e9ac7a03c4ee2.tar.gz compcert-kvx-294df98be0c67f858355ff1ba08e9ac7a03c4ee2.zip |
Cleaning
-rw-r--r-- | backend/Duplicateaux.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 4d6e7f3a..db150521 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -339,7 +339,6 @@ let get_directions f code entrypoint = begin let loop_info = get_loop_info f is_loop_header bfs_order code in let directions = ref (PTree.map (fun n i -> None) code) in (* None <=> no predicted direction *) begin - debug_flag := true; (* ptree_printbool is_loop_header; *) (* debug "\n"; *) List.iter (fun n -> @@ -367,7 +366,7 @@ let get_directions f code entrypoint = begin end ) | _ -> () - ) bfs_order; debug_flag := false; + ) bfs_order; !directions end end |