93 lines
3.2 KiB
Rust
93 lines
3.2 KiB
Rust
|
// run-pass
|
||
|
|
#![allow(non_camel_case_types)]
|
||
|
|
|
||
|
|
// ignore-emscripten FIXME(#45351) hits an LLVM assert
|
||
|
|
|
||
|
|
#![feature(repr_simd, platform_intrinsics)]
|
||
|
|
|
||
|
|
#[repr(simd)]
|
||
|
|
#[derive(Copy, Clone, PartialEq, Debug)]
|
||
|
|
struct u32x4(pub u32, pub u32, pub u32, pub u32);
|
||
|
|
|
||
|
|
#[repr(simd)]
|
||
|
|
#[derive(Copy, Clone, PartialEq, Debug)]
|
||
|
|
struct i32x4(pub i32, pub i32, pub i32, pub i32);
|
||
|
|
|
||
|
|
extern "platform-intrinsic" {
|
||
|
|
fn simd_saturating_add<T>(x: T, y: T) -> T;
|
||
|
|
fn simd_saturating_sub<T>(x: T, y: T) -> T;
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
// unsigned
|
||
|
|
{
|
||
|
|
const M: u32 = u32::max_value();
|
||
|
|
|
||
|
|
let a = u32x4(1, 2, 3, 4);
|
||
|
|
let b = u32x4(2, 4, 6, 8);
|
||
|
|
let m = u32x4(M, M, M, M);
|
||
|
|
let m1 = u32x4(M - 1, M - 1, M - 1, M - 1);
|
||
|
|
let z = u32x4(0, 0, 0, 0);
|
||
|
|
|
||
|
|
unsafe {
|
||
|
|
assert_eq!(simd_saturating_add(z, z), z);
|
||
|
|
assert_eq!(simd_saturating_add(z, a), a);
|
||
|
|
assert_eq!(simd_saturating_add(b, z), b);
|
||
|
|
assert_eq!(simd_saturating_add(a, a), b);
|
||
|
|
assert_eq!(simd_saturating_add(a, m), m);
|
||
|
|
assert_eq!(simd_saturating_add(m, b), m);
|
||
|
|
assert_eq!(simd_saturating_add(m1, a), m);
|
||
|
|
|
||
|
|
assert_eq!(simd_saturating_sub(b, z), b);
|
||
|
|
assert_eq!(simd_saturating_sub(b, a), a);
|
||
|
|
assert_eq!(simd_saturating_sub(a, a), z);
|
||
|
|
assert_eq!(simd_saturating_sub(a, b), z);
|
||
|
|
assert_eq!(simd_saturating_sub(a, m1), z);
|
||
|
|
assert_eq!(simd_saturating_sub(b, m1), z);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
// signed
|
||
|
|
{
|
||
|
|
const MIN: i32 = i32::min_value();
|
||
|
|
const MAX: i32 = i32::max_value();
|
||
|
|
|
||
|
|
let a = i32x4(1, 2, 3, 4);
|
||
|
|
let b = i32x4(2, 4, 6, 8);
|
||
|
|
let c = i32x4(-1, -2, -3, -4);
|
||
|
|
let d = i32x4(-2, -4, -6, -8);
|
||
|
|
|
||
|
|
let max = i32x4(MAX, MAX, MAX, MAX);
|
||
|
|
let max1 = i32x4(MAX - 1, MAX - 1, MAX - 1, MAX - 1);
|
||
|
|
let min = i32x4(MIN, MIN, MIN, MIN);
|
||
|
|
let min1 = i32x4(MIN + 1, MIN + 1, MIN + 1, MIN + 1);
|
||
|
|
|
||
|
|
let z = i32x4(0, 0, 0, 0);
|
||
|
|
|
||
|
|
unsafe {
|
||
|
|
assert_eq!(simd_saturating_add(z, z), z);
|
||
|
|
assert_eq!(simd_saturating_add(z, a), a);
|
||
|
|
assert_eq!(simd_saturating_add(b, z), b);
|
||
|
|
assert_eq!(simd_saturating_add(a, a), b);
|
||
|
|
assert_eq!(simd_saturating_add(a, max), max);
|
||
|
|
assert_eq!(simd_saturating_add(max, b), max);
|
||
|
|
assert_eq!(simd_saturating_add(max1, a), max);
|
||
|
|
assert_eq!(simd_saturating_add(min1, z), min1);
|
||
|
|
assert_eq!(simd_saturating_add(min, z), min);
|
||
|
|
assert_eq!(simd_saturating_add(min1, c), min);
|
||
|
|
assert_eq!(simd_saturating_add(min, c), min);
|
||
|
|
assert_eq!(simd_saturating_add(min1, d), min);
|
||
|
|
assert_eq!(simd_saturating_add(min, d), min);
|
||
|
|
|
||
|
|
assert_eq!(simd_saturating_sub(b, z), b);
|
||
|
|
assert_eq!(simd_saturating_sub(b, a), a);
|
||
|
|
assert_eq!(simd_saturating_sub(a, a), z);
|
||
|
|
assert_eq!(simd_saturating_sub(a, b), c);
|
||
|
|
assert_eq!(simd_saturating_sub(z, max), min1);
|
||
|
|
assert_eq!(simd_saturating_sub(min1, z), min1);
|
||
|
|
assert_eq!(simd_saturating_sub(min1, a), min);
|
||
|
|
assert_eq!(simd_saturating_sub(min1, b), min);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|