imf_wrapper.cpp

//==----- imf_wrapper.cpp - wrappers for intel math library functions ------==//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "device_imf.hpp"

#ifdef __LIBDEVICE_IMF_ENABLED__

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_saturatef(float);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_half2float(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_float2int_rd(float);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_float2int_rn(float);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_float2int_ru(float);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_float2int_rz(float);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_float2uint_rd(float);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_float2uint_rn(float);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_float2uint_ru(float);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_float2uint_rz(float);

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_float2ll_rd(float);

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_float2ll_rn(float);

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_float2ll_ru(float);

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_float2ll_rz(float);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_float2ull_rd(float);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_float2ull_rn(float);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_float2ull_ru(float);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_float2ull_rz(float);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_float_as_int(float);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_float_as_uint(float);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_int2float_rd(int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_int2float_rn(int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_int2float_ru(int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_int2float_rz(int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_int_as_float(int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ll2float_rd(long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ll2float_rn(long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ll2float_ru(long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ll2float_rz(long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_uint2float_rd(unsigned int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_uint2float_rn(unsigned int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_uint2float_ru(unsigned int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_uint2float_rz(unsigned int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_uint_as_float(unsigned int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ull2float_rd(unsigned long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ull2float_rn(unsigned long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ull2float_ru(unsigned long long int);

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ull2float_rz(unsigned long long int);

DEVICE_EXTERN_C_INLINE
float __imf_saturatef(float x) { return __devicelib_imf_saturatef(x); }

DEVICE_EXTERN_C_INLINE
int __imf_float2int_rd(float x) { return __devicelib_imf_float2int_rd(x); }

DEVICE_EXTERN_C_INLINE
int __imf_float2int_rn(float x) { return __devicelib_imf_float2int_rn(x); }

DEVICE_EXTERN_C_INLINE
int __imf_float2int_ru(float x) { return __devicelib_imf_float2int_ru(x); }

DEVICE_EXTERN_C_INLINE
int __imf_float2int_rz(float x) { return __devicelib_imf_float2int_rz(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_float2uint_rd(float x) {
  return __devicelib_imf_float2uint_rd(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_float2uint_rn(float x) {
  return __devicelib_imf_float2uint_rn(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_float2uint_ru(float x) {
  return __devicelib_imf_float2uint_ru(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_float2uint_rz(float x) {
  return __devicelib_imf_float2uint_rz(x);
}

DEVICE_EXTERN_C_INLINE
long long int __imf_float2ll_rd(float x) {
  return __devicelib_imf_float2ll_rd(x);
}

DEVICE_EXTERN_C_INLINE
long long int __imf_float2ll_rn(float x) {
  return __devicelib_imf_float2ll_rn(x);
}

DEVICE_EXTERN_C_INLINE
long long int __imf_float2ll_ru(float x) {
  return __devicelib_imf_float2ll_ru(x);
}

DEVICE_EXTERN_C_INLINE
long long int __imf_float2ll_rz(float x) {
  return __devicelib_imf_float2ll_rz(x);
}

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_float2ull_rd(float x) {
  return __devicelib_imf_float2ull_rd(x);
}

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_float2ull_rn(float x) {
  return __devicelib_imf_float2ull_rn(x);
}

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_float2ull_ru(float x) {
  return __devicelib_imf_float2ull_ru(x);
}

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_float2ull_rz(float x) {
  return __devicelib_imf_float2ull_rz(x);
}

DEVICE_EXTERN_C_INLINE
int __imf_float_as_int(float x) { return __devicelib_imf_float_as_int(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_float_as_uint(float x) {
  return __devicelib_imf_float_as_uint(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_int2float_rd(int x) { return __devicelib_imf_int2float_rd(x); }

DEVICE_EXTERN_C_INLINE
float __imf_int2float_rn(int x) { return __devicelib_imf_int2float_rn(x); }

DEVICE_EXTERN_C_INLINE
float __imf_int2float_ru(int x) { return __devicelib_imf_int2float_ru(x); }

DEVICE_EXTERN_C_INLINE
float __imf_int2float_rz(int x) { return __devicelib_imf_int2float_rz(x); }

DEVICE_EXTERN_C_INLINE
float __imf_int_as_float(int x) { return __devicelib_imf_int_as_float(x); }

DEVICE_EXTERN_C_INLINE
float __imf_ll2float_rd(long long int x) {
  return __devicelib_imf_ll2float_rd(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ll2float_rn(long long int x) {
  return __devicelib_imf_ll2float_rn(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ll2float_ru(long long int x) {
  return __devicelib_imf_ll2float_ru(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ll2float_rz(long long int x) {
  return __devicelib_imf_ll2float_rz(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_uint2float_rd(unsigned int x) {
  return __devicelib_imf_uint2float_rd(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_uint2float_rn(unsigned int x) {
  return __devicelib_imf_uint2float_rn(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_uint2float_ru(unsigned int x) {
  return __devicelib_imf_uint2float_ru(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_uint2float_rz(unsigned int x) {
  return __devicelib_imf_uint2float_rz(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_uint_as_float(unsigned int x) {
  return __devicelib_imf_uint_as_float(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ull2float_rd(unsigned long long int x) {
  return __devicelib_imf_ull2float_rd(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ull2float_rn(unsigned long long int x) {
  return __devicelib_imf_ull2float_rn(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ull2float_ru(unsigned long long int x) {
  return __devicelib_imf_ull2float_ru(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_ull2float_rz(unsigned long long int x) {
  return __devicelib_imf_ull2float_rz(x);
}

DEVICE_EXTERN_C_INLINE
float __imf_half2float(_iml_half_internal x) {
  return __devicelib_imf_half2float(x);
}

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_llmax(long long int, long long int);

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_llmin(long long int, long long int);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_max(int, int);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_min(int, int);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_ullmax(unsigned long long int,
                                              unsigned long long int);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_ullmin(unsigned long long int,
                                              unsigned long long int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_umax(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_umin(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
long long int __imf_llmax(long long int x, long long int y) {
  return __devicelib_imf_llmax(x, y);
}

DEVICE_EXTERN_C_INLINE
long long int __imf_llmin(long long int x, long long int y) {
  return __devicelib_imf_llmin(x, y);
}

DEVICE_EXTERN_C_INLINE
int __imf_max(int x, int y) { return __devicelib_imf_max(x, y); }

DEVICE_EXTERN_C_INLINE
int __imf_min(int x, int y) { return __devicelib_imf_min(x, y); }

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_ullmax(unsigned long long int x,
                                    unsigned long long int y) {
  return __devicelib_imf_ullmax(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_ullmin(unsigned long long int x,
                                    unsigned long long int y) {
  return __devicelib_imf_ullmin(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_umax(unsigned int x, unsigned int y) {
  return __devicelib_imf_umax(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_umin(unsigned int x, unsigned int y) {
  return __devicelib_imf_umin(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_brev(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_brevll(unsigned long long int);

DEVICE_EXTERN_C_INLINE
unsigned int __imf_brev(unsigned int x) { return __devicelib_imf_brev(x); }

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_brevll(unsigned long long int x) {
  return __devicelib_imf_brevll(x);
}

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_clz(int);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_clzll(long long int);

DEVICE_EXTERN_C_INLINE
int __imf_clz(int x) { return __devicelib_imf_clz(x); }

DEVICE_EXTERN_C_INLINE
int __imf_clzll(long long int x) { return __devicelib_imf_clzll(x); }

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_popc(unsigned int);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_popcll(unsigned long long int);

DEVICE_EXTERN_C_INLINE
int __imf_popc(unsigned int x) { return __devicelib_imf_popc(x); }

DEVICE_EXTERN_C_INLINE
int __imf_popcll(unsigned long long int x) { return __devicelib_imf_popcll(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_sad(int, int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_usad(unsigned int, unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __imf_sad(int x, int y, unsigned int z) {
  return __devicelib_imf_sad(x, y, z);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_usad(unsigned int x, unsigned int y, unsigned int z) {
  return __devicelib_imf_usad(x, y, z);
}

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_byte_perm(unsigned int, unsigned int,
                                       unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __imf_byte_perm(unsigned int x, unsigned int y, unsigned int s) {
  return __devicelib_imf_byte_perm(x, y, s);
}

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_ffs(int);

DEVICE_EXTERN_C_INLINE
int __imf_ffs(int x) { return __devicelib_imf_ffs(x); }

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_ffsll(long long int);

DEVICE_EXTERN_C_INLINE
int __imf_ffsll(long long int x) { return __devicelib_imf_ffsll(x); }

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_rhadd(int, int);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_hadd(int, int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_uhadd(int, int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_urhadd(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
int __imf_rhadd(int x, int y) { return __devicelib_imf_rhadd(x, y); }

DEVICE_EXTERN_C_INLINE
int __imf_hadd(int x, int y) { return __devicelib_imf_hadd(x, y); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_uhadd(unsigned int x, unsigned int y) {
  return __devicelib_imf_uhadd(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_urhadd(unsigned int x, unsigned int y) {
  return __devicelib_imf_urhadd(x, y);
}

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_mul24(int, int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_umul24(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
int __imf_mul24(int x, int y) { return __devicelib_imf_mul24(x, y); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_umul24(unsigned int x, unsigned int y) {
  return __devicelib_imf_umul24(x, y);
}

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_mulhi(int, int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_umulhi(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
long long int __devicelib_imf_mul64hi(long long int, long long int);

DEVICE_EXTERN_C_INLINE
unsigned long long int __devicelib_imf_umul64hi(unsigned long long int,
                                                unsigned long long int);

DEVICE_EXTERN_C_INLINE
long long int __imf_mul64hi(long long int x, long long int y) {
  return __devicelib_imf_mul64hi(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned long long int __imf_umul64hi(unsigned long long int x,
                                      unsigned long long int y) {
  return __devicelib_imf_umul64hi(x, y);
}

DEVICE_EXTERN_C_INLINE
int __imf_mulhi(int x, int y) { return __devicelib_imf_mulhi(x, y); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_umulhi(unsigned int x, unsigned int y) {
  return __devicelib_imf_umulhi(x, y);
}

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fmaf(float, float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fmaf(float x, float y, float z) {
  return __devicelib_imf_fmaf(x, y, z);
}

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_floorf(float);

DEVICE_EXTERN_C_INLINE
float __imf_floorf(float x) { return __devicelib_imf_floorf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_ceilf(float);

DEVICE_EXTERN_C_INLINE
float __imf_ceilf(float x) { return __devicelib_imf_ceilf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_truncf(float);

DEVICE_EXTERN_C_INLINE
float __imf_truncf(float x) { return __devicelib_imf_truncf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_rintf(float);

DEVICE_EXTERN_C_INLINE
float __imf_rintf(float x) { return __devicelib_imf_rintf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_nearbyintf(float);

DEVICE_EXTERN_C_INLINE
float __imf_nearbyintf(float x) { return __devicelib_imf_nearbyintf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_sqrtf(float);

DEVICE_EXTERN_C_INLINE
float __imf_sqrtf(float x) { return __devicelib_imf_sqrtf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_rsqrtf(float);

DEVICE_EXTERN_C_INLINE
float __imf_rsqrtf(float x) { return __devicelib_imf_rsqrtf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_invf(float);

DEVICE_EXTERN_C_INLINE
float __imf_invf(float x) { return __devicelib_imf_invf(x); }

DEVICE_EXTERN_C_INLINE
int32_t __devicelib_imf_abs(int32_t);

DEVICE_EXTERN_C_INLINE
int32_t __imf_abs(int32_t x) { return __devicelib_imf_abs(x); }

DEVICE_EXTERN_C_INLINE
int64_t __devicelib_imf_llabs(int64_t);

DEVICE_EXTERN_C_INLINE
int64_t __imf_llabs(int64_t x) { return __devicelib_imf_llabs(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fabsf(float);

DEVICE_EXTERN_C_INLINE
float __imf_fabsf(float x) { return __devicelib_imf_fabsf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fmaxf(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fmaxf(float x, float y) { return __devicelib_imf_fmaxf(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fminf(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fminf(float x, float y) { return __devicelib_imf_fminf(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_copysignf(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_copysignf(float x, float y) {
  return __devicelib_imf_copysignf(x, y);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_fmaf16(_iml_half_internal,
                                          _iml_half_internal,
                                          _iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_fmaf16(_iml_half_internal x, _iml_half_internal y,
                                _iml_half_internal z) {
  return __devicelib_imf_fmaf16(x, y, z);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_floorf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_floorf16(_iml_half_internal x) {
  return __devicelib_imf_floorf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ceilf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ceilf16(_iml_half_internal x) {
  return __devicelib_imf_ceilf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_truncf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_truncf16(_iml_half_internal x) {
  return __devicelib_imf_truncf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_rintf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_rintf16(_iml_half_internal x) {
  return __devicelib_imf_rintf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_nearbyintf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_nearbyintf16(_iml_half_internal x) {
  return __devicelib_imf_nearbyintf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_sqrtf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_sqrtf16(_iml_half_internal x) {
  return __devicelib_imf_sqrtf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_rsqrtf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_rsqrtf16(_iml_half_internal x) {
  return __devicelib_imf_rsqrtf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_invf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_invf16(_iml_half_internal x) {
  return __devicelib_imf_invf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_fabsf16(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_fabsf16(_iml_half_internal x) {
  return __devicelib_imf_fabsf16(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_fmaxf16(_iml_half_internal,
                                           _iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_fmaxf16(_iml_half_internal x, _iml_half_internal y) {
  return __devicelib_imf_fmaxf16(x, y);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_fminf16(_iml_half_internal,
                                           _iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_fminf16(_iml_half_internal x, _iml_half_internal y) {
  return __devicelib_imf_fminf16(x, y);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_copysignf16(_iml_half_internal,
                                               _iml_half_internal);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_copysignf16(_iml_half_internal x,
                                     _iml_half_internal y) {
  return __devicelib_imf_copysignf16(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabs2(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabs4(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vneg2(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vneg4(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vnegss2(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vnegss4(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabsdiffs2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabsdiffs4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabsdiffu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabsdiffu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabsss2(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vabsss4(unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vadd2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vadd4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vaddss2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vaddss4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vaddus2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vaddus4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsub2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsub4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsubss2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsubss4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsubus2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsubus4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vhaddu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vhaddu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vavgs2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vavgs4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vavgu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vavgu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpeq2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpeq4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpne2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpne4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpges2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpges4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpgeu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpgeu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpgts2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpgts4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpgtu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpgtu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmples2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmples4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpleu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpleu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmplts2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmplts4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpltu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vcmpltu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vmaxs2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vmaxs4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vmaxu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vmaxu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vmins2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vmins4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vminu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vminu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vseteq2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vseteq4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetne2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetne4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetges2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetges4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetgeu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetgeu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetgts2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetgts4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetgtu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetgtu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetles2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetles4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetleu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetleu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetlts2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetlts4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetltu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsetltu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsads2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsads4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsadu2(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_vsadu4(unsigned int, unsigned int);

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabs2(unsigned int x) { return __devicelib_imf_vabs2(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabs4(unsigned int x) { return __devicelib_imf_vabs4(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vneg2(unsigned int x) { return __devicelib_imf_vneg2(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vneg4(unsigned int x) { return __devicelib_imf_vneg4(x); }

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vnegss2(unsigned int x) {
  return __devicelib_imf_vnegss2(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vnegss4(unsigned int x) {
  return __devicelib_imf_vnegss4(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabsdiffs2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vabsdiffs2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabsdiffs4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vabsdiffs4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabsdiffu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vabsdiffu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabsdiffu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vabsdiffu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabsss2(unsigned int x) {
  return __devicelib_imf_vabsss2(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vabsss4(unsigned int x) {
  return __devicelib_imf_vabsss4(x);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vadd2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vadd2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vadd4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vadd4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vaddss2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vaddss2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vaddss4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vaddss4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vaddus2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vaddus2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vaddus4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vaddus4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsub2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsub2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsub4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsub4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsubss2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsubss2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsubss4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsubss4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsubus2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsubus2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsubus4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsubus4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vhaddu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vhaddu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vhaddu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vhaddu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vavgs2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vavgs2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vavgs4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vavgs4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vavgu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vavgu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vavgu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vavgu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpeq2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpeq2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpeq4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpeq4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpges2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpges2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpges4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpges4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpgeu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpgeu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpgeu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpgeu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpgts2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpgts2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpgts4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpgts4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpgtu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpgtu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpgtu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpgtu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmples2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmples2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmples4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmples4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpleu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpleu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpleu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpleu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmplts2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmplts2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmplts4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmplts4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpltu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpltu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpltu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpltu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpne2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpne2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vcmpne4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vcmpne4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vmaxs2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vmaxs2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vmaxs4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vmaxs4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vmaxu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vmaxu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vmaxu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vmaxu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vmins2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vmins2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vmins4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vmins4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vminu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vminu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vminu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vminu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vseteq2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vseteq2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vseteq4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vseteq4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetne2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetne2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetne4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetne4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetges2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetges2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetges4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetges4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetgeu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetgeu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetgeu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetgeu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetgts2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetgts2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetgts4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetgts4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetgtu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetgtu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetgtu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetgtu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetles2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetles2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetles4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetles4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetleu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetleu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetleu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetleu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetlts2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetlts2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetlts4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetlts4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetltu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetltu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsetltu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsetltu4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsads2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsads2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsads4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsads4(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsadu2(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsadu2(x, y);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_vsadu4(unsigned int x, unsigned int y) {
  return __devicelib_imf_vsadu4(x, y);
}

// FP16 type cast functions
DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_float2half_rn(float);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_float2half_rd(float);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_float2half_ru(float);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_float2half_rz(float);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_float2half_rn(float x) {
  return __devicelib_imf_float2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_float2half_rd(float x) {
  return __devicelib_imf_float2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_float2half_ru(float x) {
  return __devicelib_imf_float2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_float2half_rz(float x) {
  return __devicelib_imf_float2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_half2int_rd(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_half2int_rn(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_half2int_ru(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
int __devicelib_imf_half2int_rz(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
int __imf_half2int_rd(_iml_half_internal h) {
  return __devicelib_imf_half2int_rd(h);
}

DEVICE_EXTERN_C_INLINE
int __imf_half2int_rn(_iml_half_internal h) {
  return __devicelib_imf_half2int_rn(h);
}

DEVICE_EXTERN_C_INLINE
int __imf_half2int_ru(_iml_half_internal h) {
  return __devicelib_imf_half2int_ru(h);
}

DEVICE_EXTERN_C_INLINE
int __imf_half2int_rz(_iml_half_internal h) {
  return __devicelib_imf_half2int_rz(h);
}

DEVICE_EXTERN_C_INLINE
long long __devicelib_imf_half2ll_rd(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
long long __devicelib_imf_half2ll_rn(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
long long __devicelib_imf_half2ll_ru(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
long long __devicelib_imf_half2ll_rz(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
long long __imf_half2ll_rd(_iml_half_internal h) {
  return __devicelib_imf_half2ll_rd(h);
}

DEVICE_EXTERN_C_INLINE
long long __imf_half2ll_rn(_iml_half_internal h) {
  return __devicelib_imf_half2ll_rn(h);
}

DEVICE_EXTERN_C_INLINE
long long __imf_half2ll_ru(_iml_half_internal h) {
  return __devicelib_imf_half2ll_ru(h);
}

DEVICE_EXTERN_C_INLINE
long long __imf_half2ll_rz(_iml_half_internal h) {
  return __devicelib_imf_half2ll_rz(h);
}

DEVICE_EXTERN_C_INLINE
short __devicelib_imf_half2short_rd(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
short __devicelib_imf_half2short_rn(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
short __devicelib_imf_half2short_ru(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
short __devicelib_imf_half2short_rz(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
short __imf_half2short_rd(_iml_half_internal h) {
  return __devicelib_imf_half2short_rd(h);
}

DEVICE_EXTERN_C_INLINE
short __imf_half2short_rn(_iml_half_internal h) {
  return __devicelib_imf_half2short_rn(h);
}

DEVICE_EXTERN_C_INLINE
short __imf_half2short_ru(_iml_half_internal h) {
  return __devicelib_imf_half2short_ru(h);
}

DEVICE_EXTERN_C_INLINE
short __imf_half2short_rz(_iml_half_internal h) {
  return __devicelib_imf_half2short_rz(h);
}

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_half2uint_rd(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_half2uint_rn(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_half2uint_ru(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned int __devicelib_imf_half2uint_rz(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned int __imf_half2uint_rd(_iml_half_internal h) {
  return __devicelib_imf_half2uint_rd(h);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_half2uint_rn(_iml_half_internal h) {
  return __devicelib_imf_half2uint_rn(h);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_half2uint_ru(_iml_half_internal h) {
  return __devicelib_imf_half2uint_ru(h);
}

DEVICE_EXTERN_C_INLINE
unsigned int __imf_half2uint_rz(_iml_half_internal h) {
  return __devicelib_imf_half2uint_rz(h);
}

DEVICE_EXTERN_C_INLINE
unsigned long long __devicelib_imf_half2ull_rd(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned long long __devicelib_imf_half2ull_rn(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned long long __devicelib_imf_half2ull_ru(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned long long __devicelib_imf_half2ull_rz(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned long long __imf_half2ull_rd(_iml_half_internal h) {
  return __devicelib_imf_half2ull_rd(h);
}

DEVICE_EXTERN_C_INLINE
unsigned long long __imf_half2ull_rn(_iml_half_internal h) {
  return __devicelib_imf_half2ull_rn(h);
}

DEVICE_EXTERN_C_INLINE
unsigned long long __imf_half2ull_ru(_iml_half_internal h) {
  return __devicelib_imf_half2ull_ru(h);
}

DEVICE_EXTERN_C_INLINE
unsigned long long __imf_half2ull_rz(_iml_half_internal h) {
  return __devicelib_imf_half2ull_rz(h);
}

DEVICE_EXTERN_C_INLINE
unsigned short __devicelib_imf_half2ushort_rd(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned short __devicelib_imf_half2ushort_rn(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned short __devicelib_imf_half2ushort_ru(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned short __devicelib_imf_half2ushort_rz(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned short __imf_half2ushort_rd(_iml_half_internal h) {
  return __devicelib_imf_half2ushort_rd(h);
}

DEVICE_EXTERN_C_INLINE
unsigned short __imf_half2ushort_rn(_iml_half_internal h) {
  return __devicelib_imf_half2ushort_rn(h);
}

DEVICE_EXTERN_C_INLINE
unsigned short __imf_half2ushort_ru(_iml_half_internal h) {
  return __devicelib_imf_half2ushort_ru(h);
}

DEVICE_EXTERN_C_INLINE
unsigned short __imf_half2ushort_rz(_iml_half_internal h) {
  return __devicelib_imf_half2ushort_rz(h);
}

DEVICE_EXTERN_C_INLINE
short __devicelib_imf_half_as_short(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
unsigned short __devicelib_imf_half_as_ushort(_iml_half_internal);

DEVICE_EXTERN_C_INLINE
short __imf_half_as_short(_iml_half_internal h) {
  return __devicelib_imf_half_as_short(h);
}

DEVICE_EXTERN_C_INLINE
unsigned short __imf_half_as_ushort(_iml_half_internal h) {
  return __devicelib_imf_half_as_ushort(h);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_int2half_rd(int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_int2half_rn(int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_int2half_ru(int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_int2half_rz(int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_int2half_rd(int x) {
  return __devicelib_imf_int2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_int2half_rn(int x) {
  return __devicelib_imf_int2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_int2half_ru(int x) {
  return __devicelib_imf_int2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_int2half_rz(int x) {
  return __devicelib_imf_int2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ll2half_rd(long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ll2half_rn(long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ll2half_ru(long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ll2half_rz(long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ll2half_rd(long long x) {
  return __devicelib_imf_ll2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ll2half_rn(long long x) {
  return __devicelib_imf_ll2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ll2half_ru(long long x) {
  return __devicelib_imf_ll2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ll2half_rz(long long x) {
  return __devicelib_imf_ll2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_short2half_rd(short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_short2half_rn(short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_short2half_ru(short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_short2half_rz(short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_short2half_rd(short x) {
  return __devicelib_imf_short2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_short2half_rn(short x) {
  return __devicelib_imf_short2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_short2half_ru(short x) {
  return __devicelib_imf_short2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_short2half_rz(short x) {
  return __devicelib_imf_short2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_short_as_half(short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_short_as_half(short x) {
  return __devicelib_imf_short_as_half(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_uint2half_rd(unsigned int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_uint2half_rn(unsigned int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_uint2half_ru(unsigned int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_uint2half_rz(unsigned int);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_uint2half_rd(unsigned int x) {
  return __devicelib_imf_uint2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_uint2half_rn(unsigned int x) {
  return __devicelib_imf_uint2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_uint2half_ru(unsigned int x) {
  return __devicelib_imf_uint2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_uint2half_rz(unsigned int x) {
  return __devicelib_imf_uint2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ull2half_rd(unsigned long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ull2half_rn(unsigned long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ull2half_ru(unsigned long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ull2half_rz(unsigned long long);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ull2half_rd(unsigned long long x) {
  return __devicelib_imf_ull2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ull2half_rn(unsigned long long x) {
  return __devicelib_imf_ull2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ull2half_ru(unsigned long long x) {
  return __devicelib_imf_ull2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ull2half_rz(unsigned long long x) {
  return __devicelib_imf_ull2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ushort2half_rd(unsigned short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ushort2half_rn(unsigned short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ushort2half_ru(unsigned short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ushort2half_rz(unsigned short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ushort2half_rd(unsigned short x) {
  return __devicelib_imf_ushort2half_rd(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ushort2half_rn(unsigned short x) {
  return __devicelib_imf_ushort2half_rn(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ushort2half_ru(unsigned short x) {
  return __devicelib_imf_ushort2half_ru(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ushort2half_rz(unsigned short x) {
  return __devicelib_imf_ushort2half_rz(x);
}

DEVICE_EXTERN_C_INLINE
_iml_half_internal __devicelib_imf_ushort_as_half(unsigned short);

DEVICE_EXTERN_C_INLINE
_iml_half_internal __imf_ushort_as_half(unsigned short x) {
  return __devicelib_imf_ushort_as_half(x);
}

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_exp10f(float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_exp10f(float x) { return __devicelib_imf_fast_exp10f(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_expf(float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_expf(float x) { return __devicelib_imf_fast_expf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_fdividef(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_fdividef(float x, float y) {
  return __devicelib_imf_fast_fdividef(x, y);
}

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_logf(float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_logf(float x) { return __devicelib_imf_fast_logf(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_log2f(float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_log2f(float x) { return __devicelib_imf_fast_log2f(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_log10f(float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_log10f(float x) { return __devicelib_imf_fast_log10f(x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fast_powf(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fast_powf(float x, float y) {
  return __devicelib_imf_fast_powf(x, y);
}

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fadd_rd(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fadd_rd(float x, float y) { return __devicelib_imf_fadd_rd(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fadd_rn(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fadd_rn(float x, float y) { return __devicelib_imf_fadd_rn(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fadd_ru(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fadd_ru(float x, float y) { return __devicelib_imf_fadd_ru(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fadd_rz(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fadd_rz(float x, float y) { return __devicelib_imf_fadd_rz(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fsub_rd(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fsub_rd(float x, float y) { return __devicelib_imf_fsub_rd(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fsub_rn(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fsub_rn(float x, float y) { return __devicelib_imf_fsub_rn(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fsub_ru(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fsub_ru(float x, float y) { return __devicelib_imf_fsub_ru(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fsub_rz(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fsub_rz(float x, float y) { return __devicelib_imf_fsub_rz(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fmul_rd(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fmul_rd(float x, float y) { return __devicelib_imf_fmul_rd(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fmul_rn(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fmul_rn(float x, float y) { return __devicelib_imf_fmul_rn(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fmul_ru(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fmul_ru(float x, float y) { return __devicelib_imf_fmul_ru(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fmul_rz(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fmul_rz(float x, float y) { return __devicelib_imf_fmul_rz(x, y); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fdiv_rd(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fdiv_rd(float x, float y) { return __devicelib_imf_fdiv_rd(x, y); }

DEVICE_EXTERN_C_INLINE
float __imf_frcp_rd(float x) { return __devicelib_imf_fdiv_rd(1.0f, x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fdiv_rn(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fdiv_rn(float x, float y) { return __devicelib_imf_fdiv_rn(x, y); }

DEVICE_EXTERN_C_INLINE
float __imf_frcp_rn(float x) { return __devicelib_imf_fdiv_rn(1.0f, x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fdiv_ru(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fdiv_ru(float x, float y) { return __devicelib_imf_fdiv_ru(x, y); }

DEVICE_EXTERN_C_INLINE
float __imf_frcp_ru(float x) { return __devicelib_imf_fdiv_ru(1.0f, x); }

DEVICE_EXTERN_C_INLINE
float __devicelib_imf_fdiv_rz(float, float);

DEVICE_EXTERN_C_INLINE
float __imf_fdiv_rz(float x, float y) { return __devicelib_imf_fdiv_rz(x, y); }

DEVICE_EXTERN_C_INLINE
float __imf_frcp_rz(float x) { return __devicelib_imf_fdiv_rz(1.0f, x); }
#endif // __LIBDEVICE_IMF_ENABLED__