float16.h 19.5 KB
Newer Older
1
/* Copyright (c) 2016 PaddlePaddle Authors. All Rights Reserved.
K
Kexin Zhao 已提交
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License. */

#pragma once

17
#include <stdint.h>
K
Kexin Zhao 已提交
18

K
Kexin Zhao 已提交
19
#ifdef PADDLE_WITH_CUDA
K
Kexin Zhao 已提交
20
#include <cuda.h>
K
Kexin Zhao 已提交
21 22
#endif  // PADDLE_WITH_CUDA

K
Kexin Zhao 已提交
23
#include "unsupported/Eigen/CXX11/Tensor"
K
Kexin Zhao 已提交
24

Y
Yi Wang 已提交
25
#include "paddle/fluid/platform/hostdevice.h"
K
Kexin Zhao 已提交
26

K
Kexin Zhao 已提交
27 28 29 30 31 32 33 34 35 36 37 38
#ifdef __GNUC__
#define PADDLE_GNUC_VER (__GNUC__ * 10 + __GNUC_MINOR__)
#else
#define PADDLE_GNUC_VER 0
#endif  // __GNUC__

#ifdef __clang__
#define PADDLE_CLANG_VER (__clang_major__ * 10 + __clang_minor__)
#else
#define PADDLE_CLANG_VER 0
#endif  // __clang__

K
Kexin Zhao 已提交
39
#if defined(__CUDACC__) && CUDA_VERSION >= 7050
K
Kexin Zhao 已提交
40 41
#define PADDLE_CUDA_FP16
#include <cuda_fp16.h>
K
Kexin Zhao 已提交
42 43
#endif

K
Kexin Zhao 已提交
44
#if defined(__arm__) || defined(__aarch64__)
K
Kexin Zhao 已提交
45 46 47 48 49
#define PADDLE_ARM
#endif

#if defined(__ARM_NEON) || defined(__ARM_NEON__)
#define PADDLE_NEON
K
Kexin Zhao 已提交
50
#include <arm_neon.h>
K
Kexin Zhao 已提交
51 52
#endif

K
Kexin Zhao 已提交
53 54 55
#if defined(PADDLE_NEON) && defined(PADDLE_ARM_FP16) && \
    (PADDLE_GNUC_VER >= 62 || PADDLE_CLANG_VER >= 37)
#define PADDLE_WITH_NATIVE_FP16
K
Kexin Zhao 已提交
56 57
#endif

K
Kexin Zhao 已提交
58
#ifndef PADDLE_ARM
K
Kexin Zhao 已提交
59 60
#include <immintrin.h>
#endif  // PADDLE_ARM
K
Kexin Zhao 已提交
61

K
Kexin Zhao 已提交
62
#define PADDLE_ALIGN(x) __attribute__((aligned(x)))
K
Kexin Zhao 已提交
63 64

namespace paddle {
K
kexinzhao 已提交
65
namespace platform {
K
Kexin Zhao 已提交
66

K
Kexin Zhao 已提交
67 68 69
// Use PADDLE_ALIGNED(2) to ensure that each float16 will be allocated
// and aligned at least on a 2-byte boundary, which leads to efficient
// memory access of float16 struct and also makes float16 compatible
K
Kexin Zhao 已提交
70
// with CUDA half, ARM float16_t, and Eigen::half data types.
K
Kexin Zhao 已提交
71
struct PADDLE_ALIGN(2) float16 {
72
 public:
K
Kexin Zhao 已提交
73
  uint16_t x;
K
Kexin Zhao 已提交
74

K
kexinzhao 已提交
75 76 77
  // The following defaulted special class member functions
  // are added to make float16 pass the std::is_trivial test
  HOSTDEVICE inline float16() = default;
K
Kexin Zhao 已提交
78

K
kexinzhao 已提交
79
  HOSTDEVICE inline float16(const float16&) = default;
K
Kexin Zhao 已提交
80

K
kexinzhao 已提交
81 82 83 84 85 86 87 88 89
  HOSTDEVICE inline float16& operator=(const float16&) = default;

  HOSTDEVICE inline float16(float16&&) = default;

  HOSTDEVICE inline float16& operator=(float16&&) = default;

