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 1970–1987

sm121LowerStepAll

Full file
1970def sm121LowerStepAll =
1971  (lambda unrestricted barrier : Nat .
1972  (lambda unrestricted waitAll : Nat .
1973    (lambda unrestricted waitPlace : Nat .
1974      (lambda unrestricted schedule : (family SM121LowerSchedule) .
1975        (lambda unrestricted ops : (family SM121LowerOps) .
1976          (app
1977            (eliminate
1978              SM121LowerOps
1979              (lambda unrestricted current : (family SM121LowerOps) .
1980                (pi unrestricted carried : (family SM121LowerSchedule) . (family SM121LowerSchedule)))
1981              ops
1982              (branch SM121LowerOpsEnd .
1983                (lambda unrestricted carried : (family SM121LowerSchedule) . carried))
1984              (branch SM121LowerOpsNext op tail induction .
1985                (lambda unrestricted carried : (family SM121LowerSchedule) .
1986                  (induction (sm121LowerStep barrier waitAll waitPlace carried op)))))
1987            schedule))))))

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.