AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/InstructionEncoding.alpha

2,478 lines168 declarations99.8 KiBSHA-256 b7c60128ad15
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1419–1426

sm86SharedMatrixTransposeNatural

Full file
1419def sm86SharedMatrixTransposeNatural =
1420  (lambda unrestricted transpose : (family SM86SharedMatrixTranspose) .
1421    (eliminate
1422      SM86SharedMatrixTranspose
1423      (lambda unrestricted current : (family SM86SharedMatrixTranspose) . Nat)
1424      transpose
1425      (branch SM86SharedMatrixNotTransposed . zero)
1426      (branch SM86SharedMatrixTransposed . sm86InstructionNaturalOne)))

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.