  HOSTDEVICE inline ~float16() = default;

// Constructors
K
Kexin Zhao 已提交
90
#ifdef PADDLE_CUDA_FP16
K
Kexin Zhao 已提交
91
  HOSTDEVICE inline explicit float16(const half& h) {
K
Kexin Zhao 已提交
92
#if CUDA_VERSION >= 9000
Y
Yu Yang 已提交
93
    x = reinterpret_cast<__half_raw*>(const_cast<half*>(&h))->x;
K
Kexin Zhao 已提交
94 95 96 97 98 99
#else
    x = h.x;
#endif  // CUDA_VERSION >= 9000
  }
#endif  // PADDLE_CUDA_FP16

K
Kexin Zhao 已提交
100
  HOSTDEVICE inline explicit float16(const Eigen::half& h) : x(h.x) {}
K
Kexin Zhao 已提交
101

K
Kexin Zhao 已提交
102
#ifdef PADDLE_WITH_NATIVE_FP16
K
Kexin Zhao 已提交
103
  // __fp16 is a native half precision data type for arm cpu,
104
  // float16_t is an alias for __fp16
K
Kexin Zhao 已提交
105 106
  HOSTDEVICE inline explicit float16(const float16_t& h) {
    x = *reinterpret_cast<const uint16_t*>(&h);
K
Kexin Zhao 已提交
107 108 109
  }
#endif

K
Kexin Zhao 已提交
110 111 112 113
  HOSTDEVICE inline explicit float16(float val) {
#if defined(PADDLE_CUDA_FP16) && defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 300
    half tmp = __float2half(val);
    x = *reinterpret_cast<uint16_t*>(&tmp);
K
Kexin Zhao 已提交
114

115
#elif defined(PADDLE_WITH_NATIVE_FP16)
K
Kexin Zhao 已提交
116 117 118
    float32x4_t tmp = vld1q_dup_f32(&val);
    float16_t res = vget_lane_f16(vcvt_f16_f32(tmp), 0);
    x = *reinterpret_cast<uint16_t*>(&res);
K
Kexin Zhao 已提交
119

K
Kexin Zhao 已提交
120 121
#elif defined(__F16C__)
    x = _cvtss_sh(val, 0);
K
Kexin Zhao 已提交
122

K
Kexin Zhao 已提交
123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139
#else
    // Conversion routine adapted from
    // http://stackoverflow.com/questions/1659440/32-bit-to-16-bit-floating-point-conversion
    Bits v, s;
    v.f = val;
    uint32_t sign = v.si & sigN;
    v.si ^= sign;
    sign >>= shiftSign;  // logical shift
    s.si = mulN;
    s.si = s.f * v.f;  // correct subnormals
    v.si ^= (s.si ^ v.si) & -(minN > v.si);
    v.si ^= (infN ^ v.si) & -((infN > v.si) & (v.si > maxN));
    v.si ^= (nanN ^ v.si) & -((nanN > v.si) & (v.si > infN));
    v.ui >>= shift;  // logical shift
    v.si ^= ((v.si - maxD) ^ v.si) & -(v.si > maxC);
    v.si ^= ((v.si - minD) ^ v.si) & -(v.si > subC);
    x = v.ui | sign;
K
Kexin Zhao 已提交
140

K
Kexin Zhao 已提交
141
#endif
K
Kexin Zhao 已提交
142 143
  }

K
Kexin Zhao 已提交
144
  HOSTDEVICE inline explicit float16(bool b) : x(b ? 0x3c00 : 0) {}
K
Kexin Zhao 已提交
145

K
Kexin Zhao 已提交
146 147 148
  template <class T>
  HOSTDEVICE inline explicit float16(const T& val)
      : x(float16(static_cast<float>(val)).x) {}
K
Kexin Zhao 已提交
149

150
// Assignment operators
K
Kexin Zhao 已提交
151
#ifdef PADDLE_CUDA_FP16
K
Kexin Zhao 已提交
152
  HOSTDEVICE inline float16& operator=(const half& rhs) {
K
Kexin Zhao 已提交
153
#if CUDA_VERSION >= 9000
Y
Yu Yang 已提交
154
    x = reinterpret_cast<__half_raw*>(const_cast<half*>(&rhs))->x;
K
Kexin Zhao 已提交
155 156 157 158 159 160 161
#else
    x = rhs.x;
#endif
    return *this;
  }
#endif

K
Kexin Zhao 已提交
162
  HOSTDEVICE inline float16& operator=(const Eigen::half& rhs) {
K
Kexin Zhao 已提交
163 164 165 166
    x = rhs.x;
    return *this;
  }

K
Kexin Zhao 已提交
167 168 169
#ifdef PADDLE_WITH_NATIVE_FP16
  HOSTDEVICE inline float16& operator=(const float16_t& rhs) {
    x = *reinterpret_cast<const uint16_t*>(&rhs);
K
Kexin Zhao 已提交
170 171 172 173
    return *this;
  }
#endif

K
Kexin Zhao 已提交
174
  HOSTDEVICE inline float16& operator=(bool b) {
K
Kexin Zhao 已提交
175 176 177 178
    x = b ? 0x3c00 : 0;
    return *this;
  }

K
Kexin Zhao 已提交
179 180
  HOSTDEVICE inline float16& operator=(int8_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
181
    return *this;
K
Kexin Zhao 已提交
182 183
  }

K
Kexin Zhao 已提交
184 185
  HOSTDEVICE inline float16& operator=(uint8_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
186 187 188
    return *this;
  }

K
Kexin Zhao 已提交
189 190
  HOSTDEVICE inline float16& operator=(int16_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
191 192 193
    return *this;
  }

K
Kexin Zhao 已提交
194 195
  HOSTDEVICE inline float16& operator=(uint16_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
196 197 198
    return *this;
  }

K
Kexin Zhao 已提交
199 200
  HOSTDEVICE inline float16& operator=(int32_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
201 202 203
    return *this;
  }

K
Kexin Zhao 已提交
204 205
  HOSTDEVICE inline float16& operator=(uint32_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
206 207 208
    return *this;
  }

K
Kexin Zhao 已提交
209 210
  HOSTDEVICE inline float16& operator=(int64_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
211 212 213
    return *this;
  }

K
Kexin Zhao 已提交
214 215
  HOSTDEVICE inline float16& operator=(uint64_t val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
216 217 218
    return *this;
  }

K
Kexin Zhao 已提交
219 220
  HOSTDEVICE inline float16& operator=(float val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
221 222 223
    return *this;
  }

K
Kexin Zhao 已提交
224 225
  HOSTDEVICE inline float16& operator=(double val) {
    x = float16(val).x;
K
Kexin Zhao 已提交
226
    return *this;
K
Kexin Zhao 已提交
227
  }
K
Kexin Zhao 已提交
228

229
// Conversion opertors
K
Kexin Zhao 已提交
230
#ifdef PADDLE_CUDA_FP16
K
Kexin Zhao 已提交
231
  HOSTDEVICE inline explicit operator half() const {
K
Kexin Zhao 已提交
232 233 234 235 236 237 238 239 240 241 242
#if CUDA_VERSION >= 9000
    __half_raw h;
    h.x = x;
    return half(h);
#else
    half h;
    h.x = x;
    return h;
#endif  // CUDA_VERSION >= 9000
  }
#endif  // PADDLE_CUDA_FP16
K
Kexin Zhao 已提交
243

K
Kexin Zhao 已提交
244
  HOSTDEVICE inline explicit operator Eigen::half() const {
K
Kexin Zhao 已提交
245 246 247 248 249
    Eigen::half h;
    h.x = x;
    return h;
  }

K
Kexin Zhao 已提交
250 251 252
#ifdef PADDLE_WITH_NATIVE_FP16
  HOSTDEVICE inline explicit operator float16_t() const {
    return *reinterpret_cast<const float16_t*>(this);
K
Kexin Zhao 已提交
253 254 255
  }
#endif

K
Kexin Zhao 已提交
256 257 258 259 260
  HOSTDEVICE inline explicit operator float() const {
#if defined(PADDLE_CUDA_FP16) && defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 300
    half tmp = *reinterpret_cast<const half*>(this);
    return __half2float(tmp);

261
#elif defined(PADDLE_WITH_NATIVE_FP16)
K
Kexin Zhao 已提交
262 263
    float16x4_t res = vld1_dup_f16(reinterpret_cast<const float16_t*>(this));
    return vgetq_lane_f32(vcvt_f32_f16(res), 0);
K
Kexin Zhao 已提交
264

K
Kexin Zhao 已提交
265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287
#elif defined(__F16C__)
    return _cvtsh_ss(this->x);

#else
    // Conversion routine adapted from
    // http://stackoverflow.com/questions/1659440/32-bit-to-16-bit-floating-point-conversion
    Bits v;
    v.ui = this->x;
    int32_t sign = v.si & sigC;
    v.si ^= sign;
    sign <<= shiftSign;
    v.si ^= ((v.si + minD) ^ v.si) & -(v.si > subC);
    v.si ^= ((v.si + maxD) ^ v.si) & -(v.si > maxC);
    Bits s;
    s.si = mulC;
    s.f *= v.si;
    int32_t mask = -(norC > v.si);
    v.si <<= shift;
    v.si ^= (s.si ^ v.si) & mask;
    v.si |= sign;
    return v.f;

#endif
K
Kexin Zhao 已提交
288 289
  }

K
Kexin Zhao 已提交
290 291 292 293
  HOSTDEVICE inline explicit operator bool() const { return (x & 0x7fff) != 0; }

