Eigen  3.3.9
 
Loading...
Searching...
No Matches
Complex.h
1// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
3//
4// Copyright (C) 2010 Gael Guennebaud <gael.guennebaud@inria.fr>
5// Copyright (C) 2016 Konstantinos Margaritis <markos@freevec.org>
6//
7// This Source Code Form is subject to the terms of the Mozilla
8// Public License v. 2.0. If a copy of the MPL was not distributed
9// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
10
11#ifndef EIGEN_COMPLEX32_ALTIVEC_H
12#define EIGEN_COMPLEX32_ALTIVEC_H
13
14namespace Eigen {
15
16namespace internal {
17
18static Packet2ul p2ul_CONJ_XOR1 = (Packet2ul) vec_sld((Packet4ui) p2d_ZERO_, (Packet4ui) p2l_ZERO, 8);//{ 0x8000000000000000, 0x0000000000000000 };
19static Packet2ul p2ul_CONJ_XOR2 = (Packet2ul) vec_sld((Packet4ui) p2l_ZERO, (Packet4ui) p2d_ZERO_, 8);//{ 0x8000000000000000, 0x0000000000000000 };
20
21struct Packet1cd
22{
23 EIGEN_STRONG_INLINE Packet1cd() {}
24 EIGEN_STRONG_INLINE explicit Packet1cd(const Packet2d& a) : v(a) {}
25 Packet2d v;
26};
27
28struct Packet2cf
29{
30 EIGEN_STRONG_INLINE Packet2cf() {}
31 EIGEN_STRONG_INLINE explicit Packet2cf(const Packet4f& a) : v(a) {}
32 union {
33 Packet4f v;
34 Packet1cd cd[2];
35 };
36};
37
38template<> struct packet_traits<std::complex<float> > : default_packet_traits
39{
40 typedef Packet2cf type;
41 typedef Packet2cf half;
42 enum {
43 Vectorizable = 1,
44 AlignedOnScalar = 1,
45 size = 2,
46 HasHalfPacket = 0,
47
48 HasAdd = 1,
49 HasSub = 1,
50 HasMul = 1,
51 HasDiv = 1,
52 HasNegate = 1,
53 HasAbs = 0,
54 HasAbs2 = 0,
55 HasMin = 0,
56 HasMax = 0,
57 HasBlend = 1,
58 HasSetLinear = 0
59 };
60};
61
62
63template<> struct packet_traits<std::complex<double> > : default_packet_traits
64{
65 typedef Packet1cd type;
66 typedef Packet1cd half;
67 enum {
68 Vectorizable = 1,
69 AlignedOnScalar = 1,
70 size = 1,
71 HasHalfPacket = 0,
72
73 HasAdd = 1,
74 HasSub = 1,
75 HasMul = 1,
76 HasDiv = 1,
77 HasNegate = 1,
78 HasAbs = 0,
79 HasAbs2 = 0,
80 HasMin = 0,
81 HasMax = 0,
82 HasSetLinear = 0
83 };
84};
85
86template<> struct unpacket_traits<Packet2cf> { typedef std::complex<float> type; enum {size=2, alignment=Aligned16}; typedef Packet2cf half; };
87template<> struct unpacket_traits<Packet1cd> { typedef std::complex<double> type; enum {size=1, alignment=Aligned16}; typedef Packet1cd half; };
88
89/* Forward declaration */
90EIGEN_STRONG_INLINE void ptranspose(PacketBlock<Packet2cf,2>& kernel);
91
92template<> EIGEN_STRONG_INLINE Packet2cf pload <Packet2cf>(const std::complex<float>* from) { EIGEN_DEBUG_ALIGNED_LOAD return Packet2cf(pload<Packet4f>((const float*)from)); }
93template<> EIGEN_STRONG_INLINE Packet1cd pload <Packet1cd>(const std::complex<double>* from) { EIGEN_DEBUG_ALIGNED_LOAD return Packet1cd(pload<Packet2d>((const double*)from)); }
94template<> EIGEN_STRONG_INLINE Packet2cf ploadu<Packet2cf>(const std::complex<float>* from) { EIGEN_DEBUG_UNALIGNED_LOAD return Packet2cf(ploadu<Packet4f>((const float*)from)); }
95template<> EIGEN_STRONG_INLINE Packet1cd ploadu<Packet1cd>(const std::complex<double>* from) { EIGEN_DEBUG_UNALIGNED_LOAD return Packet1cd(ploadu<Packet2d>((const double*)from)); }
96template<> EIGEN_STRONG_INLINE void pstore <std::complex<float> >(std::complex<float> * to, const Packet2cf& from) { EIGEN_DEBUG_ALIGNED_STORE pstore((float*)to, from.v); }
97template<> EIGEN_STRONG_INLINE void pstore <std::complex<double> >(std::complex<double> * to, const Packet1cd& from) { EIGEN_DEBUG_ALIGNED_STORE pstore((double*)to, from.v); }
98template<> EIGEN_STRONG_INLINE void pstoreu<std::complex<float> >(std::complex<float> * to, const Packet2cf& from) { EIGEN_DEBUG_UNALIGNED_STORE pstoreu((float*)to, from.v); }
99template<> EIGEN_STRONG_INLINE void pstoreu<std::complex<double> >(std::complex<double> * to, const Packet1cd& from) { EIGEN_DEBUG_UNALIGNED_STORE pstoreu((double*)to, from.v); }
100
101template<> EIGEN_STRONG_INLINE Packet1cd pset1<Packet1cd>(const std::complex<double>& from)
102{ /* here we really have to use unaligned loads :( */ return ploadu<Packet1cd>(&from); }
103
104template<> EIGEN_STRONG_INLINE Packet2cf pset1<Packet2cf>(const std::complex<float>& from)
105{
106 Packet2cf res;
107 res.cd[0] = Packet1cd(vec_ld2f((const float *)&from));
108 res.cd[1] = res.cd[0];
109 return res;
110}
111template<> EIGEN_DEVICE_FUNC inline Packet2cf pgather<std::complex<float>, Packet2cf>(const std::complex<float>* from, Index stride)
112{
113 std::complex<float> EIGEN_ALIGN16 af[2];
114 af[0] = from[0*stride];
115 af[1] = from[1*stride];
116 return pload<Packet2cf>(af);
117}
118template<> EIGEN_DEVICE_FUNC inline Packet1cd pgather<std::complex<double>, Packet1cd>(const std::complex<double>* from, Index stride EIGEN_UNUSED)
119{
120 return pload<Packet1cd>(from);
121}
122template<> EIGEN_DEVICE_FUNC inline void pscatter<std::complex<float>, Packet2cf>(std::complex<float>* to, const Packet2cf& from, Index stride)
123{
124 std::complex<float> EIGEN_ALIGN16 af[2];
125 pstore<std::complex<float> >((std::complex<float> *) af, from);
126 to[0*stride] = af[0];
127 to[1*stride] = af[1];
128}
129template<> EIGEN_DEVICE_FUNC inline void pscatter<std::complex<double>, Packet1cd>(std::complex<double>* to, const Packet1cd& from, Index stride EIGEN_UNUSED)
130{
131 pstore<std::complex<double> >(to, from);
132}
133
134template<> EIGEN_STRONG_INLINE Packet2cf padd<Packet2cf>(const Packet2cf& a, const Packet2cf& b) { return Packet2cf(padd<Packet4f>(a.v, b.v)); }
135template<> EIGEN_STRONG_INLINE Packet1cd padd<Packet1cd>(const Packet1cd& a, const Packet1cd& b) { return Packet1cd(a.v + b.v); }
136template<> EIGEN_STRONG_INLINE Packet2cf psub<Packet2cf>(const Packet2cf& a, const Packet2cf& b) { return Packet2cf(psub<Packet4f>(a.v, b.v)); }
137template<> EIGEN_STRONG_INLINE Packet1cd psub<Packet1cd>(const Packet1cd& a, const Packet1cd& b) { return Packet1cd(a.v - b.v); }
138template<> EIGEN_STRONG_INLINE Packet1cd pnegate(const Packet1cd& a) { return Packet1cd(pnegate(Packet2d(a.v))); }
139template<> EIGEN_STRONG_INLINE Packet2cf pnegate(const Packet2cf& a) { return Packet2cf(pnegate(Packet4f(a.v))); }
140template<> EIGEN_STRONG_INLINE Packet1cd pconj(const Packet1cd& a) { return Packet1cd((Packet2d)vec_xor((Packet2d)a.v, (Packet2d)p2ul_CONJ_XOR2)); }
141template<> EIGEN_STRONG_INLINE Packet2cf pconj(const Packet2cf& a)
142{
143 Packet2cf res;
144 res.v.v4f[0] = pconj(Packet1cd(reinterpret_cast<Packet2d>(a.v.v4f[0]))).v;
145 res.v.v4f[1] = pconj(Packet1cd(reinterpret_cast<Packet2d>(a.v.v4f[1]))).v;
146 return res;
147}
148
149template<> EIGEN_STRONG_INLINE Packet1cd pmul<Packet1cd>(const Packet1cd& a, const Packet1cd& b)
150{
151 Packet2d a_re, a_im, v1, v2;
152
153 // Permute and multiply the real parts of a and b
154 a_re = vec_perm(a.v, a.v, p16uc_PSET64_HI);
155 // Get the imaginary parts of a
156 a_im = vec_perm(a.v, a.v, p16uc_PSET64_LO);
157 // multiply a_re * b
158 v1 = vec_madd(a_re, b.v, p2d_ZERO);
159 // multiply a_im * b and get the conjugate result
160 v2 = vec_madd(a_im, b.v, p2d_ZERO);
161 v2 = (Packet2d) vec_sld((Packet4ui)v2, (Packet4ui)v2, 8);
162 v2 = (Packet2d) vec_xor((Packet2d)v2, (Packet2d) p2ul_CONJ_XOR1);
163
164 return Packet1cd(v1 + v2);
165}
166template<> EIGEN_STRONG_INLINE Packet2cf pmul<Packet2cf>(const Packet2cf& a, const Packet2cf& b)
167{
168 Packet2cf res;
169 res.v.v4f[0] = pmul(Packet1cd(reinterpret_cast<Packet2d>(a.v.v4f[0])), Packet1cd(reinterpret_cast<Packet2d>(b.v.v4f[0]))).v;
170 res.v.v4f[1] = pmul(Packet1cd(reinterpret_cast<Packet2d>(a.v.v4f[1])), Packet1cd(reinterpret_cast<Packet2d>(b.v.v4f[1]))).v;
171 return res;
172}
173
174template<> EIGEN_STRONG_INLINE Packet1cd pand <Packet1cd>(const Packet1cd& a, const Packet1cd& b) { return Packet1cd(vec_and(a.v,b.v)); }
175template<> EIGEN_STRONG_INLINE Packet2cf pand <Packet2cf>(const Packet2cf& a, const Packet2cf& b) { return Packet2cf(pand<Packet4f>(a.v,b.v)); }
176template<> EIGEN_STRONG_INLINE Packet1cd por <Packet1cd>(const Packet1cd& a, const Packet1cd& b) { return Packet1cd(vec_or(a.v,b.v)); }
177template<> EIGEN_STRONG_INLINE Packet2cf por <Packet2cf>(const Packet2cf& a, const Packet2cf& b) { return Packet2cf(por<Packet4f>(a.v,b.v)); }
178template<> EIGEN_STRONG_INLINE Packet1cd pxor <Packet1cd>(const Packet1cd& a, const Packet1cd& b) { return Packet1cd(vec_xor(a.v,b.v)); }
179template<> EIGEN_STRONG_INLINE Packet2cf pxor <Packet2cf>(const Packet2cf& a, const Packet2cf& b) { return Packet2cf(pxor<Packet4f>(a.v,b.v)); }
180template<> EIGEN_STRONG_INLINE Packet1cd pandnot<Packet1cd>(const Packet1cd& a, const Packet1cd& b) { return Packet1cd(vec_and(a.v, vec_nor(b.v,b.v))); }
181template<> EIGEN_STRONG_INLINE Packet2cf pandnot<Packet2cf>(const Packet2cf& a, const Packet2cf& b) { return Packet2cf(pandnot<Packet4f>(a.v,b.v)); }
182
183template<> EIGEN_STRONG_INLINE Packet1cd ploaddup<Packet1cd>(const std::complex<double>* from) { return pset1<Packet1cd>(*from); }
184template<> EIGEN_STRONG_INLINE Packet2cf ploaddup<Packet2cf>(const std::complex<float>* from) { return pset1<Packet2cf>(*from); }
185
186template<> EIGEN_STRONG_INLINE void prefetch<std::complex<float> >(const std::complex<float> * addr) { EIGEN_ZVECTOR_PREFETCH(addr); }
187template<> EIGEN_STRONG_INLINE void prefetch<std::complex<double> >(const std::complex<double> * addr) { EIGEN_ZVECTOR_PREFETCH(addr); }
188
189template<> EIGEN_STRONG_INLINE std::complex<double> pfirst<Packet1cd>(const Packet1cd& a)
190{
191 std::complex<double> EIGEN_ALIGN16 res;
192 pstore<std::complex<double> >(&res, a);
193
194 return res;
195}
196template<> EIGEN_STRONG_INLINE std::complex<float> pfirst<Packet2cf>(const Packet2cf& a)
197{
198 std::complex<float> EIGEN_ALIGN16 res[2];
199 pstore<std::complex<float> >(res, a);
200
201 return res[0];
202}
203
204template<> EIGEN_STRONG_INLINE Packet1cd preverse(const Packet1cd& a) { return a; }
205template<> EIGEN_STRONG_INLINE Packet2cf preverse(const Packet2cf& a)
206{
207 Packet2cf res;
208 res.cd[0] = a.cd[1];
209 res.cd[1] = a.cd[0];
210 return res;
211}
212
213template<> EIGEN_STRONG_INLINE std::complex<double> predux<Packet1cd>(const Packet1cd& a)
214{
215 return pfirst(a);
216}
217template<> EIGEN_STRONG_INLINE std::complex<float> predux<Packet2cf>(const Packet2cf& a)
218{
219 std::complex<float> res;
220 Packet1cd b = padd<Packet1cd>(a.cd[0], a.cd[1]);
221 vec_st2f(b.v, (float*)&res);
222 return res;
223}
224
225template<> EIGEN_STRONG_INLINE Packet1cd preduxp<Packet1cd>(const Packet1cd* vecs)
226{
227 return vecs[0];
228}
229template<> EIGEN_STRONG_INLINE Packet2cf preduxp<Packet2cf>(const Packet2cf* vecs)
230{
231 PacketBlock<Packet2cf,2> transpose;
232 transpose.packet[0] = vecs[0];
233 transpose.packet[1] = vecs[1];
234 ptranspose(transpose);
235
236 return padd<Packet2cf>(transpose.packet[0], transpose.packet[1]);
237}
238
239template<> EIGEN_STRONG_INLINE std::complex<double> predux_mul<Packet1cd>(const Packet1cd& a)
240{
241 return pfirst(a);
242}
243template<> EIGEN_STRONG_INLINE std::complex<float> predux_mul<Packet2cf>(const Packet2cf& a)
244{
245 std::complex<float> res;
246 Packet1cd b = pmul<Packet1cd>(a.cd[0], a.cd[1]);
247 vec_st2f(b.v, (float*)&res);
248 return res;
249}
250
251template<int Offset>
252struct palign_impl<Offset,Packet1cd>
253{
254 static EIGEN_STRONG_INLINE void run(Packet1cd& /*first*/, const Packet1cd& /*second*/)
255 {
256 // FIXME is it sure we never have to align a Packet1cd?
257 // Even though a std::complex<double> has 16 bytes, it is not necessarily aligned on a 16 bytes boundary...
258 }
259};
260
261template<int Offset>
262struct palign_impl<Offset,Packet2cf>
263{
264 static EIGEN_STRONG_INLINE void run(Packet2cf& first, const Packet2cf& second)
265 {
266 if (Offset == 1) {
267 first.cd[0] = first.cd[1];
268 first.cd[1] = second.cd[0];
269 }
270 }
271};
272
273template<> struct conj_helper<Packet1cd, Packet1cd, false,true>
274{
275 EIGEN_STRONG_INLINE Packet1cd pmadd(const Packet1cd& x, const Packet1cd& y, const Packet1cd& c) const
276 { return padd(pmul(x,y),c); }
277
278 EIGEN_STRONG_INLINE Packet1cd pmul(const Packet1cd& a, const Packet1cd& b) const
279 {
280 return internal::pmul(a, pconj(b));
281 }
282};
283
284template<> struct conj_helper<Packet1cd, Packet1cd, true,false>
285{
286 EIGEN_STRONG_INLINE Packet1cd pmadd(const Packet1cd& x, const Packet1cd& y, const Packet1cd& c) const
287 { return padd(pmul(x,y),c); }
288
289 EIGEN_STRONG_INLINE Packet1cd pmul(const Packet1cd& a, const Packet1cd& b) const
290 {
291 return internal::pmul(pconj(a), b);
292 }
293};
294
295template<> struct conj_helper<Packet1cd, Packet1cd, true,true>
296{
297 EIGEN_STRONG_INLINE Packet1cd pmadd(const Packet1cd& x, const Packet1cd& y, const Packet1cd& c) const
298 { return padd(pmul(x,y),c); }
299
300 EIGEN_STRONG_INLINE Packet1cd pmul(const Packet1cd& a, const Packet1cd& b) const
301 {
302 return pconj(internal::pmul(a, b));
303 }
304};
305
306template<> struct conj_helper<Packet2cf, Packet2cf, false,true>
307{
308 EIGEN_STRONG_INLINE Packet2cf pmadd(const Packet2cf& x, const Packet2cf& y, const Packet2cf& c) const
309 { return padd(pmul(x,y),c); }
310
311 EIGEN_STRONG_INLINE Packet2cf pmul(const Packet2cf& a, const Packet2cf& b) const
312 {
313 return internal::pmul(a, pconj(b));
314 }
315};
316
317template<> struct conj_helper<Packet2cf, Packet2cf, true,false>
318{
319 EIGEN_STRONG_INLINE Packet2cf pmadd(const Packet2cf& x, const Packet2cf& y, const Packet2cf& c) const
320 { return padd(pmul(x,y),c); }
321
322 EIGEN_STRONG_INLINE Packet2cf pmul(const Packet2cf& a, const Packet2cf& b) const
323 {
324 return internal::pmul(pconj(a), b);
325 }
326};
327
328template<> struct conj_helper<Packet2cf, Packet2cf, true,true>
329{
330 EIGEN_STRONG_INLINE Packet2cf pmadd(const Packet2cf& x, const Packet2cf& y, const Packet2cf& c) const
331 { return padd(pmul(x,y),c); }
332
333 EIGEN_STRONG_INLINE Packet2cf pmul(const Packet2cf& a, const Packet2cf& b) const
334 {
335 return pconj(internal::pmul(a, b));
336 }
337};
338
339EIGEN_MAKE_CONJ_HELPER_CPLX_REAL(Packet2cf,Packet4f)
340EIGEN_MAKE_CONJ_HELPER_CPLX_REAL(Packet1cd,Packet2d)
341
342template<> EIGEN_STRONG_INLINE Packet1cd pdiv<Packet1cd>(const Packet1cd& a, const Packet1cd& b)
343{
344 // TODO optimize it for AltiVec
345 Packet1cd res = conj_helper<Packet1cd,Packet1cd,false,true>().pmul(a,b);
346 Packet2d s = vec_madd(b.v, b.v, p2d_ZERO_);
347 return Packet1cd(pdiv(res.v, s + vec_perm(s, s, p16uc_REVERSE64)));
348}
349
350template<> EIGEN_STRONG_INLINE Packet2cf pdiv<Packet2cf>(const Packet2cf& a, const Packet2cf& b)
351{
352 // TODO optimize it for AltiVec
353 Packet2cf res;
354 res.cd[0] = pdiv<Packet1cd>(a.cd[0], b.cd[0]);
355 res.cd[1] = pdiv<Packet1cd>(a.cd[1], b.cd[1]);
356 return res;
357}
358
359EIGEN_STRONG_INLINE Packet1cd pcplxflip/*<Packet1cd>*/(const Packet1cd& x)
360{
361 return Packet1cd(preverse(Packet2d(x.v)));
362}
363
364EIGEN_STRONG_INLINE Packet2cf pcplxflip/*<Packet2cf>*/(const Packet2cf& x)
365{
366 Packet2cf res;
367 res.cd[0] = pcplxflip(x.cd[0]);
368 res.cd[1] = pcplxflip(x.cd[1]);
369 return res;
370}
371
372EIGEN_STRONG_INLINE void ptranspose(PacketBlock<Packet1cd,2>& kernel)
373{
374 Packet2d tmp = vec_perm(kernel.packet[0].v, kernel.packet[1].v, p16uc_TRANSPOSE64_HI);
375 kernel.packet[1].v = vec_perm(kernel.packet[0].v, kernel.packet[1].v, p16uc_TRANSPOSE64_LO);
376 kernel.packet[0].v = tmp;
377}
378
379EIGEN_STRONG_INLINE void ptranspose(PacketBlock<Packet2cf,2>& kernel)
380{
381 Packet1cd tmp = kernel.packet[0].cd[1];
382 kernel.packet[0].cd[1] = kernel.packet[1].cd[0];
383 kernel.packet[1].cd[0] = tmp;
384}
385
386template<> EIGEN_STRONG_INLINE Packet2cf pblend(const Selector<2>& ifPacket, const Packet2cf& thenPacket, const Packet2cf& elsePacket) {
387 Packet2cf result;
388 const Selector<4> ifPacket4 = { ifPacket.select[0], ifPacket.select[0], ifPacket.select[1], ifPacket.select[1] };
389 result.v = pblend<Packet4f>(ifPacket4, thenPacket.v, elsePacket.v);
390 return result;
391}
392
393} // end namespace internal
394
395} // end namespace Eigen
396
397#endif // EIGEN_COMPLEX32_ALTIVEC_H
@ Aligned16
Definition Constants.h:230
Namespace containing all symbols from the Eigen library.
Definition A05_PortingFrom2To3.dox:1
EIGEN_DEFAULT_DENSE_INDEX_TYPE Index
The Index type as used for the API.
Definition Meta.h:65