https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56253
--- Comment #13 from Agner Fog <agner at agner dot org> --- Thank you. I agree that integer overflow should be well-defined when using intrinsics. Is it possible to do the same optimization with boolean vector intrinsics, such as _mm_and_epi32 and _mm_or_ps to enable optimizations such as algebraic reduction and constant propagation?
