diff options
| author | bors <bors@rust-lang.org> | 2024-08-07 09:53:36 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-07 09:53:36 +0000 |
| commit | 2f405ebc45783e177a307168058e2f440f33645e (patch) | |
| tree | 6c9f6fb0e0cbca3267b51868edd4baafd4fa0bba /src/tools/miri/tests | |
| parent | 384f8586cb7d3770b2572e9a998a33706f0983ac (diff) | |
| parent | deeccf9d3e951459169bbfe6f0f36bc6f74da293 (diff) | |
| download | rust-2f405ebc45783e177a307168058e2f440f33645e.tar.gz rust-2f405ebc45783e177a307168058e2f440f33645e.zip | |
Auto merge of #3747 - RalfJung:sse-cleanup, r=RalfJung
remove some SSE/SSE2 intrinsics that are no longer used by stdarch Fixes https://github.com/rust-lang/miri/issues/3691
Diffstat (limited to 'src/tools/miri/tests')
| -rw-r--r-- | src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs b/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs index 9263ad381d1..860798f2ab1 100644 --- a/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs +++ b/src/tools/miri/tests/fail/intrinsics/intrinsic_target_feature.rs @@ -24,7 +24,7 @@ fn main() { unsafe { // Pass, since SSE is enabled - addss(_mm_setzero_ps(), _mm_setzero_ps()); + minss(_mm_setzero_ps(), _mm_setzero_ps()); // Fail, since SSE4.1 is not enabled dpps(_mm_setzero_ps(), _mm_setzero_ps(), 0); @@ -34,8 +34,8 @@ fn main() { #[allow(improper_ctypes)] extern "C" { - #[link_name = "llvm.x86.sse.add.ss"] - fn addss(a: __m128, b: __m128) -> __m128; + #[link_name = "llvm.x86.sse.min.ss"] + fn minss(a: __m128, b: __m128) -> __m128; #[link_name = "llvm.x86.sse41.dpps"] fn dpps(a: __m128, b: __m128, imm8: u8) -> __m128; |