917def x86NativeCompareImmediate64Head :
918 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
919 (lambda unrestricted destination : (family X86NativeRegister64) .
920 (eliminate
921 X86NativeRegister64
922 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
923 destination
924 (branch X86NativeRAX . (bytes 72 129 248))
925 (branch X86NativeRCX . (bytes 72 129 249))
926 (branch X86NativeRDX . (bytes 72 129 250))
927 (branch X86NativeRBX . (bytes 72 129 251))
928 (branch X86NativeRSP . (bytes 72 129 252))
929 (branch X86NativeRBP . (bytes 72 129 253))
930 (branch X86NativeRSI . (bytes 72 129 254))
931 (branch X86NativeRDI . (bytes 72 129 255))
932 (branch X86NativeR8 . (bytes 73 129 248))
933 (branch X86NativeR9 . (bytes 73 129 249))
934 (branch X86NativeR10 . (bytes 73 129 250))
935 (branch X86NativeR11 . (bytes 73 129 251))
936 (branch X86NativeR12 . (bytes 73 129 252))
937 (branch X86NativeR13 . (bytes 73 129 253))
938 (branch X86NativeR14 . (bytes 73 129 254))
939 (branch X86NativeR15 . (bytes 73 129 255))))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.