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.