1 /* Copyright (C) 2009 Free Software Foundation.
2
3 Test things that should block GCC from optimizing compile-time
4 constants passed to a builtin complex transcendental functions.
5
6 Origin: Kaveh R. Ghazi, January 28, 2009. */
7
8 /* { dg-do compile } */
9 /* { dg-require-effective-target inf } */
10 /* { dg-options "-fdump-tree-original" } */
11
12 extern void foof (_Complex float);
13 extern void foo (_Complex double);
14 extern void fool (_Complex long double);
15
16 #define TESTIT(FUNC, ARG) do { \
17 foof (__builtin_##FUNC##f (ARG##F)); \
18 foo (__builtin_##FUNC (ARG)); \
19 fool (__builtin_##FUNC##l (ARG##L)); \
20 } while (0)
21
22 #define TESTIT2(FUNC, ARG0, ARG1) do { \
23 foof (__builtin_##FUNC##f (ARG0##F, ARG1##F)); \
24 foo (__builtin_##FUNC (ARG0, ARG1)); \
25 fool (__builtin_##FUNC##l (ARG0##L, ARG1##L)); \
26 } while (0)
27
bar()28 void bar()
29 {
30 /* An argument of NaN is not evaluated at compile-time. */
31 foof (__builtin_csqrtf (__builtin_nanf("")));
32 foo (__builtin_csqrt (__builtin_nan("")));
33 fool (__builtin_csqrtl (__builtin_nanl("")));
34
35 /* An argument of Inf/-Inf is not evaluated at compile-time. */
36 foof (__builtin_csqrtf (__builtin_inff()));
37 foo (__builtin_csqrt (__builtin_inf()));
38 fool (__builtin_csqrtl (__builtin_infl()));
39 foof (__builtin_csqrtf (-__builtin_inff()));
40 foo (__builtin_csqrt (-__builtin_inf()));
41 fool (__builtin_csqrtl (-__builtin_infl()));
42
43 /* Check for overflow/underflow. */
44 TESTIT (cexp, 1e20);
45 TESTIT (cexp, -1e20);
46
47 /* An argument of NaN is not evaluated at compile-time. */
48 foof (__builtin_cpowf (__builtin_nanf(""), 2.5F));
49 foo (__builtin_cpow (__builtin_nan(""), 2.5));
50 fool (__builtin_cpowl (__builtin_nanl(""), 2.5L));
51 foof (__builtin_cpowf (2.5F, __builtin_nanf("")));
52 foo (__builtin_cpow (2.5, __builtin_nan("")));
53 fool (__builtin_cpowl (2.5L, __builtin_nanl("")));
54
55 /* An argument of Inf/-Inf is not evaluated at compile-time. */
56 foof (__builtin_cpowf (__builtin_inff(), 2.5F));
57 foo (__builtin_cpow (__builtin_inf(), 2.5));
58 fool (__builtin_cpowl (__builtin_infl(), 2.5L));
59 foof (__builtin_cpowf (-__builtin_inff(), 2.5F));
60 foo (__builtin_cpow (-__builtin_inf(), 2.5));
61 fool (__builtin_cpowl (-__builtin_infl(), 2.5L));
62 foof (__builtin_cpowf (2.5F, __builtin_inff()));
63 foo (__builtin_cpow (2.5, __builtin_inf()));
64 fool (__builtin_cpowl (2.5L, __builtin_infl()));
65 foof (__builtin_cpowf (2.5F, -__builtin_inff()));
66 foo (__builtin_cpow (2.5, -__builtin_inf()));
67 fool (__builtin_cpowl (2.5L, -__builtin_infl()));
68
69 /* Check for Inv/NaN return values. */
70 TESTIT2 (cpow, -0.0, -4.5); /* Returns Inf */
71 TESTIT2 (cpow, 0.0, -4.5); /* Returns Inf */
72
73 /* Check for overflow/underflow. */
74 foof (__builtin_cpowf (__FLT_MAX__, 3.5F));
75 foof (__builtin_cpowf (__FLT_MAX__ * 1.FI, 3.5F));
76 foo (__builtin_cpow (__DBL_MAX__, 3.5));
77 foo (__builtin_cpow (__DBL_MAX__ * 1.I, 3.5));
78 fool (__builtin_cpowl (__LDBL_MAX__, 3.5L));
79 fool (__builtin_cpowl (__LDBL_MAX__ * 1.LI, 3.5L));
80 TESTIT2 (cpow, 2.0, 0x1p50);
81 TESTIT2 (cpow, 2.0, 0x1p28);
82 TESTIT2 (cpow, 2.0, 0x1p24);
83 foof (__builtin_cpowf (__FLT_MAX__, -3.5F));
84 foof (__builtin_cpowf (__FLT_MAX__ * 1.FI, -3.5F));
85 foo (__builtin_cpow (__DBL_MAX__, -3.5));
86 foo (__builtin_cpow (__DBL_MAX__ * 1.I, -3.5));
87 fool (__builtin_cpowl (__LDBL_MAX__, -3.5L));
88 fool (__builtin_cpowl (__LDBL_MAX__ * 1.LI, -3.5L));
89 TESTIT2 (cpow, 2.0, -0x1p50);
90 TESTIT2 (cpow, 2.0, -0x1p28);
91 TESTIT2 (cpow, 2.0, -0x1p24);
92
93 }
94
95 /* { dg-final { scan-tree-dump-times "csqrtf" 3 "original" } } */
96 /* { dg-final { scan-tree-dump-times "csqrt " 3 "original" } } */
97 /* { dg-final { scan-tree-dump-times "csqrtl" 3 "original" } } */
98 /* { dg-final { scan-tree-dump-times "cexpf" 2 "original" } } */
99 /* { dg-final { scan-tree-dump-times "cexp " 2 "original" } } */
100 /* { dg-final { scan-tree-dump-times "cexpl" 2 "original" } } */
101 /* { dg-final { scan-tree-dump-times "cpowf" 18 "original" } } */
102 /* { dg-final { scan-tree-dump-times "cpow " 18 "original" } } */
103 /* { dg-final { scan-tree-dump-times "cpowl" 18 "original" } } */
104