https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126064
--- Comment #1 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
Simpler reproducer
---
#include <arm_neon.h>
uint32x2_t repro(uint32x2_t a, uint32x2_t b) {
return vtrn_u32(a, vrev64_u32(b)).val[1];
}
