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.
