GitHub-Proxy/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2025-04-22 09:39:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

add some static checks for packet-picking logic

Browse Source
This commit is contained in:
Francesco Mazzoli 2020-01-24 11:06:36 +01:00 committed by Gael Guennebaud
parent e9cc0cd353
commit 7769600245
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
test/vectorization_logic.cpp
View File

@ -266,7 +266,38 @@ struct vectorization_logic
VERIFY(test_redux(VectorX(10), VERIFY(test_redux(VectorX(10),
LinearVectorizedTraversal,NoUnrolling)); LinearVectorizedTraversal,NoUnrolling));
// Some static checks for packet-picking -- see
// <https://gitlab.com/libeigen/eigen/merge_requests/46#note_271497656> for context.
// Any multiple of the packet size itself will result in the normal packet
STATIC_CHECK((
internal::is_same<typename internal::find_best_packet<Scalar, PacketSize>::type, PacketType>::value
));
STATIC_CHECK((
internal::is_same<typename internal::find_best_packet<Scalar, PacketSize*2>::type, PacketType>::value
));
STATIC_CHECK((
internal::is_same<typename internal::find_best_packet<Scalar, PacketSize*5>::type, PacketType>::value
));
// Moreover, situations where the size is _not_ a multiple but picking the full packet
// is convenient will also work, but only with unaligned vectorize
STATIC_CHECK((
!(EIGEN_UNALIGNED_VECTORIZE || PacketSize == HalfPacketSize) ||
internal::is_same<typename internal::find_best_packet<Scalar, PacketSize*5+1>::type, PacketType>::value
));
STATIC_CHECK((
!(EIGEN_UNALIGNED_VECTORIZE || PacketSize == HalfPacketSize) ||
internal::is_same<typename internal::find_best_packet<Scalar, PacketSize*5+2>::type, PacketType>::value
));
// In situations where the picking the full-packet would be detrimental the half-packet
// is chosen.
STATIC_CHECK((
!(PacketSize > 2) ||
internal::is_same<typename internal::find_best_packet<Scalar, PacketSize*2-1>::type, HalfPacketType>::value
));
} }
}; };
template<typename Scalar> struct vectorization_logic<Scalar,false> template<typename Scalar> struct vectorization_logic<Scalar,false>