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.
2187def nativePhysicalNativeAddBlock =
2188 (lambda unrestricted tail : (family X86NativeAssembly) .
2189 (nativePhysicalNativeLabel nativePhysicalNativeLabelDispatchAdd
2190 (nativePhysicalNativeResolveCall (byte 64) npRSI
2191 (nativePhysicalNativeResolveCall (byte 88) npR11
2192 (nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
2193 (nativePhysicalNativeResolveCall (byte 112) npR11
2194 (nativePhysicalNativeEmit (constructor X86NativeInstruction X86NativeMoveFromXMM64 npRAX npXMM0)
2195 (npAdd npRAX npR11
2196 (npStore64 npRSI nativePhysicalNativeD0 npRAX
2197 (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.