AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/InstructionEncoding.alpha

2,580 lines175 declarations106.3 KiBSHA-256 13b25e5394ea
Download exact fileView at revision426597bda5753d86c4

def · lines 1608–1618

sm86EncodeWaitAsyncGroups

Full file
DEPBAR.LE SB0, count: the count at 38 (6 bits), the scoreboard at 44 (SB0), bit 47 the LE form (ptxas's cp.async.wait_group, as above).
1608def sm86EncodeWaitAsyncGroups =
1609  (lambda unrestricted guard : (family SM86InstructionGuard) .
1610    (lambda unrestricted count : Byte .
1611      (lambda unrestricted control : (family SM86Control) .
1612        (sm86EncodeInstructionFields
1613          sm86OpcodeWaitAsyncGroups
1614          guard
1615          control
1616          (sm86InstructionPrependField sm86InstructionNaturalThirtyEight (byte-to-nat (byte 6)) (byte-to-nat count)
1617            (sm86InstructionPrependField (byte-to-nat (byte 47)) sm86InstructionNaturalOne 1
1618              sm86InstructionFieldsEmpty))))))

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.