Re: [committed] powerpc: Fix up expansion for WIDEN_MULT_PLUS_EXPR [PR108787]

2023-02-15 Thread Segher Boessenkool
Hi! On Wed, Feb 15, 2023 at 10:18:29AM +0100, Jakub Jelinek wrote: > If we wanted to get back the signed op1 * op2 + op3 all in the DImode > into TImode op0, we'd need to introduce a new tree code next to > WIDEN_MULT_PLUS_EXPR and maddMN4 expander, because I'm afraid it can't > be done at expansi

[committed] powerpc: Fix up expansion for WIDEN_MULT_PLUS_EXPR [PR108787]

2023-02-15 Thread Jakub Jelinek via Gcc-patches
Hi! WIDEN_MULT_PLUS_EXPR as documented has the factor operands with the same precision and the addend and result another one at least twice as wide. Similarly, {,u}maddMN4 is documented as 'maddMN4' Multiply operands 1 and 2, sign-extend them to mode N, add operand 3, and store the resul