[Bug target/87026] New: [9 Regression] ICE in extract_constrain_insn_cached, at recog.c:2218

[asolokha at gmx dot com]

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

            Bug ID: 87026
           Summary: [9 Regression] ICE in extract_constrain_insn_cached,
                    at recog.c:2218
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: powerpc-*-linux-gnu

gcc-9.0.0-alpha20180819 snapshot (r263652) ICEs when compiling the following
snippet w/ -O2 (-O3, -Ofast, -Os) -fno-if-conversion:

int jd;

int
uq (int u0)
{
  goto al;

  while (jd < 1)
    {
      jd = 0;

      if (jd != 0)
        {
 al:
          while (u0 != 0)
            {
            }
        }
    }

  return 1 / u0;
}

% powerpc-e300c3-linux-gnu-gcc-9.0.0-alpha20180819 -O2 -fno-if-conversion -c
sakw6h4j.c
sakw6h4j.c: In function 'uq':
sakw6h4j.c:22:1: error: insn does not satisfy its constraints:
22 | }
   | ^
(insn 56 0 0 (set (reg:SI 121)
        (const_int 0 [0])) 502 {*movsi_internal1}
     (nil))
during RTL pass: ce3
sakw6h4j.c:22:1: internal compiler error: in extract_constrain_insn_cached, at
recog.c:2218
0x61a5f9 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/rtl-error.c:108
0x61a623 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/rtl-error.c:118
0x618be5 extract_constrain_insn_cached(rtx_insn*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/recog.c:2218
0x1209abf insn_default_length(rtx_insn*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/config/rs6000/rs6000.md:7058
0xffe417 rs6000_insn_cost
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/config/rs6000/rs6000.c:34085
0x98a774 canonicalize_comparison(machine_mode, rtx_code*, rtx_def**)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/expmed.c:6249
0xbc36f1 prepare_cmp_insn
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/optabs.c:3816
0xbc402e gen_cond_trap(rtx_code, rtx_def*, rtx_def*, rtx_def*)
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/optabs.c:5288
0x13febff find_cond_trap
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/ifcvt.c:4657
0x13febff find_if_header
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/ifcvt.c:4282
0x13febff if_convert
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/ifcvt.c:5405
0x140015d execute
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-9.0.0_alpha20180819/work/gcc-9-20180819/gcc/ifcvt.c:5553