Re: [PATCH] ifcombine: avoid unsound forwarder-enabled combinations [PR117723]

2024-11-29 Thread Richard Biener
On Fri, Nov 29, 2024 at 8:59 AM Alexandre Oliva wrote: > > > When ifcombining contiguous blocks, we can follow forwarder blocks and > reverse conditions to enable combinations, but when there are > intervening blocks, we have to constrain ourselves to paths to the > exit that share the PHI args wi

[PATCH] ifcombine: avoid unsound forwarder-enabled combinations [PR117723]

2024-11-28 Thread Alexandre Oliva
When ifcombining contiguous blocks, we can follow forwarder blocks and reverse conditions to enable combinations, but when there are intervening blocks, we have to constrain ourselves to paths to the exit that share the PHI args with all intervening blocks. Avoiding considering forwarders when i