[Bug rtl-optimization/111772] New: ICE on gfortran.dg/transpose_conjg_1.f90 in regrename.cc

[Bug rtl-optimization/111772] New: ICE on gfortran.dg/transpose_conjg_1.f90 in regrename.cc

[fkastl at suse dot cz]

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

            Bug ID: 111772
           Summary: ICE on gfortran.dg/transpose_conjg_1.f90 in
                    regrename.cc
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: fkastl at suse dot cz
                CC: jamborm at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux
            Target: x86_64-linux

Running

gfortran src/gcc/testsuite/gfortran.dg/transpose_conjg_1.f90 -fno-tree-ter
-funroll-loops -flive-range-shrinkage --param=max-combine-insns=2
-frounding-math -mavx512bw -O1 -fharden-conditional-branches

fails with

/home/worker/buildworker/tiber-option-juggler/build/gcc/testsuite/gfortran.dg/transpose_conjg_1.f90:37:17:

   37 |  END program main
      |                 ^
Error: insn does not satisfy its constraints:
(insn 1129 257 258 20 (set (reg:SF 57 xmm21 [761])
        (const_double:SF 0.0 [0x0.0p+0]))
"/home/worker/buildworker/tiber-option-juggler/build/gcc/testsuite/gfortran.dg/transpose_conjg_1.f90":26:56
discrim 11 160 {*movsf_internal}
     (expr_list:REG_EQUAL (const_double:SF 0.0 [0x0.0p+0])
        (nil)))
during RTL pass: rnreg
/home/worker/buildworker/tiber-option-juggler/build/gcc/testsuite/gfortran.dg/transpose_conjg_1.f90:37:17:
internal compiler error: in extract_constrain_insn, at recog.cc:2692
0x7e05f2 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../src/gcc/rtl-error.cc:108
0x7e0618 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../src/gcc/rtl-error.cc:118
0x7dec5f extract_constrain_insn(rtx_insn*)
        ../../src/gcc/recog.cc:2692
0xfb64fc build_def_use
        ../../src/gcc/regrename.cc:1700
0xfb64fc regrename_analyze(bitmap_head*, bool)
        ../../src/gcc/regrename.cc:772
0xfb7539 regrename_optimize
        ../../src/gcc/regrename.cc:1983
0xfb7539 execute
        ../../src/gcc/regrename.cc:2022

gfortran -v output:

Using built-in specs.
COLLECT_GCC=../build/gcc/gfortran
Target: x86_64-pc-linux-gnu
Configured with: ../src/configure --disable-multilib --disable-libsanitizer
--enable-languages=c,c++,fortran --enable-checking --disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.0 20231011 (experimental) (GCC)

[Bug target/111772] ICE on gfortran.dg/transpose_conjg_1.f90 in regrename.cc

[haochen.jiang at intel dot com]

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

Haochen Jiang <haochen.jiang at intel dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |haochen.jiang at intel dot com

--- Comment #1 from Haochen Jiang <haochen.jiang at intel dot com> ---
Should also be fixed on trunk as PR111753 fixed.

[Bug target/111772] ICE on gfortran.dg/transpose_conjg_1.f90 in regrename.cc

[fkastl at suse dot cz]

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

Filip Kastl <fkastl at suse dot cz> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Filip Kastl <fkastl at suse dot cz> ---
Ran on my machine again. Confirmed that the bug no longer occurs. Marking as
fixed.