Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/torture/builtin-isinf_sign-1.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 /* Copyright (C) 2008 Free Software Foundation.
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 Verify that __builtin_isinf_sign folds correctly.
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 Origin: Kaveh R. Ghazi, May 17, 2008. */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 /* { dg-do link } */
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 /* All references to link_error should go away at compile-time. */
kono
parents:
diff changeset
10 extern void link_error(int);
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 void __attribute__ ((__noinline__))
kono
parents:
diff changeset
13 foo (float f, double d, long double ld)
kono
parents:
diff changeset
14 {
kono
parents:
diff changeset
15 /* Test the generic expansion of isinf_sign. */
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 if (__builtin_isinf_sign(f)
kono
parents:
diff changeset
18 != (__builtin_isinf(f) ? (__builtin_signbit(f) ? -1 : 1) : 0))
kono
parents:
diff changeset
19 link_error (__LINE__);
kono
parents:
diff changeset
20 if (__builtin_isinf_sign(d)
kono
parents:
diff changeset
21 != (__builtin_isinf(d) ? (__builtin_signbit(d) ? -1 : 1) : 0))
kono
parents:
diff changeset
22 link_error (__LINE__);
kono
parents:
diff changeset
23 if (__builtin_isinf_sign(ld)
kono
parents:
diff changeset
24 != (__builtin_isinf(ld) ? (__builtin_signbit(ld) ? -1 : 1) : 0))
kono
parents:
diff changeset
25 link_error (__LINE__);
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 #ifdef __OPTIMIZE__
kono
parents:
diff changeset
28 /* In boolean contexts, GCC will fold the inner conditional
kono
parents:
diff changeset
29 expression to 1. So isinf_sign folds to plain isinf. */
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 if ((_Bool)__builtin_isinf_sign(f) != (__builtin_isinf(f) != 0))
kono
parents:
diff changeset
32 link_error (__LINE__);
kono
parents:
diff changeset
33 if ((_Bool)__builtin_isinf_sign(d) != (__builtin_isinf(d) != 0))
kono
parents:
diff changeset
34 link_error (__LINE__);
kono
parents:
diff changeset
35 if ((_Bool)__builtin_isinf_sign(ld) != (__builtin_isinf(ld) != 0))
kono
parents:
diff changeset
36 link_error (__LINE__);
kono
parents:
diff changeset
37 #endif
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 if ((__builtin_isinf_sign(f) != 0) != (__builtin_isinf(f) != 0))
kono
parents:
diff changeset
40 link_error (__LINE__);
kono
parents:
diff changeset
41 if ((__builtin_isinf_sign(d) != 0) != (__builtin_isinf(d) != 0))
kono
parents:
diff changeset
42 link_error (__LINE__);
kono
parents:
diff changeset
43 if ((__builtin_isinf_sign(ld) != 0) != (__builtin_isinf(ld) != 0))
kono
parents:
diff changeset
44 link_error (__LINE__);
kono
parents:
diff changeset
45
kono
parents:
diff changeset
46 if ((__builtin_isinf_sign(f) ? 5 : 6) != (__builtin_isinf(f) ? 5 : 6))
kono
parents:
diff changeset
47 link_error (__LINE__);
kono
parents:
diff changeset
48 if ((__builtin_isinf_sign(d) ? 5 : 6) != (__builtin_isinf(d) ? 5 : 6))
kono
parents:
diff changeset
49 link_error (__LINE__);
kono
parents:
diff changeset
50 if ((__builtin_isinf_sign(ld) ? 5 : 6) != (__builtin_isinf(ld) ? 5 : 6))
kono
parents:
diff changeset
51 link_error (__LINE__);
kono
parents:
diff changeset
52 }
kono
parents:
diff changeset
53
kono
parents:
diff changeset
54 int main (void)
kono
parents:
diff changeset
55 {
kono
parents:
diff changeset
56 foo (1, 2, 3);
kono
parents:
diff changeset
57 return 0;
kono
parents:
diff changeset
58 }