AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.StallCompaction

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/StallCompaction.alpha

269 lines32 declarations15.0 KiBSHA-256 46e30c2c60d2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 221–225

scLatest

Full file
the latest ready cycle of anything in flight
221def scLatest =
222  (lambda unrestricted pending : (family CompactionPending) .
223    (eliminate CompactionPending (lambda unrestricted current : (family CompactionPending) . Nat) pending
224      (branch CompactionPendingEnd . zero)
225      (branch CompactionPendingNext key ready tail induction . (scMax ready induction))))

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.