AlphaGitHub
Source/Packages

Runtime.NativePhysicalNative

packages/execution/src/Runtime/NativePhysicalNative.alpha

2,298 lines165 declarations135.2 KiBSHA-256 cd2006b824a4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 954–961

nativePhysicalNativeFloat64Dispatch

Full file
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.