add make_complex and make_real

Author: Sh0g0-1758

libc/src/__support/complex_type.h

@@ -10,15 +10,47 @@
 #define LLVM_LIBC_SRC___SUPPORT_COMPLEX_TYPE_H
 
 #include "src/__support/macros/config.h"
+#include "src/__support/macros/properties/complex_types.h"
+#include "src/__support/macros/properties/types.h"
 
 namespace LIBC_NAMESPACE_DECL {
 template <typename T> struct Complex {
   T real;
   T imag;
 };
 
-template <typename T, typename U> T conjugate(T c) {
-  Complex<U> c_c = cpp::bit_cast<Complex<U>>(c);
+template <typename T> struct make_complex;
+
+template<> struct make_complex<float> { using type = _Complex float; };
+template<> struct make_complex<double> { using type = _Complex double; };
+template<> struct make_complex<long double> { using type = _Complex long double; };
+
+#if defined(LIBC_TYPES_HAS_CFLOAT16)
+  template<> struct make_complex<float16> { using type = cfloat16; };
+#endif
+#if defined(LIBC_TYPES_HAS_CFLOAT128)
+  template<> struct make_complex<float128> { using type = cfloat128; };
+#endif
+
+template<typename T> using make_complex_t = typename make_complex<T>::type;
+
+template <typename T> struct make_real;
+
+template<> struct make_real<_Complex float> { using type = float; };
+template<> struct make_real<_Complex double> { using type = double; };
+template<> struct make_real<_Complex long double> { using type = long double; };
+
+#if defined(LIBC_TYPES_HAS_CFLOAT16)
+  template<> struct make_real<cfloat16> { using type = float16; };
+#endif
+#if defined(LIBC_TYPES_HAS_CFLOAT128)
+  template<> struct make_real<cfloat128> { using type = float128; };
+#endif
+
+template<typename T> using make_real_t = typename make_real<T>::type;
+
+template <typename T> T conjugate(T c) {
+  Complex<make_real_t<T>> c_c = cpp::bit_cast<Complex<make_real_t<T>>>(c);
   c_c.imag = -c_c.imag;
   return cpp::bit_cast<T>(c_c);
 }

libc/src/complex/generic/conj.cpp

@@ -14,7 +14,7 @@
 namespace LIBC_NAMESPACE_DECL {
 
 LLVM_LIBC_FUNCTION(_Complex double, conj, (_Complex double x)) {
-  return conjugate<_Complex double, double>(x);
+  return conjugate<_Complex double>(x);
 }
 
 } // namespace LIBC_NAMESPACE_DECL

libc/src/complex/generic/conjf.cpp

@@ -14,7 +14,7 @@
 namespace LIBC_NAMESPACE_DECL {
 
 LLVM_LIBC_FUNCTION(_Complex float, conjf, (_Complex float x)) {
-  return conjugate<_Complex float, float>(x);
+  return conjugate<_Complex float>(x);
 }
 
 } // namespace LIBC_NAMESPACE_DECL

libc/src/complex/generic/conjf128.cpp

@@ -16,7 +16,7 @@
 namespace LIBC_NAMESPACE_DECL {
 
 LLVM_LIBC_FUNCTION(cfloat128, conjf128, (cfloat128 x)) {
-  return conjugate<cfloat128, float128>(x);
+  return conjugate<cfloat128>(x);
 }
 
 } // namespace LIBC_NAMESPACE_DECL

libc/src/complex/generic/conjf16.cpp

@@ -16,7 +16,7 @@
 namespace LIBC_NAMESPACE_DECL {
 
 LLVM_LIBC_FUNCTION(cfloat16, conjf16, (cfloat16 x)) {
-  return conjugate<cfloat16, float16>(x);
+  return conjugate<cfloat16>(x);
 }
 
 } // namespace LIBC_NAMESPACE_DECL

libc/src/complex/generic/conjl.cpp

@@ -14,7 +14,7 @@
 namespace LIBC_NAMESPACE_DECL {
 
 LLVM_LIBC_FUNCTION(_Complex long double, conjl, (_Complex long double x)) {
-  return conjugate<_Complex long double, long double>(x);
+  return conjugate<_Complex long double>(x);
 }
 
 } // namespace LIBC_NAMESPACE_DECL