  HOSTDEVICE inline explicit operator int8_t() const {
    return static_cast<int8_t>(float(*this));
K
Kexin Zhao 已提交
294 295
  }

K
Kexin Zhao 已提交
296 297
  HOSTDEVICE inline explicit operator uint8_t() const {
    return static_cast<uint8_t>(float(*this));
K
Kexin Zhao 已提交
298 299
  }

K
Kexin Zhao 已提交
300 301
  HOSTDEVICE inline explicit operator int16_t() const {
    return static_cast<int16_t>(float(*this));
K
Kexin Zhao 已提交
302 303
  }

K
Kexin Zhao 已提交
304 305
  HOSTDEVICE inline explicit operator uint16_t() const {
    return static_cast<uint16_t>(float(*this));
K
Kexin Zhao 已提交
306 307
  }

K
Kexin Zhao 已提交
308 309
  HOSTDEVICE inline explicit operator int32_t() const {
    return static_cast<int32_t>(float(*this));
K
Kexin Zhao 已提交
310 311
  }

K
Kexin Zhao 已提交
312 313
  HOSTDEVICE inline explicit operator uint32_t() const {
    return static_cast<uint32_t>(float(*this));
K
Kexin Zhao 已提交
314 315
  }

K
Kexin Zhao 已提交
316 317
  HOSTDEVICE inline explicit operator int64_t() const {
    return static_cast<int64_t>(float(*this));
K
Kexin Zhao 已提交
318 319
  }

K
Kexin Zhao 已提交
320 321
  HOSTDEVICE inline explicit operator uint64_t() const {
    return static_cast<uint64_t>(float(*this));
K
Kexin Zhao 已提交
322 323
  }

K
Kexin Zhao 已提交
324 325
  HOSTDEVICE inline explicit operator double() const {
    return static_cast<double>(float(*this));
K
Kexin Zhao 已提交
326
  }
K
Kexin Zhao 已提交
327

328
 private:
K
Kexin Zhao 已提交
329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356
  union Bits {
    float f;
    int32_t si;
    uint32_t ui;
  };

