diff options
author | Richard Biener <rguenther@suse.de> | 2021-09-09 11:50:20 +0200 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2021-09-09 11:50:20 +0200 |
commit | 013cfc648405a8a118d07436f103e4d70224fe00 (patch) | |
tree | ca468ff6558e0211fbeda33517a6f71a7933d5b0 /libgfortran | |
parent | 6e27bc2b885207d51500b2c42f949ca5073dbe72 (diff) | |
download | gcc-013cfc648405a8a118d07436f103e4d70224fe00.zip gcc-013cfc648405a8a118d07436f103e4d70224fe00.tar.gz gcc-013cfc648405a8a118d07436f103e4d70224fe00.tar.bz2 |
Improve LIM fill_always_executed_in computation
Currently the DOM walk over a loop body does not walk into not
always executed subloops to avoid scalability issues since doing
so makes the walk quadratic in the loop depth. It turns out this
is not an issue in practice and even with a loop depth of 1800
this function is way off the radar.
So the following patch removes the limitation, replacing it with
a comment.
2021-09-09 Richard Biener <rguenther@suse.de>
* tree-ssa-loop-im.c (fill_always_executed_in_1): Walk
into all subloops.
* gcc.dg/tree-ssa/ssa-lim-17.c: New testcase.
Diffstat (limited to 'libgfortran')
0 files changed, 0 insertions, 0 deletions