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