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).
1528def sm86EncodeWaitAsyncGroups =
1529 (lambda unrestricted guard : (family SM86InstructionGuard) .
1530 (lambda unrestricted count : Byte .
1531 (lambda unrestricted control : (family SM86Control) .
1532 (sm86EncodeInstructionFields
1533 sm86OpcodeWaitAsyncGroups
1534 guard
1535 control
1536 (sm86InstructionPrependField sm86InstructionNaturalThirtyEight (byte-to-nat (byte 6)) (byte-to-nat count)
1537 (sm86InstructionPrependField (byte-to-nat (byte 47)) sm86InstructionNaturalOne 1
1538 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.