sm86-cooperative-m0: the profile the D-ladder actually ran. FFMA contraction
is permitted where the lowering emits it; the reduction order is the
D-ladder's declared tree; flush-to-zero and every MUFU bound are MEASURED
facts (PRD 17 H2) and are Unmeasured until the L26 pod probe records them.
add/subtract/multiply as emitted (FADD/FMUL, or the fused FFMA's own
rounding) are exact; division on SM86 goes through a reciprocal
approximation and is Unmeasured, not assumed exact.
611def stdProfileSm86CooperativeM0 : (family StdNumericProfile) =
612 (constructor
613 StdNumericProfile
614 StdNumericProfileOf
615 (constructor StdNumericProfileIdentity StdProfileIdentitySm86CooperativeM0)
616 (constructor StdNumericFormat StdFormatBinary32)
617 (constructor StdNumericFormat StdFormatBinary32)
618 (constructor StdRounding StdRoundNearestEven)
619 (constructor StdContraction StdContractionPermittedWhereEmitted)
620 (constructor StdReductionOrder StdReductionDeclaredTree)
621 (constructor StdSubnormalHandling StdSubnormalsUnmeasured)
622 (constructor StdExceptionalValues StdExceptionalIEEE)
623 (stdTableCons
624 (stdEntry stdOpAdd stdExact)
625 (stdTableCons
626 (stdEntry stdOpSubtract stdExact)
627 (stdTableCons
628 (stdEntry stdOpMultiply stdExact)
629 (stdTableCons
630 (stdEntry stdOpDivide stdUnmeasured)
631 (stdTableCons
632 (stdEntry stdOpSquareRoot stdUnmeasured)
633 (stdTableCons
634 (stdEntry stdOpReciprocal stdUnmeasured)
635 (stdTableCons
636 (stdEntry stdOpReciprocalSquareRoot stdUnmeasured)
637 (stdTableCons
638 (stdEntry stdOpExp2 stdUnmeasured)
639 (stdTableCons (stdEntry stdOpTanh stdUnmeasured) stdTableEmpty))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.