AlphaGitHub
Source/Packages

Runtime.NativeWordDigest

packages/execution/src/Runtime/NativeWordDigest.alpha

342 lines51 declarations11.2 KiBSHA-256 b14cc5efb6fc
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 69–79

digestLoad32

Full file
69def digestLoad32 =
70  (lambda unrestricted d : (family X86NativeRegister64) .
71    (lambda unrestricted base : (family X86NativeRegister64) .
72      (lambda unrestricted at : Nat .
73        (digestEmit
74          (constructor
75            X86NativeInstruction
76            X86NativeLoadMemory32ZeroExtend64
77            d
78            base
79            (digestDisp at))))))

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.