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 101–108

sm86SerializeLateReads

Full file
101def sm86SerializeLateReads =
102  (lambda unrestricted program : (family SM86Program) .
103    (eliminate SM86Program
104      (lambda unrestricted current : (family SM86Program) . (family SM86Program)) program
105      (branch SM86ProgramEnd . (constructor SM86Program SM86ProgramEnd))
106      (branch SM86ProgramNext instruction tail induction .
107        (constructor SM86Program SM86ProgramNext
108          (sm86SerializeLateReadInstruction instruction) 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.