AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWHalfSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/AdamWHalfSM86.alpha

428 lines73 declarations26.3 KiBSHA-256 9692515bc485
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 321–326

ahBranch

Full file
back to the body's first instruction (the displacement counts the body, the control and the branch, from the branch's successor)
321def ahBranch = (lambda unrestricted body : Nat .
322  (saWhen saP1 (constructor SM86InstructionBody SM86Branch
323    (saU (naturalSaturatingSubtract 4294967296 (naturalMultiply 16 (naturalAdd body (naturalAdd ahControlCount 1)))))
324    (sm86Unsigned32 (byte 255) (byte 255) (byte 131) (byte 3))
325    sm86SafeControl)
326    sm86ProgramEmpty))

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.