diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-03-25 16:49:29 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-03-25 16:49:29 +0100 |
| commit | ed399d8dcb3b41dfacf8257c22c608061503fd3d (patch) | |
| tree | c9953fe10d4a4ad0c50df71973f4a1b649772002 /backend/Duplicateaux.ml | |
| parent | c1aa5f9678c2a90453c57f9918b349753fdf50be (diff) | |
| download | compcert-kvx-ed399d8dcb3b41dfacf8257c22c608061503fd3d.tar.gz compcert-kvx-ed399d8dcb3b41dfacf8257c22c608061503fd3d.zip | |
Loop heuristic > Call heuristic
Diffstat (limited to 'backend/Duplicateaux.ml')
| -rw-r--r-- | backend/Duplicateaux.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index fedb63fe..54d60d24 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -269,8 +269,9 @@ let get_directions code entrypoint = begin match (get_some @@ PTree.get n code) with | Icond (cond, lr, ifso, ifnot, _) -> (* Printf.printf "Analyzing %d.." (P.to_int n); *) - let heuristics = [ do_call_heuristic; do_opcode_heuristic; - do_return_heuristic; do_loop2_heuristic loop_info n; do_loop_heuristic; (* do_store_heuristic *) ] in + let heuristics = [ do_opcode_heuristic; + do_return_heuristic; do_loop2_heuristic loop_info n; do_loop_heuristic; do_call_heuristic; + (* do_store_heuristic *) ] in let preferred = ref None in begin Printf.printf "Deciding condition for RTL node %d\n" (P.to_int n); |