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 817–829

sm121LowerUnion

Full file
`left` with those of `right` it lacks
817def sm121LowerUnion =
818  (lambda unrestricted left : (family SM121LowerRegisters) .
819    (lambda unrestricted right : (family SM121LowerRegisters) .
820      (eliminate
821        SM121LowerRegisters
822        (lambda unrestricted current : (family SM121LowerRegisters) . (family SM121LowerRegisters))
823        right
824        (branch SM121LowerRegistersEnd . left)
825        (branch SM121LowerRegistersNext head tail induction .
826          (sm121LowerSelect (family SM121LowerRegisters)
827            (sm121LowerHas induction head)
828            induction
829            (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.