https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70021
--- Comment #4 from Ilya Enkovich <ienkovich at gcc dot gnu.org> --- (In reply to Ilya Enkovich from comment #3) > but somehow both original statement and pattern get vectorized and all uses > of g_9 use conversion result, not pattern result. This happens because of bool pattern and shift pattern conflict similar to what Jakub fixed for PR69820.