  static const int shift = 13;
  static const int shiftSign = 16;

  static const int32_t infN = 0x7F800000;
  static const int32_t maxN = 0x477FE000;  // max flt16 as flt32
  static const int32_t minN = 0x38800000;  // min flt16 normal as flt32
  static const int32_t sigN = 0x80000000;  // sign bit

  static constexpr int32_t infC = infN >> shift;
  static constexpr int32_t nanN = (infC + 1)
                                  << shift;  // minimum flt16 nan as float32
  static constexpr int32_t maxC = maxN >> shift;
  static constexpr int32_t minC = minN >> shift;
  static constexpr int32_t sigC = sigN >> shiftSign;

  static const int32_t mulN = 0x52000000;  // (1 << 23) / minN
  static const int32_t mulC = 0x33800000;  // minN / (1 << (23 - shift))
  static const int32_t subC = 0x003FF;     // max flt32 subnormal downshifted
  static const int32_t norC = 0x00400;     // min flt32 normal downshifted

  static constexpr int32_t maxD = infC - maxC - 1;
  static constexpr int32_t minD = minC - subC - 1;
K
Kexin Zhao 已提交
357 358
};

K
Kexin Zhao 已提交
359 360 361 362 363
// Arithmetic operators on GPU
// CUDA 9.0 provides built-in arithmetic operators for half while
// CUDA 7.5 and 8.0 do not. The arithmetic operators defined here are
// for users to write similar CUDA code in CUDA 7.5 and 8.0 as in
// CUDA 9.0 regarding the half data type.
364 365
#if defined(PADDLE_CUDA_FP16) && CUDA_VERSION < 9000

K
Kexin Zhao 已提交
366
DEVICE inline half operator+(const half& a, const half& b) {
367
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
368
  return __hadd(a, b);
369 370 371 372
#else
  float res = float(float16(a)) + float(float16(b));
  return half(float16(res));
#endif
K
Kexin Zhao 已提交
373 374 375
}

DEVICE inline half operator-(const half& a, const half& b) {
376
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
377
  return __hsub(a, b);
378 379 380 381
#else
  float res = float(float16(a)) - float(float16(b));
  return half(float16(res));
#endif
K
Kexin Zhao 已提交
382 383 384
}

DEVICE inline half operator*(const half& a, const half& b) {
385
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
386
  return __hmul(a, b);
387 388 389 390
#else
  float res = float(float16(a)) * float(float16(b));
  return half(float16(res));
#endif
K
Kexin Zhao 已提交
391 392 393
}

DEVICE inline half operator/(const half& a, const half& b) {
394
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 300
K
Kexin Zhao 已提交
395 396 397
  float num = __half2float(a);
  float denom = __half2float(b);
  return __float2half(num / denom);
398 399 400 401
#else
  float res = float(float16(a)) / float(float16(b));
  return half(float16(res));
#endif
K
Kexin Zhao 已提交
402 403
}

404 405 406 407 408 409 410 411
DEVICE inline half operator-(const half& a) {
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
  return __hneg(a);
#else
  float res = -float(float16(a));
  return half(float16(res));
#endif
}
K
Kexin Zhao 已提交
412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433

DEVICE inline half& operator+=(half& a, const half& b) {
  a = a + b;
  return a;
}

DEVICE inline half& operator-=(half& a, const half& b) {
  a = a - b;
  return a;
}

DEVICE inline half& operator*=(half& a, const half& b) {
  a = a * b;
  return a;
}

DEVICE inline half& operator/=(half& a, const half& b) {
  a = a / b;
  return a;
}

DEVICE inline bool operator==(const half& a, const half& b) {
434
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
435
  return __heq(a, b);
436 437 438
#else
  return float(float16(a)) == float(float16(b));
#endif
K
Kexin Zhao 已提交
439 440 441
}

DEVICE inline bool operator!=(const half& a, const half& b) {
442
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
443
  return __hne(a, b);
444 445 446
#else
  return float(float16(a)) != float(float16(b));
#endif
K
Kexin Zhao 已提交
447 448 449
}

DEVICE inline bool operator<(const half& a, const half& b) {
450
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
451
  return __hlt(a, b);
452 453 454
#else
  return float(float16(a)) < float(float16(b));
#endif
K
Kexin Zhao 已提交
455 456 457
}

DEVICE inline bool operator<=(const half& a, const half& b) {
458
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
459
  return __hle(a, b);
460 461 462
#else
  return float(float16(a)) <= float(float16(b));
#endif
K
Kexin Zhao 已提交
463 464 465
}

DEVICE inline bool operator>(const half& a, const half& b) {
466
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
467
  return __hgt(a, b);
468 469 470
#else
  return float(float16(a)) > float(float16(b));
#endif
K
Kexin Zhao 已提交
471 472 473
}

DEVICE inline bool operator>=(const half& a, const half& b) {
474
#if defined(__CUDA_ARCH__) && __CUDA_ARCH__ >= 530
K
Kexin Zhao 已提交
475
  return __hge(a, b);
476 477 478
#else
  return float(float16(a)) >= float(float16(b));
#endif
K
Kexin Zhao 已提交
479 480
}

481
#endif  // PADDLE_CUDA_FP16
K
Kexin Zhao 已提交
482 483

// Arithmetic operators on ARMv8.2-A CPU
484
#if defined(PADDLE_WITH_NATIVE_FP16)
K
Kexin Zhao 已提交
485 486 487 488 489 490 491 492 493
HOST inline float16 operator+(const float16& a, const float16& b) {
  float16 res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fadd h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
494
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
495 496 497 498 499 500 501 502 503 504 505 506 507 508 509
      [res_ptr] "r"(&(res.x))
      :  // clobbers
      "memory", "v0", "v1");
  return res;
}

HOST inline float16 operator-(const float16& a, const float16& b) {
  float16 res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fsub h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
510
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
511 512 513 514 515 516 517 518 519 520 521 522 523 524 525
      [res_ptr] "r"(&(res.x))
      :  // clobbers
      "memory", "v0", "v1");
  return res;
}

