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 1716–1726

sm121LowerLatest

Full file
the latest of `ready` over `registers`, and `start`
1716def sm121LowerLatest =
1717  (lambda unrestricted registers : (family SM121LowerRegisters) .
1718    (lambda unrestricted ready : (pi unrestricted register : Nat . Nat) .
1719      (lambda unrestricted start : Nat .
1720        (eliminate
1721          SM121LowerRegisters
1722          (lambda unrestricted current : (family SM121LowerRegisters) . Nat)
1723          registers
1724          (branch SM121LowerRegistersEnd . start)
1725          (branch SM121LowerRegistersNext head tail induction .
1726            (sm121LowerMaximum (ready head) 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.