https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97081
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org Status|NEW |ASSIGNED --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- The following aborts with vectorization enabled: #define EXEC_ROR2(a, b, sz) (a >> b) | (a << (64 - b)) #define TYPE unsigned long void __attribute__((noipa)) exec_VRORudi_i(TYPE *__restrict__ pvd, TYPE *__restrict__ const pva, unsigned char IMM) { unsigned char I2 = IMM & 63; for (unsigned i = 0; i < 4; i++) pvd[i] = EXEC_ROR2(pva[i], I2, 8); } int main() { TYPE pvd[4], pva[4] = { 0x0102030405060708, 0x0102030405060708, 0x0102030405060708, 0x0102030405060708 }; exec_VRORudi_i (pvd, pva, 7); if (pvd[0] != 0x10020406080a0c0e) __builtin_abort (); return 0; } creates patt_9 = -_25; patt_8 = patt_9 & 31; vect_patt_27.7_28 = vect__4.6_5 >> _25; vect_patt_22.8_29 = vect__4.6_5 << patt_8; vect_patt_23.9_30 = vect_patt_27.7_28 | vect_patt_22.8_29; _7 = _4 r>> _25; I have a patch.