annotate gcc/testsuite/gcc.dg/torture/float16-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 _Float16 <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 float16 } */
kono
parents:
diff changeset
5 /* { dg-add-options ieee } */
kono
parents:
diff changeset
6 /* { dg-require-effective-target float16_runtime } */
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 #define WIDTH 16
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 FLT16_MANT_DIG
kono
parents:
diff changeset
13 # error "FLT16_MANT_DIG undefined"
kono
parents:
diff changeset
14 #endif
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 #ifndef FLT16_DECIMAL_DIG
kono
parents:
diff changeset
17 # error "FLT16_DECIMAL_DIG undefined"
kono
parents:
diff changeset
18 #endif
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #ifndef FLT16_DIG
kono
parents:
diff changeset
21 # error "FLT16_DIG undefined"
kono
parents:
diff changeset
22 #endif
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 #ifndef FLT16_MIN_EXP
kono
parents:
diff changeset
25 # error "FLT16_MIN_EXP undefined"
kono
parents:
diff changeset
26 #endif
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 #ifndef FLT16_MIN_10_EXP
kono
parents:
diff changeset
29 # error "FLT16_MIN_10_EXP undefined"
kono
parents:
diff changeset
30 #endif
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 #ifndef FLT16_MAX_EXP
kono
parents:
diff changeset
33 # error "FLT16_MAX_EXP undefined"
kono
parents:
diff changeset
34 #endif
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 #ifndef FLT16_MAX_10_EXP
kono
parents:
diff changeset
37 # error "FLT16_MAX_10_EXP undefined"
kono
parents:
diff changeset
38 #endif
kono
parents:
diff changeset
39
kono
parents:
diff changeset
40 #ifndef FLT16_MAX
kono
parents:
diff changeset
41 # error "FLT16_MAX undefined"
kono
parents:
diff changeset
42 #endif
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 #ifndef FLT16_EPSILON
kono
parents:
diff changeset
45 # error "FLT16_EPSILON undefined"
kono
parents:
diff changeset
46 #endif
kono
parents:
diff changeset
47
kono
parents:
diff changeset
48 #ifndef FLT16_MIN
kono
parents:
diff changeset
49 # error "FLT16_MIN undefined"
kono
parents:
diff changeset
50 #endif
kono
parents:
diff changeset
51
kono
parents:
diff changeset
52 #ifndef FLT16_TRUE_MIN
kono
parents:
diff changeset
53 # error "FLT16_TRUE_MIN undefined"
kono
parents:
diff changeset
54 #endif
kono
parents:
diff changeset
55
kono
parents:
diff changeset
56 #if FLT16_MANT_DIG != 11 || FLT16_MAX_EXP != 16 || FLT16_MIN_EXP != -13
kono
parents:
diff changeset
57 # error "_Float16 bad format"
kono
parents:
diff changeset
58 #endif