https://github.com/lukel97 commented: Does a mul of zero ever get introduced by the loop vectorizer? Otherwise I'd assume InstCombine would remove it from the input beforehand https://github.com/llvm/llvm-project/pull/127521