diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-04-02 11:41:41 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-04-02 11:41:41 +0200 |
commit | 6ee3ecb0edc17d61a515054952827c495cc03979 (patch) | |
tree | 1ad7a9ba58b2f27259ea822c7e7f0a45b7fbb0ec /backend/Duplicateaux.ml | |
parent | fe7a71c232068bc57e7e14935ff443a4a6315dac (diff) | |
download | compcert-kvx-6ee3ecb0edc17d61a515054952827c495cc03979.tar.gz compcert-kvx-6ee3ecb0edc17d61a515054952827c495cc03979.zip |
Simple backedge detection (modified code from get_loop_headers)
Diffstat (limited to 'backend/Duplicateaux.ml')
-rw-r--r-- | backend/Duplicateaux.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 7504f724..625cbdd9 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -928,6 +928,9 @@ let loop_rotate f = ((code, entrypoint), revmap) let static_predict f = + debug_flag := true; + let _ = LICMaux.get_loop_backedges f.fn_code f.fn_entrypoint in + debug_flag := false; let entrypoint = f.fn_entrypoint in let code = f.fn_code in let revmap = make_identity_ptree code in |