Re: [PATCH] [ifcombine] cope with signbit tests of extended values

2025-02-14 Thread Richard Biener
On Thu, Feb 13, 2025 at 4:23 PM Alexandre Oliva wrote: > > > A compare with zero may be taken as a sign bit test by > fold_truth_andor_for_ifcombine, but the operand may be extended from a > narrower field. If the operand was narrower, the bitsize will reflect > the narrowing conversion, but if i

[PATCH] [ifcombine] cope with signbit tests of extended values

2025-02-13 Thread Alexandre Oliva
A compare with zero may be taken as a sign bit test by fold_truth_andor_for_ifcombine, but the operand may be extended from a narrower field. If the operand was narrower, the bitsize will reflect the narrowing conversion, but if it was wider, we'll only know whether the field is sign- or zero-ex