[Bug tree-optimization/102546] [12 Regregression] Missed Dead Code Elimination regression (trunk vs 11.2.0) at -O3

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102546

--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Aldy Hernandez <aldyh@gcc.gnu.org>:

https://gcc.gnu.org/g:5f9ccf17de7f7581412c6bffd4a37beca9a79836

commit r12-4088-g5f9ccf17de7f7581412c6bffd4a37beca9a79836
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Fri Oct 1 13:05:36 2021 +0200

    [PR102546] X << Y being non-zero implies X is also non-zero.

    This patch teaches this to range-ops.

    Tested on x86-64 Linux.

    gcc/ChangeLog:

            PR tree-optimization/102546
            * range-op.cc (operator_lshift::op1_range): Teach range-ops that
            X << Y is non-zero implies X is also non-zero.