Viewing file:  convert.h (14.35 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
#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 <stdio.h>
#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)
|
