about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2021-11-14 11:56:52 -0500
committerRalf Jung <post@ralfj.de>2021-11-14 12:26:35 -0500
commit60595f7bde03c6c17a798f1aed6fb8bedd9bd3ca (patch)
tree7896304ca1aac9d768ad2063997928db43554d81
parent1b12d01903293453dd94aa170c82caf94415629f (diff)
downloadrust-60595f7bde03c6c17a798f1aed6fb8bedd9bd3ca.tar.gz
rust-60595f7bde03c6c17a798f1aed6fb8bedd9bd3ca.zip
disable portable SIMD tests in Miri
-rw-r--r--library/core/src/lib.rs2
-rw-r--r--library/core/tests/simd.rs2
2 files changed, 4 insertions, 0 deletions
diff --git a/library/core/src/lib.rs b/library/core/src/lib.rs
index 1099877a008..74ae0fb91c7 100644
--- a/library/core/src/lib.rs
+++ b/library/core/src/lib.rs
@@ -402,11 +402,13 @@ pub mod arch {
 #[allow(missing_debug_implementations, dead_code, unsafe_op_in_unsafe_fn, unused_unsafe)]
 #[allow(rustdoc::bare_urls)]
 #[unstable(feature = "portable_simd", issue = "86656")]
+#[cfg(not(all(miri, doctest)))] // Miri does not support all SIMD intrinsics
 #[cfg(not(bootstrap))]
 mod core_simd;
 
 #[doc = include_str!("../../portable-simd/crates/core_simd/src/core_simd_docs.md")]
 #[unstable(feature = "portable_simd", issue = "86656")]
+#[cfg(not(all(miri, doctest)))] // Miri does not support all SIMD intrinsics
 #[cfg(not(bootstrap))]
 pub mod simd {
     #[unstable(feature = "portable_simd", issue = "86656")]
diff --git a/library/core/tests/simd.rs b/library/core/tests/simd.rs
index 8c11d788c67..50c92968c9d 100644
--- a/library/core/tests/simd.rs
+++ b/library/core/tests/simd.rs
@@ -1,3 +1,5 @@
+#![cfg(not(miri))] // Miri does not support all SIMD intrinsics
+
 use core::simd::f32x4;
 
 #[test]