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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
//! Minimal API of signed integer, unsigned integer, and floating-point
//! vectors.
macro_rules! impl_minimal_iuf {
([$elem_ty:ident; $elem_count:expr]: $id:ident | $ielem_ty:ident |
$test_tt:tt | $($elem_name:ident),+ | $(#[$doc:meta])*) => {
$(#[$doc])*
pub type $id = Simd<[$elem_ty; $elem_count]>;
impl sealed::Simd for $id {
type Element = $elem_ty;
const LANES: usize = $elem_count;
type LanesType = [u32; $elem_count];
}
impl $id {
/// Creates a new instance with each vector elements initialized
/// with the provided values.
#[inline]
#[allow(clippy::too_many_arguments)]
pub const fn new($($elem_name: $elem_ty),*) -> Self {
Simd(codegen::$id($($elem_name as $ielem_ty),*))
}
/// Returns the number of vector lanes.
#[inline]
pub const fn lanes() -> usize {
$elem_count
}
/// Constructs a new instance with each element initialized to
/// `value`.
#[inline]
pub const fn splat(value: $elem_ty) -> Self {
Simd(codegen::$id($({
#[allow(non_camel_case_types, dead_code)]
struct $elem_name;
value as $ielem_ty
}),*))
}
/// Extracts the value at `index`.
///
/// # Panics
///
/// If `index >= Self::lanes()`.
#[inline]
pub fn extract(self, index: usize) -> $elem_ty {
assert!(index < $elem_count);
unsafe { self.extract_unchecked(index) }
}
/// Extracts the value at `index`.
///
/// # Safety
///
/// If `index >= Self::lanes()` the behavior is undefined.
#[inline]
pub unsafe fn extract_unchecked(self, index: usize) -> $elem_ty {
use crate::llvm::simd_extract;
let e: $ielem_ty = simd_extract(self.0, index as u32);
e as $elem_ty
}
/// Returns a new vector where the value at `index` is replaced by `new_value`.
///
/// # Panics
///
/// If `index >= Self::lanes()`.
#[inline]
#[must_use = "replace does not modify the original value - \
it returns a new vector with the value at `index` \
replaced by `new_value`d"
]
pub fn replace(self, index: usize, new_value: $elem_ty) -> Self {
assert!(index < $elem_count);
unsafe { self.replace_unchecked(index, new_value) }
}
/// Returns a new vector where the value at `index` is replaced by `new_value`.
///
/// # Safety
///
/// If `index >= Self::lanes()` the behavior is undefined.
#[inline]
#[must_use = "replace_unchecked does not modify the original value - \
it returns a new vector with the value at `index` \
replaced by `new_value`d"
]
pub unsafe fn replace_unchecked(
self,
index: usize,
new_value: $elem_ty,
) -> Self {
use crate::llvm::simd_insert;
Simd(simd_insert(self.0, index as u32, new_value as $ielem_ty))
}
}
test_if!{
$test_tt:
paste::item! {
// Comparisons use integer casts within mantissa^1 range.
#[allow(clippy::float_cmp)]
pub mod [<$id _minimal>] {
use super::*;
#[cfg_attr(not(target_arch = "wasm32"), test)]
#[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
fn minimal() {
// lanes:
assert_eq!($elem_count, $id::lanes());
// splat and extract / extract_unchecked:
const VAL: $elem_ty = 7 as $elem_ty;
const VEC: $id = $id::splat(VAL);
for i in 0..$id::lanes() {
assert_eq!(VAL, VEC.extract(i));
assert_eq!(
VAL, unsafe { VEC.extract_unchecked(i) }
);
}
// replace / replace_unchecked
let new_vec = VEC.replace(0, 42 as $elem_ty);
for i in 0..$id::lanes() {
if i == 0 {
assert_eq!(42 as $elem_ty, new_vec.extract(i));
} else {
assert_eq!(VAL, new_vec.extract(i));
}
}
let new_vec = unsafe {
VEC.replace_unchecked(0, 42 as $elem_ty)
};
for i in 0..$id::lanes() {
if i == 0 {
assert_eq!(42 as $elem_ty, new_vec.extract(i));
} else {
assert_eq!(VAL, new_vec.extract(i));
}
}
}
// FIXME: wasm-bindgen-test does not support #[should_panic]
// #[cfg_attr(not(target_arch = "wasm32"), test)] #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
#[cfg(not(target_arch = "wasm32"))]
#[test]
#[should_panic]
fn extract_panic_oob() {
const VAL: $elem_ty = 7 as $elem_ty;
const VEC: $id = $id::splat(VAL);
let _ = VEC.extract($id::lanes());
}
// FIXME: wasm-bindgen-test does not support #[should_panic]
// #[cfg_attr(not(target_arch = "wasm32"), test)] #[cfg_attr(target_arch = "wasm32", wasm_bindgen_test)]
#[cfg(not(target_arch = "wasm32"))]
#[test]
#[should_panic]
fn replace_panic_oob() {
const VAL: $elem_ty = 7 as $elem_ty;
const VEC: $id = $id::splat(VAL);
let _ = VEC.replace($id::lanes(), 42 as $elem_ty);
}
}
}
}
}
}