]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/26_numerics/complex/dr781.cc
1 // { dg-do run { target c++11 } }
2 // 2008-05-22 Paolo Carlini <paolo.carlini@oracle.com>
4 // Copyright (C) 2008-2023 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
22 #include <testsuite_hooks.h>
23 #include <testsuite_tr1.h>
25 // DR 781. std::complex should add missing C99 functions.
26 // DR 1137. Return type of conj and proj.
27 // 1522. conj specification is now nonsense
30 using __gnu_test::check_ret_type
;
32 typedef std::complex<float> cmplx_f_type
;
33 typedef std::complex<double> cmplx_d_type
;
34 typedef std::complex<long double> cmplx_ld_type
;
37 const float f1
= 1.0f
;
38 const double d1
= 1.0;
39 const long double ld1
= 1.0l;
41 const cmplx_f_type
c_f1(f1
, f1
);
42 const cmplx_d_type
c_d1(d1
, d1
);
43 const cmplx_ld_type
c_ld1(ld1
, ld1
);
45 check_ret_type
<cmplx_f_type
>(std::proj(c_f1
));
46 check_ret_type
<cmplx_d_type
>(std::proj(c_d1
));
47 check_ret_type
<cmplx_ld_type
>(std::proj(c_ld1
));
49 check_ret_type
<cmplx_f_type
>(std::proj(f1
));
50 check_ret_type
<cmplx_d_type
>(std::proj(d1
));
51 check_ret_type
<cmplx_d_type
>(std::proj(i1
));
52 check_ret_type
<cmplx_ld_type
>(std::proj(ld1
));
54 VERIFY( std::proj(f1
) == std::proj(cmplx_f_type(f1
)) );
55 VERIFY( std::proj(d1
) == std::proj(cmplx_d_type(d1
)) );
56 VERIFY( std::proj(ld1
) == std::proj(cmplx_ld_type(ld1
)) );
57 VERIFY( std::proj(i1
) == std::proj(double(i1
)) );
59 check_ret_type
<cmplx_f_type
>(std::conj(c_f1
));
60 check_ret_type
<cmplx_d_type
>(std::conj(c_d1
));
61 check_ret_type
<cmplx_ld_type
>(std::conj(c_ld1
));
63 check_ret_type
<cmplx_f_type
>(std::conj(f1
));
64 check_ret_type
<cmplx_d_type
>(std::conj(d1
));
65 check_ret_type
<cmplx_d_type
>(std::conj(i1
));
66 check_ret_type
<cmplx_ld_type
>(std::conj(ld1
));
68 VERIFY( std::conj(f1
) == std::conj(cmplx_f_type(f1
)) );
69 VERIFY( std::conj(d1
) == std::conj(cmplx_d_type(d1
)) );
70 VERIFY( std::conj(ld1
) == std::conj(cmplx_ld_type(ld1
)) );
71 VERIFY( std::conj(i1
) == std::conj(double(i1
)) );
72 VERIFY( std::signbit(std::conj(f1
).imag()) );
73 VERIFY( std::signbit(std::conj(d1
).imag()) );
74 VERIFY( std::signbit(std::conj(ld1
).imag()) );