annotate gcc/testsuite/gcc.dg/torture/float64-floath.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Test _Float64 <float.h> macros. */
kono
parents:
diff changeset
2 /* { dg-do run } */
kono
parents:
diff changeset
3 /* { dg-options "" } */
kono
parents:
diff changeset
4 /* { dg-add-options float64 } */
kono
parents:
diff changeset
5 /* { dg-add-options ieee } */
kono
parents:
diff changeset
6 /* { dg-require-effective-target float64_runtime } */
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 #define WIDTH 64
kono
parents:
diff changeset
9 #define EXT 0
kono
parents:
diff changeset
10 #include "floatn-floath.h"
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 #ifndef FLT64_MANT_DIG
kono
parents:
diff changeset
13 # error "FLT64_MANT_DIG undefined"
kono
parents:
diff changeset
14 #endif
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 #ifndef FLT64_DECIMAL_DIG
kono
parents:
diff changeset
17 # error "FLT64_DECIMAL_DIG undefined"
kono
parents:
diff changeset
18 #endif
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #ifndef FLT64_DIG
kono
parents:
diff changeset
21 # error "FLT64_DIG undefined"
kono
parents:
diff changeset
22 #endif
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 #ifndef FLT64_MIN_EXP
kono
parents:
diff changeset
25 # error "FLT64_MIN_EXP undefined"
kono
parents:
diff changeset
26 #endif
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 #ifndef FLT64_MIN_10_EXP
kono
parents:
diff changeset
29 # error "FLT64_MIN_10_EXP undefined"
kono
parents:
diff changeset
30 #endif
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 #ifndef FLT64_MAX_EXP
kono
parents:
diff changeset
33 # error "FLT64_MAX_EXP undefined"
kono
parents:
diff changeset
34 #endif
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 #ifndef FLT64_MAX_10_EXP
kono
parents:
diff changeset
37 # error "FLT64_MAX_10_EXP undefined"
kono
parents:
diff changeset
38 #endif
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 #ifndef FLT64_MAX
kono
parents:
diff changeset
41 # error "FLT64_MAX undefined"
kono
parents:
diff changeset
42 #endif
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 #ifndef FLT64_EPSILON
kono
parents:
diff changeset
45 # error "FLT64_EPSILON undefined"
kono
parents:
diff changeset
46 #endif
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 #ifndef FLT64_MIN
kono
parents:
diff changeset
49 # error "FLT64_MIN undefined"
kono
parents:
diff changeset
50 #endif
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 #ifndef FLT64_TRUE_MIN
kono
parents:
diff changeset
53 # error "FLT64_TRUE_MIN undefined"
kono
parents:
diff changeset
54 #endif
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 #if FLT64_MANT_DIG != 53 || FLT64_MAX_EXP != 1024 || FLT64_MIN_EXP != -1021
kono
parents:
diff changeset
57 # error "_Float64 bad format"
kono
parents:
diff changeset
58 #endif