[PATCH] forwprop: Pattern recognize more rotates [PR94344]

2020-03-31 Thread Jakub Jelinek via Gcc-patches
Hi! The following patch adjusts simplify_rotate to recognize more rotates, basically we allow even some same precision integral -> integral conversions, with the requirement that the RSHIFT_EXPR operand has to be done in unsigned type (i.e. logical right shift), so that we compensate for the combi

Re: [PATCH] forwprop: Pattern recognize more rotates [PR94344]

2020-03-31 Thread Richard Biener
On Tue, 31 Mar 2020, Jakub Jelinek wrote: > Hi! > > The following patch adjusts simplify_rotate to recognize more rotates, > basically we allow even some same precision integral -> integral > conversions, with the requirement that the RSHIFT_EXPR operand has to be > done in unsigned type (i.e. lo