Alive2 now supports X86 SSE2/AVX2 vector intrinsics, due to a recent change, and you can try it out for yourself online: Compiler Explorer
The work was originally done by one of @regehr’s PhD students. @nlopes and I got it to a mergeable state, and verified that it works.