https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112282
--- Comment #14 from Richard Biener <rguenth at gcc dot gnu.org> --- Well, but then I still question the causing rev. - we are only performing bitfield lowering but not any if-conversion. IMHO the rev is a hack. Not sure if I want to add another hack to fix this miscompile? The change as-is behaves totally un-intuitively, we can't easily detect half-if-converted cases and require loop vectorization like we can when .MASK_LOAD/STORE appear. Testing a patch.