HOST inline float16 operator*(const float16& a, const float16& b) {
  float16 res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fmul h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
526
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
527 528 529 530 531 532 533 534 535 536 537 538 539 540 541
      [res_ptr] "r"(&(res.x))
      :  // clobbers
      "memory", "v0", "v1");
  return res;
}

HOST inline float16 operator/(const float16& a, const float16& b) {
  float16 res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fdiv h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
542
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
543 544 545 546 547
      [res_ptr] "r"(&(res.x))
      :  // clobbers
      "memory", "v0", "v1");
  return res;
}
K
Kexin Zhao 已提交
548

K
Kexin Zhao 已提交
549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592
HOST inline float16 operator-(const float16& a) {
  float16 res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "fneg h0, h0\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
      [a_ptr] "r"(&(a.x)),
      [res_ptr] "r"(&(res.x))
      :  // clobbers
      "memory", "v0");
  return res;
}

HOST inline float16& operator+=(float16& a, const float16& b) {
  a = a + b;
  return a;
}

HOST inline float16& operator-=(float16& a, const float16& b) {
  a = a - b;
  return a;
}

HOST inline float16& operator*=(float16& a, const float16& b) {
  a = a * b;
  return a;
}

HOST inline float16& operator/=(float16& a, const float16& b) {
  a = a / b;
  return a;
}

