AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.StallCompaction

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

329 lines36 declarations18.9 KiBSHA-256 97ebc43fe4f1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 322–329

sm86TensorProductsFixed

Full file
322def sm86TensorProductsFixed =
323  (lambda unrestricted freed : Nat . (lambda unrestricted program : (family SM86Program) .
324    (eliminate SM86Program
325      (lambda unrestricted current : (family SM86Program) . (family SM86Program)) program
326      (branch SM86ProgramEnd . (constructor SM86Program SM86ProgramEnd))
327      (branch SM86ProgramNext instruction tail induction .
328        (constructor SM86Program SM86ProgramNext
329          (sm86TensorProductFixedInstruction freed 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.