AlphaGitHub
Source/Packages

Runtime.NativeTelemetrySeal

packages/execution/src/Runtime/NativeTelemetrySeal.alpha

153 lines45 declarations8.8 KiBSHA-256 7997084f662a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 139–144

sealBackendJump

Full file
139def sealBackendJump = (lambda unrestricted condition : (family TelemetrySealCondition) .
140  (eliminate TelemetrySealCondition
141    (lambda unrestricted current : (family TelemetrySealCondition) .
142      (pi unrestricted name : Bytes . (pi unrestricted rest : (family X86NativeAssembly) . (family X86NativeAssembly)))) condition
143    (branch TelemetrySealBelow . (sealJumpIf (constructor X86NativeCondition X86NativeConditionBelow)))
144    (branch TelemetrySealNotZero . (sealJumpIf (constructor X86NativeCondition X86NativeConditionNotZero)))))

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.