diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-03-31 11:34:55 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-03-31 11:34:55 +0200 |
commit | fe7a71c232068bc57e7e14935ff443a4a6315dac (patch) | |
tree | d366e451b76d51fb3f9d4121551c91687c20dc0f /common | |
parent | f7365bc7d9b0eabc8fa06cafddad1b17ed01584a (diff) | |
download | compcert-kvx-fe7a71c232068bc57e7e14935ff443a4a6315dac.tar.gz compcert-kvx-fe7a71c232068bc57e7e14935ff443a4a6315dac.zip |
Big simplification of get_loop_info
Another remnant of trying to devise a complicated algorithm for a
problem that was, in fact, very simple: I just had to check whether the
branch was within the loop body.
I tested it functionally on the benchmarks: only heapsort is changed, in
slightly worst (4-5%), because the old get_loop_info had done a buggy
guess that proved to be lucky for that particular case.
The other benchmarks are unchanged: the predictions stay the exact same.
The get_loop_info could potentially be improved by having a natural loop
detection that extends to outer loops (not just inner loops), though I
expect the performance improvements would be very small.
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions