https://github.com/dcaballe commented: It would be great if we could remove `!llvm.vector` (in a separate PR). Do you know if there is anything missing to do so? https://github.com/llvm/llvm-project/pull/125690