1 // This used to cause assert_10_13 to unexpectingly fail, due to simd_shuffle_indices being passed
2 // the wrong Instance, causing issues with inlining. See #67557.
3 //
4 // run-pass
5 // compile-flags: -Zmir-opt-level=4
6 #![feature(platform_intrinsics, repr_simd)]
7
8 extern "platform-intrinsic" {
simd_shuffle2<T, U>(x: T, y: T, idx: [u32; 2]) -> U9 fn simd_shuffle2<T, U>(x: T, y: T, idx: [u32; 2]) -> U;
10 }
11
12 #[repr(simd)]
13 #[derive(Debug, PartialEq)]
14 struct Simd2(u8, u8);
15
main()16 fn main() {
17 unsafe {
18 const IDX: [u32; 2] = [0, 1];
19 let p_res: Simd2 = simd_shuffle2(Simd2(10, 11), Simd2(12, 13), IDX);
20 let a_res: Simd2 = inline_me();
21
22 assert_10_11(p_res);
23 assert_10_13(a_res);
24 }
25 }
26
27 #[inline(never)]
assert_10_11(x: Simd2)28 fn assert_10_11(x: Simd2) {
29 assert_eq!(x, Simd2(10, 11));
30 }
31
32 #[inline(never)]
assert_10_13(x: Simd2)33 fn assert_10_13(x: Simd2) {
34 assert_eq!(x, Simd2(10, 13));
35 }
36
37
38 #[inline(always)]
inline_me() -> Simd239 unsafe fn inline_me() -> Simd2 {
40 const IDX: [u32; 2] = [0, 3];
41 simd_shuffle2(Simd2(10, 11), Simd2(12, 13), IDX)
42 }
43