about summary refs log tree commit diff
path: root/compiler/rustc_codegen_cranelift/example/float-minmax-pass.rs
blob: b7491b7e522f32594445a9635fda4903454b31ad (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
// Copied from https://github.com/rust-lang/rust/blob/3fe3b89cd57229343eeca753fdd8c63d9b03c65c/src/test/ui/simd/intrinsic/float-minmax-pass.rs
// run-pass
// ignore-emscripten

// Test that the simd_f{min,max} intrinsics produce the correct results.

#![feature(repr_simd, core_intrinsics)]
#![allow(internal_features, non_camel_case_types)]

#[repr(simd)]
#[derive(Copy, Clone, PartialEq, Debug)]
struct f32x4(pub [f32; 4]);

impl f32x4 {
    fn into_array(self) -> [f32; 4] {
        unsafe { std::mem::transmute(self) }
    }
}

use std::intrinsics::simd::*;

fn main() {
    let x = f32x4([1.0, 2.0, 3.0, 4.0]);
    let y = f32x4([2.0, 1.0, 4.0, 3.0]);

    #[cfg(not(any(target_arch = "mips", target_arch = "mips64")))]
    let nan = f32::NAN;
    // MIPS hardware except MIPS R6 treats f32::NAN as SNAN. Clear the signaling bit.
    // See https://github.com/rust-lang/rust/issues/52746.
    #[cfg(any(target_arch = "mips", target_arch = "mips64"))]
    let nan = f32::from_bits(f32::NAN.to_bits() - 1);

    let n = f32x4([nan, nan, nan, nan]);

    unsafe {
        let min0 = simd_fmin(x, y);
        let min1 = simd_fmin(y, x);
        assert_eq!(min0.into_array(), min1.into_array());
        let e = f32x4([1.0, 1.0, 3.0, 3.0]);
        assert_eq!(min0.into_array(), e.into_array());
        let minn = simd_fmin(x, n);
        assert_eq!(minn.into_array(), x.into_array());
        let minn = simd_fmin(y, n);
        assert_eq!(minn.into_array(), y.into_array());

        let max0 = simd_fmax(x, y);
        let max1 = simd_fmax(y, x);
        assert_eq!(max0.into_array(), max1.into_array());
        let e = f32x4([2.0, 2.0, 4.0, 4.0]);
        assert_eq!(max0.into_array(), e.into_array());
        let maxn = simd_fmax(x, n);
        assert_eq!(maxn.into_array(), x.into_array());
        let maxn = simd_fmax(y, n);
        assert_eq!(maxn.into_array(), y.into_array());
    }
}