ldexpf now signals FE_OVERFLOW and FE_UNDERFLOW

Author: ZERICO2005

src/libc/ldexpf.src

@@ -129,24 +129,26 @@ _ldexpf:
 	jr	nc, _ldexpf.shru_common
 ; .underflow:
 	inc	b	; ld b, 0 ; sets Z
-.underflow_to_zero:	; <-- Z is set when underflowing to zero
 .overflow_to_inf:	; <-- NZ is set when infinite
-.raise_erange_avoid_negative_zero:
+	ld	a, $28	; FE_OVERFLOW | FE_INEXACT
+.underflow_to_zero:	; <-- Z is set when underflowing to zero
+.raise_erange:
 	ld	hl, $800000
 	jr	nz, .overflow
+	ld	a, $24	; FE_UNDERFLOW | FE_INEXACT
 	add	hl, hl	; ld hl, 0
 if __ldexpf_avoid_negative_zero
 	; prevents negative zero from being emitted on underflow
 	res	7, (iy + 6)
 end if
 .overflow:
 	ex	de, hl
-.raise_erange:
 	ld	hl, 5	; ERANGE
 	ld	(_errno), hl
 .raise_inexact:
 	ld	hl, ___fe_cur_env
-	set	5, (hl)	; FE_INEXACT
+	or	a, (hl)
+	ld	(hl), a
 .result_is_exact:
 	ld	a, (iy + 6)	; expon
 	rla	; extract signbit
@@ -214,13 +216,10 @@ end if
 	ld	a, c	; UDE
 	or	a, d
 	or	a, e
+	ld	a, $20	; FE_INEXACT
 	jr	nz, .raise_inexact
 	; NZ needs to be set here
-if __ldexpf_avoid_negative_zero
-	jr	.raise_erange_avoid_negative_zero
-else
 	jr	.raise_erange
-end if
 
 	extern	_errno
 	extern	___fe_cur_env

test/floating_point/float32_ldexp/src/main.c

@@ -65,11 +65,18 @@ size_t run_test(void) {
             F32_pun mant_0, mant_1;
             mant_0.flt = frexpf(fabsf(input[i].value.flt), &temp);
             mant_1.flt = frexpf(fabsf(output[i].flt     ), &temp);
-            bool inexact_raised = fetestexcept(FE_INEXACT);
+            unsigned char fe_val = __fe_cur_env;
+            bool inexact_raised = (fe_val & FE_INEXACT);
+            bool underflow_raised = (fe_val & FE_UNDERFLOW);
+            bool overflow_raised = (fe_val & FE_OVERFLOW);
             bool mant_equal = (mant_0.bin == mant_1.bin);
             bool became_zero = (mant_0.bin != 0 && mant_1.bin == 0);
             bool became_infinite = (mant_0.bin != UINT32_C(0x7F800000) && mant_1.bin == UINT32_C(0x7F800000));
-            if (!((mant_equal != inexact_raised) && ((became_zero || became_infinite) == (errno == ERANGE)))) {
+            if (!(
+                (mant_equal != inexact_raised) &&
+                ((became_zero || became_infinite) == (errno == ERANGE)) &&
+                (became_zero == underflow_raised) && (became_infinite == overflow_raised)
+            )) {
                 test_printf(
                     "%zu: FE: %02X errno: %d\nI: %08lX %+d\nO: %08lX\n",
                     i, (unsigned int)__fe_cur_env, errno,