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 748–756

sm121LowerAppend

Full file
748def sm121LowerAppend =
749  (lambda unrestricted left : (family SM121LowerRegisters) .
750    (lambda unrestricted right : (family SM121LowerRegisters) .
751      (eliminate
752        SM121LowerRegisters
753        (lambda unrestricted current : (family SM121LowerRegisters) . (family SM121LowerRegisters))
754        left
755        (branch SM121LowerRegistersEnd . right)
756        (branch SM121LowerRegistersNext head tail induction . (sm121LowerCons 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.