On Mon, 13 Jan 2025, Alexandre Oliva wrote:
>
> If a single-bit bitfield takes up the sign bit of a storage unit,
> comparing the corresponding bitfield between two objects loads the
> storage units, XORs them, converts the result to signed char, and
> compares it with zero: ((signed char)(a. ^ c
If a single-bit bitfield takes up the sign bit of a storage unit,
comparing the corresponding bitfield between two objects loads the
storage units, XORs them, converts the result to signed char, and
compares it with zero: ((signed char)(a. ^ c.) >= 0).
fold_truth_andor_for_ifcombine recognizes t
