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 885–895

reductionSM86WarpMaximum256Telemetry

Full file
885def reductionSM86WarpMaximum256Telemetry =
886  (lambda unrestricted observed : Nat .
887    (constructor
888      ReductionSM86Telemetry
889      ReductionSM86TelemetryValue
890      (constructor ReductionSM86Primitive ReductionSM86WarpMaximum256)
891      reductionSM86WarpMaximum256ExpectedInstructions
892      observed
893      reductionSM86WarpMaximum256RegisterCount
894      reductionSM86SharedBytes
895      reductionSM86WarpMaximum256RequiredThreads))

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.