This is an archive of the discontinued LLVM Phabricator instance.

Differential D131787

[builtins] Fix __floattitf and __floatuntitf on x86
ClosedPublic

Authored by arichardson on Aug 12 2022, 9:26 AM.

Details

Reviewers
mgorny
compnerd
scanon
Commits
rGf157afceb0bd: [builtins] Fix __floattitf and __floatuntitf on x86
Summary

These conversion functions were using LDBL_MANT_DIG (which is the 80-bit
extended float on x86) instead of the appropriate macro for the 128-bit
floating point type expected by the *tf* softfloat library calls.
This was discovered while testing D98261 (which allows building the *tf*
functions on x86).

This also changes the constants used in the two tests to use 128-bit
floating-point literals instead of long double ones to ensure that the
comparison succeeds on platforms with smaller long double (e.g. x86_64)

Diff Detail

Event Timeline

arichardson created this revision.Aug 12 2022, 9:26 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 12 2022, 9:26 AM
Herald added subscribers: Enna1, pengfei. · View Herald Transcript
arichardson requested review of this revision.Aug 12 2022, 9:26 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 12 2022, 9:26 AM
Herald added a subscriber: Restricted Project. · View Herald Transcript
Harbormaster completed remote builds in B180933: Diff 452205.Aug 12 2022, 9:26 AM
arichardson added reviewers: mgorny, compnerd, scanon.Aug 12 2022, 9:30 AM
arichardson added a child revision: D98261: [builtins] Support building the 128-bit float functions on x86.
arichardson updated this revision to Diff 452207.Aug 12 2022, 9:32 AM

rebase

Harbormaster completed remote builds in B180934: Diff 452207.Aug 12 2022, 10:17 AM
arichardson added a comment.Aug 24 2022, 10:59 AM

ping

arichardson added a comment.Oct 4 2022, 8:03 AM

ping

scanon accepted this revision.Oct 4 2022, 6:20 PM
This revision is now accepted and ready to land.Oct 4 2022, 6:20 PM
arichardson updated this revision to Diff 534733.Jun 26 2023, 1:31 PM

Rebase prior to commiting

Harbormaster completed remote builds in B241299: Diff 534733.Jun 26 2023, 2:09 PM
This revision was landed with ongoing or failed builds.Jun 27 2023, 9:22 AM
Closed by commit rGf157afceb0bd: [builtins] Fix __floattitf and __floatuntitf on x86 (authored by arichardson). · Explain Why
This revision was automatically updated to reflect the committed changes.
arichardson added a commit: rGf157afceb0bd: [builtins] Fix __floattitf and __floatuntitf on x86.

Revision Contents

PathSize
compiler-rt/
lib/
builtins/
14 lines
24 lines
1 line
test/
builtins/
Unit/
78 lines
82 lines

Diff 452205

compiler-rt/lib/builtins/floattitf.c

