AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ReductionSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/ReductionSM86.alpha

1,570 lines106 declarations59.9 KiBSHA-256 60bc03ffc9c2
Download exact fileView at revisionf5034773ad4bb52133

def · lines 873–883

reductionSM86WarpSum1024Telemetry

Full file
873def reductionSM86WarpSum1024Telemetry =
874  (lambda unrestricted observed : Nat .
875    (constructor
876      ReductionSM86Telemetry
877      ReductionSM86TelemetryValue
878      (constructor ReductionSM86Primitive ReductionSM86WarpSum1024)
879      reductionSM86WarpSum1024ExpectedInstructions
880      observed
881      reductionSM86WarpSum1024RegisterCount
882      reductionSM86SharedBytes
883      reductionSM86WarpSum1024RequiredThreads))

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.