[Bug target/112837] New: [12/13/14 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[Bug target/112837] New: [12/13/14 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[zsojka at seznam dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

            Bug ID: 112837
           Summary: [12/13/14 Regression] ICE: RTL check: expected elt 1
                    type 'i' or 'n', have 'e' (rtx plus) in
                    ix86_elim_entry_set_got, at config/i386/i386.cc:8612
                    with -fcompare-elim -fpie -fprofile
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: i686-pc-linux-gnu

Created attachment 56780
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56780&action=edit
reduced testcase

RTL checking might be needed.

Compiler output:
$ x86_64-pc-linux-gnu-gcc -m32 -fcompare-elim -fpie -fprofile testcase.c
during RTL pass: pro_and_epilogue
testcase.c: In function 'foo':
testcase.c:5:1: internal compiler error: RTL check: expected elt 1 type 'i' or
'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at
config/i386/i386.cc:8612
    5 | }
      | ^
0x7fc743 rtl_check_failed_type2(rtx_def const*, int, int, int, char const*,
int, char const*)
        /repo/gcc-trunk/gcc/rtl.cc:761
0x8b147a ix86_elim_entry_set_got
        /repo/gcc-trunk/gcc/config/i386/i386.cc:8612
0x8b147a ix86_expand_prologue()
        /repo/gcc-trunk/gcc/config/i386/i386.cc:9248
0x1dd305a gen_prologue()
        /repo/gcc-trunk/gcc/config/i386/i386.md:18316
0x189bb85 target_gen_prologue
        /repo/gcc-trunk/gcc/config/i386/i386.md:26218
0x111da87 make_prologue_seq
        /repo/gcc-trunk/gcc/function.cc:5815
0x111dc23 thread_prologue_and_epilogue_insns()
        /repo/gcc-trunk/gcc/function.cc:6050
0x111e592 rest_of_handle_thread_prologue_and_epilogue
        /repo/gcc-trunk/gcc/function.cc:6553
0x111e592 execute
        /repo/gcc-trunk/gcc/function.cc:6634
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-6095-20231203175403-geef6aea3052-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--disable-bootstrap --with-cloog --with-ppl --with-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=x86_64-pc-linux-gnu --with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-6095-20231203175403-geef6aea3052-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20231203 (experimental) (GCC)

[Bug target/112837] [12/13/14 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
The bug is there since r5-4566 I think, perhaps latent.

[Bug target/112837] [12/13/14 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2023-12-03
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 56783
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56783&action=edit
gcc14-pr112837.patch

Untested fix.

[Bug target/112837] [12/13/14 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:4586d7d0a92e9b60d0c01043e0ae262b1e06f337

commit r14-6109-g4586d7d0a92e9b60d0c01043e0ae262b1e06f337
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Dec 4 09:01:09 2023 +0100

    i386: Fix rtl checking ICE in ix86_elim_entry_set_got [PR112837]

    The following testcase ICEs with RTL checking, because it sets if
    XINT (SET_SRC (set), 1) is UNSPEC_SET_GOT without checking if SET_SRC (set)
    is actually an UNSPEC, so any time we see any other insn with PARALLEL
    and a SET in it which is not an UNSPEC we ICE during RTL checking or
    access there some other union member as if it was an rt_int.
    The rest is just small cleanup.

    2023-12-04  Jakub Jelinek  <jakub@redhat.com>

            PR target/112837
            * config/i386/i386.cc (ix86_elim_entry_set_got): Before checking
            for UNSPEC_SET_GOT check that SET_SRC is UNSPEC.  Use SET_SRC and
            SET_DEST macros instead of XEXP, rename vec variable to set.

            * gcc.dg/pr112837.c: New test.

[Bug target/112837] [12/13 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13/14 Regression] ICE:  |[12/13 Regression] ICE: RTL
                   |RTL check: expected elt 1   |check: expected elt 1 type
                   |type 'i' or 'n', have 'e'   |'i' or 'n', have 'e' (rtx
                   |(rtx plus) in               |plus) in
                   |ix86_elim_entry_set_got, at |ix86_elim_entry_set_got, at
                   |config/i386/i386.cc:8612    |config/i386/i386.cc:8612
                   |with -fcompare-elim -fpie   |with -fcompare-elim -fpie
                   |-fprofile                   |-fprofile

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed for GCC 14+ so far.

[Bug target/112837] [12/13 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.4
           Priority|P3                          |P2

[Bug target/112837] [12/13 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:918877a0b8e68b2f56c88d54dd6399bbfdb89155

commit r13-8126-g918877a0b8e68b2f56c88d54dd6399bbfdb89155
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Dec 4 09:01:09 2023 +0100

    i386: Fix rtl checking ICE in ix86_elim_entry_set_got [PR112837]

    The following testcase ICEs with RTL checking, because it sets if
    XINT (SET_SRC (set), 1) is UNSPEC_SET_GOT without checking if SET_SRC (set)
    is actually an UNSPEC, so any time we see any other insn with PARALLEL
    and a SET in it which is not an UNSPEC we ICE during RTL checking or
    access there some other union member as if it was an rt_int.
    The rest is just small cleanup.

    2023-12-04  Jakub Jelinek  <jakub@redhat.com>

            PR target/112837
            * config/i386/i386.cc (ix86_elim_entry_set_got): Before checking
            for UNSPEC_SET_GOT check that SET_SRC is UNSPEC.  Use SET_SRC and
            SET_DEST macros instead of XEXP, rename vec variable to set.

            * gcc.dg/pr112837.c: New test.

    (cherry picked from commit 4586d7d0a92e9b60d0c01043e0ae262b1e06f337)

[Bug target/112837] [12 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13 Regression] ICE: RTL |[12 Regression] ICE: RTL
                   |check: expected elt 1 type  |check: expected elt 1 type
                   |'i' or 'n', have 'e' (rtx   |'i' or 'n', have 'e' (rtx
                   |plus) in                    |plus) in
                   |ix86_elim_entry_set_got, at |ix86_elim_entry_set_got, at
                   |config/i386/i386.cc:8612    |config/i386/i386.cc:8612
                   |with -fcompare-elim -fpie   |with -fcompare-elim -fpie
                   |-fprofile                   |-fprofile

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Now fixed for 13.3 as well.

[Bug target/112837] [12 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-12 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:d02372f39dc6506a4ff88a7f01fb5570a82606c0

commit r12-10053-gd02372f39dc6506a4ff88a7f01fb5570a82606c0
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Dec 4 09:01:09 2023 +0100

    i386: Fix rtl checking ICE in ix86_elim_entry_set_got [PR112837]

    The following testcase ICEs with RTL checking, because it sets if
    XINT (SET_SRC (set), 1) is UNSPEC_SET_GOT without checking if SET_SRC (set)
    is actually an UNSPEC, so any time we see any other insn with PARALLEL
    and a SET in it which is not an UNSPEC we ICE during RTL checking or
    access there some other union member as if it was an rt_int.
    The rest is just small cleanup.

    2023-12-04  Jakub Jelinek  <jakub@redhat.com>

            PR target/112837
            * config/i386/i386.cc (ix86_elim_entry_set_got): Before checking
            for UNSPEC_SET_GOT check that SET_SRC is UNSPEC.  Use SET_SRC and
            SET_DEST macros instead of XEXP, rename vec variable to set.

            * gcc.dg/pr112837.c: New test.

    (cherry picked from commit 4586d7d0a92e9b60d0c01043e0ae262b1e06f337)

[Bug target/112837] [12 Regression] ICE: RTL check: expected elt 1 type 'i' or 'n', have 'e' (rtx plus) in ix86_elim_entry_set_got, at config/i386/i386.cc:8612 with -fcompare-elim -fpie -fprofile

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112837

--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:05e3cff4e8b3b544afb1bbefddc342de42641cc1

commit r11-11153-g05e3cff4e8b3b544afb1bbefddc342de42641cc1
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Dec 4 09:01:09 2023 +0100

    i386: Fix rtl checking ICE in ix86_elim_entry_set_got [PR112837]

    The following testcase ICEs with RTL checking, because it sets if
    XINT (SET_SRC (set), 1) is UNSPEC_SET_GOT without checking if SET_SRC (set)
    is actually an UNSPEC, so any time we see any other insn with PARALLEL
    and a SET in it which is not an UNSPEC we ICE during RTL checking or
    access there some other union member as if it was an rt_int.
    The rest is just small cleanup.

    2023-12-04  Jakub Jelinek  <jakub@redhat.com>

            PR target/112837
            * config/i386/i386.c (ix86_elim_entry_set_got): Before checking
            for UNSPEC_SET_GOT check that SET_SRC is UNSPEC.  Use SET_SRC and
            SET_DEST macros instead of XEXP, rename vec variable to set.

            * gcc.dg/pr112837.c: New test.

    (cherry picked from commit 4586d7d0a92e9b60d0c01043e0ae262b1e06f337)