1 files changed, 63 insertions, 1 deletions
diff --git a/src/complex/clog.c b/src/complex/clog.c
index ad8ec1da..53c209c1 100644
--- a/src/complex/clog.c
+++ b/src/complex/clog.c
@@ -1,10 +1,72 @@
 # define TGSOURCE "../complex/clog.c"
 #include "_tgmath.h"
-
 #include <complex.h>
+#include "math.h"
+#include "fenv.h"
+
+#include "../math/M_PI.c"
+#include "../math/M_PI_2.c"
+#include "../math/M_PI_4.c"
 
 TYPE complex TGFN(clog)(TYPE complex z)
 {
+	int classr = fpclassify(TGFN(creal)(z));
+	int classi = fpclassify(TGFN(cimag)(z));
+	int signr = signbit(TGFN(creal)(z));
+	int signi = signbit(TGFN(cimag)(z));
+
+	if (classr == FP_ZERO && signr && classi == FP_ZERO) {
+		feraiseexcept(FE_DIVBYZERO);
+		return TGCMPLX(-INFINITY, M_PI);
+	}
+
+	if (classr == FP_ZERO && !signr && classi == FP_ZERO) {
+		feraiseexcept(FE_DIVBYZERO);
+		return TGCMPLX(-INFINITY, 0.0);
+	}
+
+	if (classr != FP_INFINITE && classi == FP_INFINITE) {
+		return TGCMPLX(INFINITY, M_PI_2);
+	}
+
+	if (classr != FP_INFINITE && classi == FP_NAN) {
+		feraiseexcept(FE_INVALID);
+		return TGCMPLX(NAN, NAN);
+	}
+
+	if (classr == FP_INFINITE && signr && classi != FP_INFINITE && !signi) {
+		return TGCMPLX(INFINITY, M_PI);
+	}
+
+	if (classr == FP_INFINITE && !signr && classi != FP_INFINITE && !signi) {
+		return TGCMPLX(INFINITY, 0.0);
+	}
+
+	if (classr == FP_INFINITE && signr && classi == FP_INFINITE) {
+		return TGCMPLX(INFINITY, 3 * M_PI_4);
+	}
+
+	if (classr == FP_INFINITE && !signr && classi == FP_INFINITE) {
+		return TGCMPLX(INFINITY, M_PI_4);
+	}
+
+	if (classr == FP_INFINITE && classi == FP_NAN) {
+		return TGCMPLX(INFINITY, NAN);
+	}
+
+	if (classr == FP_NAN && classi != FP_INFINITE) {
+		feraiseexcept(FE_INVALID);
+		return TGCMPLX(NAN, NAN);
+	}
+
+	if (classr == FP_NAN && classi == FP_INFINITE) {
+		return TGCMPLX(INFINITY, NAN);
+	}
+
+	if (classr == FP_NAN && classi == FP_NAN) {
+		return TGCMPLX(NAN, NAN);
+	}
+
 	return z;
 }