Add documentation where it was missing.

Most types didn't have any documentation. Add it.

Author: tgross35

build.rs

@@ -4,7 +4,7 @@ const SRC_LIB_RS_CONTENTS: &str = include_str!("src/lib.rs");
 const EXPECTED_SRC_LIB_RS_PREFIX: &str = "\
 //! Port of LLVM's APFloat software floating-point implementation from the
 //! following C++ sources (please update commit hash when backporting):
-//! https://github.com/llvm/llvm-project/commit/";
+//! <https://github.com/llvm/llvm-project/commit/";
 
 fn main() {
     // HACK(eddyb) disable the default of re-running the build script on *any*
@@ -16,11 +16,14 @@ fn main() {
         .ok_or(())
         .map_err(|_| format!("expected `src/lib.rs` to start with:\n\n{EXPECTED_SRC_LIB_RS_PREFIX}"))
         .and_then(|commit_hash_plus_rest_of_file| {
-            Ok(commit_hash_plus_rest_of_file
+            commit_hash_plus_rest_of_file
                 .split_once('\n')
-                .ok_or("expected `src/lib.rs` to have more than 3 lines")?)
+                .ok_or("expected `src/lib.rs` to have more than 3 lines")?
+                .0
+                .strip_suffix(">")
+                .ok_or("expected trailing hyperlink anchor `>`".into())
         })
-        .and_then(|(commit_hash, _)| {
+        .and_then(|commit_hash| {
             if commit_hash.len() != 40 || !commit_hash.chars().all(|c| matches!(c, '0'..='9'|'a'..='f')) {
                 Err(format!("expected `src/lib.rs` to have a valid commit hash, found {commit_hash:?}"))
             } else {

src/ieee.rs

@@ -1,3 +1,5 @@
+//! Support for floating point types compatible with IEEE 754.
+
 use crate::{Category, ExpInt, IEK_INF, IEK_NAN, IEK_ZERO};
 use crate::{Float, FloatConvert, ParseError, Round, Status, StatusAnd};
 
@@ -8,6 +10,12 @@ use core::marker::PhantomData;
 use core::mem;
 use core::ops::Neg;
 
+/// A floating point number that uses IEEE semantics.
+///
+/// Usually you will want the type aliases ([`Single`], [`Double`], ...) rather than using this
+/// directly.
+///
+/// If `S` implements [`Semantics`], this type will implement [`Float`].
 #[must_use]
 pub struct IeeeFloat<S> {
     /// Absolute significand value (including the integer bit).
@@ -84,7 +92,7 @@ pub enum NonfiniteBehavior {
     /// Only the Float8E5M2 has this behavior. There is no Inf representation. A
     /// value is NaN if the exponent field and the mantissa field are all 1s.
     /// This behavior matches the FP8 E4M3 type described in
-    /// https://arxiv.org/abs/2209.05433. We treat both signed and unsigned NaNs
+    /// <https://arxiv.org/abs/2209.05433>. We treat both signed and unsigned NaNs
     /// as non-signalling, although the paper does not state whether the NaN
     /// values are signalling or not.
     NanOnly,
@@ -276,46 +284,75 @@ impl<S> Clone for IeeeFloat<S> {
 }
 
 macro_rules! ieee_semantics {
-    ($($name:ident = $sem:ident($bits:tt : $exp_bits:tt) $({ $($extra:tt)* })?),* $(,)?) => {
-        $(pub struct $sem;)*
-        $(pub type $name = IeeeFloat<$sem>;)*
-        $(impl Semantics for $sem {
-            const BITS: usize = $bits;
-            const EXP_BITS: usize = $exp_bits;
+    ($(
+        $(#[$meta:meta])*
+        $name:ident = $sem:ident($bits:tt : $exp_bits:tt) $({ $($extra:tt)* })?
+    ),* $(,)?) => {
+        $(
+            #[doc = concat!("Floating point semantics for [`", stringify!($name), "`].")]
+            ///
+            /// See that type for more details.
+            pub struct $sem;
+
+            $(#[$meta])*
+            pub type $name = IeeeFloat<$sem>;
 
-            $($($extra)*)?
-        })*
+            impl Semantics for $sem {
+                const BITS: usize = $bits;
+                const EXP_BITS: usize = $exp_bits;
+
+                $($($extra)*)?
+            }
+        )*
     }
 }
 
 ieee_semantics! {
+    /// IEEE binary16 half-precision (16-bit) floating point number.
     Half = HalfS(16:5),
+
+    /// IEEE binary32 single-precision (32-bit) floating point number.
     Single = SingleS(32:8),
+
+    /// IEEE binary64 double-precision (64-bit) floating point number.
     Double = DoubleS(64:11),
-    Quad = QuadS(128:15),
 
-    // Non-standard IEEE-like semantics:
+    /// IEEE binary128 quadruple-precision (128-bit) floating point number.
+    Quad = QuadS(128:15),
 
-    // FIXME(eddyb) document this as "Brain Float 16" (C++ didn't have docs).
+    /// 16-bit brain floating point number.
+    ///
+    /// This is not an IEEE kind but uses the same semantics.
     BFloat = BFloatS(16:8),
 
-    // 8-bit floating point number following IEEE-754 conventions with bit
-    // layout S1E5M2 as described in https://arxiv.org/abs/2209.05433.
+    /// 8-bit floating point number with S1E5M2 bit layout.
+    ///
+    /// Follows IEEE-754 conventions with S1E5M2 bit layout as described in
+    /// <https://arxiv.org/abs/2209.05433>.
     Float8E5M2 = Float8E5M2S(8:5),
 
-    // 8-bit floating point number mostly following IEEE-754 conventions with
-    // bit layout S1E4M3 as described in https://arxiv.org/abs/2209.05433.
-    // Unlike IEEE-754 types, there are no infinity values, and NaN is
-    // represented with the exponent and mantissa bits set to all 1s.
+    /// 8-bit floating point number with S1E4M3 bit layout.
+    ///
+    /// This type mostly follows IEEE-754 conventions with a
+    /// bit layout S1E4M3 as described in <https://arxiv.org/abs/2209.05433>.
+    /// Unlike IEEE-754 types, there are no infinity values, and NaN is
+    /// represented with the exponent and mantissa bits set to all 1s.
     Float8E4M3FN = Float8E4M3FNS(8:4) {
         const NONFINITE_BEHAVIOR: NonfiniteBehavior = NonfiniteBehavior::NanOnly;
     },
 }
 
 // FIXME(eddyb) consider moving X87-specific logic to a "has explicit integer bit"
 // associated `const` on `Semantics` itself.
+/// Floating point semantics for [`X87DoubleExtended`]
+///
+/// See that type for more details.
 pub struct X87DoubleExtendedS;
+
+/// 80-bit floating point number that uses IEEE extended precision semantics, as used
+/// by x87 `long double`.
 pub type X87DoubleExtended = IeeeFloat<X87DoubleExtendedS>;
+
 impl Semantics for X87DoubleExtendedS {
     const BITS: usize = 80;
     const EXP_BITS: usize = 15;

src/lib.rs

@@ -1,6 +1,6 @@
 //! Port of LLVM's APFloat software floating-point implementation from the
 //! following C++ sources (please update commit hash when backporting):
-//! https://github.com/llvm/llvm-project/commit/462a31f5a5abb905869ea93cc49b096079b11aa4
+//! <https://github.com/llvm/llvm-project/commit/462a31f5a5abb905869ea93cc49b096079b11aa4>
 //! * `llvm/include/llvm/ADT/APFloat.h` -> `Float` and `FloatConvert` traits
 //! * `llvm/lib/Support/APFloat.cpp` -> `ieee` and `ppc` modules
 //! * `llvm/unittests/ADT/APFloatTest.cpp` -> `tests` directory
@@ -64,6 +64,8 @@ bitflags! {
     }
 }
 
+/// The result of a computation including the output value and and any exceptions if there were
+/// errors.
 #[must_use]
 #[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Debug)]
 pub struct StatusAnd<T> {
@@ -72,12 +74,14 @@ pub struct StatusAnd<T> {
 }
 
 impl Status {
+    /// Add a value to this status to create a [`StatusAnd`].
     pub fn and<T>(self, value: T) -> StatusAnd<T> {
         StatusAnd { status: self, value }
     }
 }
 
 impl<T> StatusAnd<T> {
+    /// Keep the existing status but apply a transformation to `value`.
     pub fn map<F: FnOnce(T) -> U, U>(self, f: F) -> StatusAnd<U> {
         StatusAnd {
             status: self.status,
@@ -145,6 +149,7 @@ pub const IEK_INF: ExpInt = ExpInt::max_value();
 pub const IEK_NAN: ExpInt = ExpInt::min_value();
 pub const IEK_ZERO: ExpInt = ExpInt::min_value() + 1;
 
+/// An error creating a floating point from a string.
 #[derive(Copy, Clone, PartialEq, Eq, Debug)]
 pub struct ParseError(pub &'static str);
 
@@ -590,6 +595,7 @@ pub trait Float:
     }
 }
 
+/// Convert between floating point types.
 pub trait FloatConvert<T: Float>: Float {
     /// Convert a value of one floating point type to another.
     /// The return value corresponds to the IEEE754 exceptions. *loses_info
@@ -598,6 +604,8 @@ pub trait FloatConvert<T: Float>: Float {
     /// original value (this is almost the same as return value==Status::OK,
     /// but there are edge cases where this is not so).
     fn convert_r(self, round: Round, loses_info: &mut bool) -> StatusAnd<T>;
+
+    /// Convert with default [`NearestTiesToEven`](Round::NearestTiesToEven) rounding.
     fn convert(self, loses_info: &mut bool) -> StatusAnd<T> {
         self.convert_r(Round::NearestTiesToEven, loses_info)
     }

src/ppc.rs

@@ -1,13 +1,21 @@
+//! Support for floating point types that use PowerPC semantics.
+
 use crate::ieee;
 use crate::{Category, ExpInt, Float, FloatConvert, ParseError, Round, Status, StatusAnd};
 
 use core::cmp::Ordering;
 use core::fmt;
 use core::ops::Neg;
 
+/// A larger floating point number represented by two smaller floats.
 #[must_use]
 #[derive(Copy, Clone, PartialEq, PartialOrd, Debug)]
 pub struct DoubleFloat<F>(F, F);
+
+/// 128-bit floating point number comprised of two IEEE [`Double`](ieee::Double) values.
+///
+/// This is the "IBM Extended Double" format, described at
+/// <https://www.ibm.com/docs/bg/aix/7.1?topic=sepl-128-bit-long-double-floating-point-data-type>.
 pub type DoubleDouble = DoubleFloat<ieee::Double>;
 
 // These are legacy semantics for the Fallback, inaccrurate implementation of