AlphaGitHub
Source/Packages

Compiler.MachineX86Native

packages/compiler/src/Compiler/MachineX86Native.alpha

1,314 lines242 declarations56.6 KiBSHA-256 b3ccf0f17d32
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1305–1306

x86NativeByteOfNatural

Full file
Truncating low-word constructors; sign interpretation is the instruction's contract. This keeps signed offsets and unsigned constants out of handwritten per-routine byte decompositions.
1305def x86NativeByteOfNatural = (lambda unrestricted value : Nat . (lambda unrestricted scale : Nat .
1306  (nat-to-byte (naturalModuloUnchecked (naturalDivideUnchecked value scale) 256))))

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.