// CHECK-LABEL: define void @bar(
void bar() {
float f;
double d;
long double ld;
// LLVM's hex representation of float constants is really unfortunate;
// basically it does a float-to-double "conversion" and then prints the
// hex form of that. That gives us weird artifacts like exponents
// that aren't numerically similar to the original exponent and
// significand bit-patterns that are offset by three bits (because
// the exponent was expanded from 8 bits to 11).
//
// 0xAE98 == 1010111010011000
// 0x15D3 == 1010111010011
f = __builtin_huge_valf(); // CHECK: float 0x7FF0000000000000
d = __builtin_huge_val(); // CHECK: double 0x7FF0000000000000
ld = __builtin_huge_vall(); // CHECK: x86_fp80 0xK7FFF8000000000000000
f = __builtin_nanf(""); // CHECK: float 0x7FF8000000000000
d = __builtin_nan(""); // CHECK: double 0x7FF8000000000000
ld = __builtin_nanl(""); // CHECK: x86_fp80 0xK7FFFC000000000000000
f = __builtin_nanf("0xAE98"); // CHECK: float 0x7FF815D300000000
d = __builtin_nan("0xAE98"); // CHECK: double 0x7FF800000000AE98
ld = __builtin_nanl("0xAE98"); // CHECK: x86_fp80 0xK7FFFC00000000000AE98
f = __builtin_nansf(""); // CHECK: float 0x7FF4000000000000
d = __builtin_nans(""); // CHECK: double 0x7FF4000000000000
ld = __builtin_nansl(""); // CHECK: x86_fp80 0xK7FFFA000000000000000
f = __builtin_nansf("0xAE98"); // CHECK: float 0x7FF015D300000000
d = __builtin_nans("0xAE98"); // CHECK: double 0x7FF000000000AE98
ld = __builtin_nansl("0xAE98");// CHECK: x86_fp80 0xK7FFF800000000000AE98
}
static inline long double fpu_remainder(long double x, long double y){
bool xsign;
const __MCFCRT_FpuExamine xexam = __MCFCRT_fxam(&xsign, x);
if(xexam == __MCFCRT_kFpuExamineNaN){
return x;
}
if(xexam == __MCFCRT_kFpuExamineInfinity){
return __builtin_nansl("0x4D43463A6672656D") + __MCFCRT_fldz();
}
bool ysign;
const __MCFCRT_FpuExamine yexam = __MCFCRT_fxam(&ysign, y);
if(yexam == __MCFCRT_kFpuExamineNaN){
return y;
}
if(yexam == __MCFCRT_kFpuExamineZero){
return __builtin_nansl("0x4D43463A6672656D") + __MCFCRT_fldz();
}
if(xexam == __MCFCRT_kFpuExamineZero){
return x;
}
if(yexam == __MCFCRT_kFpuExamineInfinity){
return x;
}
bool bits[3];
return __MCFCRT_fremainder(&bits, x, y);
}
int main() {
volatile float a = __builtin_nanf("");
if (!__builtin_isnan(a)) {
return 1;
}
volatile float b = __builtin_nansf("");
if (!__builtin_isnan(b)) {
return 1;
}
volatile double c = __builtin_nan("");
if (!__builtin_isnan(c)) {
return 1;
}
volatile double d = __builtin_nans("");
if (!__builtin_isnan(d)) {
return 1;
}
volatile long double e = __builtin_nanl("");
if (!__builtin_isnan(e)) {
return 1;
}
volatile long double f = __builtin_nansl("");
if (!__builtin_isnan(f)) {
return 1;
}
volatile float g = 0;
if (__builtin_isnan(g)) {
return 1;
}
volatile double h = 0;
if (__builtin_isnan(h)) {
return 1;
}
volatile long double i = 0;
if (__builtin_isnan(i)) {
return 1;
}
return 0;
}
result |= retval != 5 || strcmp (buf, "(nil)") != 0;
retval = swprintf (wbuf, sizeof (wbuf) / sizeof (wbuf[0]),
L"%p", (char *) NULL);
result |= retval != 5 || wcscmp (wbuf, L"(nil)") != 0;
return result;
}
volatile double qnanval;
volatile long double lqnanval;
/* A sNaN is only guaranteed to be representable in variables with static (or
thread-local) storage duration. */
static volatile double snanval = __builtin_nans ("");
static volatile double msnanval = -__builtin_nans ("");
static volatile long double lsnanval = __builtin_nansl ("");
static volatile long double lmsnanval = -__builtin_nansl ("");
volatile double infval;
volatile long double linfval;
static int
F (void)
{
char buf[80];
wchar_t wbuf[40];
int result = 0;
qnanval = NAN;
/* The %f and %F arguments are in fact constants, but GCC is
/* Test extensions to __float128 quiet signaling NaNs. */
/* { dg-do run { target i?86-*-* x86_64-*-* ia64-*-* } } */
/* { dg-options "-fsignaling-nans" } */
/* { dg-require-effective-target fenv_exceptions } */
#include <fenv.h>
#include <float.h>
#include <stdlib.h>
volatile long double a = __builtin_nansl ("");
int
main (void)
{
#if LDBL_MANT_DIG < 113
volatile __float128 r = a;
feclearexcept (FE_INVALID);
r += 1;
if (fetestexcept (FE_INVALID))
abort ();
#endif
exit (0);
}
