1691def cgInitialization : (family NvidiaLaunchSchedule) =
1692 (cgPhase
1693 cgPhaseInitialize
1694 (cgThen
1695 (cgPieces
1696 cgParameterElements
1697 cgMaximumElements
1698 (lambda unrestricted offset : Nat .
1699 (lambda unrestricted elements : Nat .
1700 (cgLaunch
1701 cgImageRandomNormal
1702 (naturalDivideUnchecked elements cgThreads)
1703 1
1704 1
1705 (cgSlot
1706 qmdBlockDimensionXOffset
1707 cgThreads
1708 (cgPointer
1709 (cgArgument 0)
1710 (cgArena (naturalAdd cgBankP (naturalMultiply 4 offset)))
1711 (cgSlot
1712 (cgScalar 0)
1713 coppeliusRunSeed
1714 (cgSlot
1715 (cgScalar 1)
1716 (naturalMultiply cgRandomStreams (naturalAdd cgRandomStreamOrigin offset))
1717 (cgSlot (cgScalar 2) cgInitializationScale cgNoSlots)))))))))
1718 (cgThen
1719 (nvidiaAffineLaunchRepeat
1720 (stdListLength Nat cgZeroedBanks)
1721 (lambda unrestricted bank : Nat .
1722 (cgPieces
1723 cgParameterElements
1724 cgMaximumElements
1725 (lambda unrestricted offset : Nat .
1726 (lambda unrestricted elements : Nat .
1727 (cgFillWith
1728 (cgArena (naturalAdd (cgIndex cgZeroedBanks bank) (naturalMultiply 4 offset)))
1729 elements
1730 cgZero))))))
1731 (cgThen
1732 (cgThen
1733 (cgEntryInitialization cgEmbeddingEntry)
1734 (cgThen
1735 (nvidiaAffineLaunchRepeat
1736 cgLayers
1737 (lambda unrestricted l : Nat .
1738 (cgFor
1739 cgLayerItems
1740 (lambda unrestricted k : Nat . (cgEntryInitialization (cgLayerEntry l k))))))
1741 (cgThen (cgEntryInitialization cgFinalGamma) (cgEntryInitialization cgFinalBeta))))
1742 cgRecast))))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.