Show All 28 Lines
COMPILER_RT_ABI fp_t __floattitf(ti_int a) { COMPILER_RT_ABI fp_t __floattitf(ti_int a) {
if (a == 0) if (a == 0)
return 0.0; return 0.0;
const unsigned N = sizeof(ti_int) * CHAR_BIT; const unsigned N = sizeof(ti_int) * CHAR_BIT;
const ti_int s = a >> (N - 1); const ti_int s = a >> (N - 1);
a = (a ^ s) - s; a = (a ^ s) - s;
int sd = N - __clzti2(a); // number of significant digits int sd = N - __clzti2(a); // number of significant digits
int e = sd - 1; // exponent int e = sd - 1; // exponent
if (sd > LDBL_MANT_DIG) { if (sd > TF_MANT_DIG) {
// start: 0000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQxxxxxxxxxxxxxxxxxx // start: 0000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQxxxxxxxxxxxxxxxxxx
// finish: 000000000000000000000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQR // finish: 000000000000000000000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQR
// 12345678901234567890123456 // 12345678901234567890123456
// 1 = msb 1 bit // 1 = msb 1 bit
// P = bit LDBL_MANT_DIG-1 bits to the right of 1 // P = bit LDBL_MANT_DIG-1 bits to the right of 1
// Q = bit LDBL_MANT_DIG bits to the right of 1 // Q = bit LDBL_MANT_DIG bits to the right of 1
// R = "or" of all bits to the right of Q // R = "or" of all bits to the right of Q
switch (sd) { switch (sd) {
case LDBL_MANT_DIG + 1: case TF_MANT_DIG + 1:
a <<= 1; a <<= 1;
break; break;
case LDBL_MANT_DIG + 2: case TF_MANT_DIG + 2:
break; break;
default: default:
a = ((tu_int)a >> (sd - (LDBL_MANT_DIG + 2))) | a = ((tu_int)a >> (sd - (TF_MANT_DIG + 2))) |
((a & ((tu_int)(-1) >> ((N + LDBL_MANT_DIG + 2) - sd))) != 0); ((a & ((tu_int)(-1) >> ((N + TF_MANT_DIG + 2) - sd))) != 0);
}; };
// finish: // finish:
a |= (a & 4) != 0; // Or P into R a |= (a & 4) != 0; // Or P into R
++a; // round - this step may add a significant bit ++a; // round - this step may add a significant bit
a >>= 2; // dump Q and R a >>= 2; // dump Q and R
// a is now rounded to LDBL_MANT_DIG or LDBL_MANT_DIG+1 bits // a is now rounded to LDBL_MANT_DIG or LDBL_MANT_DIG+1 bits
if (a & ((tu_int)1 << LDBL_MANT_DIG)) { if (a & ((tu_int)1 << TF_MANT_DIG)) {
a >>= 1; a >>= 1;
++e; ++e;
} }
// a is now rounded to LDBL_MANT_DIG bits // a is now rounded to LDBL_MANT_DIG bits
} else { } else {
a <<= (LDBL_MANT_DIG - sd); a <<= (TF_MANT_DIG - sd);
// a is now rounded to LDBL_MANT_DIG bits // a is now rounded to LDBL_MANT_DIG bits
} }
f128_bits fb; f128_bits fb;
fb.u.high.all = (s & 0x8000000000000000LL) // sign fb.u.high.all = (s & 0x8000000000000000LL) // sign
| (du_int)(e + 16383) << 48 // exponent | (du_int)(e + 16383) << 48 // exponent
| ((a >> 64) & 0x0000ffffffffffffLL); // significand | ((a >> 64) & 0x0000ffffffffffffLL); // significand
fb.u.low.all = (du_int)(a); fb.u.low.all = (du_int)(a);
return fb.f; return fb.f;
} }
#endif #endif

compiler-rt/lib/builtins/floatuntitf.c

Show All 26 Lines
#if defined(CRT_HAS_128BIT) && defined(CRT_HAS_F128) #if defined(CRT_HAS_128BIT) && defined(CRT_HAS_F128)
COMPILER_RT_ABI fp_t __floatuntitf(tu_int a) { COMPILER_RT_ABI fp_t __floatuntitf(tu_int a) {
if (a == 0) if (a == 0)
return 0.0; return 0.0;
const unsigned N = sizeof(tu_int) * CHAR_BIT; const unsigned N = sizeof(tu_int) * CHAR_BIT;
int sd = N - __clzti2(a); // number of significant digits int sd = N - __clzti2(a); // number of significant digits
int e = sd - 1; // exponent int e = sd - 1; // exponent
if (sd > LDBL_MANT_DIG) { if (sd > TF_MANT_DIG) {
// start: 0000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQxxxxxxxxxxxxxxxxxx // start: 0000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQxxxxxxxxxxxxxxxxxx
// finish: 000000000000000000000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQR // finish: 000000000000000000000000000000000000001xxxxxxxxxxxxxxxxxxxxxxPQR
// 12345678901234567890123456 // 12345678901234567890123456
// 1 = msb 1 bit // 1 = msb 1 bit
// P = bit LDBL_MANT_DIG-1 bits to the right of 1 // P = bit TF_MANT_DIG-1 bits to the right of 1
// Q = bit LDBL_MANT_DIG bits to the right of 1 // Q = bit TF_MANT_DIG bits to the right of 1
// R = "or" of all bits to the right of Q // R = "or" of all bits to the right of Q
switch (sd) { switch (sd) {
case LDBL_MANT_DIG + 1: case TF_MANT_DIG + 1:
a <<= 1; a <<= 1;
break; break;
case LDBL_MANT_DIG + 2: case TF_MANT_DIG + 2:
break; break;
default: default:
a = (a >> (sd - (LDBL_MANT_DIG + 2))) | a = (a >> (sd - (TF_MANT_DIG + 2))) |
((a & ((tu_int)(-1) >> ((N + LDBL_MANT_DIG + 2) - sd))) != 0); ((a & ((tu_int)(-1) >> ((N + TF_MANT_DIG + 2) - sd))) != 0);
}; };
// finish: // finish:
a |= (a & 4) != 0; // Or P into R a |= (a & 4) != 0; // Or P into R
++a; // round - this step may add a significant bit ++a; // round - this step may add a significant bit
a >>= 2; // dump Q and R a >>= 2; // dump Q and R
// a is now rounded to LDBL_MANT_DIG or LDBL_MANT_DIG+1 bits // a is now rounded to TF_MANT_DIG or TF_MANT_DIG+1 bits
if (a & ((tu_int)1 << LDBL_MANT_DIG)) { if (a & ((tu_int)1 << TF_MANT_DIG)) {
a >>= 1; a >>= 1;
++e; ++e;
} }
// a is now rounded to LDBL_MANT_DIG bits // a is now rounded to TF_MANT_DIG bits
} else { } else {
a <<= (LDBL_MANT_DIG - sd); a <<= (TF_MANT_DIG - sd);
// a is now rounded to LDBL_MANT_DIG bits // a is now rounded to TF_MANT_DIG bits
} }
f128_bits fb; f128_bits fb;
fb.u.high.all = (du_int)(e + 16383) << 48 // exponent fb.u.high.all = (du_int)(e + 16383) << 48 // exponent
| ((a >> 64) & 0x0000ffffffffffffLL); // significand | ((a >> 64) & 0x0000ffffffffffffLL); // significand
fb.u.low.all = (du_int)(a); fb.u.low.all = (du_int)(a);
return fb.f; return fb.f;
} }
#endif #endif

