135 lines · plain
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9#include <clc/integer/clc_add_sat.h>10#include <clc/internal/clc.h>11#include <clc/math/clc_subnormal_config.h>12#include <clc/math/math.h>13#include <clc/relational/clc_isinf.h>14#include <clc/relational/clc_isnan.h>15#include <clc/shared/clc_clamp.h>16 17_CLC_DEF _CLC_OVERLOAD float __clc_ldexp(float x, int n) {18 19 if (!__clc_fp32_subnormals_supported()) {20 // This treats subnormals as zeros21 int i = __clc_as_int(x);22 int e = (i >> 23) & 0xff;23 int m = i & 0x007fffff;24 int s = i & 0x80000000;25 int v = __clc_add_sat(e, n);26 v = __clc_clamp(v, 0, 0xff);27 int mr = (e == 0 || v == 0 || v == 0xff) ? 0 : m;28 int c = e == 0xff;29 mr = c ? m : mr;30 int er = c ? e : v;31 er = e ? er : e;32 return __clc_as_float(s | (er << 23) | mr);33 }34 35 /* supports denormal values */36 const int multiplier = 24;37 float val_f;38 uint val_ui;39 uint sign;40 int exponent;41 val_ui = __clc_as_uint(x);42 sign = val_ui & 0x80000000;43 val_ui = val_ui & 0x7fffffff; /* remove the sign bit */44 int val_x = val_ui;45 46 exponent = val_ui >> 23; /* get the exponent */47 int dexp = exponent;48 49 /* denormal support */50 int fbh =51 127 -52 (__clc_as_uint((float)(__clc_as_float(val_ui | 0x3f800000) - 1.0f)) >>53 23);54 int dexponent = 25 - fbh;55 uint dval_ui = (((val_ui << fbh) & 0x007fffff) | (dexponent << 23));56 int ex = dexponent + n - multiplier;57 dexponent = ex;58 uint val = sign | (ex << 23) | (dval_ui & 0x007fffff);59 int ex1 = dexponent + multiplier;60 ex1 = -ex1 + 25;61 dval_ui = (((dval_ui & 0x007fffff) | 0x800000) >> ex1);62 dval_ui = dexponent > 0 ? val : dval_ui;63 dval_ui = dexponent > 254 ? 0x7f800000 : dval_ui; /*overflow*/64 dval_ui = dexponent < -multiplier ? 0 : dval_ui; /*underflow*/65 dval_ui = dval_ui | sign;66 val_f = __clc_as_float(dval_ui);67 68 exponent += n;69 70 val = sign | (exponent << 23) | (val_ui & 0x007fffff);71 ex1 = exponent + multiplier;72 ex1 = -ex1 + 25;73 val_ui = (((val_ui & 0x007fffff) | 0x800000) >> ex1);74 val_ui = exponent > 0 ? val : val_ui;75 val_ui = exponent > 254 ? 0x7f800000 : val_ui; /*overflow*/76 val_ui = exponent < -multiplier ? 0 : val_ui; /*underflow*/77 val_ui = val_ui | sign;78 79 val_ui = dexp == 0 ? dval_ui : val_ui;80 val_f = __clc_as_float(val_ui);81 82 val_f = (__clc_isnan(x) || __clc_isinf(x) || val_x == 0) ? x : val_f;83 return val_f;84}85 86#ifdef cl_khr_fp6487 88#pragma OPENCL EXTENSION cl_khr_fp64 : enable89 90_CLC_DEF _CLC_OVERLOAD double __clc_ldexp(double x, int n) {91 long l = __clc_as_ulong(x);92 int e = (l >> 52) & 0x7ff;93 long s = l & 0x8000000000000000;94 95 ulong ux = __clc_as_ulong(x * 0x1.0p+53);96 int de = ((int)(ux >> 52) & 0x7ff) - 53;97 int c = e == 0;98 e = c ? de : e;99 100 ux = c ? ux : l;101 102 int v = e + n;103 v = __clc_clamp(v, -0x7ff, 0x7ff);104 105 ux &= ~EXPBITS_DP64;106 107 double mr = __clc_as_double(ux | ((ulong)(v + 53) << 52));108 mr = mr * 0x1.0p-53;109 110 mr = v > 0 ? __clc_as_double(ux | ((ulong)v << 52)) : mr;111 112 mr = v == 0x7ff ? __clc_as_double(s | PINFBITPATT_DP64) : mr;113 mr = v < -53 ? __clc_as_double(s) : mr;114 115 mr = ((n == 0) | __clc_isinf(x) | (x == 0)) ? x : mr;116 return mr;117}118 119#endif120 121#ifdef cl_khr_fp16122 123#pragma OPENCL EXTENSION cl_khr_fp16 : enable124 125_CLC_OVERLOAD _CLC_DEF half __clc_ldexp(half x, int n) {126 return (half)__clc_ldexp((float)x, n);127}128 129#endif130 131#define __CLC_FUNCTION __clc_ldexp132#define __CLC_ARG2_TYPE int133#define __CLC_BODY <clc/shared/binary_def_scalarize.inc>134#include <clc/math/gentype.inc>135