blob: 274614f83e2af426318c7878f7c5709db303d2d9 (
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
59
60
61
62
63
|
// rustfmt-wrap_comments: true
//! Implements `From` and `Into` for vector types.
macro_rules! impl_from_vector {
([$elem_ty:ident; $elem_count:expr]: $id:ident | $test_tt:tt | $source:ident) => {
impl From<$source> for $id {
#[inline]
fn from(source: $source) -> Self {
fn static_assert_same_number_of_lanes<T, U>()
where
T: crate::sealed::Simd,
U: crate::sealed::Simd<LanesType = T::LanesType>,
{
}
use llvm::simd_cast;
static_assert_same_number_of_lanes::<$id, $source>();
Simd(unsafe { simd_cast(source.0) })
}
}
// FIXME: `Into::into` is not inline, but due to
// the blanket impl in `std`, which is not
// marked `default`, we cannot override it here with
// specialization.
/*
impl Into<$id> for $source {
#[inline]
fn into(self) -> $id {
unsafe { simd_cast(self) }
}
}
*/
test_if! {
$test_tt:
interpolate_idents! {
mod [$id _from_ $source] {
use super::*;
#[test]
fn from() {
assert_eq!($id::lanes(), $source::lanes());
let source: $source = Default::default();
let vec: $id = Default::default();
let e = $id::from(source);
assert_eq!(e, vec);
let e: $id = source.into();
assert_eq!(e, vec);
}
}
}
}
};
}
macro_rules! impl_from_vectors {
([$elem_ty:ident; $elem_count:expr]: $id:ident | $test_tt:tt | $($source:ident),*) => {
$(
impl_from_vector!([$elem_ty; $elem_count]: $id | $test_tt | $source);
)*
}
}
|
