100def lrLoad32 =
101 (lambda unrestricted destination : (family X86NativeRegister64) .
102 (lambda unrestricted base : (family X86NativeRegister64) .
103 (lambda unrestricted displacement : Nat .
104 (lambda unrestricted tail : (family X86NativeAssembly) .
105 (nativePhysicalNativeEmit
106 (constructor X86NativeInstruction X86NativeLoadMemory32ZeroExtend64 destination base (x86NativeDisplacement32FromNatural displacement))
107 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.