Skip to content

Commit 495a58d

Browse files
eduardosmAmanieu
authored andcommitted
Add #[cfg_attr(miri, ignore)] to tests of intrinsics that cannot be supported by Miri
1 parent c1d9d08 commit 495a58d

File tree

1 file changed

+5
-0
lines changed
  • crates/core_arch/src/x86

1 file changed

+5
-0
lines changed

crates/core_arch/src/x86/avx.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3689,11 +3689,13 @@ mod tests {
36893689
}
36903690

36913691
#[simd_test(enable = "avx")]
3692+
#[cfg_attr(miri, ignore)] // Register-level operation not supported by Miri
36923693
unsafe fn test_mm256_zeroall() {
36933694
_mm256_zeroall();
36943695
}
36953696

36963697
#[simd_test(enable = "avx")]
3698+
#[cfg_attr(miri, ignore)] // Register-level operation not supported by Miri
36973699
unsafe fn test_mm256_zeroupper() {
36983700
_mm256_zeroupper();
36993701
}
@@ -4129,6 +4131,7 @@ mod tests {
41294131
}
41304132

41314133
#[simd_test(enable = "avx")]
4134+
#[cfg_attr(miri, ignore)] // Non-temporal store, which is not supported by Miri
41324135
unsafe fn test_mm256_stream_si256() {
41334136
let a = _mm256_setr_epi64x(1, 2, 3, 4);
41344137
let mut r = _mm256_undefined_si256();
@@ -4137,6 +4140,7 @@ mod tests {
41374140
}
41384141

41394142
#[simd_test(enable = "avx")]
4143+
#[cfg_attr(miri, ignore)] // Non-temporal store, which is not supported by Miri
41404144
unsafe fn test_mm256_stream_pd() {
41414145
#[repr(align(32))]
41424146
struct Memory {
@@ -4152,6 +4156,7 @@ mod tests {
41524156
}
41534157

41544158
#[simd_test(enable = "avx")]
4159+
#[cfg_attr(miri, ignore)] // Non-temporal store, which is not supported by Miri
41554160
unsafe fn test_mm256_stream_ps() {
41564161
#[repr(align(32))]
41574162
struct Memory {

0 commit comments

Comments
 (0)