On 9/28/26 9:19 AM, Artemiy Volkov wrote:
Hi all,
sending a v2 of [0], adding support for converts of subexpressions in the
extract-bitfield-and-shift folding pattern. This is a complete rework so I
briefly considered making this a brand new patch instead.
Changes since v1:
- Expand commit message to better explain the transformation.
- Perform all operations in unsigned version of `type`, then convert back
to signed if needed.
- Remove the `type_has_mode_precision_p` check.
- Replace the `TYPE_UNSIGNED_P` requirement for `type` and the type of @0
with one on the type of @4.
- Add more tests involving signed types.
OK for trunk?
Thanks,
Artemiy
[0] https://gcc.gnu.org/pipermail/gcc-patches/2026-September/732547.html
Given Andrea already ACK'd V1, she should probably own V2. With
Cauldron this week, I'm suspect some review work is going to be slow.
jeff
