Computes the fused multiply-add x * y + z of three floating point numbers and rounds the
result according to the given specification. The product x * y is exact and never rounded
on its own; only the final sum is rounded.
Equations
- One or more equations did not get rendered due to their size.
- Float.Model.UnpackedFloat.fma spec Float.Model.UnpackedFloat.notANumber x✝¹ x✝ = Float.Model.UnpackedFloat.notANumber
- Float.Model.UnpackedFloat.fma spec x✝¹ Float.Model.UnpackedFloat.notANumber x✝ = Float.Model.UnpackedFloat.notANumber
- Float.Model.UnpackedFloat.fma spec x✝¹ x✝ Float.Model.UnpackedFloat.notANumber = Float.Model.UnpackedFloat.notANumber
- Float.Model.UnpackedFloat.fma spec (Float.Model.UnpackedFloat.zero sign) (Float.Model.UnpackedFloat.infinity sign_1) x✝ = Float.Model.UnpackedFloat.notANumber
- Float.Model.UnpackedFloat.fma spec (Float.Model.UnpackedFloat.infinity sign) (Float.Model.UnpackedFloat.zero sign_1) x✝ = Float.Model.UnpackedFloat.notANumber
- Float.Model.UnpackedFloat.fma spec (Float.Model.UnpackedFloat.infinity sign₁) (Float.Model.UnpackedFloat.infinity sign₂) x✝ = Float.Model.UnpackedFloat.infinity (sign₁ * sign₂)
- Float.Model.UnpackedFloat.fma spec x✝¹ x✝ (Float.Model.UnpackedFloat.infinity sign₃) = Float.Model.UnpackedFloat.infinity sign₃
- Float.Model.UnpackedFloat.fma spec (Float.Model.UnpackedFloat.zero sign) x✝¹ x✝ = x✝
- Float.Model.UnpackedFloat.fma spec x✝¹ (Float.Model.UnpackedFloat.zero sign) x✝ = x✝