[Bug target/101743] New: [12 Regression] Error: insn does not satisfy its constraints since r12-2640-gf7bf03cf69ccb7dc

[marxin at gcc dot gnu.org]

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

            Bug ID: 101743
           Summary: [12 Regression] Error: insn does not satisfy its
                    constraints since r12-2640-gf7bf03cf69ccb7dc
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: roger at nextmovesoftware dot com, uros at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu

Created attachment 51249
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51249&action=edit
RTL dump file

The ICE happens in cam4_r SPEC 2017 benchmark when run with PGO and
-march=znver2 -Ofast. It's not easy to get a test-case as the file contains
quite some modules.

Hope you'll be able to guess what's wrong based on RTL dump file.

$ gfortran -I/tmp/ -c -Ofast -march=znver2 -g -std=legacy -fprofile-use
m_MCTWorld.fppized.f90 -fdump-rtl-all
...
Error: insn does not satisfy its constraints:
(insn 2301 2106 2302 113 (parallel [
            (set (reg:CCGOC 17 flags)
                (compare:CCGOC (plus:DI (reg:DI 20 xmm0 [orig:311 vect__743.211
] [311])
                        (const_int -1 [0xffffffffffffffff]))
                    (const_int 0 [0])))
            (set (reg:DI 20 xmm0 [orig:311 vect__743.211 ] [311])
                (plus:DI (reg:DI 20 xmm0 [orig:311 vect__743.211 ] [311])
                    (const_int -1 [0xffffffffffffffff])))
        ]) "m_MCTWorld.fppized.f90":103:40 217 {*adddi_2}
     (nil))
during RTL pass: rnreg
dump file: m_MCTWorld.fppized.f90.313r.rnreg
m_MCTWorld.fppized.f90:116:22: internal compiler error: in
extract_constrain_insn, at recog.c:2670
0x7143a8 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.c:108
0x7143d6 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /home/marxin/Programming/gcc/gcc/rtl-error.c:118
0x7125cb extract_constrain_insn(rtx_insn*)
        /home/marxin/Programming/gcc/gcc/recog.c:2670
0xeaf065 build_def_use
        /home/marxin/Programming/gcc/gcc/regrename.c:1691
0xeaf065 regrename_analyze(bitmap_head*, bool)
        /home/marxin/Programming/gcc/gcc/regrename.c:763
0xeb0196 regrename_optimize
        /home/marxin/Programming/gcc/gcc/regrename.c:1974
0xeb0196 execute
        /home/marxin/Programming/gcc/gcc/regrename.c:2011
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.