diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2021-10-01 13:05:36 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2021-10-02 00:03:23 +0200 |
| commit | 5f9ccf17de7f7581412c6bffd4a37beca9a79836 (patch) | |
| tree | e10e84c7a9062a57145cea3cbd6229b47a350446 /gcc/ChangeLog | |
| parent | 257d2890a769a8aa564d079170377e637e07acb1 (diff) | |
| download | gcc-5f9ccf17de7f7581412c6bffd4a37beca9a79836.zip gcc-5f9ccf17de7f7581412c6bffd4a37beca9a79836.tar.gz gcc-5f9ccf17de7f7581412c6bffd4a37beca9a79836.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ChangeLog')
0 files changed, 0 insertions, 0 deletions