aboutsummaryrefslogtreecommitdiffstats
path: root/common
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2021-03-31 11:34:55 +0200
committerCyril SIX <cyril.six@kalray.eu>2021-03-31 11:34:55 +0200
commitfe7a71c232068bc57e7e14935ff443a4a6315dac (patch)
treed366e451b76d51fb3f9d4121551c91687c20dc0f /common
parentf7365bc7d9b0eabc8fa06cafddad1b17ed01584a (diff)
downloadcompcert-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