[libc-commits] [libc] [libc][math][c23] Add f16fmaf C23 math function (PR #95483)

[via libc-commits]

================
@@ -168,17 +168,12 @@ fma(InType x, InType y, InType z) {
   //      z :    10aa...a
   // - prod :     1bb...bb....b
   // In that case, in order to store the exact result, we need at least
-  //   (Length of prod) - (MantissaLength of z) = 2*(52 + 1) - 52 = 54.
-  // TODO:                            53? (Explicit mantissa.) ^
+  //   (Length of prod) - (Fraction length of z) = 2*(52 + 1) - 52 = 54.
----------------
overmighty wrote:

Not sure if the explanation of `- 52` is right.

https://github.com/llvm/llvm-project/pull/95483