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

def · lines 1266–1293

exactCrossEntropySM86ManifestInstructions

Full file
1266def exactCrossEntropySM86ManifestInstructions =
1267  (lambda unrestricted manifest : (family ExactCrossEntropySM86Manifest) .
1268    (eliminate
1269      ExactCrossEntropySM86Manifest
1270      (lambda unrestricted current : (family ExactCrossEntropySM86Manifest) . Nat)
1271      manifest
1272      (branch
1273        ExactCrossEntropySM86ManifestValue
1274        variant
1275        instructions
1276        bytes
1277        registers
1278        shared
1279        grid
1280        block
1281        abi
1282        extents
1283        r0s
1284        r0e
1285        r1s
1286        r1e
1287        rows
1288        vocabulary
1289        tile
1290        tiles
1291        hostFallback
1292        .
1293        instructions)))

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.