about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2024-05-04 12:34:16 +0200
committerRalf Jung <post@ralfj.de>2024-05-04 12:34:42 +0200
commit3046dbe7deaebf2804fc822dd1828b3c794edc6f (patch)
tree0831914ad68aa97b7c82d5212eb7ca90f2c02e14
parent57ff16bb5f93ef697f18f5222314ea3b8a385185 (diff)
downloadrust-3046dbe7deaebf2804fc822dd1828b3c794edc6f.tar.gz
rust-3046dbe7deaebf2804fc822dd1828b3c794edc6f.zip
move intrinsics implementations and tests into dedicated folder
and make them separate from 'shims'
-rw-r--r--src/tools/miri/src/intrinsics/atomic.rs (renamed from src/tools/miri/src/shims/intrinsics/atomic.rs)0
-rw-r--r--src/tools/miri/src/intrinsics/mod.rs (renamed from src/tools/miri/src/shims/intrinsics/mod.rs)0
-rw-r--r--src/tools/miri/src/intrinsics/simd.rs (renamed from src/tools/miri/src/shims/intrinsics/simd.rs)0
-rw-r--r--src/tools/miri/src/lib.rs3
-rw-r--r--src/tools/miri/src/shims/mod.rs1
-rw-r--r--src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs (renamed from src/tools/miri/tests/fail/shims/intrinsic_target_feature.rs)0
-rw-r--r--src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.stderr (renamed from src/tools/miri/tests/fail/shims/intrinsic_target_feature.stderr)0
-rw-r--r--src/tools/miri/tests/pass/intrinsics/integer.rs (renamed from src/tools/miri/tests/pass/intrinsics-integer.rs)0
-rw-r--r--src/tools/miri/tests/pass/intrinsics/intrinsics.rs (renamed from src/tools/miri/tests/pass/intrinsics.rs)0
-rw-r--r--src/tools/miri/tests/pass/intrinsics/portable-simd-ptrs.rs (renamed from src/tools/miri/tests/pass/portable-simd-ptrs.rs)0
-rw-r--r--src/tools/miri/tests/pass/intrinsics/portable-simd.rs (renamed from src/tools/miri/tests/pass/portable-simd.rs)0
-rw-r--r--src/tools/miri/tests/pass/intrinsics/volatile.rs (renamed from src/tools/miri/tests/pass/volatile.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-aes-vaes.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-aes-vaes.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-avx.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx2.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-avx2.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx512.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-avx512.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-pause-without-sse2.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-pause-without-sse2.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-sse.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse2.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-sse2.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse3-ssse3.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-sse3-ssse3.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse41.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86-sse41.rs)0
-rw-r--r--src/tools/miri/tests/pass/shims/x86/intrinsics-x86.rs (renamed from src/tools/miri/tests/pass/intrinsics-x86.rs)0
22 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/src/shims/intrinsics/atomic.rs b/src/tools/miri/src/intrinsics/atomic.rs
index 865886a7fc1..865886a7fc1 100644
--- a/src/tools/miri/src/shims/intrinsics/atomic.rs
+++ b/src/tools/miri/src/intrinsics/atomic.rs
diff --git a/src/tools/miri/src/shims/intrinsics/mod.rs b/src/tools/miri/src/intrinsics/mod.rs
index a7ba4fd7f9e..a7ba4fd7f9e 100644
--- a/src/tools/miri/src/shims/intrinsics/mod.rs
+++ b/src/tools/miri/src/intrinsics/mod.rs
diff --git a/src/tools/miri/src/shims/intrinsics/simd.rs b/src/tools/miri/src/intrinsics/simd.rs
index e6d6f72404e..e6d6f72404e 100644
--- a/src/tools/miri/src/shims/intrinsics/simd.rs
+++ b/src/tools/miri/src/intrinsics/simd.rs
diff --git a/src/tools/miri/src/lib.rs b/src/tools/miri/src/lib.rs
index f47c84842b1..f01c2da25d9 100644
--- a/src/tools/miri/src/lib.rs
+++ b/src/tools/miri/src/lib.rs
@@ -79,6 +79,7 @@ mod concurrency;
 mod diagnostics;
 mod eval;
 mod helpers;
+mod intrinsics;
 mod machine;
 mod mono_hash_map;
 mod operator;
@@ -95,9 +96,9 @@ pub use rustc_const_eval::interpret::*;
 #[doc(no_inline)]
 pub use rustc_const_eval::interpret::{self, AllocMap, PlaceTy, Provenance as _};
 
+pub use crate::intrinsics::EvalContextExt as _;
 pub use crate::shims::env::{EnvVars, EvalContextExt as _};
 pub use crate::shims::foreign_items::{DynSym, EvalContextExt as _};
