The most registers a thread's allocation holds: 256 (the QMD's count
in granules; CUDA's own kernels on the RTX 3070 name up to R253 and are
allocated 256, e.g. cuBLAS's 254-register s1688 products). A register
index is a byte, so a generator that numbers registers past it does not
fail -- its indices wrap onto registers already in use; a generator
states its span and is admitted against this.
68def sm86RegisterLimit : Nat = 256The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.