42 lines
1.2 KiB
C
42 lines
1.2 KiB
C
// RUN: %clang_builtins %s %librt -o %t && %run %t
|
|
|
|
#define DOUBLE_PRECISION
|
|
#include <fenv.h>
|
|
#include <math.h>
|
|
#include <stdio.h>
|
|
#include "fp_lib.h"
|
|
|
|
int test__compiler_rt_fmax(fp_t x, fp_t y) {
|
|
fp_t crt_value = __compiler_rt_fmax(x, y);
|
|
fp_t libm_value = fmax(x, y);
|
|
// Consider +0 and -0 equal, and also disregard the sign/payload of two NaNs.
|
|
if (crt_value != libm_value &&
|
|
!(crt_isnan(crt_value) && crt_isnan(libm_value))) {
|
|
printf("error: in __compiler_rt_fmax(%a [%llX], %a [%llX]) = %a [%llX] "
|
|
"!= %a [%llX]\n",
|
|
x, (unsigned long long)toRep(x),
|
|
y, (unsigned long long)toRep(y),
|
|
crt_value, (unsigned long long)toRep(crt_value),
|
|
libm_value, (unsigned long long)toRep(libm_value));
|
|
return 1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
fp_t cases[] = {
|
|
-NAN, NAN, -INFINITY, INFINITY, -0.0, 0.0, -1, 1, -2, 2,
|
|
-0x1.0p-1023, 0x1.0p-1023, -0x1.0p-1024, 0x1.0p-1024, // subnormals
|
|
-1.001, 1.001, -1.002, 1.002,
|
|
};
|
|
|
|
int main() {
|
|
const unsigned N = sizeof(cases) / sizeof(cases[0]);
|
|
unsigned i, j;
|
|
for (i = 0; i < N; ++i) {
|
|
for (j = 0; j < N; ++j) {
|
|
if (test__compiler_rt_fmax(cases[i], cases[j])) return 1;
|
|
}
|
|
}
|
|
return 0;
|
|
}
|