compiler-rt/lib/builtins/fp_lib.h

Show First 20 Lines • Show All 110 Lines • ▼ Show 20 Lines
typedef __uint128_t rep_t; typedef __uint128_t rep_t;
typedef __int128_t srep_t; typedef __int128_t srep_t;
typedef f128 fp_t; typedef f128 fp_t;
#define HALF_REP_C UINT64_C #define HALF_REP_C UINT64_C
#define REP_C (__uint128_t) #define REP_C (__uint128_t)
// Note: Since there is no explicit way to tell compiler the constant is a // Note: Since there is no explicit way to tell compiler the constant is a
// 128-bit integer, we let the constant be casted to 128-bit integer // 128-bit integer, we let the constant be casted to 128-bit integer
#define significandBits 112 #define significandBits 112
#define TF_MANT_DIG (significandBits + 1)
static __inline int rep_clz(rep_t a) { static __inline int rep_clz(rep_t a) {
const union { const union {
__uint128_t ll; __uint128_t ll;
#if _YUGA_BIG_ENDIAN #if _YUGA_BIG_ENDIAN
struct { struct {
uint64_t high, low; uint64_t high, low;
} s; } s;
▲ Show 20 Lines • Show All 292 Lines • Show Last 20 Lines

compiler-rt/test/builtins/Unit/floattitf_test.c

Show First 20 Lines • Show All 72 Lines • ▼ Show 20 Lines if (test__floattitf(make_ti(0x8000000000000800LL, 0), -0x1.FFFFFFFFFFFFEp+126))
return 1; return 1;
if (test__floattitf(make_ti(0x8000010000000000LL, 0), -0x1.FFFFFCp+126)) if (test__floattitf(make_ti(0x8000010000000000LL, 0), -0x1.FFFFFCp+126))
return 1; return 1;
if (test__floattitf(make_ti(0x8000000000001000LL, 0), -0x1.FFFFFFFFFFFFCp+126)) if (test__floattitf(make_ti(0x8000000000001000LL, 0), -0x1.FFFFFFFFFFFFCp+126))
return 1; return 1;
if (test__floattitf(make_ti(0x8000000000000000LL, 0), -0x1.000000p+127)) if (test__floattitf(make_ti(0x8000000000000000LL, 0), -0x1.000000p+127))
return 1; return 1;
if (test__floattitf(make_ti(0x8000000000000001LL, 0), -0x1.FFFFFFFFFFFFFFFCp+126L)) if (test__floattitf(make_ti(0x8000000000000001LL, 0), -0x1.FFFFFFFFFFFFFFFCp+126Q))
return 1; return 1;
if (test__floattitf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50)) if (test__floattitf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50))
return 1; return 1;
if (test__floattitf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50)) if (test__floattitf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50))
return 1; return 1;
if (test__floattitf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50)) if (test__floattitf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50))
Show All 13 Lines if (test__floattitf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50))
return 1; return 1;
if (test__floattitf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50)) if (test__floattitf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50))
return 1; return 1;
if (test__floattitf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50)) if (test__floattitf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57)) if (test__floattitf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496D08p+57L)) if (test__floattitf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496D08p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496D8p+57L)) if (test__floattitf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496D8p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496DCp+57L)) if (test__floattitf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496DCp+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496DBp+57L)) if (test__floattitf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496DBp+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496DF8p+57L)) if (test__floattitf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496DF8p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496E08p+57L)) if (test__floattitf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496E08p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496E38p+57L)) if (test__floattitf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496E38p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496E4p+57L)) if (test__floattitf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496E4p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496E78p+57L)) if (test__floattitf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496E78p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496E8p+57L)) if (test__floattitf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496E8p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496E88p+57L)) if (test__floattitf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496E88p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496ECp+57L)) if (test__floattitf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496ECp+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496EF8p+57L)) if (test__floattitf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496EF8p+57Q))
return 1; return 1;
if (test__floattitf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57)) if (test__floattitf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DC0LL, 0), 0x1.1A3CFE870496Ep+121L)) if (test__floattitf(make_ti(0x023479FD0E092DC0LL, 0), 0x1.1A3CFE870496Ep+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DA1LL, 1), 0x1.1A3CFE870496D08p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DA1LL, 1), 0x1.1A3CFE870496D08p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DB0LL, 2), 0x1.1A3CFE870496D8p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DB0LL, 2), 0x1.1A3CFE870496D8p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DB8LL, 3), 0x1.1A3CFE870496DCp+121L)) if (test__floattitf(make_ti(0x023479FD0E092DB8LL, 3), 0x1.1A3CFE870496DCp+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DB6LL, 4), 0x1.1A3CFE870496DBp+121L)) if (test__floattitf(make_ti(0x023479FD0E092DB6LL, 4), 0x1.1A3CFE870496DBp+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DBFLL, 5), 0x1.1A3CFE870496DF8p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DBFLL, 5), 0x1.1A3CFE870496DF8p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DC1LL, 6), 0x1.1A3CFE870496E08p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DC1LL, 6), 0x1.1A3CFE870496E08p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DC7LL, 7), 0x1.1A3CFE870496E38p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DC7LL, 7), 0x1.1A3CFE870496E38p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DC8LL, 8), 0x1.1A3CFE870496E4p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DC8LL, 8), 0x1.1A3CFE870496E4p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DCFLL, 9), 0x1.1A3CFE870496E78p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DCFLL, 9), 0x1.1A3CFE870496E78p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DD0LL, 0), 0x1.1A3CFE870496E8p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DD0LL, 0), 0x1.1A3CFE870496E8p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DD1LL, 11), 0x1.1A3CFE870496E88p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DD1LL, 11), 0x1.1A3CFE870496E88p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DD8LL, 12), 0x1.1A3CFE870496ECp+121L)) if (test__floattitf(make_ti(0x023479FD0E092DD8LL, 12), 0x1.1A3CFE870496ECp+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DDFLL, 13), 0x1.1A3CFE870496EF8p+121L)) if (test__floattitf(make_ti(0x023479FD0E092DDFLL, 13), 0x1.1A3CFE870496EF8p+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0x023479FD0E092DE0LL, 14), 0x1.1A3CFE870496Fp+121L)) if (test__floattitf(make_ti(0x023479FD0E092DE0LL, 14), 0x1.1A3CFE870496Fp+121Q))
return 1; return 1;
if (test__floattitf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL), 0x1.FFFFFFFFFFFFFFFEp+63L)) if (test__floattitf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL), 0x1.FFFFFFFFFFFFFFFEp+63Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC2801LL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC2801LL),
0x1.23456789ABCDEF0123456789ABC3p+124L)) 0x1.23456789ABCDEF0123456789ABC3p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3000LL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3000LL),
0x1.23456789ABCDEF0123456789ABC3p+124L)) 0x1.23456789ABCDEF0123456789ABC3p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC37FFLL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC37FFLL),
0x1.23456789ABCDEF0123456789ABC3p+124L)) 0x1.23456789ABCDEF0123456789ABC3p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3800LL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3800LL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4000LL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4000LL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC47FFLL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC47FFLL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4800LL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4800LL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4801LL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4801LL),
0x1.23456789ABCDEF0123456789ABC5p+124L)) 0x1.23456789ABCDEF0123456789ABC5p+124Q))
return 1; return 1;
if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC57FFLL), if (test__floattitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC57FFLL),
0x1.23456789ABCDEF0123456789ABC5p+124L)) 0x1.23456789ABCDEF0123456789ABC5p+124Q))
return 1; return 1;
#else #else
printf("skipped\n"); printf("skipped\n");
#endif #endif
return 0; return 0;
} }

