diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-23 15:09:36 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-23 15:09:36 +0100 |
commit | 2e0ac9f60d15de2bfd887cf823ec23d77868b297 (patch) | |
tree | 29f58517054b283910724cea7100b2162b9da9c3 /backend/Duplicateaux.ml | |
parent | 5ce9d33ddf09747ce6cf6e3bea70097556b454f4 (diff) | |
download | compcert-kvx-2e0ac9f60d15de2bfd887cf823ec23d77868b297.tar.gz compcert-kvx-2e0ac9f60d15de2bfd887cf823ec23d77868b297.zip |
Printing traces right before duplicating
Diffstat (limited to 'backend/Duplicateaux.ml')
-rw-r--r-- | backend/Duplicateaux.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 67fbf3ad..167a28eb 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -537,8 +537,5 @@ let duplicate_aux f = let code = fn_code f in let traces = select_traces (to_ttl_code code entrypoint) entrypoint in let preds = get_predecessors_rtl code in - let (new_code, pTreeId) = superblockify_traces code preds traces in - begin - print_traces traces; - ((new_code, (fn_entrypoint f)), pTreeId) - end + let (new_code, pTreeId) = (print_traces traces; superblockify_traces code preds traces) in + ((new_code, (fn_entrypoint f)), pTreeId) |