Re: [PATCH] MATCH: Transform `(1 >> X) !=/== 0` into `X ==/!= 0`

[Jeff Law via Gcc-patches]

On 9/3/23 10:25, Andrew Pinski via Gcc-patches wrote:

We currently have a pattern for handling `(C >> X) & D == 0`
but if C is 1 and D is 1, the `& 1` might have been removed.

gcc/ChangeLog:

        PR tree-optimization/105832
        * match.pd (`(1 >> X) != 0`): New pattern

OK
jeff