https://github.com/fhahn commented: One more thing I am wondering if we could end up introducing illegal vector types for a target and if we have to check the new type is legal? https://github.com/llvm/llvm-project/pull/118828