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 849–859

reductionSM86WarpSum64Telemetry

Full file
849def reductionSM86WarpSum64Telemetry =
850  (lambda unrestricted observed : Nat .
851    (constructor
852      ReductionSM86Telemetry
853      ReductionSM86TelemetryValue
854      (constructor ReductionSM86Primitive ReductionSM86WarpSum64)
855      reductionSM86WarpSum64ExpectedInstructions
856      observed
857      reductionSM86WarpSum64RegisterCount
858      reductionSM86SharedBytes
859      reductionSM86WarpSum64RequiredThreads))

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.