|
111
|
1 /* Copyright (C) 2003 Free Software Foundation.
|
|
|
2
|
|
|
3 Verify that constant folding comparisons against built-in math functions
|
|
|
4 don't cause any problems for the compiler, and produce expected results.
|
|
|
5
|
|
|
6 Written by Roger Sayle, 15th March 2003. */
|
|
|
7
|
|
|
8 /* { dg-do run } */
|
|
|
9 /* { dg-options "-O2 -ffast-math" } */
|
|
|
10
|
|
|
11 #include <float.h>
|
|
|
12
|
|
|
13 extern void abort (void);
|
|
|
14 extern double sqrt (double);
|
|
|
15
|
|
|
16 int test1(double x)
|
|
|
17 {
|
|
|
18 return sqrt(x) < -9.0;
|
|
|
19 }
|
|
|
20
|
|
|
21 int test2(double x)
|
|
|
22 {
|
|
|
23 return sqrt(x) > -9.0;
|
|
|
24 }
|
|
|
25
|
|
|
26 int test3(double x)
|
|
|
27 {
|
|
|
28 return sqrt(x) < 9.0;
|
|
|
29 }
|
|
|
30
|
|
|
31 int test4(double x)
|
|
|
32 {
|
|
|
33 return sqrt(x) > 9.0;
|
|
|
34 }
|
|
|
35
|
|
|
36 int test5(double x)
|
|
|
37 {
|
|
|
38 return sqrt(x) < DBL_MAX;
|
|
|
39 }
|
|
|
40
|
|
|
41 int test6(double x)
|
|
|
42 {
|
|
|
43 return sqrt(x) > DBL_MAX;
|
|
|
44 }
|
|
|
45
|
|
|
46 int main()
|
|
|
47 {
|
|
|
48 double x;
|
|
|
49
|
|
|
50 x = 80.0;
|
|
|
51 if (test1 (x))
|
|
|
52 abort ();
|
|
|
53 if (! test2 (x))
|
|
|
54 abort ();
|
|
|
55 if (! test3 (x))
|
|
|
56 abort ();
|
|
|
57 if (test4 (x))
|
|
|
58 abort ();
|
|
|
59 if (! test5 (x))
|
|
|
60 abort ();
|
|
|
61 if (test6 (x))
|
|
|
62 abort ();
|
|
|
63
|
|
|
64 x = 100.0;
|
|
|
65 if (test1 (x))
|
|
|
66 abort ();
|
|
|
67 if (! test2 (x))
|
|
|
68 abort ();
|
|
|
69 if (test3 (x))
|
|
|
70 abort ();
|
|
|
71 if (! test4 (x))
|
|
|
72 abort ();
|
|
|
73 if (! test5 (x))
|
|
|
74 abort ();
|
|
|
75 if (test6 (x))
|
|
|
76 abort ();
|
|
|
77
|
|
|
78 return 0;
|
|
|
79 }
|
|
|
80
|
