The most registers a launch can declare under the rule above: the
largest multiple of the granule in the 255 registers a thread has (R0 ..
R254; RZ is not one). 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.
59def sm86RegisterLimit : Nat = 248The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.