[Bug target/78671] New: ICE: in extract_constrain_insn, at recog.c:2213 with -Og -march=skylake-avx512

["zsojka at seznam dot cz" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 78671
           Summary: ICE: in extract_constrain_insn, at recog.c:2213 with
                    -Og -march=skylake-avx512
           Product: gcc
           Version: 7.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: x86_64-pc-linux-gnu
             Build: x86_64-pc-linux-gnu

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

Compiler output:
$ x86_64-pc-linux-gnu-gcc -Og -march=skylake-avx512 testcase.c
testcase.c: In function 'foo':
testcase.c:15:1: error: insn does not satisfy its constraints:
 }
 ^
(insn 554 165 166 14 (set (reg:TI 44 r15 [orig:149 _84 ] [149])
        (reg:TI 40 r11 [orig:149 _84 ] [149])) "testcase.c":12 80
{*movti_internal}
     (nil))
testcase.c:15:1: internal compiler error: in extract_constrain_insn, at
recog.c:2213
0xc25ec3 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        /repo/gcc-trunk/gcc/rtl-error.c:108
0xc25f34 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        /repo/gcc-trunk/gcc/rtl-error.c:119
0xbdc17d extract_constrain_insn(rtx_insn*)
        /repo/gcc-trunk/gcc/recog.c:2213
0xae38a5 check_rtl
        /repo/gcc-trunk/gcc/lra.c:2109
0xaea510 lra(_IO_FILE*)
        /repo/gcc-trunk/gcc/lra.c:2517
0xa90a99 do_reload
        /repo/gcc-trunk/gcc/ira.c:5386
0xa90a99 execute
        /repo/gcc-trunk/gcc/ira.c:5570
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-243200-checking-yes-rtl-df-extra-nobootstrap-nographite-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/7.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 --without-cloog --without-ppl --without-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-243200-checking-yes-rtl-df-extra-nobootstrap-nographite-amd64
Thread model: posix
gcc version 7.0.0 20161202 (experimental) (GCC)