3094def nativePhysicalNativeFloat64Block =
3095 (nativePhysicalNativeFloat64Entries
3096 (lambda unrestricted tag : Byte .
3097 (lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
3098 (lambda unrestricted rest : (family X86NativeAssembly) .
3099 (nativePhysicalNativeLabel
3100 (nativePhysicalNativeFloat64Label tag)
3101 (nativePhysicalNativeResolveCall
3102 (byte 64)
3103 npRSI
3104 (nativePhysicalNativeResolveCall
3105 (byte 88)
3106 npR11
3107 (nativePhysicalNativeEmit
3108 (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM0 npR11)
3109 (nativePhysicalNativeResolveCall
3110 (byte 112)
3111 npR11
3112 (nativePhysicalNativeEmit
3113 (constructor X86NativeInstruction X86NativeMoveToXMM64 npXMM1 npR11)
3114 (operation
3115 (npStore64
3116 npRSI
3117 nativePhysicalNativeD0
3118 npRAX
3119 (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.