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.
2837def nativePhysicalNativeAddBlock =
2838 (lambda unrestricted tail : (family X86NativeAssembly) .
2839 (nativePhysicalNativeLabel
2840 nativePhysicalNativeLabelDispatchAdd
2841 (nativePhysicalNativeResolveCall
2842 (byte 64)
2843 npRSI
2844 (nativePhysicalNativeResolveCall
2845 (byte 88)
2846 npR11
2847 (nativePhysicalNativeEmit
2848 (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
2849 (nativePhysicalNativeResolveCall
2850 (byte 112)
2851 npR11
2852 (nativePhysicalNativeEmit
2853 (constructor X86NativeInstruction X86NativeMoveFromXMM64 npRAX npXMM0)
2854 (npAdd
2855 npRAX
2856 npR11
2857 (npStore64
2858 npRSI
2859 nativePhysicalNativeD0
2860 npRAX
2861 (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.