On 12/14/21 11:28, Jakub Jelinek wrote:
> Wouldn't this be better done only if field_val has the msb set

Yes, updated in the attached patch.

> and keep the CONVERT_EXPR otherwise (why isn't it NOP_EXPR?)?

Dunno, but I can prepare a separate patch (likely stage1 material,
right)? Note that are other places that also use CONVERT_EXPR.

Patch can bootstrap on x86_64-linux-gnu and survives regression tests.

Ready to be installed?
Thanks,
Martin