https://github.com/ayalz commented: Long-term, optimizing masks may be addressed when generated by a VPlan2VPlan Predicator, rather than by a separate subsequent redundancy eliminator. https://github.com/llvm/llvm-project/pull/89386