Skip to content

R
riscv-gcc-1
Commit 5f84cee2 by Joseph Myers Committed by Joseph Myers
Options

Add _FloatN, _FloatNx tests for __builtin_fpclassify. 

This patch adds tests for _FloatN and _FloatNx arguments to the
__builtin_fpclassify type-generic built-in function, omitted from the
original tests for type-generic functions on these types.

Tested for x86_64-pc-linux-gnu; all the supported new tests pass.

	* gcc.dg/torture/float128-tg-3.c, gcc.dg/torture/float128x-tg-3.c,
	gcc.dg/torture/float16-tg-3.c, gcc.dg/torture/float32-tg-3.c,
	gcc.dg/torture/float32x-tg-3.c, gcc.dg/torture/float64-tg-3.c,
	gcc.dg/torture/float64x-tg-3.c, gcc.dg/torture/floatn-tg-3.h: New
	tests.

From-SVN: r240328
parent 18e15e30
Showing with 157 additions and 0 deletions
gcc/testsuite/ChangeLog
2016-09-21 Joseph Myers <joseph@codesourcery.com>
* gcc.dg/torture/float128-tg-3.c, gcc.dg/torture/float128x-tg-3.c,
gcc.dg/torture/float16-tg-3.c, gcc.dg/torture/float32-tg-3.c,
gcc.dg/torture/float32x-tg-3.c, gcc.dg/torture/float64-tg-3.c,
gcc.dg/torture/float64x-tg-3.c, gcc.dg/torture/floatn-tg-3.h: New
tests.
2016-09-21 Uros Bizjak <ubizjak@gmail.com>
* gcc.c-torture/unsorted/dump-noaddr.x: Remove debug statements.
......
gcc/testsuite/gcc.dg/torture/float128-tg-3.c 0 → 100644
/* Test _Float128 type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float128 } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float128_runtime } */
#define WIDTH 128
#define EXT 0
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/float128x-tg-3.c 0 → 100644
/* Test _Float128x type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float128x } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float128x_runtime } */
#define WIDTH 128
#define EXT 1
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/float16-tg-3.c 0 → 100644
/* Test _Float16 type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float16 } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float16_runtime } */
#define WIDTH 16
#define EXT 0
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/float32-tg-3.c 0 → 100644
/* Test _Float32 type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float32 } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float32_runtime } */
#define WIDTH 32
#define EXT 0
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/float32x-tg-3.c 0 → 100644
/* Test _Float32x type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float32x } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float32x_runtime } */
#define WIDTH 32
#define EXT 1
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/float64-tg-3.c 0 → 100644
/* Test _Float64 type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float64 } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float64_runtime } */
#define WIDTH 64
#define EXT 0
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/float64x-tg-3.c 0 → 100644
/* Test _Float64x type-generic built-in functions: __builtin_fpclassify. */
/* { dg-do run } */
/* { dg-options "" } */
/* { dg-add-options float64x } */
/* { dg-add-options ieee } */
/* { dg-require-effective-target float64x_runtime } */
#define WIDTH 64
#define EXT 1
#include "floatn-tg-3.h"
gcc/testsuite/gcc.dg/torture/floatn-tg-3.h 0 → 100644
/* Tests for _FloatN / _FloatNx types: compile and execution tests for
type-generic built-in functions: __builtin_fpclassify. Before
including this file, define WIDTH as the value N; define EXT to 1
for _FloatNx and 0 for _FloatN. */
#define __STDC_WANT_IEC_60559_TYPES_EXT__
#include <float.h>
#define CONCATX(X, Y) X ## Y
#define CONCAT(X, Y) CONCATX (X, Y)
#define CONCAT3(X, Y, Z) CONCAT (CONCAT (X, Y), Z)
#define CONCAT4(W, X, Y, Z) CONCAT (CONCAT (CONCAT (W, X), Y), Z)
#if EXT
# define TYPE CONCAT3 (_Float, WIDTH, x)
# define CST(C) CONCAT4 (C, f, WIDTH, x)
# define MAX CONCAT3 (FLT, WIDTH, X_MAX)
# define MIN CONCAT3 (FLT, WIDTH, X_MIN)
# define TRUE_MIN CONCAT3 (FLT, WIDTH, X_TRUE_MIN)
#else
# define TYPE CONCAT (_Float, WIDTH)
# define CST(C) CONCAT3 (C, f, WIDTH)
# define MAX CONCAT3 (FLT, WIDTH, _MAX)
# define MIN CONCAT3 (FLT, WIDTH, _MIN)
# define TRUE_MIN CONCAT3 (FLT, WIDTH, _TRUE_MIN)
#endif
extern void exit (int);
extern void abort (void);
#define FP_NAN 0
#define FP_INFINITE 1
#define FP_ZERO 2
#define FP_SUBNORMAL 3
#define FP_NORMAL 4
#define fpclassify(X) __builtin_fpclassify (FP_NAN, FP_INFINITE, \
FP_NORMAL, FP_SUBNORMAL, \
FP_ZERO, (X))
volatile TYPE inf = __builtin_inf (), nanval = __builtin_nan ("");
volatile TYPE neginf = -__builtin_inf (), negnanval = -__builtin_nan ("");
volatile TYPE zero = CST (0.0), negzero = -CST (0.0), one = CST (1.0);
volatile TYPE max = MAX, negmax = -MAX, min = MIN, negmin = -MIN;
volatile TYPE true_min = TRUE_MIN, negtrue_min = -TRUE_MIN;
/* Allow for any optimizations of comparisons involving the result of
fpclassify by also testing case where result is stored in a
volatile variable and so the comparison cannot be optimized. */
#define CHECK_FPCLASSIFY(VAL, EXP) \
do \
{ \
volatile int c; \
if (fpclassify (VAL) != (EXP)) \
abort (); \
c = fpclassify (VAL); \
if (c != (EXP)) \
abort (); \
} \
while (0)
int
main (void)
{
CHECK_FPCLASSIFY (inf, FP_INFINITE);
CHECK_FPCLASSIFY (neginf, FP_INFINITE);
CHECK_FPCLASSIFY (nanval, FP_NAN);
CHECK_FPCLASSIFY (negnanval, FP_NAN);
CHECK_FPCLASSIFY (zero, FP_ZERO);
CHECK_FPCLASSIFY (negzero, FP_ZERO);
CHECK_FPCLASSIFY (one, FP_NORMAL);
CHECK_FPCLASSIFY (max, FP_NORMAL);
CHECK_FPCLASSIFY (negmax, FP_NORMAL);
CHECK_FPCLASSIFY (min, FP_NORMAL);
CHECK_FPCLASSIFY (negmin, FP_NORMAL);
CHECK_FPCLASSIFY (true_min, FP_SUBNORMAL);
CHECK_FPCLASSIFY (negtrue_min, FP_SUBNORMAL);
exit (0);
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment