The motivation for the current design (requiring the result and the operand to
have
the same mode) was from PR middle-end/50161. The challenge there is that when
the RTL optimizers can determine that the operand is a constant, simplify_rtx
sees
just a CONST_INT with VOIDmode and therefore does
Hi!
On Sun, Jan 01, 2023 at 03:55:26PM -, Roger Sayle wrote:
> In 2011, the rtl.texi documentation was updated to reflect that the
> modes of the RTX unary operations FFS, POPCOUNT and PARITY must
> match those of their operands.
Is that not a limitation we should try to get rid of? It does
On Sun, Jan 1, 2023 at 5:53 PM Roger Sayle wrote:
>
>
> This patch addresses PR target/108229, which is a change in code
> generation during the STV pass, due to the recently approved patch
> to handle vec_select (reductions) in the vector unit. The recent
> change is innocent, but exposes a late
This patch addresses PR target/108229, which is a change in code
generation during the STV pass, due to the recently approved patch
to handle vec_select (reductions) in the vector unit. The recent
change is innocent, but exposes a latent STV "gain" calculation issue
that is benign (or closely bal
In 2011, the rtl.texi documentation was updated to reflect that the
modes of the RTX unary operations FFS, POPCOUNT and PARITY must
match those of their operands. Unfortunately, some of the transformations
in simplify-rtx.cc predate this tightening of RTL semantics, and have
not (until now) been u
On Sun, Jan 1, 2023 at 3:55 PM Roger Sayle wrote:
>
>
> Hi Uros,
> Happy New Year.
> As requested here's a revised version of my patch to introduce a pattern for
> extendditi2, but implementing your suggestion to re-use the existing
> extendsidi2_1 splitters and peephole2 optimizations by using DW
Hi Uros,
Happy New Year.
As requested here's a revised version of my patch to introduce a pattern for
extendditi2, but implementing your suggestion to re-use the existing
extendsidi2_1 splitters and peephole2 optimizations by using DWI/DWIH
mode iterators.
This patch has been tested on x86_64-pc-