diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2025-03-14 15:34:32 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2025-03-14 15:34:32 +0100 |
| commit | ab0133cdba5dbcc29655593377e80586f7080472 (patch) | |
| tree | 3ee8f1ddee25f50f543dde1f1738730cf3e09d88 /gcc/rust/util | |
| parent | d0d7c6632c2913c0243f048a15ff64aec6b6232e (diff) | |
| download | gcc-ab0133cdba5dbcc29655593377e80586f7080472.zip gcc-ab0133cdba5dbcc29655593377e80586f7080472.tar.gz gcc-ab0133cdba5dbcc29655593377e80586f7080472.tar.bz2 | |
match.pd: Fix up r15-8025 simplification [PR119287]
The following testcase ICEs since r15-8025.
tree_nop_conversion_p doesn't imply TREE_TYPE (@0) is uselessly convertible
to type, e.g. they could be INTEGER_TYPEs with the same precision but
different TYPE_SIGN.
The following patch just adds a convert so that it creates a valid IL
even in those cases.
2025-03-14 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/119287
* match.pd (((X >> C1) & C2) * (1 << C1) to X & (C2 << C1)): Use
(convert @0) instead of @0 in the substitution.
* gcc.dg/pr119287.c: New test.
Diffstat (limited to 'gcc/rust/util')
0 files changed, 0 insertions, 0 deletions