diff --git a/library/stdarch/crates/stdarch-verify/src/lib.rs b/library/stdarch/crates/stdarch-verify/src/lib.rs
index 5e4db96a70d6..a07c15057516 100644
--- a/library/stdarch/crates/stdarch-verify/src/lib.rs
+++ b/library/stdarch/crates/stdarch-verify/src/lib.rs
@@ -290,6 +290,15 @@ fn to_type(t: &syn::Type) -> proc_macro2::TokenStream {
             "uint64x2x2_t" => quote! { &U64X2X2 },
             "uint64x2x3_t" => quote! { &U64X2X3 },
             "uint64x2x4_t" => quote! { &U64X2X4 },
+            "float16x2_t" => quote! { &F16X2 },
+            "float16x4_t" => quote! { &F16X4 },
+            "float16x4x2_t" => quote! { &F16X4X2 },
+            "float16x4x3_t" => quote! { &F16X4X3 },
+            "float16x4x4_t" => quote! { &F16X4X4 },
+            "float16x8_t" => quote! { &F16X8 },
+            "float16x8x2_t" => quote! { &F16X8X2 },
+            "float16x8x3_t" => quote! { &F16X8X3 },
+            "float16x8x4_t" => quote! { &F16X8X4 },
             "float32x2_t" => quote! { &F32X2 },
             "float32x2x2_t" => quote! { &F32X2X2 },
             "float32x2x3_t" => quote! { &F32X2X3 },