AlphaGitHub
Source/Packages

Accelerator.SM121.Lowering

packages/hardware/architectures/nvidia-sm121/src/Accelerator/SM121/Lowering.alpha

2,621 lines365 declarations134.1 KiBSHA-256 b7b3bbc05e9c
Download exact fileView at revisionf5034773ad4bb52133

def · lines 631–633

sm121LowerLongestReadAfterWrite

Full file
The longest of them: a result pending longer ago than this is ready for every reader, so the schedule forgets it (Proof.SM121LoweringContract: it is the table's largest entry).
631def sm121LowerLongestReadAfterWrite : Nat =
632  (compile-time (sm121LowerReadAfterWrite
633    (constructor SM121LowerClass SM121LowerTensor) (constructor SM121LowerClass SM121LowerTensor)))

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.