AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,650 lines210 declarations198.6 KiBSHA-256 028b70105699
Download exact fileView at revision426597bda5753d86c4

def · lines 3415–3421

npImmediate

Full file
3415def npImmediate =
3416  (lambda unrestricted register : (family X86NativeRegister64) .
3417    (lambda unrestricted value : Nat .
3418      (lambda unrestricted tail : (family X86NativeAssembly) .
3419        (nativePhysicalNativeEmit
3420          (nativePhysicalNativeMoveImmediate32 register (x86NativeImmediate32FromNatural value))
3421          tail))))

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.