869def x86NativeAddImmediate64Head :
870 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
871 (lambda unrestricted destination : (family X86NativeRegister64) .
872 (eliminate
873 X86NativeRegister64
874 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
875 destination
876 (branch X86NativeRAX . (bytes 72 129 192))
877 (branch X86NativeRCX . (bytes 72 129 193))
878 (branch X86NativeRDX . (bytes 72 129 194))
879 (branch X86NativeRBX . (bytes 72 129 195))
880 (branch X86NativeRSP . (bytes 72 129 196))
881 (branch X86NativeRBP . (bytes 72 129 197))
882 (branch X86NativeRSI . (bytes 72 129 198))
883 (branch X86NativeRDI . (bytes 72 129 199))
884 (branch X86NativeR8 . (bytes 73 129 192))
885 (branch X86NativeR9 . (bytes 73 129 193))
886 (branch X86NativeR10 . (bytes 73 129 194))
887 (branch X86NativeR11 . (bytes 73 129 195))
888 (branch X86NativeR12 . (bytes 73 129 196))
889 (branch X86NativeR13 . (bytes 73 129 197))
890 (branch X86NativeR14 . (bytes 73 129 198))
891 (branch X86NativeR15 . (bytes 73 129 199))))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.