Re: [PATCH] PR tree-optimization/71343: Optimize (X<

2022-08-08 Thread Richard Biener via Gcc-patches
On Mon, Aug 8, 2022 at 10:07 AM Roger Sayle wrote: > > > This patch resolves PR tree-optimization/71343, a missed-optimization > enhancement request where GCC fails to see that (a<<2)+(b<<2) == a*4+b*4. > This requires two related (sets of) optimizations to be added to match.pd. > > The first is t

[PATCH] PR tree-optimization/71343: Optimize (X<

2022-08-08 Thread Roger Sayle
This patch resolves PR tree-optimization/71343, a missed-optimization enhancement request where GCC fails to see that (a<<2)+(b<<2) == a*4+b*4. This requires two related (sets of) optimizations to be added to match.pd. The first is that (X< 4*X" will always evaluate to false. This patch has been