Re: [PATCH] [ifcombine] check and extend constants to compare with bitfields [PR118456]

2025-01-13 Thread Richard Biener
On Mon, 13 Jan 2025, Alexandre Oliva wrote: > > Add logic to check and extend constants compared with bitfields, so > that fields are only compared with constants they could actually > equal. This involves making sure the signedness doesn't change > between loads and conversions before shifts: w

[PATCH] [ifcombine] check and extend constants to compare with bitfields [PR118456]

2025-01-13 Thread Alexandre Oliva
Add logic to check and extend constants compared with bitfields, so that fields are only compared with constants they could actually equal. This involves making sure the signedness doesn't change between loads and conversions before shifts: we'd need to carry a lot more data to deal with all the