#include "dfp-dbg.h" /* Macros are set up to skip using long double, which doesn't necessarily map to TF mode. If there's a reason to skip those for a test, the test itself can define USE_TF to be zero. */ #ifndef USE_TF #define USE_TF 1 #endif /* Provide more information with FAILURE than what is available with the version of that macro in dfp-dbg.h. */ #undef FAILURE #if defined(DBG) || defined(DBG2) #include #define FAILURE(NUM) \ { printf ("failed for test %s\n", NUM); failures++; } #else #define FAILURE(N) __builtin_abort (); #endif /* This is useful when modifying the test to make sure that tests are actually run. */ #if defined(DBG2) #define REPORT(NUM) \ { printf ("%s\n", NUM); } #else #define REPORT(N) ; #endif #define CONVERT_VALID(NUM,FROM,TO,FROMVAL,TOVAL,DIFF) \ void \ convert_##NUM (void) \ { \ REPORT(#NUM " " #FROMVAL) \ FROM = FROMVAL; \ TO = FROM; \ if (TO < (TOVAL - DIFF) || TO > (TOVAL + DIFF)) \ FAILURE (#NUM); \ } #define CONVERT_TO_PINF(NUM,FROM,TO,FROMVAL,TOSUFFIX) \ void \ convert_##NUM (void) \ { \ REPORT(#NUM " " #FROMVAL) \ FROM = FROMVAL; \ TO = FROM; \ if (__builtin_isinf##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " pinf: isinf"); \ if (__builtin_signbit##TOSUFFIX (TO) != 0) \ FAILURE (#NUM " pinf: sign"); \ } #define CONVERT_TO_MINF(NUM,FROM,TO,FROMVAL,TOSUFFIX) \ void \ convert_##NUM (void) \ { \ REPORT(#NUM " " #FROMVAL) \ FROM = FROMVAL; \ TO = FROM; \ if (__builtin_isinf##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " pinf: isinf"); \ if (__builtin_signbit##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " pinf: sign"); \ } #define CONVERT_TO_PZERO(NUM,FROM,TO,FROMVAL,TOVAL,TOSUFFIX) \ void \ convert_##NUM (void) \ { \ REPORT(#NUM " " #FROMVAL) \ FROM = FROMVAL; \ TO = FROM; \ if (TO != TOVAL) \ FAILURE (#NUM "_pzero: zero") \ if (__builtin_signbit##TOSUFFIX (TO) != 0) \ FAILURE (#NUM " _pzero: sign"); \ } #define CONVERT_TO_MZERO(NUM,FROM,TO,FROMVAL,TOVAL,TOSUFFIX) \ void \ convert_##NUM (void) \ { \ REPORT(#NUM " " #FROMVAL) \ FROM = FROMVAL; \ TO = FROM; \ if (TO != TOVAL) \ FAILURE (#NUM "_mzero: zero") \ if (__builtin_signbit##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " _mzero: sign"); \ } #define CONVERT_NAN(NUM,FROM,TO,FROMSUFFIX,TOSUFFIX) \ void \ convert_##NUM##_nan (void) \ { \ REPORT(#NUM "_nan") \ FROM = __builtin_nan##FROMSUFFIX (""); \ TO = FROM; \ if (__builtin_isnan##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " nan"); \ } #define CONVERT_PINF(NUM,FROM,TO,FROMSUFFIX,TOSUFFIX) \ void \ convert_##NUM##_pinf (void) \ { \ REPORT (#NUM "_pinf") \ FROM = __builtin_inf##FROMSUFFIX (); \ TO = FROM; \ if (__builtin_isinf##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " pinf: isinf"); \ if (__builtin_signbit##TOSUFFIX (TO) != 0) \ FAILURE (#NUM " pinf: sign"); \ } #define CONVERT_MINF(NUM,FROM,TO,FROMSUFFIX,TOSUFFIX) \ void \ convert_##NUM##_minf (void) \ { \ REPORT (#NUM "_minf") \ FROM = -__builtin_inf##FROMSUFFIX (); \ TO = FROM; \ if (__builtin_isinf##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " minf: isinf"); \ if (__builtin_signbit##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " minf: sign"); \ } #define CONVERT_PZERO(NUM,FROM,TO,FROMVALUE,TOVALUE,TOSUFFIX) \ void \ convert_##NUM##_pzero (void) \ { \ REPORT (#NUM "_pzero") \ FROM = FROMVALUE; \ TO = FROM; \ if (TO != TOVALUE) \ FAILURE (#NUM "pzero: zero") \ if (__builtin_signbit##TOSUFFIX (TO) != 0) \ FAILURE (#NUM " pzero: sign"); \ } #define CONVERT_MZERO(NUM,FROM,TO,FROMVALUE,TOVALUE,TOSUFFIX) \ void \ convert_##NUM##_mzero (void) \ { \ REPORT (#NUM "_mzero") \ FROM = FROMVALUE; \ TO = FROM; \ if (TO != TOVALUE) \ FAILURE (#NUM "mzero: zero") \ if (__builtin_signbit##TOSUFFIX (TO) == 0) \ FAILURE (#NUM " mzero: sign"); \ } #define CONVERT_VALID_NOTF(NUM,VAL,DIFF) \ CONVERT_VALID (NUM##_sdsf, sd, sf, VAL##df, VAL##f, DIFF##f) \ CONVERT_VALID (NUM##_sddf, sd, df, VAL##df, VAL, DIFF) \ CONVERT_VALID (NUM##_ddsf, dd, sf, VAL##dd, VAL##f, DIFF##f) \ CONVERT_VALID (NUM##_dddf, dd, df, VAL##dd, VAL, DIFF) \ CONVERT_VALID (NUM##_tdsf, td, sf, VAL##dl, VAL##f, DIFF##f) \ CONVERT_VALID (NUM##_tddf, td, df, VAL##dl, VAL, DIFF) \ CONVERT_VALID (NUM##_sfsd, sf, sd, VAL##f, VAL##df, DIFF##df) \ CONVERT_VALID (NUM##_sfdd, sf, dd, VAL##f, VAL##dd, DIFF##dd) \ CONVERT_VALID (NUM##_sftd, sf, td, VAL##f, VAL##dl, DIFF##dl) \ CONVERT_VALID (NUM##_dfsd, df, sd, VAL, VAL##df, DIFF##df) \ CONVERT_VALID (NUM##_dfdd, df, dd, VAL, VAL##dd, DIFF##dd) \ CONVERT_VALID (NUM##_dftd, df, td, VAL, VAL##dl, DIFF##dl) \ CONVERT_VALID (NUM##_sddd, sd, dd, VAL##df, VAL##dd, DIFF##dd) \ CONVERT_VALID (NUM##_sdtd, sd, dd, VAL##df, VAL##dd, DIFF##dd) \ CONVERT_VALID (NUM##_ddsd, dd, sd, VAL##dd, VAL##df, DIFF##dd) \ CONVERT_VALID (NUM##_ddtd, dd, td, VAL##dd, VAL##dl, DIFF##dl) \ CONVERT_VALID (NUM##_tdsd, td, sd, VAL##dl, VAL##df, DIFF##df) \ CONVERT_VALID (NUM##_tddd, td, dd, VAL##dl, VAL##dd, DIFF##dd) #if USE_TF == 0 #define CONVERT_VALID_TF(NUM,VAL,DIFF) #else #define CONVERT_VALID_TF(NUM,VAL,DIFF) \ CONVERT_VALID (NUM##_sdtf, sd, tf, VAL##df, VAL##l, DIFF##l) \ CONVERT_VALID (NUM##_tdtf, td, tf, VAL##dl, VAL##l, DIFF##l) \ CONVERT_VALID (NUM##_ddtf, dd, tf, VAL##dd, VAL##l, DIFF##l) \ CONVERT_VALID (NUM##_tfsd, tf, sd, VAL##l, VAL##df, DIFF##df) \ CONVERT_VALID (NUM##_tfdd, tf, dd, VAL##l, VAL##dd, DIFF##dd) \ CONVERT_VALID (NUM##_tftd, tf, td, VAL##l, VAL##dl, DIFF##dl) #endif #define CONVERT_VALID_ALL(NUM,VAL,DIFF) \ CONVERT_VALID_NOTF(NUM,VAL,DIFF) \ CONVERT_VALID_TF(NUM,VAL,DIFF) #define CALL_VALID_NOTF(NUM) \ convert_##NUM##_sdsf (); \ convert_##NUM##_sddf (); \ convert_##NUM##_ddsf (); \ convert_##NUM##_dddf (); \ convert_##NUM##_tdsf (); \ convert_##NUM##_tddf (); \ convert_##NUM##_sfsd (); \ convert_##NUM##_sfdd (); \ convert_##NUM##_sftd (); \ convert_##NUM##_dfsd (); \ convert_##NUM##_dfdd (); \ convert_##NUM##_dftd (); \ convert_##NUM##_sddd (); \ convert_##NUM##_sdtd (); \ convert_##NUM##_ddsd (); \ convert_##NUM##_ddtd (); \ convert_##NUM##_tdsd (); \ convert_##NUM##_tddd (); #if USE_TF == 0 #define CALL_VALID_TF(NUM) #else #define CALL_VALID_TF(NUM) \ convert_##NUM##_sdtf (); \ convert_##NUM##_ddtf (); \ convert_##NUM##_tdtf (); \ convert_##NUM##_tfsd (); \ convert_##NUM##_tfdd (); \ convert_##NUM##_tftd (); #endif #define CALL_VALID_ALL(NUM) \ CALL_VALID_NOTF(NUM) \ CALL_VALID_TF(NUM) #define CONVERT_ZEROES(NUM,FROM,TO,FROMVALUE,TOVALUE,TOSUFFIX) \ CONVERT_PZERO(NUM, FROM, TO, FROMVALUE, TOVALUE, TOSUFFIX) \ CONVERT_MZERO(NUM, FROM, TO, -FROMVALUE, -TOVALUE, TOSUFFIX) #define CONVERT_ZEROES_NOTF(NUM) \ CONVERT_ZEROES (NUM##_sdsf, sd, sf, 0.0df, 0.0f, f) \ CONVERT_ZEROES (NUM##_sddf, sd, df, 0.0df, 0.0, ) \ CONVERT_ZEROES (NUM##_ddsf, dd, sf, 0.0dd, 0.0f, f) \ CONVERT_ZEROES (NUM##_dddf, dd, df, 0.0dd, 0.0, ) \ CONVERT_ZEROES (NUM##_tdsf, td, sf, 0.0dl, 0.0f, f) \ CONVERT_ZEROES (NUM##_tddf, td, df, 0.0dl, 0.0, ) \ CONVERT_ZEROES (NUM##_sfsd, sf, sd, 0.0f, 0.0df, d32) \ CONVERT_ZEROES (NUM##_sfdd, sf, dd, 0.0f, 0.0dd, d64) \ CONVERT_ZEROES (NUM##_sftd, sf, td, 0.0f, 0.0dl, d128) \ CONVERT_ZEROES (NUM##_dfsd, df, sd, 0.0, 0.0df, d32) \ CONVERT_ZEROES (NUM##_dfdd, df, dd, 0.0, 0.0dd, d64) \ CONVERT_ZEROES (NUM##_dftd, df, td, 0.0, 0.0dl, d128) \ CONVERT_ZEROES (NUM##_sddd, sd, dd, 0.0df, 0.0dd, d64) \ CONVERT_ZEROES (NUM##_sdtd, sd, td, 0.0dl, 0.0dl, d128) \ CONVERT_ZEROES (NUM##_ddsd, dd, sd, 0.0dd, 0.0df, d32) \ CONVERT_ZEROES (NUM##_ddtd, dd, td, 0.0dd, 0.0dl, d128) \ CONVERT_ZEROES (NUM##_tdsd, td, sd, 0.0dl, 0.0df, d32) \ CONVERT_ZEROES (NUM##_tddd, td, dd, 0.0dl, 0.0dd, d64) #if USE_TF == 0 #define CONVERT_ZEROES_TF(NUM) #else #define CONVERT_ZEROES_TF(NUM) \ CONVERT_ZEROES (NUM##_sdtf, sd, tf, 0.0df, 0.0l, l) \ CONVERT_ZEROES (NUM##_ddtf, dd, tf, 0.0dd, 0.0l, l) \ CONVERT_ZEROES (NUM##_tdtf, td, tf, 0.0dl, 0.0l, l) \ CONVERT_ZEROES (NUM##_tfsd, tf, sd, 0.0l, 0.0df, d32) \ CONVERT_ZEROES (NUM##_tfdd, tf, dd, 0.0l, 0.0dd, d64) \ CONVERT_ZEROES (NUM##_tftd, tf, td, 0.0l, 0.0dl, d128) #endif #define CONVERT_ZEROES_ALL(NUM) \ CONVERT_ZEROES_NOTF(NUM) \ CONVERT_ZEROES_TF(NUM) #define CALL_ZEROES(NUM) \ convert_##NUM##_pzero (); \ convert_##NUM##_mzero (); #define CALL_ZEROES_NOTF(NUM) \ CALL_ZEROES (NUM##_sdsf) \ CALL_ZEROES (NUM##_sddf) \ CALL_ZEROES (NUM##_ddsf) \ CALL_ZEROES (NUM##_dddf) \ CALL_ZEROES (NUM##_tdsf) \ CALL_ZEROES (NUM##_tddf) \ CALL_ZEROES (NUM##_sfsd) \ CALL_ZEROES (NUM##_sfdd) \ CALL_ZEROES (NUM##_sftd) \ CALL_ZEROES (NUM##_dfsd) \ CALL_ZEROES (NUM##_dfdd) \ CALL_ZEROES (NUM##_dftd) \ CALL_ZEROES (NUM##_sddd) \ CALL_ZEROES (NUM##_sdtd) \ CALL_ZEROES (NUM##_ddsd) \ CALL_ZEROES (NUM##_ddtd) \ CALL_ZEROES (NUM##_tdsd) \ CALL_ZEROES (NUM##_tddd) #if USE_TF == 0 #define CALL_ZEROES_TF(NUM) #else #define CALL_ZEROES_TF(NUM) \ CALL_ZEROES (NUM##_sdtf) \ CALL_ZEROES (NUM##_ddtf) \ CALL_ZEROES (NUM##_tdtf) \ CALL_ZEROES (NUM##_tfsd) \ CALL_ZEROES (NUM##_tfdd) \ CALL_ZEROES (NUM##_tftd) #endif #define CALL_ZEROES_ALL(NUM) \ CALL_ZEROES_NOTF(NUM) \ CALL_ZEROES_TF(NUM) #define CONVERT_INF(NUM,FROM,TO,FROMSUFFIX,TOSUFFIX) \ CONVERT_PINF (NUM, FROM, TO, FROMSUFFIX, TOSUFFIX) \ CONVERT_MINF (NUM, FROM, TO, FROMSUFFIX, TOSUFFIX) #define CONVERT_INF_NOTF(NUM) \ CONVERT_INF (NUM##_sdsf, sd, sf, d32, f) \ CONVERT_INF (NUM##_sddf, sd, df, d32, ) \ CONVERT_INF (NUM##_ddsf, dd, sf, d64, f) \ CONVERT_INF (NUM##_dddf, dd, df, d64, ) \ CONVERT_INF (NUM##_tdsf, td, sf, d128, f) \ CONVERT_INF (NUM##_tddf, td, df, d128, ) \ CONVERT_INF (NUM##_sfsd, sf, sd, f, d32) \ CONVERT_INF (NUM##_sfdd, sf, dd, f, d64) \ CONVERT_INF (NUM##_sftd, sf, td, f, d128) \ CONVERT_INF (NUM##_dfsd, df, sd, , d32) \ CONVERT_INF (NUM##_dfdd, df, dd, , d64) \ CONVERT_INF (NUM##_dftd, df, td, , d128) \ CONVERT_INF (NUM##_sddd, sd, dd, d32, d64) \ CONVERT_INF (NUM##_sdtd, sd, td, d32, d128) \ CONVERT_INF (NUM##_ddsd, dd, sd, d64, d32) \ CONVERT_INF (NUM##_ddtd, dd, td, d64, d128) \ CONVERT_INF (NUM##_tdsd, td, sd, d128, d32) \ CONVERT_INF (NUM##_tddd, td, dd, d128, d64) #if USE_TF == 0 #define CONVERT_INF_TF(NUM) #else #define CONVERT_INF_TF(NUM) \ CONVERT_INF (NUM##_sdtf, sd, tf, d32, l) \ CONVERT_INF (NUM##_ddtf, dd, tf, d64, l) \ CONVERT_INF (NUM##_tdtf, td, tf, d128, l) \ CONVERT_INF (NUM##_tfsd, tf, sd, l, d32) \ CONVERT_INF (NUM##_tfdd, tf, dd, l, d64) \ CONVERT_INF (NUM##_tftd, tf, td, l, d128) #endif #define CONVERT_INF_ALL(NUM) \ CONVERT_INF_NOTF(NUM) \ CONVERT_INF_TF(NUM) #define CALL_INF(NUM) \ convert_##NUM##_pinf (); \ convert_##NUM##_minf (); #define CALL_INF_NOTF(NUM) \ CALL_INF (NUM##_sdsf) \ CALL_INF (NUM##_sddf) \ CALL_INF (NUM##_ddsf) \ CALL_INF (NUM##_dddf) \ CALL_INF (NUM##_tdsf) \ CALL_INF (NUM##_tddf) \ CALL_INF (NUM##_sfsd) \ CALL_INF (NUM##_sfdd) \ CALL_INF (NUM##_sftd) \ CALL_INF (NUM##_dfsd) \ CALL_INF (NUM##_dfdd) \ CALL_INF (NUM##_dftd) \ CALL_INF (NUM##_sddd) \ CALL_INF (NUM##_sdtd) \ CALL_INF (NUM##_ddsd) \ CALL_INF (NUM##_ddtd) \ CALL_INF (NUM##_tdsd) \ CALL_INF (NUM##_tddd) #if USE_TF == 0 #define CALL_INF_TF(NUM) #else #define CALL_INF_TF(NUM) \ CALL_INF (NUM##_sdtf) \ CALL_INF (NUM##_ddtf) \ CALL_INF (NUM##_tdtf) \ CALL_INF (NUM##_tfsd) \ CALL_INF (NUM##_tfdd) \ CALL_INF (NUM##_tftd) #endif #define CALL_INF_ALL(NUM) \ CALL_INF_NOTF(NUM) \ CALL_INF_TF(NUM) #define CONVERT_NAN_NOTF(NUM) \ CONVERT_NAN (NUM##_sdsf, sd, sf, d32, f) \ CONVERT_NAN (NUM##_sddf, sd, df, d32, ) \ CONVERT_NAN (NUM##_ddsf, dd, sf, d64, f) \ CONVERT_NAN (NUM##_dddf, dd, df, d64, ) \ CONVERT_NAN (NUM##_tdsf, td, sf, d128, f) \ CONVERT_NAN (NUM##_tddf, td, df, d128, ) \ CONVERT_NAN (NUM##_sfsd, sf, sd, f, d32) \ CONVERT_NAN (NUM##_sfdd, sf, dd, f, d64) \ CONVERT_NAN (NUM##_sftd, sf, td, f, d128) \ CONVERT_NAN (NUM##_dfsd, df, sd, , d32) \ CONVERT_NAN (NUM##_dfdd, df, dd, , d64) \ CONVERT_NAN (NUM##_dftd, df, td, , d128) \ CONVERT_NAN (NUM##_sddd, sd, dd, d32, d64) \ CONVERT_NAN (NUM##_sdtd, sd, td, d32, d128) \ CONVERT_NAN (NUM##_ddsd, dd, sd, d64, d32) \ CONVERT_NAN (NUM##_ddtd, dd, td, d64, d128) \ CONVERT_NAN (NUM##_tdsd, td, sd, d128, d32) \ CONVERT_NAN (NUM##_tddd, td, dd, d128, d64) #if USE_TF == 0 #define CONVERT_NAN_TF(NUM) #else #define CONVERT_NAN_TF(NUM) \ CONVERT_NAN (NUM##_sdtf, sd, tf, d32, l) \ CONVERT_NAN (NUM##_ddtf, dd, tf, d64, l) \ CONVERT_NAN (NUM##_tdtf, td, tf, d128, l) \ CONVERT_NAN (NUM##_tfsd, tf, sd, l, d32) \ CONVERT_NAN (NUM##_tfdd, tf, dd, l, d64) \ CONVERT_NAN (NUM##_tftd, tf, td, l, d128) #endif #define CONVERT_NAN_ALL(NUM) \ CONVERT_NAN_NOTF(NUM) \ CONVERT_NAN_TF(NUM) #define CALL_NAN(NUM) \ convert_##NUM##_nan (); #define CALL_NAN_NOTF(NUM) \ CALL_NAN (NUM##_sdsf) \ CALL_NAN (NUM##_sddf) \ CALL_NAN (NUM##_ddsf) \ CALL_NAN (NUM##_dddf) \ CALL_NAN (NUM##_tdsf) \ CALL_NAN (NUM##_tddf) \ CALL_NAN (NUM##_sfsd) \ CALL_NAN (NUM##_sfdd) \ CALL_NAN (NUM##_sftd) \ CALL_NAN (NUM##_dfsd) \ CALL_NAN (NUM##_dfdd) \ CALL_NAN (NUM##_dftd) \ CALL_NAN (NUM##_sddd) \ CALL_NAN (NUM##_sdtd) \ CALL_NAN (NUM##_ddsd) \ CALL_NAN (NUM##_ddtd) \ CALL_NAN (NUM##_tdsd) \ CALL_NAN (NUM##_tddd) #if USE_TF == 0 #define CALL_NAN_TF(NUM) #else #define CALL_NAN_TF(NUM) \ CALL_NAN (NUM##_sdtf) \ CALL_NAN (NUM##_ddtf) \ CALL_NAN (NUM##_tdtf) \ CALL_NAN (NUM##_tfsd) \ CALL_NAN (NUM##_tfdd) \ CALL_NAN (NUM##_tftd) #endif #define CALL_NAN_ALL(NUM) \ CALL_NAN_NOTF(NUM) \ CALL_NAN_TF(NUM)