rtlanal: Fix up replace_rtx [PR105333]
authorJakub Jelinek <jakub@redhat.com>
Fri, 22 Apr 2022 11:38:11 +0000 (13:38 +0200)
committerJakub Jelinek <jakub@redhat.com>
Fri, 22 Apr 2022 11:38:11 +0000 (13:38 +0200)
commit7092b7aea122a91824d048aeb23834cf1d19b1a1
treeeb6712fec07d8cb32129652226f5be2eade6d0c4
parentc1a9cf679153719d066f1ec79154c406e1e48cdf
rtlanal: Fix up replace_rtx [PR105333]

The following testcase FAILs, because replace_rtx replaces a REG with
CONST_WIDE_INT inside of a SUBREG, which is an invalid transformation
because a SUBREG relies on SUBREG_REG having non-VOIDmode but
CONST_WIDE_INT has VOIDmode.

replace_rtx already has code to deal with it, but it was doing
it only for CONST_INTs.  The following patch does it also for
VOIDmode CONST_DOUBLE or CONST_WIDE_INT.

2022-04-22  Jakub Jelinek  <jakub@redhat.com>

PR rtl-optimization/105333
* rtlanal.cc (replace_rtx): Use simplify_subreg or
simplify_unary_operation if CONST_SCALAR_INT_P rather than just
CONST_INT_P.

* gcc.dg/pr105333.c: New test.
gcc/rtlanal.cc
gcc/testsuite/gcc.dg/pr105333.c [new file with mode: 0644]