AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

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

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1295–1322

exactCrossEntropySM86ManifestBytes

Full file
1295def exactCrossEntropySM86ManifestBytes =
1296  (lambda unrestricted manifest : (family ExactCrossEntropySM86Manifest) .
1297    (eliminate
1298      ExactCrossEntropySM86Manifest
1299      (lambda unrestricted current : (family ExactCrossEntropySM86Manifest) . Nat)
1300      manifest
1301      (branch
1302        ExactCrossEntropySM86ManifestValue
1303        variant
1304        instructions
1305        bytes
1306        registers
1307        shared
1308        grid
1309        block
1310        abi
1311        extents
1312        r0s
1313        r0e
1314        r1s
1315        r1e
1316        rows
1317        vocabulary
1318        tile
1319        tiles
1320        hostFallback
1321        .
1322        bytes)))

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.