Re: [PATCH] Fix if-conversion (PR tree-optimization/70916)

2016-05-03 Thread Richard Biener
On May 3, 2016 8:16:18 PM GMT+02:00, Jakub Jelinek wrote: >Hi! > >As mentioned in the PR and on IRC, the initial problem on the testcase >from this PR is that if-conv mistakenly assumes that some bb predicates >are true predicates, when they really should not be. >The problem is if we have a loop

[PATCH] Fix if-conversion (PR tree-optimization/70916)

2016-05-03 Thread Jakub Jelinek
Hi! As mentioned in the PR and on IRC, the initial problem on the testcase from this PR is that if-conv mistakenly assumes that some bb predicates are true predicates, when they really should not be. The problem is if we have a loop (perhaps finite) inside of some infinite loop, when computing pos