compiler-rt/test/builtins/Unit/floatuntitf_test.c

Show First 20 Lines • Show All 72 Lines • ▼ Show 20 Lines if (test__floatuntitf(0x8000000000000800ULL, 0x8.0000000000008p+60))
return 1; return 1;
if (test__floatuntitf(0x8000010000000000ULL, 0x8.00001p+60)) if (test__floatuntitf(0x8000010000000000ULL, 0x8.00001p+60))
return 1; return 1;
if (test__floatuntitf(0x8000000000001000ULL, 0x8.000000000001p+60)) if (test__floatuntitf(0x8000000000001000ULL, 0x8.000000000001p+60))
return 1; return 1;
if (test__floatuntitf(0x8000000000000000ULL, 0x8p+60)) if (test__floatuntitf(0x8000000000000000ULL, 0x8p+60))
return 1; return 1;
if (test__floatuntitf(0x8000000000000001ULL, 0x8.000000000000001p+60L)) if (test__floatuntitf(0x8000000000000001ULL, 0x8.000000000000001p+60Q))
return 1; return 1;
if (test__floatuntitf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50)) if (test__floatuntitf(0x0007FB72E8000000LL, 0x1.FEDCBAp+50))
return 1; return 1;
if (test__floatuntitf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50)) if (test__floatuntitf(0x0007FB72EA000000LL, 0x1.FEDCBA8p+50))
return 1; return 1;
if (test__floatuntitf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50)) if (test__floatuntitf(0x0007FB72EB000000LL, 0x1.FEDCBACp+50))
Show All 13 Lines if (test__floatuntitf(0x0007FB72E7FFFFFFLL, 0x1.FEDCB9FFFFFFCp+50))
return 1; return 1;
if (test__floatuntitf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50)) if (test__floatuntitf(0x0007FB72E4000001LL, 0x1.FEDCB90000004p+50))
return 1; return 1;
if (test__floatuntitf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50)) if (test__floatuntitf(0x0007FB72E4000000LL, 0x1.FEDCB9p+50))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57)) if (test__floatuntitf(0x023479FD0E092DC0LL, 0x1.1A3CFE870496Ep+57))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496D08p+57L)) if (test__floatuntitf(0x023479FD0E092DA1LL, 0x1.1A3CFE870496D08p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496D8p+57L)) if (test__floatuntitf(0x023479FD0E092DB0LL, 0x1.1A3CFE870496D8p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496DCp+57L)) if (test__floatuntitf(0x023479FD0E092DB8LL, 0x1.1A3CFE870496DCp+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496DBp+57L)) if (test__floatuntitf(0x023479FD0E092DB6LL, 0x1.1A3CFE870496DBp+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496DF8p+57L)) if (test__floatuntitf(0x023479FD0E092DBFLL, 0x1.1A3CFE870496DF8p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496E08p+57L)) if (test__floatuntitf(0x023479FD0E092DC1LL, 0x1.1A3CFE870496E08p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496E38p+57L)) if (test__floatuntitf(0x023479FD0E092DC7LL, 0x1.1A3CFE870496E38p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496E4p+57L)) if (test__floatuntitf(0x023479FD0E092DC8LL, 0x1.1A3CFE870496E4p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496E78p+57L)) if (test__floatuntitf(0x023479FD0E092DCFLL, 0x1.1A3CFE870496E78p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496E8p+57L)) if (test__floatuntitf(0x023479FD0E092DD0LL, 0x1.1A3CFE870496E8p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496E88p+57L)) if (test__floatuntitf(0x023479FD0E092DD1LL, 0x1.1A3CFE870496E88p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496ECp+57L)) if (test__floatuntitf(0x023479FD0E092DD8LL, 0x1.1A3CFE870496ECp+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496EF8p+57L)) if (test__floatuntitf(0x023479FD0E092DDFLL, 0x1.1A3CFE870496EF8p+57Q))
return 1; return 1;
if (test__floatuntitf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57)) if (test__floatuntitf(0x023479FD0E092DE0LL, 0x1.1A3CFE870496Fp+57))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DC0LL, 0), 0x1.1A3CFE870496Ep+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DC0LL, 0), 0x1.1A3CFE870496Ep+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DA1LL, 1), 0x1.1A3CFE870496D08p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DA1LL, 1), 0x1.1A3CFE870496D08p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DB0LL, 2), 0x1.1A3CFE870496D8p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DB0LL, 2), 0x1.1A3CFE870496D8p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DB8LL, 3), 0x1.1A3CFE870496DCp+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DB8LL, 3), 0x1.1A3CFE870496DCp+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DB6LL, 4), 0x1.1A3CFE870496DBp+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DB6LL, 4), 0x1.1A3CFE870496DBp+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DBFLL, 5), 0x1.1A3CFE870496DF8p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DBFLL, 5), 0x1.1A3CFE870496DF8p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DC1LL, 6), 0x1.1A3CFE870496E08p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DC1LL, 6), 0x1.1A3CFE870496E08p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DC7LL, 7), 0x1.1A3CFE870496E38p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DC7LL, 7), 0x1.1A3CFE870496E38p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DC8LL, 8), 0x1.1A3CFE870496E4p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DC8LL, 8), 0x1.1A3CFE870496E4p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DCFLL, 9), 0x1.1A3CFE870496E78p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DCFLL, 9), 0x1.1A3CFE870496E78p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DD0LL, 0), 0x1.1A3CFE870496E8p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DD0LL, 0), 0x1.1A3CFE870496E8p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DD1LL, 11), 0x1.1A3CFE870496E88p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DD1LL, 11), 0x1.1A3CFE870496E88p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DD8LL, 12), 0x1.1A3CFE870496ECp+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DD8LL, 12), 0x1.1A3CFE870496ECp+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DDFLL, 13), 0x1.1A3CFE870496EF8p+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DDFLL, 13), 0x1.1A3CFE870496EF8p+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x023479FD0E092DE0LL, 14), 0x1.1A3CFE870496Fp+121L)) if (test__floatuntitf(make_ti(0x023479FD0E092DE0LL, 14), 0x1.1A3CFE870496Fp+121Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL), 0x1.FFFFFFFFFFFFFFFEp+63L)) if (test__floatuntitf(make_ti(0, 0xFFFFFFFFFFFFFFFFLL), 0x1.FFFFFFFFFFFFFFFEp+63Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x0000000000000000LL), if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0x0000000000000000LL),
0x1.FFFFFFFFFFFFFFFEp+127L)) 0x1.FFFFFFFFFFFFFFFEp+127Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL), if (test__floatuntitf(make_ti(0xFFFFFFFFFFFFFFFFLL, 0xFFFFFFFFFFFFFFFFLL),
0x1.0000000000000000p+128L)) 0x1.0000000000000000p+128Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC2801LL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC2801LL),
0x1.23456789ABCDEF0123456789ABC3p+124L)) 0x1.23456789ABCDEF0123456789ABC3p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3000LL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3000LL),
0x1.23456789ABCDEF0123456789ABC3p+124L)) 0x1.23456789ABCDEF0123456789ABC3p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC37FFLL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC37FFLL),
0x1.23456789ABCDEF0123456789ABC3p+124L)) 0x1.23456789ABCDEF0123456789ABC3p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3800LL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC3800LL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4000LL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4000LL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC47FFLL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC47FFLL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4800LL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4800LL),
0x1.23456789ABCDEF0123456789ABC4p+124L)) 0x1.23456789ABCDEF0123456789ABC4p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4801LL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC4801LL),
0x1.23456789ABCDEF0123456789ABC5p+124L)) 0x1.23456789ABCDEF0123456789ABC5p+124Q))
return 1; return 1;
if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC57FFLL), if (test__floatuntitf(make_ti(0x123456789ABCDEF0LL, 0x123456789ABC57FFLL),
0x1.23456789ABCDEF0123456789ABC5p+124L)) 0x1.23456789ABCDEF0123456789ABC5p+124Q))
return 1; return 1;
#else #else
printf("skipped\n"); printf("skipped\n");
#endif #endif
return 0; return 0;
} }