fill out special cases outlined in C18 annex G

1 files changed, 50 insertions, 1 deletions

diff --git a/src/complex/casinh.c b/src/complex/casinh.c
index 9251ce37..8cc39474 100644
--- a/src/complex/casinh.c
+++ b/src/complex/casinh.c
@@ -1,10 +1,59 @@
 # define TGSOURCE "../complex/casinh.c"
 #include "_tgmath.h"
-
 #include <complex.h>
+#include "math.h"
+#include "fenv.h"
+
+#include "../math/M_PI_4.c"
 
 TYPE complex TGFN(casinh)(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 && classi == FP_ZERO) {
+		return TGCMPLX(0.0, 0.0);
+	}
+
+	if (classr != FP_INFINITE && !signr && classi == FP_INFINITE) {
+		return TGCMPLX(INFINITY, NAN);
+	}
+
+	if (classr != FP_INFINITE && classi == FP_NAN) {
+		return TGCMPLX(NAN, NAN);
+	}
+
+	if (classr == FP_INFINITE && classi != FP_INFINITE && !signi) {
+		return TGCMPLX(INFINITY, 0.0);
+	}
+
+	if (classr == FP_INFINITE && 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_ZERO) {
+		return TGCMPLX(NAN, 0.0);
+	}
+
+	if (classr == FP_NAN && classi != FP_INFINITE && classi != FP_ZERO) {
+		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;
 }