1 /* Tests for _FloatN / _FloatNx types: compile and execution tests for
2 built-in functions. Before including this file, define WIDTH as
3 the value N; define EXT to 1 for _FloatNx and 0 for _FloatN. */
4
5 #define CONCATX(X, Y) X ## Y
6 #define CONCAT(X, Y) CONCATX (X, Y)
7 #define CONCAT3(X, Y, Z) CONCAT (CONCAT (X, Y), Z)
8 #define CONCAT4(W, X, Y, Z) CONCAT (CONCAT (CONCAT (W, X), Y), Z)
9
10 #if EXT
11 # define TYPE CONCAT3 (_Float, WIDTH, x)
12 # define CST(C) CONCAT4 (C, f, WIDTH, x)
13 # define FN(F) CONCAT4 (F, f, WIDTH, x)
14 #else
15 # define TYPE CONCAT (_Float, WIDTH)
16 # define CST(C) CONCAT3 (C, f, WIDTH)
17 # define FN(F) CONCAT3 (F, f, WIDTH)
18 #endif
19
20 extern void exit (int);
21 extern void abort (void);
22
23 extern TYPE test_type;
24 extern __typeof (FN (__builtin_inf) ()) test_type;
25 extern __typeof (FN (__builtin_huge_val) ()) test_type;
26 extern __typeof (FN (__builtin_nan) ("")) test_type;
27 extern __typeof (FN (__builtin_nans) ("")) test_type;
28 extern __typeof (FN (__builtin_fabs) (0)) test_type;
29 extern __typeof (FN (__builtin_copysign) (0, 0)) test_type;
30
31 volatile TYPE inf_cst = FN (__builtin_inf) ();
32 volatile TYPE huge_val_cst = FN (__builtin_huge_val) ();
33 volatile TYPE nan_cst = FN (__builtin_nan) ("");
34 volatile TYPE nans_cst = FN (__builtin_nans) ("");
35 volatile TYPE neg0 = -CST (0.0), neg1 = -CST (1.0), one = 1.0;
36
37 int
main(void)38 main (void)
39 {
40 volatile TYPE r;
41 if (!__builtin_isinf (inf_cst))
42 abort ();
43 if (!__builtin_isinf (huge_val_cst))
44 abort ();
45 if (inf_cst != huge_val_cst)
46 abort ();
47 if (!__builtin_isnan (nan_cst))
48 abort ();
49 if (!__builtin_isnan (nans_cst))
50 abort ();
51 r = FN (__builtin_fabs) (neg1);
52 if (r != CST (1.0))
53 abort ();
54 r = FN (__builtin_copysign) (one, neg0);
55 if (r != neg1)
56 abort ();
57 r = FN (__builtin_copysign) (inf_cst, neg1);
58 if (r != -huge_val_cst)
59 abort ();
60 r = FN (__builtin_copysign) (-inf_cst, one);
61 if (r != huge_val_cst)
62 abort ();
63 exit (0);
64 }
65