Eigen  3.3.9
 
Loading...
Searching...
No Matches
Half.h
1// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
3//
4// This Source Code Form is subject to the terms of the Mozilla
5// Public License v. 2.0. If a copy of the MPL was not distributed
6// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
7//
8// The conversion routines are Copyright (c) Fabian Giesen, 2016.
9// The original license follows:
10//
11// Copyright (c) Fabian Giesen, 2016
12// All rights reserved.
13// Redistribution and use in source and binary forms, with or without
14// modification, are permitted.
15// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
18// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
19// HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
20// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
21// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
27
28// Standard 16-bit float type, mostly useful for GPUs. Defines a new
29// type Eigen::half (inheriting from CUDA's __half struct) with
30// operator overloads such that it behaves basically as an arithmetic
31// type. It will be quite slow on CPUs (so it is recommended to stay
32// in float32_bits for CPUs, except for simple parameter conversions, I/O
33// to disk and the likes), but fast on GPUs.
34
35
36#ifndef EIGEN_HALF_CUDA_H
37#define EIGEN_HALF_CUDA_H
38
39#if __cplusplus > 199711L
40#define EIGEN_EXPLICIT_CAST(tgt_type) explicit operator tgt_type()
41#else
42#define EIGEN_EXPLICIT_CAST(tgt_type) operator tgt_type()
43#endif
44
45#include <sstream>
46
47namespace Eigen {
48
49struct half;
50
51namespace half_impl {
52
53#if !defined(EIGEN_HAS_CUDA_FP16)
54// Make our own __half_raw definition that is similar to CUDA's.
55struct __half_raw {
56 EIGEN_DEVICE_FUNC __half_raw() : x(0) {}
57 explicit EIGEN_DEVICE_FUNC __half_raw(unsigned short raw) : x(raw) {}
58 unsigned short x;
59};
60#elif EIGEN_CUDA_SDK_VER < 90000
61// In CUDA < 9.0, __half is the equivalent of CUDA 9's __half_raw
62typedef __half __half_raw;
63#endif
64
65EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC __half_raw raw_uint16_to_half(unsigned short x);
66EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC __half_raw float_to_half_rtne(float ff);
67EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC float half_to_float(__half_raw h);
68
69struct half_base : public __half_raw {
70 EIGEN_DEVICE_FUNC half_base() {}
71 EIGEN_DEVICE_FUNC half_base(const half_base& h) : __half_raw(h) {}
72 EIGEN_DEVICE_FUNC half_base(const __half_raw& h) : __half_raw(h) {}
73#if defined(EIGEN_HAS_CUDA_FP16) && EIGEN_CUDA_SDK_VER >= 90000
74 EIGEN_DEVICE_FUNC half_base(const __half& h) : __half_raw(*(__half_raw*)&h) {}
75#endif
76};
77
78} // namespace half_impl
79
80// Class definition.
81struct half : public half_impl::half_base {
82 #if !defined(EIGEN_HAS_CUDA_FP16) || (EIGEN_CUDA_SDK_VER < 90000)
83 typedef half_impl::__half_raw __half_raw;
84 #endif
85
86 EIGEN_DEVICE_FUNC half() {}
87
88 EIGEN_DEVICE_FUNC half(const __half_raw& h) : half_impl::half_base(h) {}
89 EIGEN_DEVICE_FUNC half(const half& h) : half_impl::half_base(h) {}
90#if defined(EIGEN_HAS_CUDA_FP16) && EIGEN_CUDA_SDK_VER >= 90000
91 EIGEN_DEVICE_FUNC half(const __half& h) : half_impl::half_base(h) {}
92#endif
93
94 explicit EIGEN_DEVICE_FUNC half(bool b)
95 : half_impl::half_base(half_impl::raw_uint16_to_half(b ? 0x3c00 : 0)) {}
96 template<class T>
97 explicit EIGEN_DEVICE_FUNC half(const T& val)
98 : half_impl::half_base(half_impl::float_to_half_rtne(static_cast<float>(val))) {}
99 explicit EIGEN_DEVICE_FUNC half(float f)
100 : half_impl::half_base(half_impl::float_to_half_rtne(f)) {}
101
102 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(bool) const {
103 // +0.0 and -0.0 become false, everything else becomes true.
104 return (x & 0x7fff) != 0;
105 }
106 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(signed char) const {
107 return static_cast<signed char>(half_impl::half_to_float(*this));
108 }
109 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(unsigned char) const {
110 return static_cast<unsigned char>(half_impl::half_to_float(*this));
111 }
112 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(short) const {
113 return static_cast<short>(half_impl::half_to_float(*this));
114 }
115 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(unsigned short) const {
116 return static_cast<unsigned short>(half_impl::half_to_float(*this));
117 }
118 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(int) const {
119 return static_cast<int>(half_impl::half_to_float(*this));
120 }
121 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(unsigned int) const {
122 return static_cast<unsigned int>(half_impl::half_to_float(*this));
123 }
124 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(long) const {
125 return static_cast<long>(half_impl::half_to_float(*this));
126 }
127 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(unsigned long) const {
128 return static_cast<unsigned long>(half_impl::half_to_float(*this));
129 }
130 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(long long) const {
131 return static_cast<long long>(half_impl::half_to_float(*this));
132 }
133 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(unsigned long long) const {
134 return static_cast<unsigned long long>(half_to_float(*this));
135 }
136 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(float) const {
137 return half_impl::half_to_float(*this);
138 }
139 EIGEN_DEVICE_FUNC EIGEN_EXPLICIT_CAST(double) const {
140 return static_cast<double>(half_impl::half_to_float(*this));
141 }
142
143 EIGEN_DEVICE_FUNC half& operator=(const half& other) {
144 x = other.x;
145 return *this;
146 }
147};
148
149} // end namespace Eigen
150
151namespace std {
152template<>
153struct numeric_limits<Eigen::half> {
154 static const bool is_specialized = true;
155 static const bool is_signed = true;
156 static const bool is_integer = false;
157 static const bool is_exact = false;
158 static const bool has_infinity = true;
159 static const bool has_quiet_NaN = true;
160 static const bool has_signaling_NaN = true;
161 static const float_denorm_style has_denorm = denorm_present;
162 static const bool has_denorm_loss = false;
163 static const std::float_round_style round_style = std::round_to_nearest;
164 static const bool is_iec559 = false;
165 static const bool is_bounded = false;
166 static const bool is_modulo = false;
167 static const int digits = 11;
168 static const int digits10 = 3; // according to http://half.sourceforge.net/structstd_1_1numeric__limits_3_01half__float_1_1half_01_4.html
169 static const int max_digits10 = 5; // according to http://half.sourceforge.net/structstd_1_1numeric__limits_3_01half__float_1_1half_01_4.html
170 static const int radix = 2;
171 static const int min_exponent = -13;
172 static const int min_exponent10 = -4;
173 static const int max_exponent = 16;
174 static const int max_exponent10 = 4;
175 static const bool traps = true;
176 static const bool tinyness_before = false;
177
178 static Eigen::half (min)() { return Eigen::half_impl::raw_uint16_to_half(0x400); }
179 static Eigen::half lowest() { return Eigen::half_impl::raw_uint16_to_half(0xfbff); }
180 static Eigen::half (max)() { return Eigen::half_impl::raw_uint16_to_half(0x7bff); }
181 static Eigen::half epsilon() { return Eigen::half_impl::raw_uint16_to_half(0x0800); }
182 static Eigen::half round_error() { return Eigen::half(0.5); }
183 static Eigen::half infinity() { return Eigen::half_impl::raw_uint16_to_half(0x7c00); }
184 static Eigen::half quiet_NaN() { return Eigen::half_impl::raw_uint16_to_half(0x7e00); }
185 static Eigen::half signaling_NaN() { return Eigen::half_impl::raw_uint16_to_half(0x7e00); }
186 static Eigen::half denorm_min() { return Eigen::half_impl::raw_uint16_to_half(0x1); }
187};
188
189// If std::numeric_limits<T> is specialized, should also specialize
190// std::numeric_limits<const T>, std::numeric_limits<volatile T>, and
191// std::numeric_limits<const volatile T>
192// https://stackoverflow.com/a/16519653/
193template<>
194struct numeric_limits<const Eigen::half> : numeric_limits<Eigen::half> {};
195template<>
196struct numeric_limits<volatile Eigen::half> : numeric_limits<Eigen::half> {};
197template<>
198struct numeric_limits<const volatile Eigen::half> : numeric_limits<Eigen::half> {};
199} // end namespace std
200
201namespace Eigen {
202
203namespace half_impl {
204
205#if defined(EIGEN_HAS_CUDA_FP16) && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 530
206
207// Intrinsics for native fp16 support. Note that on current hardware,
208// these are no faster than float32_bits arithmetic (you need to use the half2
209// versions to get the ALU speed increased), but you do save the
210// conversion steps back and forth.
211
212EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator + (const half& a, const half& b) {
213 return __hadd(static_cast<__half>(a), static_cast<__half>(b));
214}
215EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator * (const half& a, const half& b) {
216 return __hmul(static_cast<__half>(a), static_cast<__half>(b));
217}
218EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator - (const half& a, const half& b) {
219 return __hsub(static_cast<__half>(a), static_cast<__half>(b));
220}
221EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator / (const half& a, const half& b) {
222 float num = __half2float(a);
223 float denom = __half2float(b);
224 return __float2half(num / denom);
225}
226EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator - (const half& a) {
227 return __hneg(static_cast<__half>(a));
228}
229EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator += (half& a, const half& b) {
230 a = a + b;
231 return a;
232}
233EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator *= (half& a, const half& b) {
234 a = a * b;
235 return a;
236}
237EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator -= (half& a, const half& b) {
238 a = a - b;
239 return a;
240}
241EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator /= (half& a, const half& b) {
242 a = a / b;
243 return a;
244}
245EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator == (const half& a, const half& b) {
246 return __heq(static_cast<__half>(a), static_cast<__half>(b));
247}
248EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator != (const half& a, const half& b) {
249 return __hne(static_cast<__half>(a), static_cast<__half>(b));
250}
251EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator < (const half& a, const half& b) {
252 return __hlt(static_cast<__half>(a), static_cast<__half>(b));
253}
254EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator <= (const half& a, const half& b) {
255 return __hle(static_cast<__half>(a), static_cast<__half>(b));
256}
257EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator > (const half& a, const half& b) {
258 return __hgt(static_cast<__half>(a), static_cast<__half>(b));
259}
260EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator >= (const half& a, const half& b) {
261 return __hge(static_cast<__half>(a), static_cast<__half>(b));
262}
263
264#else // Emulate support for half floats
265
266// Definitions for CPUs and older CUDA, mostly working through conversion
267// to/from float32_bits.
268
269EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator + (const half& a, const half& b) {
270 return half(float(a) + float(b));
271}
272EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator * (const half& a, const half& b) {
273 return half(float(a) * float(b));
274}
275EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator - (const half& a, const half& b) {
276 return half(float(a) - float(b));
277}
278EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator / (const half& a, const half& b) {
279 return half(float(a) / float(b));
280}
281EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator - (const half& a) {
282 half result;
283 result.x = a.x ^ 0x8000;
284 return result;
285}
286EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator += (half& a, const half& b) {
287 a = half(float(a) + float(b));
288 return a;
289}
290EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator *= (half& a, const half& b) {
291 a = half(float(a) * float(b));
292 return a;
293}
294EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator -= (half& a, const half& b) {
295 a = half(float(a) - float(b));
296 return a;
297}
298EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half& operator /= (half& a, const half& b) {
299 a = half(float(a) / float(b));
300 return a;
301}
302EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator == (const half& a, const half& b) {
303 return numext::equal_strict(float(a),float(b));
304}
305EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator != (const half& a, const half& b) {
306 return numext::not_equal_strict(float(a), float(b));
307}
308EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator < (const half& a, const half& b) {
309 return float(a) < float(b);
310}
311EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator <= (const half& a, const half& b) {
312 return float(a) <= float(b);
313}
314EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator > (const half& a, const half& b) {
315 return float(a) > float(b);
316}
317EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool operator >= (const half& a, const half& b) {
318 return float(a) >= float(b);
319}
320
321#endif // Emulate support for half floats
322
323// Division by an index. Do it in full float precision to avoid accuracy
324// issues in converting the denominator to half.
325EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half operator / (const half& a, Index b) {
326 return half(static_cast<float>(a) / static_cast<float>(b));
327}
328
329// Conversion routines, including fallbacks for the host or older CUDA.
330// Note that newer Intel CPUs (Haswell or newer) have vectorized versions of
331// these in hardware. If we need more performance on older/other CPUs, they are
332// also possible to vectorize directly.
333
334EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC __half_raw raw_uint16_to_half(unsigned short x) {
335 __half_raw h;
336 h.x = x;
337 return h;
338}
339
340union float32_bits {
341 unsigned int u;
342 float f;
343};
344
345EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC __half_raw float_to_half_rtne(float ff) {
346#if defined(EIGEN_HAS_CUDA_FP16) && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 300
347 __half tmp_ff = __float2half(ff);
348 return *(__half_raw*)&tmp_ff;
349
350#elif defined(EIGEN_HAS_FP16_C)
351 __half_raw h;
352 h.x = _cvtss_sh(ff, 0);
353 return h;
354
355#else
356 float32_bits f; f.f = ff;
357
358 const float32_bits f32infty = { 255 << 23 };
359 const float32_bits f16max = { (127 + 16) << 23 };
360 const float32_bits denorm_magic = { ((127 - 15) + (23 - 10) + 1) << 23 };
361 unsigned int sign_mask = 0x80000000u;
362 __half_raw o;
363 o.x = static_cast<unsigned short>(0x0u);
364
365 unsigned int sign = f.u & sign_mask;
366 f.u ^= sign;
367
368 // NOTE all the integer compares in this function can be safely
369 // compiled into signed compares since all operands are below
370 // 0x80000000. Important if you want fast straight SSE2 code
371 // (since there's no unsigned PCMPGTD).
372
373 if (f.u >= f16max.u) { // result is Inf or NaN (all exponent bits set)
374 o.x = (f.u > f32infty.u) ? 0x7e00 : 0x7c00; // NaN->qNaN and Inf->Inf
375 } else { // (De)normalized number or zero
376 if (f.u < (113 << 23)) { // resulting FP16 is subnormal or zero
377 // use a magic value to align our 10 mantissa bits at the bottom of
378 // the float. as long as FP addition is round-to-nearest-even this
379 // just works.
380 f.f += denorm_magic.f;
381
382 // and one integer subtract of the bias later, we have our final float!
383 o.x = static_cast<unsigned short>(f.u - denorm_magic.u);
384 } else {
385 unsigned int mant_odd = (f.u >> 13) & 1; // resulting mantissa is odd
386
387 // update exponent, rounding bias part 1
388 f.u += ((unsigned int)(15 - 127) << 23) + 0xfff;
389 // rounding bias part 2
390 f.u += mant_odd;
391 // take the bits!
392 o.x = static_cast<unsigned short>(f.u >> 13);
393 }
394 }
395
396 o.x |= static_cast<unsigned short>(sign >> 16);
397 return o;
398#endif
399}
400
401EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC float half_to_float(__half_raw h) {
402#if defined(EIGEN_HAS_CUDA_FP16) && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 300
403 return __half2float(h);
404
405#elif defined(EIGEN_HAS_FP16_C)
406 return _cvtsh_ss(h.x);
407
408#else
409 const float32_bits magic = { 113 << 23 };
410 const unsigned int shifted_exp = 0x7c00 << 13; // exponent mask after shift
411 float32_bits o;
412
413 o.u = (h.x & 0x7fff) << 13; // exponent/mantissa bits
414 unsigned int exp = shifted_exp & o.u; // just the exponent
415 o.u += (127 - 15) << 23; // exponent adjust
416
417 // handle exponent special cases
418 if (exp == shifted_exp) { // Inf/NaN?
419 o.u += (128 - 16) << 23; // extra exp adjust
420 } else if (exp == 0) { // Zero/Denormal?
421 o.u += 1 << 23; // extra exp adjust
422 o.f -= magic.f; // renormalize
423 }
424
425 o.u |= (h.x & 0x8000) << 16; // sign bit
426 return o.f;
427#endif
428}
429
430// --- standard functions ---
431
432EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool (isinf)(const half& a) {
433 return (a.x & 0x7fff) == 0x7c00;
434}
435EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool (isnan)(const half& a) {
436#if defined(EIGEN_HAS_CUDA_FP16) && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 530
437 return __hisnan(a);
438#else
439 return (a.x & 0x7fff) > 0x7c00;
440#endif
441}
442EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC bool (isfinite)(const half& a) {
443 return !(isinf EIGEN_NOT_A_MACRO (a)) && !(isnan EIGEN_NOT_A_MACRO (a));
444}
445
446EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half abs(const half& a) {
447 half result;
448 result.x = a.x & 0x7FFF;
449 return result;
450}
451EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half exp(const half& a) {
452#if EIGEN_CUDA_SDK_VER >= 80000 && defined EIGEN_CUDA_ARCH && EIGEN_CUDA_ARCH >= 530
453 return half(hexp(a));
454#else
455 return half(::expf(float(a)));
456#endif
457}
458EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half log(const half& a) {
459#if defined(EIGEN_HAS_CUDA_FP16) && EIGEN_CUDA_SDK_VER >= 80000 && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 530
460 return half(::hlog(a));
461#else
462 return half(::logf(float(a)));
463#endif
464}
465EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half log1p(const half& a) {
466 return half(numext::log1p(float(a)));
467}
468EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half log10(const half& a) {
469 return half(::log10f(float(a)));
470}
471EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half sqrt(const half& a) {
472#if EIGEN_CUDA_SDK_VER >= 80000 && defined EIGEN_CUDA_ARCH && EIGEN_CUDA_ARCH >= 530
473 return half(hsqrt(a));
474#else
475 return half(::sqrtf(float(a)));
476#endif
477}
478EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half pow(const half& a, const half& b) {
479 return half(::powf(float(a), float(b)));
480}
481EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half sin(const half& a) {
482 return half(::sinf(float(a)));
483}
484EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half cos(const half& a) {
485 return half(::cosf(float(a)));
486}
487EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half tan(const half& a) {
488 return half(::tanf(float(a)));
489}
490EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half tanh(const half& a) {
491 return half(::tanhf(float(a)));
492}
493EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half floor(const half& a) {
494#if EIGEN_CUDA_SDK_VER >= 80000 && defined EIGEN_CUDA_ARCH && EIGEN_CUDA_ARCH >= 300
495 return half(hfloor(a));
496#else
497 return half(::floorf(float(a)));
498#endif
499}
500EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half ceil(const half& a) {
501#if EIGEN_CUDA_SDK_VER >= 80000 && defined EIGEN_CUDA_ARCH && EIGEN_CUDA_ARCH >= 300
502 return half(hceil(a));
503#else
504 return half(::ceilf(float(a)));
505#endif
506}
507
508EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half (min)(const half& a, const half& b) {
509#if defined(EIGEN_HAS_CUDA_FP16) && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 530
510 return __hlt(b, a) ? b : a;
511#else
512 const float f1 = static_cast<float>(a);
513 const float f2 = static_cast<float>(b);
514 return f2 < f1 ? b : a;
515#endif
516}
517EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC half (max)(const half& a, const half& b) {
518#if defined(EIGEN_HAS_CUDA_FP16) && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 530
519 return __hlt(a, b) ? b : a;
520#else
521 const float f1 = static_cast<float>(a);
522 const float f2 = static_cast<float>(b);
523 return f1 < f2 ? b : a;
524#endif
525}
526
527EIGEN_ALWAYS_INLINE std::ostream& operator << (std::ostream& os, const half& v) {
528 os << static_cast<float>(v);
529 return os;
530}
531
532} // end namespace half_impl
533
534// import Eigen::half_impl::half into Eigen namespace
535// using half_impl::half;
536
537namespace internal {
538
539template<>
540struct random_default_impl<half, false, false>
541{
542 static inline half run(const half& x, const half& y)
543 {
544 return x + (y-x) * half(random<float>());
545 }
546 static inline half run()
547 {
548 return run(half(-1.f), half(1.f));
549 }
550};
551
552template<> struct is_arithmetic<half> { enum { value = true }; };
553
554} // end namespace internal
555
556template<> struct NumTraits<Eigen::half>
557 : GenericNumTraits<Eigen::half>
558{
559 enum {
560 IsSigned = true,
561 IsInteger = false,
562 IsComplex = false,
563 RequireInitialization = false
564 };
565
566 EIGEN_DEVICE_FUNC static EIGEN_STRONG_INLINE Eigen::half epsilon() {
567 return half_impl::raw_uint16_to_half(0x0800);
568 }
569 EIGEN_DEVICE_FUNC static EIGEN_STRONG_INLINE Eigen::half dummy_precision() { return Eigen::half(1e-2f); }
570 EIGEN_DEVICE_FUNC static EIGEN_STRONG_INLINE Eigen::half highest() {
571 return half_impl::raw_uint16_to_half(0x7bff);
572 }
573 EIGEN_DEVICE_FUNC static EIGEN_STRONG_INLINE Eigen::half lowest() {
574 return half_impl::raw_uint16_to_half(0xfbff);
575 }
576 EIGEN_DEVICE_FUNC static EIGEN_STRONG_INLINE Eigen::half infinity() {
577 return half_impl::raw_uint16_to_half(0x7c00);
578 }
579 EIGEN_DEVICE_FUNC static EIGEN_STRONG_INLINE Eigen::half quiet_NaN() {
580 return half_impl::raw_uint16_to_half(0x7c01);
581 }
582};
583
584} // end namespace Eigen
585
586// C-like standard mathematical functions and trancendentals.
587EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half fabsh(const Eigen::half& a) {
588 Eigen::half result;
589 result.x = a.x & 0x7FFF;
590 return result;
591}
592EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half exph(const Eigen::half& a) {
593 return Eigen::half(::expf(float(a)));
594}
595EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half logh(const Eigen::half& a) {
596#if EIGEN_CUDA_SDK_VER >= 80000 && defined(EIGEN_CUDA_ARCH) && EIGEN_CUDA_ARCH >= 530
597 return Eigen::half(::hlog(a));
598#else
599 return Eigen::half(::logf(float(a)));
600#endif
601}
602EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half sqrth(const Eigen::half& a) {
603 return Eigen::half(::sqrtf(float(a)));
604}
605EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half powh(const Eigen::half& a, const Eigen::half& b) {
606 return Eigen::half(::powf(float(a), float(b)));
607}
608EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half floorh(const Eigen::half& a) {
609 return Eigen::half(::floorf(float(a)));
610}
611EIGEN_STRONG_INLINE EIGEN_DEVICE_FUNC Eigen::half ceilh(const Eigen::half& a) {
612 return Eigen::half(::ceilf(float(a)));
613}
614
615namespace std {
616
617#if __cplusplus > 199711L
618template <>
619struct hash<Eigen::half> {
620 EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE std::size_t operator()(const Eigen::half& a) const {
621 return static_cast<std::size_t>(a.x);
622 }
623};
624#endif
625
626} // end namespace std
627
628
629// Add the missing shfl* intrinsics.
630// The __shfl* functions are only valid on HIP or _CUDA_ARCH_ >= 300.
631// CUDA defines them for (__CUDA_ARCH__ >= 300 || !defined(__CUDA_ARCH__))
632//
633// HIP and CUDA prior to SDK 9.0 define
634// __shfl, __shfl_up, __shfl_down, __shfl_xor for int and float
635// CUDA since 9.0 deprecates those and instead defines
636// __shfl_sync, __shfl_up_sync, __shfl_down_sync, __shfl_xor_sync,
637// with native support for __half and __nv_bfloat16
638//
639// Note that the following are __device__ - only functions.
640#if defined(EIGEN_CUDACC) && (!defined(EIGEN_CUDA_ARCH) || EIGEN_CUDA_ARCH >= 300)
641#if defined(EIGEN_HAS_CUDA_FP16) && EIGEN_CUDA_SDK_VER >= 90000
642
643__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_sync(unsigned mask, Eigen::half var, int srcLane,
644 int width = warpSize) {
645 const __half h = var;
646 return static_cast<Eigen::half>(__shfl_sync(mask, h, srcLane, width));
647}
648
649__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_up_sync(unsigned mask, Eigen::half var, unsigned int delta,
650 int width = warpSize) {
651 const __half h = var;
652 return static_cast<Eigen::half>(__shfl_up_sync(mask, h, delta, width));
653}
654
655__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_down_sync(unsigned mask, Eigen::half var, unsigned int delta,
656 int width = warpSize) {
657 const __half h = var;
658 return static_cast<Eigen::half>(__shfl_down_sync(mask, h, delta, width));
659}
660
661__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_xor_sync(unsigned mask, Eigen::half var, int laneMask,
662 int width = warpSize) {
663 const __half h = var;
664 return static_cast<Eigen::half>(__shfl_xor_sync(mask, h, laneMask, width));
665}
666
667#else // CUDA SDK < 9.0
668
669__device__ EIGEN_STRONG_INLINE Eigen::half __shfl(Eigen::half var, int srcLane, int width = warpSize) {
670 return static_cast<Eigen::half>(__shfl(static_cast<float>(var), srcLane, width));
671}
672
673__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_up(Eigen::half var, unsigned int delta, int width = warpSize) {
674 return static_cast<Eigen::half>(__shfl_up(static_cast<float>(var), delta, width));
675}
676
677__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_down(Eigen::half var, unsigned int delta, int width = warpSize) {
678 return static_cast<Eigen::half>(__shfl_down(static_cast<float>(var), delta, width));
679}
680
681__device__ EIGEN_STRONG_INLINE Eigen::half __shfl_xor(Eigen::half var, int laneMask, int width = warpSize) {
682 return static_cast<Eigen::half>(__shfl_xor(static_cast<float>(var), laneMask, width));
683}
684
685#endif
686#endif // __shfl*
687
688// ldg() has an overload for __half_raw, but we also need one for Eigen::half.
689#if defined(EIGEN_CUDACC) && (!defined(EIGEN_CUDA_ARCH) || EIGEN_CUDA_ARCH >= 350)
690EIGEN_STRONG_INLINE __device__ Eigen::half __ldg(const Eigen::half* ptr) {
691 return Eigen::half_impl::raw_uint16_to_half(__ldg(reinterpret_cast<const Eigen::numext::uint16_t*>(ptr)));
692}
693#endif // __ldg
694
695#if defined(EIGEN_CUDA_ARCH)
696namespace Eigen {
697namespace numext {
698
699template<>
700EIGEN_DEVICE_FUNC EIGEN_ALWAYS_INLINE
701bool (isnan)(const Eigen::half& h) {
702 return (half_impl::isnan)(h);
703}
704
705template<>
706EIGEN_DEVICE_FUNC EIGEN_ALWAYS_INLINE
707bool (isinf)(const Eigen::half& h) {
708 return (half_impl::isinf)(h);
709}
710
711template<>
712EIGEN_DEVICE_FUNC EIGEN_ALWAYS_INLINE
713bool (isfinite)(const Eigen::half& h) {
714 return (half_impl::isfinite)(h);
715}
716
717} // namespace Eigen
718} // namespace numext
719#endif
720
721#endif // EIGEN_HALF_CUDA_H
Namespace containing all symbols from the Eigen library.
Definition A05_PortingFrom2To3.dox:1
const Eigen::CwiseUnaryOp< Eigen::internal::scalar_sign_op< typename Derived::Scalar >, const Derived > sign(const Eigen::ArrayBase< Derived > &x)
EIGEN_DEFAULT_DENSE_INDEX_TYPE Index
The Index type as used for the API.
Definition Meta.h:65
Holds information about the various numeric (i.e. scalar) types allowed by Eigen.
Definition NumTraits.h:151