-pub use crate::shims::intrinsics::EvalContextExt as _;
 pub use crate::shims::os_str::EvalContextExt as _;
 pub use crate::shims::panic::{CatchUnwindData, EvalContextExt as _};
 pub use crate::shims::time::EvalContextExt as _;
diff --git a/src/tools/miri/src/shims/mod.rs b/src/tools/miri/src/shims/mod.rs
index 85c9a202f7d..ab5a8c5877e 100644
--- a/src/tools/miri/src/shims/mod.rs
+++ b/src/tools/miri/src/shims/mod.rs
@@ -5,7 +5,6 @@ mod backtrace;
 #[cfg(target_os = "linux")]
 pub mod ffi_support;
 pub mod foreign_items;
-pub mod intrinsics;
 pub mod unix;
 pub mod windows;
 mod x86;
diff --git a/src/tools/miri/tests/fail/shims/intrinsic_target_feature.rs b/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs
index 9263ad381d1..9263ad381d1 100644
--- a/src/tools/miri/tests/fail/shims/intrinsic_target_feature.rs
+++ b/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs
diff --git a/src/tools/miri/tests/fail/shims/intrinsic_target_feature.stderr b/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.stderr
index 8e83d20854f..8e83d20854f 100644
--- a/src/tools/miri/tests/fail/shims/intrinsic_target_feature.stderr
+++ b/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.stderr
diff --git a/src/tools/miri/tests/pass/intrinsics-integer.rs b/src/tools/miri/tests/pass/intrinsics/integer.rs
index 13e7bd8e1b9..13e7bd8e1b9 100644
--- a/src/tools/miri/tests/pass/intrinsics-integer.rs
+++ b/src/tools/miri/tests/pass/intrinsics/integer.rs
diff --git a/src/tools/miri/tests/pass/intrinsics.rs b/src/tools/miri/tests/pass/intrinsics/intrinsics.rs
index 0dda5aadce2..0dda5aadce2 100644
--- a/src/tools/miri/tests/pass/intrinsics.rs
+++ b/src/tools/miri/tests/pass/intrinsics/intrinsics.rs
diff --git a/src/tools/miri/tests/pass/portable-simd-ptrs.rs b/src/tools/miri/tests/pass/intrinsics/portable-simd-ptrs.rs
index 096ec78da1a..096ec78da1a 100644
--- a/src/tools/miri/tests/pass/portable-simd-ptrs.rs
+++ b/src/tools/miri/tests/pass/intrinsics/portable-simd-ptrs.rs
diff --git a/src/tools/miri/tests/pass/portable-simd.rs b/src/tools/miri/tests/pass/intrinsics/portable-simd.rs
index 1fc713d48dc..1fc713d48dc 100644
--- a/src/tools/miri/tests/pass/portable-simd.rs
+++ b/src/tools/miri/tests/pass/intrinsics/portable-simd.rs
diff --git a/src/tools/miri/tests/pass/volatile.rs b/src/tools/miri/tests/pass/intrinsics/volatile.rs
index c9799801455..c9799801455 100644
--- a/src/tools/miri/tests/pass/volatile.rs
+++ b/src/tools/miri/tests/pass/intrinsics/volatile.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-aes-vaes.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-aes-vaes.rs
index 7363c753617..7363c753617 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-aes-vaes.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-aes-vaes.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-avx.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx.rs
index 7d43cc596ae..7d43cc596ae 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-avx.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-avx2.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx2.rs
index 80d125bb856..80d125bb856 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-avx2.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx2.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-avx512.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx512.rs
index 66bfcb20f1c..66bfcb20f1c 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-avx512.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-avx512.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-pause-without-sse2.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-pause-without-sse2.rs
index c8b92fd5458..c8b92fd5458 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-pause-without-sse2.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-pause-without-sse2.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-sse.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse.rs
index a62a5ee3781..a62a5ee3781 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-sse.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-sse2.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse2.rs
index e0088b9eb24..e0088b9eb24 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-sse2.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse2.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-sse3-ssse3.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse3-ssse3.rs
index 7566be4431b..7566be4431b 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-sse3-ssse3.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse3-ssse3.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86-sse41.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse41.rs
index 06607f3fd59..06607f3fd59 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86-sse41.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86-sse41.rs
diff --git a/src/tools/miri/tests/pass/intrinsics-x86.rs b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86.rs
index 90bcdba4353..90bcdba4353 100644
--- a/src/tools/miri/tests/pass/intrinsics-x86.rs
+++ b/src/tools/miri/tests/pass/shims/x86/intrinsics-x86.rs