Re: [PATCH] match.pd: Fold (~X | C) ^ D into (X | C) ^ (~D ^ C) if C and D are constants [PR96691]

2021-01-12 Thread Richard Biener
On Wed, 13 Jan 2021, Jakub Jelinek wrote: > Hi! > > These simplifications are only simplifications if the (~D ^ C) or (D ^ C) > expressions fold into constants, but in that case they decrease number of > operations by 1. > > For the first transformation I guess I should add reverse simplificatio

[PATCH] match.pd: Fold (~X | C) ^ D into (X | C) ^ (~D ^ C) if C and D are constants [PR96691]

2021-01-12 Thread Jakub Jelinek via Gcc-patches
Hi! These simplifications are only simplifications if the (~D ^ C) or (D ^ C) expressions fold into constants, but in that case they decrease number of operations by 1. For the first transformation I guess I should add reverse simplification when C and D are arbitrary (constants would fold before