diff options
| author | Ralf Jung <post@ralfj.de> | 2024-07-13 18:47:44 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-08-07 11:36:43 +0200 |
| commit | deeccf9d3e951459169bbfe6f0f36bc6f74da293 (patch) | |
| tree | 9b7c29715ca7dd1a381e5f350042bb15cbe0872b /src/tools/miri/tests | |
| parent | c755314d780b0ac0e712efc258533bbd8431d1f0 (diff) | |
| download | rust-deeccf9d3e951459169bbfe6f0f36bc6f74da293.tar.gz rust-deeccf9d3e951459169bbfe6f0f36bc6f74da293.zip | |
remove some SSE/SSE2 intrinsics that are no longer used by stdarch
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; |