Accelerator.SM86.Operands

The registers each instruction reads and writes, and the register demand of a program: one owner for both the scoreboard pass (SM86.Scoreboard) and the register count a launch declares. A 64-bit address or value occupies the named register and the next; the tensor core's A, C and D fragments are four registers from the named one and its B fragment two; LDSM writes one, two or four. RZ (255) is not a register: it reads zero, absorbs writes, and a fragment based at it names nothing. The demand: the highest register named, plus one. A launch's allocation is the demand plus TWO the hardware reserves, rounded up to the allocation granule of eight; the QMD encoders add the reservation (the runtime's SM86 QMD V03, NvidiaQMD5 for sm_121), the one place it is counted, as they do for the counts the register allocator (NvidiaDeviceAllocatedProgramRegion) and literal region counts declare. Found on an RTX 3070 (2026-09-23): the generated linear step at 2 x 6, 6 x 2 and 4 x 4 -- every shape whose allocation left exactly one register above the highest named -- hung on the card with the GPU at 100 %, deterministically, while every shape with two or more to spare ran; allocating the two reserved registers made all three run. The machine model cannot see it. (Until 2026-10-09 the demand itself included the two and the granule and the encoder added them again: every program region was allocated eight registers more than it needed, and no program could name more than 246.) ---- one elimination per instruction ---- The schedule tools (SM86.Scoreboard's two passes, Realization.Nvidia.SM86.StallCompaction) used to eliminate every instruction body five or more times -- reads, writes, predicate writes, latency class, fixed latency -- one 37-branch case split each. The summary answers them all in one split: each field below is the same branch body the corresponding function above uses, tupled, so every field is definitionally the old answer and a pass walks each instruction's body once instead of five times.

45field unrestricted sm86OpSummaryReads : (family StdList Nat)