[Bug target/80206] New: ICE in extract_insn, at recog.c:2327

["marxin at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 80206
           Summary: ICE in extract_insn, at recog.c:2327
           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: marxin at gcc dot gnu.org
                CC: jakub at redhat dot com
  Target Milestone: ---
              Host: x86_64-linux-gnu
            Target: x86_64-linux-gnu
             Build: x86_64-linux-gnu

Starting from 4.9, where AVX512 was instroduced, we ICE:

$ cat /tmp/tmp6iytybcl.i
__attribute__ ((__vector_size__ (8 * sizeof (long)))) int a;
__attribute__ ((__vector_size__ (4 * sizeof (double)))) double b;
void c ()
{
  (__attribute__ ((__vector_size__ (4 * sizeof (long)))) int)
    __builtin_ia32_extractf64x4_mask ((__attribute__ ((__vector_size__ (
                                        8 * sizeof (double)))) double) a,
                                      1, b, 1);
}

$ gcc -ffloat-store /tmp/tmp6iytybcl.i -mavx512f
/tmp/tmp6iytybcl.i: In function ‘c’:
/tmp/tmp6iytybcl.i:9:1: error: unrecognizable insn:
 }
 ^
(insn 12 11 16 2 (set (mem:V4DF (plus:DI (reg/f:DI 82 virtual-stack-vars)
                (const_int -160 [0xffffffffffffff60])) [2  S32 A256])
        (vec_merge:V4DF (vec_select:V4DF (reg:V8DF 89)
                (parallel [
                        (const_int 4 [0x4])
                        (const_int 5 [0x5])
                        (const_int 6 [0x6])
                        (const_int 7 [0x7])
                    ]))
            (reg:V4DF 90)
            (reg:QI 91))) "/tmp/tmp6iytybcl.i":6 -1
     (nil))
/tmp/tmp6iytybcl.i:9:1: internal compiler error: in extract_insn, at
recog.c:2311
0xb97008 _fatal_insn(char const*, rtx_def const*, char const*, int, char
const*)
        ../../gcc/rtl-error.c:108
0xb97039 _fatal_insn_not_found(rtx_def const*, char const*, int, char const*)
        ../../gcc/rtl-error.c:116
0xb645e1 extract_insn(rtx_insn*)
        ../../gcc/recog.c:2311
0x92e163 instantiate_virtual_regs_in_insn
        ../../gcc/function.c:1589
0x92e163 instantiate_virtual_regs
        ../../gcc/function.c:1957
0x92e163 execute
        ../../gcc/function.c:2006