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 1311–1314

x86NativeDisplacement32FromNatural

Full file
1311def x86NativeDisplacement32FromNatural = (lambda unrestricted value : Nat .
1312  (constructor X86NativeDisplacement32 X86NativeDisplacement32Value
1313    (x86NativeByteOfNatural value 1) (x86NativeByteOfNatural value 256)
1314    (x86NativeByteOfNatural value 65536) (x86NativeByteOfNatural value 16777216)))

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.