AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

3,420 lines207 declarations187.4 KiBSHA-256 9c16b0741974
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 3190–3196

npImmediate

Full file
3190def npImmediate =
3191  (lambda unrestricted register : (family X86NativeRegister64) .
3192    (lambda unrestricted value : Nat .
3193      (lambda unrestricted tail : (family X86NativeAssembly) .
3194        (nativePhysicalNativeEmit
3195          (nativePhysicalNativeMoveImmediate32 register (x86NativeImmediate32FromNatural value))
3196          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.