1 /* { dg-do compile { target i?86-*-* x86_64-*-* } } */
2 /* { dg-additional-options "-flive-patching=inline-clone -funroll-loops -fno-tree-forwprop -fno-expensive-optimizations -mstack-arg-probe -fcompare-debug" } */
3 /* { dg-skip-if "" { *-*-* } { "-flto" } { "" } } */
4
5 extern void exit (int);
6 extern void abort (void);
7
8 #define COMPARE_BODY(A, B, TYPE, COPYSIGN) \
9 do { \
10 TYPE s1 = COPYSIGN ((TYPE) 1.0, A); \
11 TYPE s2 = COPYSIGN ((TYPE) 1.0, B); \
12 if (s1 != s2) \
13 abort (); \
14 if ((__builtin_isnan (A) != 0) != (__builtin_isnan (B) != 0)) \
15 abort (); \
16 if ((A != B) != (__builtin_isnan (A) != 0)) \
17 abort (); \
18 } while (0)
19
20 void
comparel(long double a,long double b)21 comparel (long double a, long double b)
22 {
23 COMPARE_BODY (a, b, long double, __builtin_copysignl);
24 }
25
26 void
comparecl(_Complex long double a,long double r,long double i)27 comparecl (_Complex long double a, long double r, long double i)
28 {
29 comparel (__real__ a, r);
30 comparel (__imag__ a, i);
31 }
32
33 #define VERIFY(A, B, TYPE, COMPARE) \
34 do { \
35 TYPE a = A; \
36 TYPE b = B; \
37 _Complex TYPE cr = __builtin_complex (a, b); \
38 static _Complex TYPE cs = __builtin_complex (A, B); \
39 COMPARE (cr, A, B); \
40 COMPARE (cs, A, B); \
41 } while (0)
42
43 #define ALL_CHECKS(PZ, NZ, NAN, INF, TYPE, COMPARE) \
44 do { \
45 VERIFY (NAN, NZ, TYPE, COMPARE); \
46 VERIFY (INF, NZ, TYPE, COMPARE); \
47 VERIFY (INF, NAN, TYPE, COMPARE); \
48 VERIFY (INF, INF, TYPE, COMPARE); \
49 } while (0)
50
51 void
check_long_double(void)52 check_long_double (void)
53 {
54 ALL_CHECKS (0.0l, -0.0l, __builtin_nanl(""), __builtin_infl(), long double, comparecl);
55 }
56