about summary refs log tree commit diff
path: root/tests/ui/simd/monomorphize-shuffle-index.rs
blob: ba952cdb0dc609f3ca5dc8c70b48cace76a4b2c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
//@ revisions: old generic generic_with_fn
//@[old]run-pass
//@[generic_with_fn]run-pass
//@ ignore-backends: gcc
#![feature(
    repr_simd,
    core_intrinsics,
    intrinsics,
    adt_const_params,
    unsized_const_params,
    generic_const_exprs
)]
#![allow(incomplete_features)]

#[path = "../../auxiliary/minisimd.rs"]
mod minisimd;
use minisimd::*;

#[cfg(old)]
use std::intrinsics::simd::simd_shuffle;

#[cfg(any(generic, generic_with_fn))]
#[rustc_intrinsic]
unsafe fn simd_shuffle_const_generic<T, U, const I: &'static [u32]>(a: T, b: T) -> U;

trait Shuffle<const N: usize> {
    const I: Simd<u32, N>;
    const J: &'static [u32] = &Self::I.0;

    unsafe fn shuffle<T, const M: usize>(&self, a: Simd<T, M>, b: Simd<T, M>) -> Simd<T, N>
    where
        Thing<{ Self::J }>:,
    {
        #[cfg(old)]
        return simd_shuffle(a, b, Self::I);
        #[cfg(generic)]
        return simd_shuffle_const_generic::<_, _, { &Self::I.0 }>(a, b);
        //[generic]~^ ERROR overly complex generic constant
        #[cfg(generic_with_fn)]
        return simd_shuffle_const_generic::<_, _, { Self::J }>(a, b);
    }
}

struct Thing<const X: &'static [u32]>;

fn main() {
    struct I1;
    impl Shuffle<4> for I1 {
        const I: Simd<u32, 4> = Simd([0, 2, 4, 6]);
    }

    struct I2;
    impl Shuffle<2> for I2 {
        const I: Simd<u32, 2> = Simd([1, 5]);
    }

    let a = Simd::<u8, 4>([0, 1, 2, 3]);
    let b = Simd::<u8, 4>([4, 5, 6, 7]);
    unsafe {
        let x: Simd<u8, 4> = I1.shuffle(a, b);
        assert_eq!(x.into_array(), [0, 2, 4, 6]);

        let y: Simd<u8, 2> = I2.shuffle(a, b);
        assert_eq!(y.into_array(), [1, 5]);
    }
}