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 861–871

reductionSM86WarpSum256Telemetry

Full file
861def reductionSM86WarpSum256Telemetry =
862  (lambda unrestricted observed : Nat .
863    (constructor
864      ReductionSM86Telemetry
865      ReductionSM86TelemetryValue
866      (constructor ReductionSM86Primitive ReductionSM86WarpSum256)
867      reductionSM86WarpSum256ExpectedInstructions
868      observed
869      reductionSM86WarpSum256RegisterCount
870      reductionSM86SharedBytes
871      reductionSM86WarpSum256RequiredThreads))

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.