970def x86NativeShiftRightImmediate64Head :
971 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
972 (lambda unrestricted destination : (family X86NativeRegister64) .
973 (eliminate
974 X86NativeRegister64
975 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
976 destination
977 (branch X86NativeRAX . (bytes 72 193 232))
978 (branch X86NativeRCX . (bytes 72 193 233))
979 (branch X86NativeRDX . (bytes 72 193 234))
980 (branch X86NativeRBX . (bytes 72 193 235))
981 (branch X86NativeRSP . (bytes 72 193 236))
982 (branch X86NativeRBP . (bytes 72 193 237))
983 (branch X86NativeRSI . (bytes 72 193 238))
984 (branch X86NativeRDI . (bytes 72 193 239))
985 (branch X86NativeR8 . (bytes 73 193 232))
986 (branch X86NativeR9 . (bytes 73 193 233))
987 (branch X86NativeR10 . (bytes 73 193 234))
988 (branch X86NativeR11 . (bytes 73 193 235))
989 (branch X86NativeR12 . (bytes 73 193 236))
990 (branch X86NativeR13 . (bytes 73 193 237))
991 (branch X86NativeR14 . (bytes 73 193 238))
992 (branch X86NativeR15 . (bytes 73 193 239))))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.