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 1754–1763

sm121LowerWithHigh

Full file
`op` with its high word changed
1754def sm121LowerWithHigh =
1755  (lambda unrestricted change : (pi unrestricted high : Nat . Nat) .
1756    (lambda unrestricted op : (family SM121LowerOp) .
1757      (eliminate
1758        SM121LowerOp
1759        (lambda unrestricted current : (family SM121LowerOp) . (family SM121LowerOp))
1760        op
1761        (branch SM121LowerOpValue low high class reads writes predicateReads predicateWrites constantLoad label join target .
1762          (constructor SM121LowerOp SM121LowerOpValue low (change high) class reads writes
1763            predicateReads predicateWrites constantLoad label join target)))))

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.