2863def nativePhysicalNativeFloat64Block =
2864 (nativePhysicalNativeFloat64Entries
2865 (lambda unrestricted tag : Byte .
2866 (lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
2867 (lambda unrestricted rest : (family X86NativeAssembly) .
2868 (nativePhysicalNativeLabel
2869 (nativePhysicalNativeFloat64Label tag)
2870 (nativePhysicalNativeResolveCall
2871 (byte 64)
2872 npRSI
2873 (nativePhysicalNativeResolveCall
2874 (byte 88)
2875 npR11
2876 (nativePhysicalNativeEmit
2877 (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
2878 (nativePhysicalNativeResolveCall
2879 (byte 112)
2880 npR11
2881 (nativePhysicalNativeEmit
2882 (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM1 npR11)
2883 (operation
2884 (npStore64
2885 npRSI
2886 nativePhysicalNativeD0
2887 npRAX
2888 (nativePhysicalNativeJump nativePhysicalNativeLabelAdvance rest)))))))))))))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.