On 08/05/2016 01:45 AM, Richard Biener wrote:
There is no need to avoid threading to a loop header, the threading
code can cope with this just fine. Noticed when working on PR72772.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
Richard.
2016-08-05 Richard Biener <rguent...@suse.de>
* tree-ssa-threadupdate.c (thread_block_1): Remove unnecessary
restriction on threading to a loop header.
This restriction exists to help prevent threading through a loop header
into the loop which can easily create an irreducible region.
In fact what you've done is revert the fix for 58343. Now there is of
course a test for 58343 in the regression suite.
It's entirely possible that 58343 is just latent now or other changes in
tree-ssa-threadupdate.c prevent the problems that we saw with 58343.
Jeff