one launch over the whole bank (Coppelius.Build.DeviceImages.
coppeliusAdamWImage: a grid stride over element pairs, each pair's half
copies written with its update, so no cast follows)
2541def cgAdamW =
2542 (lambda unrestricted step : Nat .
2543 (cgPhase
2544 cgPhaseAdamW
2545 (cgLaunch
2546 cgImageAdamW
2547 coppeliusAdamWBlocks
2548 1
2549 1
2550 (cgPointer
2551 (cgArgument 0)
2552 (cgArena cgBankP)
2553 (cgPointer
2554 (cgArgument 1)
2555 (cgArena cgBankG)
2556 (cgPointer
2557 (cgArgument 2)
2558 (cgArena cgBankM)
2559 (cgPointer
2560 (cgArgument 3)
2561 (cgArena cgBankV)
2562 (cgPointer (cgArgument 9) (cgArena cgHalfStart) (cgAdamScalars step)))))))))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.