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 3198–3204

npStep

Full file
3198def npStep =
3199  (lambda unrestricted register : (family X86NativeRegister64) .
3200    (lambda unrestricted value : Nat .
3201      (lambda unrestricted tail : (family X86NativeAssembly) .
3202        (nativePhysicalNativeEmit
3203          (nativePhysicalNativeAddImmediate register (x86NativeImmediate32FromNatural value))
3204          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.