Source/Packages

Realization.Nvidia.SM86.SoftmaxSM86

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

2,114 lines259 declarations74.8 KiBSHA-256 5aa09b49868d

def · lines 1758–1850

softmaxSM86ResourceChecksFor

Full file
1758def softmaxSM86ResourceChecksFor =
1759  (lambda unrestricted manifest : (family SoftmaxSM86Manifest) .
1760    (eliminate
1761      SoftmaxSM86Manifest
1762      (lambda unrestricted current : (family SoftmaxSM86Manifest) .
1763        (family SoftmaxSM86ResourceChecks))
1764      manifest
1765      (branch
1766        SoftmaxSM86ManifestValue
1767        variant
1768        instructions
1769        encodedBytes
1770        registers
1771        sharedBytes
1772        blocksPerRow
1773        threadsPerBlock
1774        abi
1775        extents
1776        prefix
1777        maximumReduction
1778        transform
1779        sumReduction
1780        suffix
1781        loads
1782        stores
1783        hostFallback
1784        expectedIdentity
1785        .
1786        (softmaxSM86ResourceCheckCons
1787          instructions
1788          (softmaxSM86ExpectedInstructionsFor variant)
1789          (constructor SoftmaxSM86FailureCode SoftmaxSM86InstructionCountMismatch)
1790          (softmaxSM86ResourceCheckCons
1791            encodedBytes
1792            (softmaxSM86ExpectedBytesFor variant)
1793            (constructor SoftmaxSM86FailureCode SoftmaxSM86EncodedByteCountMismatch)
1794            (softmaxSM86ResourceCheckCons
1795              registers
1796              softmaxSM86N24
1797              (constructor SoftmaxSM86FailureCode SoftmaxSM86RegisterCountMismatch)
1798              (softmaxSM86ResourceCheckCons
1799                sharedBytes
1800                softmaxSM86N128
1801                (constructor SoftmaxSM86FailureCode SoftmaxSM86SharedByteCountMismatch)
1802                (softmaxSM86ResourceCheckCons
1803                  blocksPerRow
1804                  softmaxSM86N1
1805                  (constructor SoftmaxSM86FailureCode SoftmaxSM86BlockCountMismatch)
1806                  (softmaxSM86ResourceCheckCons
1807                    threadsPerBlock
1808                    softmaxSM86N256
1809                    (constructor SoftmaxSM86FailureCode SoftmaxSM86ThreadCountMismatch)
1810                    (softmaxSM86ResourceCheckCons
1811                      prefix
1812                      (softmaxSM86ExpectedPrefixFor variant)
1813                      (constructor SoftmaxSM86FailureCode SoftmaxSM86SectionCountMismatch)
1814                      (softmaxSM86ResourceCheckCons
1815                        maximumReduction
1816                        (softmaxSM86ExpectedMaximumReductionFor variant)
1817                        (constructor SoftmaxSM86FailureCode SoftmaxSM86SectionCountMismatch)
1818                        (softmaxSM86ResourceCheckCons
1819                          transform
1820                          (softmaxSM86ExpectedTransformFor variant)
1821                          (constructor SoftmaxSM86FailureCode SoftmaxSM86SectionCountMismatch)
1822                          (softmaxSM86ResourceCheckCons
1823                            sumReduction
1824                            (softmaxSM86ExpectedSumReductionFor variant)
1825                            (constructor SoftmaxSM86FailureCode SoftmaxSM86SectionCountMismatch)
1826                            (softmaxSM86ResourceCheckCons
1827                              suffix
1828                              (softmaxSM86ExpectedSuffixFor variant)
1829                              (constructor SoftmaxSM86FailureCode SoftmaxSM86SectionCountMismatch)
1830                              (softmaxSM86ResourceCheckCons
1831                                loads
1832                                (softmaxSM86ExpectedLoadsFor variant)
1833                                (constructor
1834                                  SoftmaxSM86FailureCode
1835                                  SoftmaxSM86GlobalLoadCountMismatch)
1836                                (softmaxSM86ResourceCheckCons
1837                                  stores
1838                                  softmaxSM86N1
1839                                  (constructor
1840                                    SoftmaxSM86FailureCode
1841                                    SoftmaxSM86GlobalStoreCountMismatch)
1842                                  (softmaxSM86ResourceCheckCons
1843                                    hostFallback
1844                                    zero
1845                                    (constructor
1846                                      SoftmaxSM86FailureCode
1847                                      SoftmaxSM86HostFallbackDetected)
1848                                    (constructor
1849                                      SoftmaxSM86ResourceChecks
1850                                      SoftmaxSM86ResourceChecksEnd))))))))))))))))))

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.