1*bf2c3715SXin Li // This file is part of Eigen, a lightweight C++ template library
2*bf2c3715SXin Li // for linear algebra.
3*bf2c3715SXin Li //
4*bf2c3715SXin Li // Copyright (C) 2008-2009 Gael Guennebaud <[email protected]>
5*bf2c3715SXin Li // Copyright (C) 2006-2008 Benoit Jacob <[email protected]>
6*bf2c3715SXin Li //
7*bf2c3715SXin Li // This Source Code Form is subject to the terms of the Mozilla
8*bf2c3715SXin Li // Public License v. 2.0. If a copy of the MPL was not distributed
9*bf2c3715SXin Li // with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
10*bf2c3715SXin Li
11*bf2c3715SXin Li #include "main.h"
12*bf2c3715SXin Li #include <typeinfo>
13*bf2c3715SXin Li
14*bf2c3715SXin Li #if defined __GNUC__ && __GNUC__>=6
15*bf2c3715SXin Li #pragma GCC diagnostic ignored "-Wignored-attributes"
16*bf2c3715SXin Li #endif
17*bf2c3715SXin Li // using namespace Eigen;
18*bf2c3715SXin Li
19*bf2c3715SXin Li bool g_first_pass = true;
20*bf2c3715SXin Li
21*bf2c3715SXin Li namespace Eigen {
22*bf2c3715SXin Li namespace internal {
23*bf2c3715SXin Li
negate(const T & x)24*bf2c3715SXin Li template<typename T> T negate(const T& x) { return -x; }
25*bf2c3715SXin Li
26*bf2c3715SXin Li template<typename T>
27*bf2c3715SXin Li Map<const Array<unsigned char,sizeof(T),1> >
bits(const T & x)28*bf2c3715SXin Li bits(const T& x) {
29*bf2c3715SXin Li return Map<const Array<unsigned char,sizeof(T),1> >(reinterpret_cast<const unsigned char *>(&x));
30*bf2c3715SXin Li }
31*bf2c3715SXin Li
32*bf2c3715SXin Li // The following implement bitwise operations on floating point types
33*bf2c3715SXin Li template<typename T,typename Bits,typename Func>
apply_bit_op(Bits a,Bits b,Func f)34*bf2c3715SXin Li T apply_bit_op(Bits a, Bits b, Func f) {
35*bf2c3715SXin Li Array<unsigned char,sizeof(T),1> data;
36*bf2c3715SXin Li T res;
37*bf2c3715SXin Li for(Index i = 0; i < data.size(); ++i)
38*bf2c3715SXin Li data[i] = f(a[i], b[i]);
39*bf2c3715SXin Li // Note: The reinterpret_cast works around GCC's class-memaccess warnings:
40*bf2c3715SXin Li std::memcpy(reinterpret_cast<unsigned char*>(&res), data.data(), sizeof(T));
41*bf2c3715SXin Li return res;
42*bf2c3715SXin Li }
43*bf2c3715SXin Li
44*bf2c3715SXin Li #define EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,T) \
45*bf2c3715SXin Li template<> T EIGEN_CAT(p,OP)(const T& a,const T& b) { \
46*bf2c3715SXin Li return apply_bit_op<T>(bits(a),bits(b),FUNC); \
47*bf2c3715SXin Li }
48*bf2c3715SXin Li
49*bf2c3715SXin Li #define EIGEN_TEST_MAKE_BITWISE(OP,FUNC) \
50*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,float) \
51*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,double) \
52*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,half) \
53*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,bfloat16) \
54*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,std::complex<float>) \
55*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE2(OP,FUNC,std::complex<double>)
56*bf2c3715SXin Li
57*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE(xor,std::bit_xor<unsigned char>())
58*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE(and,std::bit_and<unsigned char>())
59*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE(or, std::bit_or<unsigned char>())
60*bf2c3715SXin Li struct bit_andnot{
61*bf2c3715SXin Li template<typename T> T
operatorbit_andnot62*bf2c3715SXin Li operator()(T a, T b) const { return a & (~b); }
63*bf2c3715SXin Li };
EIGEN_TEST_MAKE_BITWISE(andnot,bit_andnot ())64*bf2c3715SXin Li EIGEN_TEST_MAKE_BITWISE(andnot, bit_andnot())
65*bf2c3715SXin Li template<typename T>
66*bf2c3715SXin Li bool biteq(T a, T b) {
67*bf2c3715SXin Li return (bits(a) == bits(b)).all();
68*bf2c3715SXin Li }
69*bf2c3715SXin Li
70*bf2c3715SXin Li }
71*bf2c3715SXin Li
72*bf2c3715SXin Li namespace test {
73*bf2c3715SXin Li
74*bf2c3715SXin Li // NOTE: we disable inlining for this function to workaround a GCC issue when using -O3 and the i387 FPU.
75*bf2c3715SXin Li template<typename Scalar> EIGEN_DONT_INLINE
isApproxAbs(const Scalar & a,const Scalar & b,const typename NumTraits<Scalar>::Real & refvalue)76*bf2c3715SXin Li bool isApproxAbs(const Scalar& a, const Scalar& b, const typename NumTraits<Scalar>::Real& refvalue)
77*bf2c3715SXin Li {
78*bf2c3715SXin Li return internal::isMuchSmallerThan(a-b, refvalue);
79*bf2c3715SXin Li }
80*bf2c3715SXin Li
81*bf2c3715SXin Li template<typename Scalar>
print_mismatch(const Scalar * ref,const Scalar * vec,int size)82*bf2c3715SXin Li inline void print_mismatch(const Scalar* ref, const Scalar* vec, int size) {
83*bf2c3715SXin Li std::cout << "ref: [" << Map<const Matrix<Scalar,1,Dynamic> >(ref,size) << "]" << " != vec: [" << Map<const Matrix<Scalar,1,Dynamic> >(vec,size) << "]\n";
84*bf2c3715SXin Li }
85*bf2c3715SXin Li
areApproxAbs(const Scalar * a,const Scalar * b,int size,const typename NumTraits<Scalar>::Real & refvalue)86*bf2c3715SXin Li template<typename Scalar> bool areApproxAbs(const Scalar* a, const Scalar* b, int size, const typename NumTraits<Scalar>::Real& refvalue)
87*bf2c3715SXin Li {
88*bf2c3715SXin Li for (int i=0; i<size; ++i)
89*bf2c3715SXin Li {
90*bf2c3715SXin Li if (!isApproxAbs(a[i],b[i],refvalue))
91*bf2c3715SXin Li {
92*bf2c3715SXin Li print_mismatch(a, b, size);
93*bf2c3715SXin Li return false;
94*bf2c3715SXin Li }
95*bf2c3715SXin Li }
96*bf2c3715SXin Li return true;
97*bf2c3715SXin Li }
98*bf2c3715SXin Li
areApprox(const Scalar * a,const Scalar * b,int size)99*bf2c3715SXin Li template<typename Scalar> bool areApprox(const Scalar* a, const Scalar* b, int size)
100*bf2c3715SXin Li {
101*bf2c3715SXin Li for (int i=0; i<size; ++i)
102*bf2c3715SXin Li {
103*bf2c3715SXin Li if ( a[i]!=b[i] && !internal::isApprox(a[i],b[i])
104*bf2c3715SXin Li && !((numext::isnan)(a[i]) && (numext::isnan)(b[i])) )
105*bf2c3715SXin Li {
106*bf2c3715SXin Li print_mismatch(a, b, size);
107*bf2c3715SXin Li return false;
108*bf2c3715SXin Li }
109*bf2c3715SXin Li }
110*bf2c3715SXin Li return true;
111*bf2c3715SXin Li }
112*bf2c3715SXin Li
areEqual(const Scalar * a,const Scalar * b,int size)113*bf2c3715SXin Li template<typename Scalar> bool areEqual(const Scalar* a, const Scalar* b, int size)
114*bf2c3715SXin Li {
115*bf2c3715SXin Li for (int i=0; i<size; ++i)
116*bf2c3715SXin Li {
117*bf2c3715SXin Li if ( (a[i] != b[i]) && !((numext::isnan)(a[i]) && (numext::isnan)(b[i])) )
118*bf2c3715SXin Li {
119*bf2c3715SXin Li print_mismatch(a, b, size);
120*bf2c3715SXin Li return false;
121*bf2c3715SXin Li }
122*bf2c3715SXin Li }
123*bf2c3715SXin Li return true;
124*bf2c3715SXin Li }
125*bf2c3715SXin Li
126*bf2c3715SXin Li #define CHECK_CWISE1(REFOP, POP) { \
127*bf2c3715SXin Li for (int i=0; i<PacketSize; ++i) \
128*bf2c3715SXin Li ref[i] = REFOP(data1[i]); \
129*bf2c3715SXin Li internal::pstore(data2, POP(internal::pload<Packet>(data1))); \
130*bf2c3715SXin Li VERIFY(test::areApprox(ref, data2, PacketSize) && #POP); \
131*bf2c3715SXin Li }
132*bf2c3715SXin Li
133*bf2c3715SXin Li // Checks component-wise for input of size N. All of data1, data2, and ref
134*bf2c3715SXin Li // should have size at least ceil(N/PacketSize)*PacketSize to avoid memory
135*bf2c3715SXin Li // access errors.
136*bf2c3715SXin Li #define CHECK_CWISE1_N(REFOP, POP, N) { \
137*bf2c3715SXin Li for (int i=0; i<N; ++i) \
138*bf2c3715SXin Li ref[i] = REFOP(data1[i]); \
139*bf2c3715SXin Li for (int j=0; j<N; j+=PacketSize) \
140*bf2c3715SXin Li internal::pstore(data2 + j, POP(internal::pload<Packet>(data1 + j))); \
141*bf2c3715SXin Li VERIFY(test::areApprox(ref, data2, N) && #POP); \
142*bf2c3715SXin Li }
143*bf2c3715SXin Li
144*bf2c3715SXin Li template<bool Cond,typename Packet>
145*bf2c3715SXin Li struct packet_helper
146*bf2c3715SXin Li {
147*bf2c3715SXin Li template<typename T>
loadpacket_helper148*bf2c3715SXin Li inline Packet load(const T* from) const { return internal::pload<Packet>(from); }
149*bf2c3715SXin Li
150*bf2c3715SXin Li template<typename T>
loadupacket_helper151*bf2c3715SXin Li inline Packet loadu(const T* from) const { return internal::ploadu<Packet>(from); }
152*bf2c3715SXin Li
153*bf2c3715SXin Li template<typename T>
loadpacket_helper154*bf2c3715SXin Li inline Packet load(const T* from, unsigned long long umask) const { return internal::ploadu<Packet>(from, umask); }
155*bf2c3715SXin Li
156*bf2c3715SXin Li template<typename T>
storepacket_helper157*bf2c3715SXin Li inline void store(T* to, const Packet& x) const { internal::pstore(to,x); }
158*bf2c3715SXin Li
159*bf2c3715SXin Li template<typename T>
storepacket_helper160*bf2c3715SXin Li inline void store(T* to, const Packet& x, unsigned long long umask) const { internal::pstoreu(to, x, umask); }
161*bf2c3715SXin Li
162*bf2c3715SXin Li template<typename T>
forward_referencepacket_helper163*bf2c3715SXin Li inline Packet& forward_reference(Packet& packet, T& /*scalar*/) const { return packet; }
164*bf2c3715SXin Li };
165*bf2c3715SXin Li
166*bf2c3715SXin Li template<typename Packet>
167*bf2c3715SXin Li struct packet_helper<false,Packet>
168*bf2c3715SXin Li {
169*bf2c3715SXin Li template<typename T>
170*bf2c3715SXin Li inline T load(const T* from) const { return *from; }
171*bf2c3715SXin Li
172*bf2c3715SXin Li template<typename T>
173*bf2c3715SXin Li inline T loadu(const T* from) const { return *from; }
174*bf2c3715SXin Li
175*bf2c3715SXin Li template<typename T>
176*bf2c3715SXin Li inline T load(const T* from, unsigned long long) const { return *from; }
177*bf2c3715SXin Li
178*bf2c3715SXin Li template<typename T>
179*bf2c3715SXin Li inline void store(T* to, const T& x) const { *to = x; }
180*bf2c3715SXin Li
181*bf2c3715SXin Li template<typename T>
182*bf2c3715SXin Li inline void store(T* to, const T& x, unsigned long long) const { *to = x; }
183*bf2c3715SXin Li
184*bf2c3715SXin Li template<typename T>
185*bf2c3715SXin Li inline T& forward_reference(Packet& /*packet*/, T& scalar) const { return scalar; }
186*bf2c3715SXin Li };
187*bf2c3715SXin Li
188*bf2c3715SXin Li #define CHECK_CWISE1_IF(COND, REFOP, POP) if(COND) { \
189*bf2c3715SXin Li test::packet_helper<COND,Packet> h; \
190*bf2c3715SXin Li for (int i=0; i<PacketSize; ++i) \
191*bf2c3715SXin Li ref[i] = Scalar(REFOP(data1[i])); \
192*bf2c3715SXin Li h.store(data2, POP(h.load(data1))); \
193*bf2c3715SXin Li VERIFY(test::areApprox(ref, data2, PacketSize) && #POP); \
194*bf2c3715SXin Li }
195*bf2c3715SXin Li
196*bf2c3715SXin Li #define CHECK_CWISE1_EXACT_IF(COND, REFOP, POP) if(COND) { \
197*bf2c3715SXin Li test::packet_helper<COND,Packet> h; \
198*bf2c3715SXin Li for (int i=0; i<PacketSize; ++i) \
199*bf2c3715SXin Li ref[i] = Scalar(REFOP(data1[i])); \
200*bf2c3715SXin Li h.store(data2, POP(h.load(data1))); \
201*bf2c3715SXin Li VERIFY(test::areEqual(ref, data2, PacketSize) && #POP); \
202*bf2c3715SXin Li }
203*bf2c3715SXin Li
204*bf2c3715SXin Li #define CHECK_CWISE2_IF(COND, REFOP, POP) if(COND) { \
205*bf2c3715SXin Li test::packet_helper<COND,Packet> h; \
206*bf2c3715SXin Li for (int i=0; i<PacketSize; ++i) \
207*bf2c3715SXin Li ref[i] = Scalar(REFOP(data1[i], data1[i+PacketSize])); \
208*bf2c3715SXin Li h.store(data2, POP(h.load(data1),h.load(data1+PacketSize))); \
209*bf2c3715SXin Li VERIFY(test::areApprox(ref, data2, PacketSize) && #POP); \
210*bf2c3715SXin Li }
211*bf2c3715SXin Li
212*bf2c3715SXin Li // One input, one output by reference.
213*bf2c3715SXin Li #define CHECK_CWISE1_BYREF1_IF(COND, REFOP, POP) if(COND) { \
214*bf2c3715SXin Li test::packet_helper<COND,Packet> h; \
215*bf2c3715SXin Li for (int i=0; i<PacketSize; ++i) \
216*bf2c3715SXin Li ref[i] = Scalar(REFOP(data1[i], ref[i+PacketSize])); \
217*bf2c3715SXin Li Packet pout; \
218*bf2c3715SXin Li Scalar sout; \
219*bf2c3715SXin Li h.store(data2, POP(h.load(data1), h.forward_reference(pout, sout))); \
220*bf2c3715SXin Li h.store(data2+PacketSize, h.forward_reference(pout, sout)); \
221*bf2c3715SXin Li VERIFY(test::areApprox(ref, data2, 2 * PacketSize) && #POP); \
222*bf2c3715SXin Li }
223*bf2c3715SXin Li
224*bf2c3715SXin Li #define CHECK_CWISE3_IF(COND, REFOP, POP) if (COND) { \
225*bf2c3715SXin Li test::packet_helper<COND, Packet> h; \
226*bf2c3715SXin Li for (int i = 0; i < PacketSize; ++i) \
227*bf2c3715SXin Li ref[i] = Scalar(REFOP(data1[i], data1[i + PacketSize], \
228*bf2c3715SXin Li data1[i + 2 * PacketSize])); \
229*bf2c3715SXin Li h.store(data2, POP(h.load(data1), h.load(data1 + PacketSize), \
230*bf2c3715SXin Li h.load(data1 + 2 * PacketSize))); \
231*bf2c3715SXin Li VERIFY(test::areApprox(ref, data2, PacketSize) && #POP); \
232*bf2c3715SXin Li }
233*bf2c3715SXin Li
234*bf2c3715SXin Li // Specialize the runall struct in your test file by defining run().
235*bf2c3715SXin Li template<
236*bf2c3715SXin Li typename Scalar,
237*bf2c3715SXin Li typename PacketType,
238*bf2c3715SXin Li bool IsComplex = NumTraits<Scalar>::IsComplex,
239*bf2c3715SXin Li bool IsInteger = NumTraits<Scalar>::IsInteger>
240*bf2c3715SXin Li struct runall;
241*bf2c3715SXin Li
242*bf2c3715SXin Li template<
243*bf2c3715SXin Li typename Scalar,
244*bf2c3715SXin Li typename PacketType = typename internal::packet_traits<Scalar>::type,
245*bf2c3715SXin Li bool Vectorized = internal::packet_traits<Scalar>::Vectorizable,
246*bf2c3715SXin Li bool HasHalf = !internal::is_same<typename internal::unpacket_traits<PacketType>::half,PacketType>::value >
247*bf2c3715SXin Li struct runner;
248*bf2c3715SXin Li
249*bf2c3715SXin Li template<typename Scalar,typename PacketType>
250*bf2c3715SXin Li struct runner<Scalar,PacketType,true,true>
251*bf2c3715SXin Li {
252*bf2c3715SXin Li static void run() {
253*bf2c3715SXin Li runall<Scalar,PacketType>::run();
254*bf2c3715SXin Li runner<Scalar,typename internal::unpacket_traits<PacketType>::half>::run();
255*bf2c3715SXin Li }
256*bf2c3715SXin Li };
257*bf2c3715SXin Li
258*bf2c3715SXin Li template<typename Scalar,typename PacketType>
259*bf2c3715SXin Li struct runner<Scalar,PacketType,true,false>
260*bf2c3715SXin Li {
261*bf2c3715SXin Li static void run() {
262*bf2c3715SXin Li runall<Scalar,PacketType>::run();
263*bf2c3715SXin Li }
264*bf2c3715SXin Li };
265*bf2c3715SXin Li
266*bf2c3715SXin Li template<typename Scalar,typename PacketType>
267*bf2c3715SXin Li struct runner<Scalar,PacketType,false,false>
268*bf2c3715SXin Li {
269*bf2c3715SXin Li static void run() {
270*bf2c3715SXin Li runall<Scalar,PacketType>::run();
271*bf2c3715SXin Li }
272*bf2c3715SXin Li };
273*bf2c3715SXin Li
274*bf2c3715SXin Li }
275*bf2c3715SXin Li }
276