Files
clang-p2996/libclc/clc/lib/generic/math/clc_frexp.inc
Romaric Jodin 0e98817458 libclc: frexp: fix implementation regarding denormals (#134823)
Devices not supporting denormals can compare them true against zero. It
leads to result not matching the CTS expectation when either supporting
or not denormals.

For example for 0x1.008p-140 we get {0x1.008p-140, 0} while the CTS
expects {0x1.008p-1, -139} when supporting denormals, or {0, 0} when not
supporting denormals (flushed to zero).

Ref #129871
2025-04-08 14:50:26 +01:00

68 lines
2.4 KiB
C++

//===----------------------------------------------------------------------===//
//
// 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 <clc/clcmacro.h>
#include <clc/utils.h>
#if __CLC_FPSIZE == 32
_CLC_OVERLOAD _CLC_DEF __CLC_GENTYPE
__clc_frexp(__CLC_GENTYPE x, __CLC_ADDRESS_SPACE __CLC_INTN *ep) {
__CLC_INTN i = __CLC_AS_INTN(x);
__CLC_INTN ai = i & EXSIGNBIT_SP32;
// Scale subnormal by 2^26 without multiplying
__CLC_INTN is_subnormal = ai > 0 && ai < 0x00800000;
__CLC_GENTYPE s = __CLC_AS_GENTYPE(ai | 0x0d800000) - 0x1.0p-100f;
ai = __clc_select(ai, __CLC_AS_INTN(s), is_subnormal);
__CLC_INTN e = (ai >> EXPSHIFTBITS_SP32) - 126 -
__clc_select((__CLC_INTN)0, (__CLC_INTN)26, is_subnormal);
i = (i & (__CLC_INTN)SIGNBIT_SP32) | (__CLC_INTN)HALFEXPBITS_SP32 |
(ai & (__CLC_INTN)MANTBITS_SP32);
__CLC_INTN is_inf_nan_or_zero =
ai == (__CLC_INTN)0 || __clc_isinf(x) || __clc_isnan(x);
*ep = __clc_select(e, (__CLC_INTN)0, is_inf_nan_or_zero);
return __clc_select(__CLC_AS_GENTYPE(i), x, is_inf_nan_or_zero);
}
#endif
#if __CLC_FPSIZE == 16
_CLC_OVERLOAD _CLC_DEF __CLC_GENTYPE
__clc_frexp(__CLC_GENTYPE x, __CLC_ADDRESS_SPACE __CLC_INTN *ep) {
return __CLC_CONVERT_HALFN(__clc_frexp(__CLC_CONVERT_FLOATN(x), ep));
}
#endif
#if __CLC_FPSIZE == 64
_CLC_OVERLOAD _CLC_DEF __CLC_GENTYPE
__clc_frexp(__CLC_GENTYPE x, __CLC_ADDRESS_SPACE __CLC_INTN *ep) {
__CLC_LONGN i = __CLC_AS_LONGN(x);
__CLC_LONGN ai = i & EXSIGNBIT_DP64;
// Scale subnormal by 2^54 without multiplying
__CLC_LONGN is_subnormal = ai > 0 && ai < 0x0010000000000000L;
__CLC_GENTYPE s = __CLC_AS_GENTYPE(ai | 0x0370000000000000L) - 0x1.0p-968;
ai = __clc_select(ai, __CLC_AS_LONGN(s), is_subnormal);
__CLC_LONGN e = (ai >> EXPSHIFTBITS_DP64) - (__CLC_LONGN)1022 -
__clc_select((__CLC_LONGN)0, (__CLC_LONGN)54, is_subnormal);
i = (i & (__CLC_LONGN)SIGNBIT_DP64) | (__CLC_LONGN)HALFEXPBITS_DP64 |
(ai & (__CLC_LONGN)MANTBITS_DP64);
__CLC_LONGN is_inf_nan_or_zero =
x == __CLC_FP_LIT(0.0) || __clc_isinf(x) || __clc_isnan(x);
*ep = __CLC_CONVERT_INTN(__clc_select(e, 0L, is_inf_nan_or_zero));
return __clc_select(__CLC_AS_GENTYPE(i), x, is_inf_nan_or_zero);
}
#endif