]> git.ipfire.org Git - thirdparty/gcc.git/commit
i386: Fix ICEs with SUBREGs from vector etc. constants to XFmode [PR114184]
authorJakub Jelinek <jakub@redhat.com>
Mon, 4 Mar 2024 09:04:19 +0000 (10:04 +0100)
committerJakub Jelinek <jakub@redhat.com>
Tue, 11 Jun 2024 10:35:32 +0000 (12:35 +0200)
commit929972273e858a9a913b0d74e69ac2f8d7255c28
tree2322ee48870c867b7b8be1fb0dc744437d81fe62
parentc2cd5eefccf54074ea9f8dc677a9a05b8a880ae4
i386: Fix ICEs with SUBREGs from vector etc. constants to XFmode [PR114184]

The Intel extended format has the various weird number categories,
pseudo denormals, pseudo infinities, pseudo NaNs and unnormals.
Those are not representable in the GCC real_value and so neither
GIMPLE nor RTX VIEW_CONVERT_EXPR/SUBREG folding folds those into
constants.

As can be seen on the following testcase, because it isn't folded
(since GCC 12, before that we were folding it) we can end up with
a SUBREG of a CONST_VECTOR or similar constant, which isn't valid
general_operand, so we ICE during vregs pass trying to recognize
the move instruction.
Initially I thought it is a middle-end bug, the movxf instruction
has general_operand predicate, but the middle-end certainly never
tests that predicate, seems moves are special optabs.
And looking at other mov optabs, e.g. for vector modes the i386
patterns use nonimmediate_operand predicate on the input, yet
ix86_expand_vector_move deals with CONSTANT_P and SUBREG of CONSTANT_P
arguments which if the predicate was checked couldn't ever make it through.

The following patch handles this case similarly to the
ix86_expand_vector_move's SUBREG of CONSTANT_P case, does it just for XFmode
because I believe that is the only mode that needs it from the scalar ones,
others should just be folded.

2024-03-04  Jakub Jelinek  <jakub@redhat.com>

PR target/114184
* config/i386/i386-expand.cc (ix86_expand_move): If XFmode op1
is SUBREG of CONSTANT_P, force the SUBREG_REG into memory or
register.

* gcc.target/i386/pr114184.c: New test.

(cherry picked from commit ea1c16f95b8fbaba4a7f3663ff9933ebedfb92a5)
gcc/config/i386/i386-expand.cc
gcc/testsuite/gcc.target/i386/pr114184.c [new file with mode: 0644]