Fix stdarch-verify

Author: sayantn

crates/core_arch/src/x86/sse.rs

@@ -3030,7 +3030,7 @@ mod tests {
     }
 
     #[simd_test(enable = "sse")]
-    unsafe fn test_mm_shuffle() {
+    unsafe fn test_MM_SHUFFLE() {
         assert_eq!(_MM_SHUFFLE(0, 1, 1, 3), 0b00_01_01_11);
         assert_eq!(_MM_SHUFFLE(3, 1, 1, 0), 0b11_01_01_00);
         assert_eq!(_MM_SHUFFLE(1, 2, 2, 1), 0b01_10_10_01);

crates/stdarch-verify/src/lib.rs

@@ -70,14 +70,7 @@ fn functions(input: TokenStream, dirs: &[&str]) -> TokenStream {
     }
     assert!(!tests.is_empty());
 
-    functions.retain(|(f, _)| {
-        if let syn::Visibility::Public(_) = f.vis {
-            if f.sig.unsafety.is_some() {
-                return true;
-            }
-        }
-        false
-    });
+    functions.retain(|(f, _)| matches!(f.vis, syn::Visibility::Public(_)));
     assert!(!functions.is_empty());
 
     let input = proc_macro2::TokenStream::from(input);

crates/stdarch-verify/tests/x86-intel.rs

@@ -244,6 +244,7 @@ fn verify_all_signatures() {
                 "_fxrstor",
                 "_fxrstor64",
                 "_xend",
+                "_xabort_code",
                 // Aliases
                 "_mm_comige_ss",
                 "_mm_cvt_ss2si",
@@ -290,13 +291,10 @@ fn verify_all_signatures() {
             "__cpuid_count" |
             "__cpuid" |
             "__get_cpuid_max" |
+            "_MM_SHUFFLE" |
+            "_xabort_code" |
             // Not listed with intel, but manually verified
-            "cmpxchg16b" |
-            // Intel requires the mask argument for _mm_shuffle_ps to be an
-            // unsigned integer, but all other _mm_shuffle_.. intrinsics
-            // take a signed-integer. This breaks `_MM_SHUFFLE` for
-            // `_mm_shuffle_ps`
-            "_mm_shuffle_ps"
+            "cmpxchg16b"
             => continue,
             _ => {}
         }
@@ -871,6 +869,11 @@ fn equate(
         // The _mm_stream_load_si128 intrinsic take a mutable pointer in the intrinsics
         // guide even though they never write through the pointer
         (&Type::ConstPtr(&Type::M128I), "void*") if intrinsic.name == "_mm_stream_load_si128" => {}
+        /// Intel requires the mask argument for _mm_shuffle_ps to be an
+        // unsigned integer, but all other _mm_shuffle_.. intrinsics
+        // take a signed-integer. This breaks `_MM_SHUFFLE` for
+        // `_mm_shuffle_ps`
+        (&Type::PrimSigned(32), "unsigned int") if intrinsic.name == "_mm_shuffle_ps" => {}
 
         _ => bail!(
             "failed to equate: `{intel}` and {t:?} for {}",