946def x86NativeShiftLeftImmediate64Head :
947 (pi unrestricted destination : (family X86NativeRegister64) . Bytes) =
948 (lambda unrestricted destination : (family X86NativeRegister64) .
949 (eliminate
950 X86NativeRegister64
951 (lambda unrestricted value : (family X86NativeRegister64) . Bytes)
952 destination
953 (branch X86NativeRAX . (bytes 72 193 224))
954 (branch X86NativeRCX . (bytes 72 193 225))
955 (branch X86NativeRDX . (bytes 72 193 226))
956 (branch X86NativeRBX . (bytes 72 193 227))
957 (branch X86NativeRSP . (bytes 72 193 228))
958 (branch X86NativeRBP . (bytes 72 193 229))
959 (branch X86NativeRSI . (bytes 72 193 230))
960 (branch X86NativeRDI . (bytes 72 193 231))
961 (branch X86NativeR8 . (bytes 73 193 224))
962 (branch X86NativeR9 . (bytes 73 193 225))
963 (branch X86NativeR10 . (bytes 73 193 226))
964 (branch X86NativeR11 . (bytes 73 193 227))
965 (branch X86NativeR12 . (bytes 73 193 228))
966 (branch X86NativeR13 . (bytes 73 193 229))
967 (branch X86NativeR14 . (bytes 73 193 230))
968 (branch X86NativeR15 . (bytes 73 193 231))))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.