122def identityLoad =
123 (lambda unrestricted register : (family X86NativeRegister64) .
124 (lambda unrestricted offset : Nat .
125 (identityEmit
126 (constructor
127 X86NativeInstruction
128 X86NativeLoadMemory64
129 register
130 identityRDI
131 (x86NativeDisplacement32FromNatural offset)))))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.