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 616–626

sm121LowerOverClasses

Full file
The largest of `measure` over every class.
616def sm121LowerOverClasses =
617  (lambda unrestricted measure : (pi unrestricted class : (family SM121LowerClass) . Nat) .
618      (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerAlu))
619        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerDualAlu))
620        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerFma))
621        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerWide))
622        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerHalfToFloat))
623        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerTensor))
624        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerVariable))
625        (sm121LowerMaximum (measure (constructor SM121LowerClass SM121LowerMemory))
626        (measure (constructor SM121LowerClass SM121LowerNoResult)))))))))))

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.