[Bug target/81532] New: [8 Regression] insn does not satisfy its constraints: extract_constrain_insn, at recog.c:2213

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

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

            Bug ID: 81532
           Summary: [8 Regression] insn does not satisfy its constraints:
                    extract_constrain_insn, at recog.c:2213
           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 gcc dot gnu.org
  Target Milestone: ---

Starting from Jakub's r250397 we ICE on:

$ cat /tmp/tmpaa3y5mre.i
typedef unsigned __int128 a __attribute__ ((vector_size (64)));
a
b ()
{
  a c;
  c >>= 0 != c;
  return c;
}

$ gcc -Os -mavx512vbmi -mavx512vl /tmp/tmpaa3y5mre.i -c

/tmp/tmpaa3y5mre.i:8:1: error: insn does not satisfy its constraints:
 }
 ^
(insn 279 278 9 2 (set (reg:DI 41 r12 [ _10+8 ])
        (vec_select:DI (reg:V2DI 53 xmm16 [orig:94 _10 ] [94])
            (parallel [
                    (const_int 1 [0x1])
                ]))) "/tmp/tmpaa3y5mre.i":6 3706 {*vec_extractv2di_1}
     (nil))
during RTL pass: pro_and_epilogue
/tmp/tmpaa3y5mre.i:8:1: internal compiler error: in extract_constrain_insn, at
recog.c:2213
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.