x86-64-sse-scalar-strict (PRD 08 N6): SSE scalar single precision, round to
nearest even, no contraction, strict left-fold order, subnormals preserved
(MXCSR FTZ/DAZ clear, asserted at entry), IEEE exceptional values with the
x86 default NaN. add/subtract/multiply/divide are exact (correctly rounded
by the hardware); the correctly-rounded square root is the declared
extension AdamW needs and is NOT realized at HEAD (Unsupported until its
lowering lands -- the value may narrow, never overstate); the MUFU-style
operations have no x86 realization.
574def stdProfileX86SseScalarStrict : (family StdNumericProfile) =
575 (constructor
576 StdNumericProfile
577 StdNumericProfileOf
578 (constructor StdNumericProfileIdentity StdProfileIdentityX86SseScalarStrict)
579 (constructor StdNumericFormat StdFormatBinary32)
580 (constructor StdNumericFormat StdFormatBinary32)
581 (constructor StdRounding StdRoundNearestEven)
582 (constructor StdContraction StdContractionForbidden)
583 (constructor StdReductionOrder StdReductionStrictLeftFold)
584 (constructor StdSubnormalHandling StdSubnormalsPreserved)
585 (constructor StdExceptionalValues StdExceptionalIEEE)
586 (stdTableCons
587 (stdEntry stdOpAdd stdExact)
588 (stdTableCons
589 (stdEntry stdOpSubtract stdExact)
590 (stdTableCons
591 (stdEntry stdOpMultiply stdExact)
592 (stdTableCons
593 (stdEntry stdOpDivide stdExact)
594 (stdTableCons
595 (stdEntry stdOpSquareRoot stdUnsupported)
596 (stdTableCons
597 (stdEntry stdOpReciprocal stdUnsupported)
598 (stdTableCons
599 (stdEntry stdOpReciprocalSquareRoot stdUnsupported)
600 (stdTableCons
601 (stdEntry stdOpExp2 stdUnsupported)
602 (stdTableCons (stdEntry stdOpTanh stdUnsupported) 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.