| //@ run-pass |
| //@ only-x86_64 |
| //@ compile-flags: -C opt-level=3 |
| |
| // Regression test for issue #79865. |
| // The assertion will fail when compiled with Rust 1.56..=1.59 |
| // due to an LLVM miscompilation. |
| |
| use std::arch::x86_64::*; |
| |
| fn main() { |
| if is_x86_feature_detected!("avx") { |
| let res: [f64; 4] = unsafe { std::mem::transmute::<_, _>(first()) }; |
| assert_eq!(res, [22.0, 44.0, 66.0, 88.0]); |
| } |
| } |
| |
| #[target_feature(enable = "avx")] |
| unsafe fn first() -> __m256d { |
| second() |
| } |
| |
| unsafe fn second() -> __m256d { |
| let v0 = _mm256_setr_pd(1.0, 2.0, 3.0, 4.0); |
| let v1 = _mm256_setr_pd(10.0, 20.0, 30.0, 40.0); |
| |
| // needs to be called twice to hit the miscompilation |
| let (add, _) = add_sub(v0, v1); |
| let (add, _) = add_sub(add, add); |
| add |
| } |
| |
| #[inline(never)] // needed to hit the miscompilation |
| unsafe fn add_sub(v1: __m256d, v0: __m256d) -> (__m256d, __m256d) { |
| let add = _mm256_add_pd(v0, v1); |
| let sub = _mm256_sub_pd(v0, v1); |
| (add, sub) |
| } |
