diff options
| author | Drew Ross <drross@redhat.com> | 2023-08-04 09:08:05 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-08-04 09:08:05 +0200 |
| commit | 9020da78df2854f14f8b1d38b58a6d3b77a4b731 (patch) | |
| tree | 945dddb19a047a8c4211bc57a8cb3a83f70930c8 /gcc/pointer-query.h | |
| parent | 236ec7aac051a062dc961b3c1482925893ee6e21 (diff) | |
| download | gcc-9020da78df2854f14f8b1d38b58a6d3b77a4b731.zip gcc-9020da78df2854f14f8b1d38b58a6d3b77a4b731.tar.gz gcc-9020da78df2854f14f8b1d38b58a6d3b77a4b731.tar.bz2 | |
match.pd: Canonicalize (signed x << c) >> c [PR101955]
Canonicalizes (signed x << c) >> c into the lowest
precision(type) - c bits of x IF those bits have a mode precision or a
precision of 1. Also combines this rule with (unsigned x << c) >> c -> x &
((unsigned)-1 >> c) to prevent duplicate pattern.
PR middle-end/101955
* match.pd ((signed x << c) >> c): New canonicalization.
* gcc.dg/pr101955.c: New test.
Diffstat (limited to 'gcc/pointer-query.h')
0 files changed, 0 insertions, 0 deletions