AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,401 lines164 declarations94.5 KiBSHA-256 92e7bf9c2555
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1472–1482

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).
1472def sm86EncodeWaitAsyncGroups =
1473  (lambda unrestricted guard : (family SM86InstructionGuard) .
1474    (lambda unrestricted count : Byte .
1475      (lambda unrestricted control : (family SM86Control) .
1476        (sm86EncodeInstructionFields
1477          sm86OpcodeWaitAsyncGroups
1478          guard
1479          control
1480          (sm86InstructionPrependField sm86InstructionNaturalThirtyEight (byte-to-nat (byte 6)) (byte-to-nat count)
1481            (sm86InstructionPrependField (byte-to-nat (byte 47)) sm86InstructionNaturalOne 1
1482              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.