1 // run-pass
2 #![allow(non_camel_case_types)]
3
4 // ignore-emscripten
5
6 // Test that the simd_reduce_{op} intrinsics produce the correct results.
7
8 #![feature(repr_simd, platform_intrinsics)]
9 #[allow(non_camel_case_types)]
10
11 #[repr(simd)]
12 #[derive(Copy, Clone)]
13 struct i32x4(pub i32, pub i32, pub i32, pub i32);
14
15 #[repr(simd)]
16 #[derive(Copy, Clone)]
17 struct u32x4(pub u32, pub u32, pub u32, pub u32);
18
19 #[repr(simd)]
20 #[derive(Copy, Clone)]
21 struct f32x4(pub f32, pub f32, pub f32, pub f32);
22
23 #[repr(simd)]
24 #[derive(Copy, Clone)]
25 struct b8x4(pub i8, pub i8, pub i8, pub i8);
26
27 extern "platform-intrinsic" {
simd_reduce_add_unordered<T, U>(x: T) -> U28 fn simd_reduce_add_unordered<T, U>(x: T) -> U;
simd_reduce_mul_unordered<T, U>(x: T) -> U29 fn simd_reduce_mul_unordered<T, U>(x: T) -> U;
simd_reduce_add_ordered<T, U>(x: T, acc: U) -> U30 fn simd_reduce_add_ordered<T, U>(x: T, acc: U) -> U;
simd_reduce_mul_ordered<T, U>(x: T, acc: U) -> U31 fn simd_reduce_mul_ordered<T, U>(x: T, acc: U) -> U;
simd_reduce_min<T, U>(x: T) -> U32 fn simd_reduce_min<T, U>(x: T) -> U;
simd_reduce_max<T, U>(x: T) -> U33 fn simd_reduce_max<T, U>(x: T) -> U;
simd_reduce_min_nanless<T, U>(x: T) -> U34 fn simd_reduce_min_nanless<T, U>(x: T) -> U;
simd_reduce_max_nanless<T, U>(x: T) -> U35 fn simd_reduce_max_nanless<T, U>(x: T) -> U;
simd_reduce_and<T, U>(x: T) -> U36 fn simd_reduce_and<T, U>(x: T) -> U;
simd_reduce_or<T, U>(x: T) -> U37 fn simd_reduce_or<T, U>(x: T) -> U;
simd_reduce_xor<T, U>(x: T) -> U38 fn simd_reduce_xor<T, U>(x: T) -> U;
simd_reduce_all<T>(x: T) -> bool39 fn simd_reduce_all<T>(x: T) -> bool;
simd_reduce_any<T>(x: T) -> bool40 fn simd_reduce_any<T>(x: T) -> bool;
41 }
42
main()43 fn main() {
44 unsafe {
45 let x = i32x4(1, -2, 3, 4);
46 let r: i32 = simd_reduce_add_unordered(x);
47 assert_eq!(r, 6_i32);
48 let r: i32 = simd_reduce_mul_unordered(x);
49 assert_eq!(r, -24_i32);
50 let r: i32 = simd_reduce_add_ordered(x, -1);
51 assert_eq!(r, 5_i32);
52 let r: i32 = simd_reduce_mul_ordered(x, -1);
53 assert_eq!(r, 24_i32);
54
55 let r: i32 = simd_reduce_min(x);
56 assert_eq!(r, -2_i32);
57 let r: i32 = simd_reduce_max(x);
58 assert_eq!(r, 4_i32);
59
60 let x = i32x4(-1, -1, -1, -1);
61 let r: i32 = simd_reduce_and(x);
62 assert_eq!(r, -1_i32);
63 let r: i32 = simd_reduce_or(x);
64 assert_eq!(r, -1_i32);
65 let r: i32 = simd_reduce_xor(x);
66 assert_eq!(r, 0_i32);
67
68 let x = i32x4(-1, -1, 0, -1);
69 let r: i32 = simd_reduce_and(x);
70 assert_eq!(r, 0_i32);
71 let r: i32 = simd_reduce_or(x);
72 assert_eq!(r, -1_i32);
73 let r: i32 = simd_reduce_xor(x);
74 assert_eq!(r, -1_i32);
75 }
76
77 unsafe {
78 let x = u32x4(1, 2, 3, 4);
79 let r: u32 = simd_reduce_add_unordered(x);
80 assert_eq!(r, 10_u32);
81 let r: u32 = simd_reduce_mul_unordered(x);
82 assert_eq!(r, 24_u32);
83 let r: u32 = simd_reduce_add_ordered(x, 1);
84 assert_eq!(r, 11_u32);
85 let r: u32 = simd_reduce_mul_ordered(x, 2);
86 assert_eq!(r, 48_u32);
87
88 let r: u32 = simd_reduce_min(x);
89 assert_eq!(r, 1_u32);
90 let r: u32 = simd_reduce_max(x);
91 assert_eq!(r, 4_u32);
92
93 let t = u32::MAX;
94 let x = u32x4(t, t, t, t);
95 let r: u32 = simd_reduce_and(x);
96 assert_eq!(r, t);
97 let r: u32 = simd_reduce_or(x);
98 assert_eq!(r, t);
99 let r: u32 = simd_reduce_xor(x);
100 assert_eq!(r, 0_u32);
101
102 let x = u32x4(t, t, 0, t);
103 let r: u32 = simd_reduce_and(x);
104 assert_eq!(r, 0_u32);
105 let r: u32 = simd_reduce_or(x);
106 assert_eq!(r, t);
107 let r: u32 = simd_reduce_xor(x);
108 assert_eq!(r, t);
109 }
110
111 unsafe {
112 let x = f32x4(1., -2., 3., 4.);
113 let r: f32 = simd_reduce_add_unordered(x);
114 assert_eq!(r, 6_f32);
115 let r: f32 = simd_reduce_mul_unordered(x);
116 assert_eq!(r, -24_f32);
117 let r: f32 = simd_reduce_add_ordered(x, 0.);
118 assert_eq!(r, 6_f32);
119 let r: f32 = simd_reduce_mul_ordered(x, 1.);
120 assert_eq!(r, -24_f32);
121 let r: f32 = simd_reduce_add_ordered(x, 1.);
122 assert_eq!(r, 7_f32);
123 let r: f32 = simd_reduce_mul_ordered(x, 2.);
124 assert_eq!(r, -48_f32);
125
126 let r: f32 = simd_reduce_min(x);
127 assert_eq!(r, -2_f32);
128 let r: f32 = simd_reduce_max(x);
129 assert_eq!(r, 4_f32);
130 let r: f32 = simd_reduce_min_nanless(x);
131 assert_eq!(r, -2_f32);
132 let r: f32 = simd_reduce_max_nanless(x);
133 assert_eq!(r, 4_f32);
134 }
135
136 unsafe {
137 let x = b8x4(!0, !0, !0, !0);
138 let r: bool = simd_reduce_all(x);
139 assert_eq!(r, true);
140 let r: bool = simd_reduce_any(x);
141 assert_eq!(r, true);
142
143 let x = b8x4(!0, !0, 0, !0);
144 let r: bool = simd_reduce_all(x);
145 assert_eq!(r, false);
146 let r: bool = simd_reduce_any(x);
147 assert_eq!(r, true);
148
149 let x = b8x4(0, 0, 0, 0);
150 let r: bool = simd_reduce_all(x);
151 assert_eq!(r, false);
152 let r: bool = simd_reduce_any(x);
153 assert_eq!(r, false);
154 }
155 }
156