From 95ce20e6f2d3caebe05d7b189d790dce124a7263 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eduardo=20S=C3=A1nchez=20Mu=C3=B1oz?= <eduardosm-dev@e64.io>
Date: Sun, 28 Apr 2024 13:11:50 +0200
Subject: [PATCH] Add `#[cfg_attr(miri, ignore)]` to tests of intrinsics that
 cannot be supported by Miri

---
 library/stdarch/crates/core_arch/src/x86/avx.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/library/stdarch/crates/core_arch/src/x86/avx.rs b/library/stdarch/crates/core_arch/src/x86/avx.rs
index e550305e936f..cd2ca2c9cfef 100644
--- a/library/stdarch/crates/core_arch/src/x86/avx.rs
+++ b/library/stdarch/crates/core_arch/src/x86/avx.rs
@@ -3689,11 +3689,13 @@ mod tests {
     }
 
     #[simd_test(enable = "avx")]
+    #[cfg_attr(miri, ignore)] // Register-level operation not supported by Miri
     unsafe fn test_mm256_zeroall() {
         _mm256_zeroall();
     }
 
     #[simd_test(enable = "avx")]
+    #[cfg_attr(miri, ignore)] // Register-level operation not supported by Miri
     unsafe fn test_mm256_zeroupper() {
         _mm256_zeroupper();
     }
@@ -4129,6 +4131,7 @@ mod tests {
     }
 
     #[simd_test(enable = "avx")]
+    #[cfg_attr(miri, ignore)] // Non-temporal store, which is not supported by Miri
     unsafe fn test_mm256_stream_si256() {
         let a = _mm256_setr_epi64x(1, 2, 3, 4);
         let mut r = _mm256_undefined_si256();
@@ -4137,6 +4140,7 @@ mod tests {
     }
 
     #[simd_test(enable = "avx")]
+    #[cfg_attr(miri, ignore)] // Non-temporal store, which is not supported by Miri
     unsafe fn test_mm256_stream_pd() {
         #[repr(align(32))]
         struct Memory {
@@ -4152,6 +4156,7 @@ mod tests {
     }
 
     #[simd_test(enable = "avx")]
+    #[cfg_attr(miri, ignore)] // Non-temporal store, which is not supported by Miri
     unsafe fn test_mm256_stream_ps() {
         #[repr(align(32))]
         struct Memory {