AlphaGitHub
Source/Packages

Runtime.NativeTelemetryCapture

packages/execution/src/Runtime/NativeTelemetryCapture.alpha

290 lines32 declarations10.6 KiBSHA-256 121f68d414a3
Download exact fileView at revision426597bda5753d86c4

def · lines 168–182

captureBackendJumpIf

Full file
168def captureBackendJumpIf =
169  (lambda unrestricted condition : (family TelemetryCaptureCondition) .
170    (captureJumpIf
171      (eliminate
172        TelemetryCaptureCondition
173        (lambda unrestricted current : (family TelemetryCaptureCondition) .
174          (family X86NativeCondition))
175        condition
176        (branch TelemetryCaptureZero . (constructor X86NativeCondition X86NativeConditionZero))
177        (branch
178          TelemetryCaptureNotZero
179          .
180          (constructor X86NativeCondition X86NativeConditionNotZero))
181        (branch TelemetryCaptureBelow . (constructor X86NativeCondition X86NativeConditionBelow))
182        (branch TelemetryCaptureAbove . (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.