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 567–579

sm121LowerRow

Full file
567def sm121LowerRow =
568  (lambda unrestricted alu : Nat .
569    (lambda unrestricted dualAlu : Nat .
570      (lambda unrestricted fma : Nat .
571        (lambda unrestricted wide : Nat .
572          (lambda unrestricted halfToFloat : Nat .
573            (lambda unrestricted other : Nat .
574              (lambda unrestricted column : Nat .
575                (naturalSelect (naturalEqual column zero) alu
576                  (naturalSelect (naturalEqual column 1) dualAlu
577                    (naturalSelect (naturalEqual column 2) fma
578                      (naturalSelect (naturalEqual column 3) wide
579                        (naturalSelect (naturalEqual column 4) halfToFloat other))))))))))))

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.