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 3423–3429

npStep

Full file
3423def npStep =
3424  (lambda unrestricted register : (family X86NativeRegister64) .
3425    (lambda unrestricted value : Nat .
3426      (lambda unrestricted tail : (family X86NativeAssembly) .
3427        (nativePhysicalNativeEmit
3428          (nativePhysicalNativeAddImmediate register (x86NativeImmediate32FromNatural value))
3429          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.