blob: 1cc3e40ccbc023e097e493c1100e4d61969f12c7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
|
/* PR tree-optimization/91734 */
/* { dg-do run } */
/* { dg-add-options ieee } */
/* { dg-additional-options "-O2 -std=gnu99" } */
__attribute__((noipa, optimize ("Ofast"))) int
f1 (float x)
{
return __builtin_sqrtf (x) < __FLT_MIN__;
}
__attribute__((noipa, optimize ("Ofast"))) int
f2 (float x)
{
return __builtin_sqrtf (x) < 0x1.2dd3d0p-65f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f3 (float x)
{
return __builtin_sqrtf (x) >= 0x1.2dd3d0p-65f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f4 (float x)
{
return __builtin_sqrtf (x) >= 0x1.5642e6p+54f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f5 (float x)
{
return __builtin_sqrtf (x) > 0x1.5642e6p+54f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f6 (float x)
{
return __builtin_sqrtf (x) < 0x1.4da1cp-19f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f7 (float x)
{
return __builtin_sqrtf (x) <= 0x1.4da1cp-19f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f8 (float x)
{
return __builtin_sqrtf (x) < 0x1.50cb62p-65f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f9 (float x)
{
return __builtin_sqrtf (x) <= 0x1.4fc00cp-73f;
}
__attribute__((noipa, optimize ("Ofast"))) int
f10 (float x)
{
return __builtin_sqrtf (x) < 0x1.001002p+0f;
}
int
main ()
{
if (__FLT_RADIX__ != 2
|| __FLT_MANT_DIG__ != 24
|| __FLT_MIN_EXP__ != -125
|| __FLT_MAX_EXP__ != 128
|| __FLT_HAS_DENORM__ != 1
|| __FLT_HAS_INFINITY__ != 1)
return 0;
if (!f1 (0.0f) || f1 (0x1.0p-149f))
__builtin_abort ();
if (!f2 (0x1.63dbc0p-130f))
__builtin_abort ();
if (f3 (0x1.63dbc0p-130f))
__builtin_abort ();
if (!f4 (0x1.c996d0p+108f) || !f4 (0x1.c996cep+108f) || f4 (0x1.c996ccp+108f))
__builtin_abort ();
if (f5 (0x1.c996d0p+108f) || f5 (0x1.c996d2p+108f) || !f5 (0x1.c996d4p+108f))
__builtin_abort ();
if (!f6 (0x1.b2ce3p-38f) || f6 (0x1.b2ce32p-38f) || f6 (0x1.b2ce34p-38f))
__builtin_abort ();
if (!f7 (0x1.b2ce3p-38f) || !f7 (0x1.b2ce34p-38f) || !f7 (0x1.b2ce36p-38f) || f7 (0x1.b2ce38p-38f))
__builtin_abort ();
if (!f8 (0x1.bb166p-130f) || !f8 (0x1.bb168p-130f) || f8 (0x1.bb16ap-130f) || f8 (0x1.bb16cp-130f))
__builtin_abort ();
if (!f9 (0x1.8p-146f) || !f9 (0x1.ap-146f) || f9 (0x1.cp-146f) || f9 (0x1.ep-146f))
__builtin_abort ();
if (f10 (0x1.002004p+0f))
__builtin_abort ();
return 0;
}
|