HOST inline bool operator==(const float16& a, const float16& b) {
  uint16_t res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fcmeq h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
593
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612
      [res_ptr] "r"(&res)
      :  // clobbers
      "memory", "v0", "v1");
  return (res & 0xffff) != 0;
}

HOST inline bool operator!=(const float16& a, const float16& b) {
  return !(a == b);
}

HOST inline bool operator<(const float16& a, const float16& b) {
  uint16_t res;
  asm volatile(
      "ld1 {v1.h}[0], [%[a_ptr]]\n"
      "ld1 {v0.h}[0], [%[b_ptr]]\n"
      "fcmgt h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
613
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
614 615 616 617 618 619 620 621 622 623 624 625 626 627 628
      [res_ptr] "r"(&res)
      :  // clobbers
      "memory", "v0", "v1");
  return (res & 0xffff) != 0;
}

HOST inline bool operator<=(const float16& a, const float16& b) {
  uint16_t res;
  asm volatile(
      "ld1 {v1.h}[0], [%[a_ptr]]\n"
      "ld1 {v0.h}[0], [%[b_ptr]]\n"
      "fcmge h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
629
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
630 631 632 633 634 635 636 637 638 639 640 641 642 643 644
      [res_ptr] "r"(&res)
      :  // clobbers
      "memory", "v0", "v1");
  return (res & 0xffff) != 0;
}

HOST inline bool operator>(const float16& a, const float16& b) {
  uint16_t res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fcmgt h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
645
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
646 647 648 649 650 651 652 653 654 655 656 657 658 659 660
      [res_ptr] "r"(&res)
      :  // clobbers
      "memory", "v0", "v1");
  return (res & 0xffff) != 0;
}

