AddWord64: operand 1 plus operand 2 (modulo 2^64) into the address operand
0 resolves to (in rsi, which the resolver leaves). The left value waits
in xmm0 while the right one resolves (the resolver touches no XMM
register), so either may read the destination.
3068def nativePhysicalNativeAddBlock =
3069 (lambda unrestricted tail : (family X86NativeAssembly) .
3070 (nativePhysicalNativeLabel
3071 nativePhysicalNativeLabelDispatchAdd
3072 (nativePhysicalNativeResolveCall
3073 (byte 64)
3074 npRSI
3075 (nativePhysicalNativeResolveCall
3076 (byte 88)
3077 npR11
3078 (nativePhysicalNativeEmit
3079 (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
3080 (nativePhysicalNativeResolveCall
3081 (byte 112)
3082 npR11
3083 (nativePhysicalNativeEmit
3084 (constructor X86NativeInstruction X86NativeMoveFromXMM64 npRAX npXMM0)
3085 (npAdd
3086 npRAX
3087 npR11
3088 (npStore64
3089 npRSI
3090 nativePhysicalNativeD0
3091 npRAX
3092 (nativePhysicalNativeJump nativePhysicalNativeLabelAdvance tail))))))))))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.