in the dispatch: each tag to its entry
954def nativePhysicalNativeFloat64Dispatch =
955 (nativePhysicalNativeFloat64Entries
956 (lambda unrestricted tag : Byte .
957 (lambda unrestricted operation : (pi unrestricted after : (family X86NativeAssembly) . (family X86NativeAssembly)) .
958 (lambda unrestricted rest : (family X86NativeAssembly) .
959 (nativePhysicalNativeEmit
960 (nativePhysicalNativeCompareImmediate (constructor X86NativeRegister64 X86NativeRAX) (nativePhysicalNativeI32Byte tag))
961 (nativePhysicalNativeJumpCondition (constructor X86NativeCondition X86NativeConditionZero) (nativePhysicalNativeFloat64Label tag) 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.