AlphaGitHub
Source/Packages

Runtime.NativeTelemetryDrain

packages/execution/src/Runtime/NativeTelemetryDrain.alpha

1,049 lines25 declarations49.5 KiBSHA-256 9b04cf809111
Download exact fileView at revision426597bda5753d86c4

def · lines 27–38

drainX86JumpIf

Full file
System V realization of shared staging/tag semantics. Registers and instruction choices preserve the existing routine identities.
27def drainX86JumpIf =
28  (lambda unrestricted condition : (family TelemetryDrainCondition) .
29    (digestJumpIf
30      (eliminate
31        TelemetryDrainCondition
32        (lambda unrestricted current : (family TelemetryDrainCondition) .
33          (family X86NativeCondition))
34        condition
35        (branch TelemetryDrainZero . (constructor X86NativeCondition X86NativeConditionZero))
36        (branch TelemetryDrainNotZero . (constructor X86NativeCondition X86NativeConditionNotZero))
37        (branch TelemetryDrainBelow . (constructor X86NativeCondition X86NativeConditionBelow))
38        (branch TelemetryDrainAbove . (constructor X86NativeCondition X86NativeConditionAbove)))))

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.