a launch per column, a thread per position
1793def cgRotaryTables : (family NvidiaLaunchSchedule) =
1794 (cgPhase
1795 cgPhaseRotary
1796 (cgFor
1797 cgRotaryColumns
1798 (lambda unrestricted i : Nat .
1799 (cgLaunch
1800 cgImageRotaryTable
1801 (naturalDivideUnchecked cgSeq cgThreads)
1802 1
1803 1
1804 (cgSlot
1805 qmdBlockDimensionXOffset
1806 cgThreads
1807 (cgPointer
1808 (cgArgument 0)
1809 (naturalAdd cgCosine (naturalMultiply 4 i))
1810 (cgPointer
1811 (cgArgument 1)
1812 (naturalAdd cgSine (naturalMultiply 4 i))
1813 (cgSlot
1814 (cgScalar 0)
1815 (cgIndex cgRotaryThetas (naturalMultiply 2 i))
1816 (cgSlot
1817 (cgScalar 1)
1818 (cgIndex cgRotaryThetas (succ (naturalMultiply 2 i)))
1819 (cgSlot
1820 (cgScalar 2)
1821 float32InverseTwoPi
1822 (cgSlot
1823 (cgScalar 3)
1824 float32TwoPiHigh
1825 (cgSlot
1826 (cgScalar 4)
1827 float32TwoPiLow
1828 (cgSlot
1829 (cgScalar 5)
1830 cgRotaryRoundingMagic
1831 (cgSlot (cgScalar 6) cgRotaryRowBytes cgNoSlots))))))))))))))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.