From 78e6b3ede99866aecddbfc799c33f7572e1b8a27 Mon Sep 17 00:00:00 2001 From: Kajetan Puchalski Date: Thu, 30 Jan 2025 15:46:02 +0000 Subject: [PATCH] stdarch-verify: Support f16 vector types --- library/stdarch/crates/stdarch-verify/src/lib.rs | 9 +++++++++ 1 file changed, 9 insertions(+) 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 },