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

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Cleaned up testcase -ffloat-store -mavx512f:

typedef double v4df __attribute__ ((__vector_size__ (4 * sizeof (double))));
typedef double v8df __attribute__ ((__vector_size__ (8 * sizeof (double))));
v8df a;
v4df b;

void
foo (v4df *p)
{
  *p = __builtin_ia32_extractf64x4_mask (a, 1, b, 1);
}