about summary refs log tree commit diff
path: root/tests/ui/simd/intrinsic/generic-cast-pass.rs
blob: 0c3b00d65bf5c357d94ff60c7cd4a3c6da28700e (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
//@ run-pass

#![feature(repr_simd, core_intrinsics)]

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

use std::intrinsics::simd::simd_cast;

use std::cmp::{max, min};

type V<T> = Simd<T, 2>;

fn main() {
    unsafe {
        let u: V::<u32> = Simd([i16::MIN as u32, i16::MAX as u32]);
        let i: V<i16> = simd_cast(u);
        assert_eq!(i[0], u[0] as i16);
        assert_eq!(i[1], u[1] as i16);
    }

    unsafe {
        let f: V::<f32> = Simd([i16::MIN as f32, i16::MAX as f32]);
        let i: V<i16> = simd_cast(f);
        assert_eq!(i[0], f[0] as i16);
        assert_eq!(i[1], f[1] as i16);
    }

    unsafe {
        let f: V::<f32> = Simd([u8::MIN as f32, u8::MAX as f32]);
        let u: V<u8> = simd_cast(f);
        assert_eq!(u[0], f[0] as u8);
        assert_eq!(u[1], f[1] as u8);
    }

    unsafe {
        // We would like to do isize::MIN..=isize::MAX, but those values are not representable in
        // an f64, so we clamp to the range of an i32 to prevent running into UB.
        let f: V::<f64> = Simd([
            max(isize::MIN, i32::MIN as isize) as f64,
            min(isize::MAX, i32::MAX as isize) as f64,
        ]);
        let i: V<isize> = simd_cast(f);
        assert_eq!(i[0], f[0] as isize);
        assert_eq!(i[1], f[1] as isize);
    }

    unsafe {
        let f: V::<f64> = Simd([
            max(usize::MIN, u32::MIN as usize) as f64,
            min(usize::MAX, u32::MAX as usize) as f64,
        ]);
        let u: V<usize> = simd_cast(f);
        assert_eq!(u[0], f[0] as usize);
        assert_eq!(u[1], f[1] as usize);
    }
}