HOST inline bool operator>=(const float16& a, const float16& b) {
  uint16_t res;
  asm volatile(
      "ld1 {v0.h}[0], [%[a_ptr]]\n"
      "ld1 {v1.h}[0], [%[b_ptr]]\n"
      "fcmge h0, h0, h1\n"
      "st1 {v0.h}[0], [%[res_ptr]]\n"
      :  // outputs
      :  // inputs
661
      [a_ptr] "r"(&(a.x)), [b_ptr] "r"(&(b.x)),
K
Kexin Zhao 已提交
662 663 664 665 666 667 668 669 670
      [res_ptr] "r"(&res)
      :  // clobbers
      "memory", "v0", "v1");
  return (res & 0xffff) != 0;
}

// Arithmetic operators, software emulated on other CPU
#else
HOSTDEVICE inline float16 operator+(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
671 672 673
  return float16(float(a) + float(b));
}

K
Kexin Zhao 已提交
674
HOSTDEVICE inline float16 operator-(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
675 676 677
  return float16(float(a) - float(b));
}

K
Kexin Zhao 已提交
678
HOSTDEVICE inline float16 operator*(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
679 680 681
  return float16(float(a) * float(b));
}

K
Kexin Zhao 已提交
682
HOSTDEVICE inline float16 operator/(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
683 684 685
  return float16(float(a) / float(b));
}

K
Kexin Zhao 已提交
686
HOSTDEVICE inline float16 operator-(const float16& a) {
K
Kexin Zhao 已提交
687 688 689 690 691
  float16 res;
  res.x = a.x ^ 0x8000;
  return res;
}

K
Kexin Zhao 已提交
692
HOSTDEVICE inline float16& operator+=(float16& a, const float16& b) {
K
Kexin Zhao 已提交
693 694 695 696
  a = float16(float(a) + float(b));
  return a;
}

K
Kexin Zhao 已提交
697
HOSTDEVICE inline float16& operator-=(float16& a, const float16& b) {
K
Kexin Zhao 已提交
698 699 700 701
  a = float16(float(a) - float(b));
  return a;
}

K
Kexin Zhao 已提交
702
HOSTDEVICE inline float16& operator*=(float16& a, const float16& b) {
K
Kexin Zhao 已提交
703 704 705 706
  a = float16(float(a) * float(b));
  return a;
}

K
Kexin Zhao 已提交
707
HOSTDEVICE inline float16& operator/=(float16& a, const float16& b) {
K
Kexin Zhao 已提交
708 709 710 711
  a = float16(float(a) / float(b));
  return a;
}

K
Kexin Zhao 已提交
712
HOSTDEVICE inline bool operator==(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
713 714 715
  return float(a) == float(b);
}

K
Kexin Zhao 已提交
716
HOSTDEVICE inline bool operator!=(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
717 718 719
  return float(a) != float(b);
}

K
Kexin Zhao 已提交
720
HOSTDEVICE inline bool operator<(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
721 722 723
  return float(a) < float(b);
}

K
Kexin Zhao 已提交
724
HOSTDEVICE inline bool operator<=(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
725 726 727
  return float(a) <= float(b);
}

K
Kexin Zhao 已提交
728
HOSTDEVICE inline bool operator>(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
729 730 731
  return float(a) > float(b);
}

K
Kexin Zhao 已提交
732
HOSTDEVICE inline bool operator>=(const float16& a, const float16& b) {
K
Kexin Zhao 已提交
733 734
  return float(a) >= float(b);
}
K
Kexin Zhao 已提交
735
#endif
K
kexinzhao 已提交
736 737

}  // namespace platform
K
Kexin Zhao 已提交
738
}  // namespace paddle
K
kexinzhao 已提交
739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757

namespace std {

// Override the std::is_pod::value for float16
// The reason is that different compilers implemented std::is_pod based on
// different C++ standards. float16 class is a plain old data in C++11 given
// that it is both trivial and standard_layout.
// However, std::is_pod in nvcc 8.0 host c++ compiler follows C++0x and is
// more restricted in that you cannot provide any customized
// constructor in float16. Hence, we override is_pod here following C++11
// so that .cu files can be successfully compiled by nvcc.
template <>
struct is_pod<paddle::platform::float16> {
  static const bool value =
      is_trivial<paddle::platform::float16>::value &&
      is_standard_layout<paddle::platform::float16>::value;
};

}  // namespace std