1 //===----------------------------------------------------------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 // <complex>
11 
12 // template<class T>      complex<T>           conj(const complex<T>&);
13 //                        complex<long double> conj(long double);
14 //                        complex<double>      conj(double);
15 // template<Integral T>   complex<double>      conj(T);
16 //                        complex<float>       conj(float);
17 
18 #include <complex>
19 #include <type_traits>
20 #include <cassert>
21 
22 #include "../cases.h"
23 
24 template <class T>
25 void
26 test(T x, typename std::enable_if<std::is_integral<T>::value>::type* = 0)
27 {
28     static_assert((std::is_same<decltype(std::conj(x)), std::complex<double> >::value), "");
29     assert(std::conj(x) == conj(std::complex<double>(x, 0)));
30 }
31 
32 template <class T>
33 void
34 test(T x, typename std::enable_if<std::is_floating_point<T>::value>::type* = 0)
35 {
36     static_assert((std::is_same<decltype(std::conj(x)), std::complex<T> >::value), "");
37     assert(std::conj(x) == conj(std::complex<T>(x, 0)));
38 }
39 
40 template <class T>
41 void
42 test(T x, typename std::enable_if<!std::is_integral<T>::value &&
43                                   !std::is_floating_point<T>::value>::type* = 0)
44 {
45     static_assert((std::is_same<decltype(std::conj(x)), std::complex<T> >::value), "");
46     assert(std::conj(x) == conj(std::complex<T>(x, 0)));
47 }
48 
49 template <class T>
50 void
51 test()
52 {
53     test<T>(0);
54     test<T>(1);
55     test<T>(10);
56 }
57 
58 int main()
59 {
60     test<float>();
61     test<double>();
62     test<long double>();
63     test<int>();
64     test<unsigned>();
65     test<long long>();
66 }
67