|
111
|
1 /* Copyright (C) 2003 Free Software Foundation.
|
|
|
2
|
|
|
3 Check that constant folding of mathematical expressions doesn't
|
|
|
4 break anything.
|
|
|
5
|
|
|
6 Written by Roger Sayle, 3rd August 2003. */
|
|
|
7
|
|
|
8 /* { dg-do link } */
|
|
|
9 /* { dg-options "-O2 -ffast-math" } */
|
|
|
10
|
|
|
11 extern void link_error(void);
|
|
|
12
|
|
|
13 void test(double x)
|
|
|
14 {
|
|
|
15 if (x+x != 2.0*x)
|
|
|
16 link_error ();
|
|
|
17 if (x+x != x*2.0)
|
|
|
18 link_error ();
|
|
|
19
|
|
|
20 if (x+x+x != 3.0*x)
|
|
|
21 link_error ();
|
|
|
22 if (x+x+x != x*3.0)
|
|
|
23 link_error ();
|
|
|
24
|
|
|
25 if ((x+x)+x != 3.0*x)
|
|
|
26 link_error ();
|
|
|
27 if ((x+x)+x != x*3.0)
|
|
|
28 link_error ();
|
|
|
29
|
|
|
30 if (x+(x+x) != 3.0*x)
|
|
|
31 link_error ();
|
|
|
32 if (x+(x+x) != x*3.0)
|
|
|
33 link_error ();
|
|
|
34
|
|
|
35 if (x+4.0*x != 5.0*x)
|
|
|
36 link_error ();
|
|
|
37 if (x+4.0*x != x*5.0)
|
|
|
38 link_error ();
|
|
|
39 if (x+x*4.0 != 5.0*x)
|
|
|
40 link_error ();
|
|
|
41 if (x+x*4.0 != x*5.0)
|
|
|
42 link_error ();
|
|
|
43 if (4.0*x+x != 5.0*x)
|
|
|
44 link_error ();
|
|
|
45 if (4.0*x+x != x*5.0)
|
|
|
46 link_error ();
|
|
|
47 if (x*4.0+x != 5.0*x)
|
|
|
48 link_error ();
|
|
|
49 if (x*4.0+x != x*5.0)
|
|
|
50 link_error ();
|
|
|
51
|
|
|
52 if (3.0*x + 5.0*x != 8.0*x)
|
|
|
53 link_error ();
|
|
|
54 if (3.0*x + 5.0*x != x*8.0)
|
|
|
55 link_error ();
|
|
|
56 if (x*3.0 + 5.0*x != 8.0*x)
|
|
|
57 link_error ();
|
|
|
58 if (x*3.0 + 5.0*x != x*8.0)
|
|
|
59 link_error ();
|
|
|
60 if (3.0*x + x*5.0 != 8.0*x)
|
|
|
61 link_error ();
|
|
|
62 if (3.0*x + x*5.0 != x*8.0)
|
|
|
63 link_error ();
|
|
|
64 if (x*3.0 + x*5.0 != 8.0*x)
|
|
|
65 link_error ();
|
|
|
66 if (x*3.0 + x*5.0 != x*8.0)
|
|
|
67 link_error ();
|
|
|
68 }
|
|
|
69
|
|
|
70 int main()
|
|
|
71 {
|
|
|
72 test(2.0);
|
|
|
73 return 0;
|
|
|
74 }
|
|
|
75
|
