https://github.com/gysit commented: Thanks for the fix! I think this works modulo comments. Adding @Moxinilian to to have a look. Maybe there are other places where scalable vectors break assumptions. https://github.com/llvm/llvm-project/pull/209426