AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.LinearStepSM86

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

354 lines84 declarations21.5 KiBSHA-256 a13116730702
Download exact fileView at revisionf5034773ad4bb52133

def · lines 323–329

linearStepSM86MachineBytesFor

Full file
The machine bytes, by the compiler's encoder, for any shape and for the checked 2 x 2.
323def linearStepSM86MachineBytesFor =
324  (lambda unrestricted m : Nat . (lambda unrestricted k : Nat .
325    (eliminate SM86ProgramEncodingResult
326      (lambda unrestricted current : (family SM86ProgramEncodingResult) . Bytes)
327      (sm86EncodeProgram (linearStepSM86ProgramFor m k))
328      (branch SM86ProgramEncodingSucceeded bytes telemetry . bytes)
329      (branch SM86ProgramEncodingFailed index failure telemetry . b""))))

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.