AlphaGitHub
Source/Packages

Std.Float

packages/foundation/standard/src/Std/Float.alpha

655 lines58 declarations25.1 KiBSHA-256 98de1bd43fa8
Download exact fileView at revisionf5034773ad4bb52133

def · lines 87–102

stdF32ExponentAllOnes

Full file
exponent field all ones: byte 3 low seven bits = 0x7f and byte 2 high bit set
87def stdF32ExponentAllOnes =
88  (lambda unrestricted value : (family InferenceFloat32) .
89    (eliminate
90      InferenceFloat32
91      (lambda unrestricted current : (family InferenceFloat32) . Nat)
92      value
93      (branch
94        InferenceFloat32Bits
95        b0
96        b1
97        b2
98        b3
99        .
100        (stdFlagAnd
101          (stdFlagOr (byte-equal b3 (byte 127)) (byte-equal b3 (byte 255)))
102          (stdFlagNot (byte-less-than b2 (byte 128)))))))

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.