Re: [PATCH] [ifcombine] reuse left-hand mask to decode right-hand xor operand

On Fri, 10 Jan 2025, Alexandre Oliva wrote: > > If fold_truth_andor_for_ifcombine applies a mask to an xor, say > because the result of the xor is compared with a power of two [minus > one], we have to apply the same mask when processing both the left- > and right-hand xor paths for the transform

[PATCH] [ifcombine] reuse left-hand mask to decode right-hand xor operand

If fold_truth_andor_for_ifcombine applies a mask to an xor, say because the result of the xor is compared with a power of two [minus one], we have to apply the same mask when processing both the left- and right-hand xor paths for the transformation to be sound. Arrange for decode_field_reference