Skip to content

Commit 6883dfd

Browse files
committed
Add extendhfxf2 into compiler-rt
1 parent bba3849 commit 6883dfd

File tree

5 files changed

+88
-0
lines changed

5 files changed

+88
-0
lines changed

compiler-rt/lib/builtins/CMakeLists.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -104,6 +104,7 @@ set(GENERIC_SOURCES
104104
divti3.c
105105
extendsfdf2.c
106106
extendhfsf2.c
107+
extendhfxf2.c
107108
ffsdi2.c
108109
ffssi2.c
109110
ffsti2.c
Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
//===-- lib/extendhfxf2.c - half -> long double conversion --------*- C -*-===//
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-exception
6+
//
7+
//===----------------------------------------------------------------------===//
8+
9+
#define SRC_HALF
10+
#define DST_DOUBLE
11+
#include "fp_extend_impl.inc"
12+
13+
// Use a forwarding definition and noinline to implement a poor man's alias,
14+
// as there isn't a good cross-platform way of defining one.
15+
// Long double are expected to be as precise as double.
16+
COMPILER_RT_ABI NOINLINE long double __extendhfxf2(src_t a) {
17+
return (long double)__extendXfYf2__(a);
18+
}

compiler-rt/lib/builtins/macho_embedded/common.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,6 +60,7 @@ divsf3
6060
divsi3
6161
extendsfdf2
6262
extendhfsf2
63+
extendhfxf2
6364
ffssi2
6465
fixdfsi
6566
fixsfsi
Lines changed: 67 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,67 @@
1+
// RUN: %clang_builtins %s %librt -o %t && %run %t
2+
// REQUIRES: librt_has_extendhfxf2
3+
4+
#include <limits.h>
5+
#include <math.h> // for isnan, isinf
6+
#include <stdio.h>
7+
8+
#if __LDBL_MANT_DIG__ >= 64 && defined(COMPILER_RT_HAS_FLOAT16)
9+
long double __extendhfxf2(_Float16 f);
10+
11+
int test_extendhfxf2(_Float16 a, long double expected) {
12+
long double x = __extendhfxf2(a);
13+
__uint16_t *b = (void *)&a;
14+
int ret = !(x == expected || (isnan(x) && isnan(expected)) ||
15+
(isinf(x) && isinf(expected) && x == expected));
16+
if (ret) {
17+
printf("error in test__extendhfxf2(%#.4x) = %.20Lf, "
18+
"expected %.20Lf\n",
19+
*b, x, expected);
20+
}
21+
return ret;
22+
}
23+
24+
char assumption_1[sizeof(_Float16) * CHAR_BIT == 16] = {0};
25+
26+
#endif
27+
28+
int main() {
29+
#if __LDBL_MANT_DIG__ >= 64 && defined(COMPILER_RT_HAS_FLOAT16)
30+
// Small positive value
31+
if (test_extendhfxf2(0.09997558593750000000f, 0.09997558593750000000L))
32+
return 1;
33+
34+
// Small negative value
35+
if (test_extendhfxf2(-0.09997558593750000000f, -0.09997558593750000000L))
36+
return 1;
37+
38+
// Zero
39+
if (test_extendhfxf2(0.0f, 0.0L))
40+
return 1;
41+
42+
// Smallest positive non-zero value
43+
if (test_extendhfxf2(0x1p-16f, 0x1p-16L))
44+
return 1;
45+
46+
// Smallest negative non-zero value
47+
if (test_extendhfxf2(-0x1p-16f, -0x1p-16L))
48+
return 1;
49+
50+
// Positive infinity
51+
if (test_extendhfxf2(__builtin_huge_valf16(), __builtin_huge_valf64x()))
52+
return 1;
53+
54+
// Negative infinity
55+
if (test_extendhfxf2(-__builtin_huge_valf16(),
56+
(long double)-__builtin_huge_valf64x()))
57+
return 1;
58+
59+
// NaN
60+
if (test_extendhfxf2(__builtin_nanf16(""),
61+
(long double)__builtin_nanf64x("")))
62+
return 1;
63+
#else
64+
printf("skipped\n");
65+
#endif
66+
return 0;
67+
}

llvm/utils/gn/secondary/compiler-rt/lib/builtins/BUILD.gn

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -126,6 +126,7 @@ static_library("builtins") {
126126
"divsi3.c",
127127
"divti3.c",
128128
"extendhfsf2.c",
129+
"extendhfxf2.c"
129130
"extendsfdf2.c",
130131
"ffsdi2.c",
131132
"ffssi2.c",

0 commit comments

Comments
 (0)