AlphaGitHub
Source/Packages

Runtime.NativeWordDigest

packages/execution/src/Runtime/NativeWordDigest.alpha

342 lines51 declarations11.2 KiBSHA-256 b14cc5efb6fc
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 193–216

digestBackendJump

Full file
193def digestBackendJump =
194  (lambda unrestricted condition : (family WordDigestCondition) .
195    (eliminate
196      WordDigestCondition
197      (lambda unrestricted current : (family WordDigestCondition) .
198        (pi unrestricted name : Bytes .
199          (pi unrestricted rest : (family X86NativeAssembly) . (family X86NativeAssembly))))
200      condition
201      (branch
202        WordDigestBelow
203        .
204        (digestJumpIf (constructor X86NativeCondition X86NativeConditionBelow)))
205      (branch
206        WordDigestNotZero
207        .
208        (digestJumpIf (constructor X86NativeCondition X86NativeConditionNotZero)))
209      (branch
210        WordDigestZero
211        .
212        (digestJumpIf (constructor X86NativeCondition X86NativeConditionZero)))
213      (branch
214        WordDigestNegative
215        .
216        (digestJumpIf (constructor X86NativeCondition X86NativeConditionSign)))))

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.