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 1409–1417

sm86SharedMatrixCountNatural

Full file
1409def sm86SharedMatrixCountNatural =
1410  (lambda unrestricted count : (family SM86SharedMatrixCount) .
1411    (eliminate
1412      SM86SharedMatrixCount
1413      (lambda unrestricted current : (family SM86SharedMatrixCount) . Nat)
1414      count
1415      (branch SM86SharedMatrix1 . zero)
1416      (branch SM86SharedMatrix2 . sm86InstructionNaturalOne)
1417      (branch SM86SharedMatrix4 . sm86InstructionNaturalTwo)))

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.