AlphaGitHub
Source/Packages

Compiler.MachineX86Native

packages/compiler/src/Compiler/MachineX86Native.alpha

1,328 lines243 declarations57.5 KiBSHA-256 f058aa38fb90
Download exact fileView at revision426597bda5753d86c4

def · lines 1318–1328

x86NativeImmediate64FromNatural

Full file
Truncating low-word construction, like the 32-bit constructor above. The caller admits the semantic range; byte scales come from word position.
1318def x86NativeImmediate64FromNatural =
1319  (lambda unrestricted value : Nat .
1320    (constructor X86NativeImmediate64 X86NativeImmediate64Value
1321      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 0)))
1322      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 1)))
1323      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 2)))
1324      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 3)))
1325      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 4)))
1326      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 5)))
1327      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 6)))
1328      (x86NativeByteOfNatural value (naturalPowerOfTwo (naturalMultiply 8 7)))))

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.