Re: [PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) == 0

2018-01-05 Thread Sudakshina Das
Hi Jeff On 04/01/18 18:30, Jeff Law wrote: On 01/03/2018 06:57 AM, Sudakshina Das wrote: Hi This patch add support for the missing transformation of (x | y) == x -> (y & ~x) == 0. The transformation for (x & y) == x case already exists in simplify-rtx.c since 2014 as of r218503 and this patch

Re: [PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) == 0

2018-01-04 Thread Jeff Law
On 01/03/2018 06:57 AM, Sudakshina Das wrote: > Hi > > This patch add support for the missing transformation of (x | y) == x -> > (y & ~x) == 0. > The transformation for (x & y) == x case already exists in > simplify-rtx.c since 2014 as of r218503 and this patch only adds a > couple of extra patte

Re: [PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) == 0

2018-01-03 Thread Sudakshina Das
Hi On 03/01/18 14:38, Segher Boessenkool wrote: Hi! On Wed, Jan 03, 2018 at 01:57:38PM +, Sudakshina Das wrote: This patch add support for the missing transformation of (x | y) == x -> (y & ~x) == 0. Testing done: Checked for regressions on bootstrapped aarch64-none-linux-gnu and arm-no

Re: [PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) == 0

2018-01-03 Thread Segher Boessenkool
Hi! On Wed, Jan 03, 2018 at 01:57:38PM +, Sudakshina Das wrote: > This patch add support for the missing transformation of (x | y) == x -> > (y & ~x) == 0. > Testing done: Checked for regressions on bootstrapped > aarch64-none-linux-gnu and arm-none-linux-gnueabihf and added new test > cas

[PATCH PR82439][simplify-rtx] Simplify (x | y) == x -> (y & ~x) == 0

2018-01-03 Thread Sudakshina Das
Hi This patch add support for the missing transformation of (x | y) == x -> (y & ~x) == 0. The transformation for (x & y) == x case already exists in simplify-rtx.c since 2014 as of r218503 and this patch only adds a couple of extra patterns for the IOR case. Citing the example given in PR82