---- the backward pass ----
2259def cgLayerNormBackward =
2260 (lambda unrestricted gamma : Nat .
2261 (lambda unrestricted gammaGradient : Nat .
2262 (lambda unrestricted betaGradient : Nat .
2263 (lambda unrestricted x : Nat .
2264 (lambda unrestricted dy : Nat .
2265 (lambda unrestricted statistics : Nat .
2266 (lambda unrestricted dx : Nat .
2267 (cgThen
2268 (cgLaunch
2269 cgImageLayerNormBackward
2270 cgSeq
2271 1
2272 1
2273 (cgPointer
2274 (cgArgument 0)
2275 dx
2276 (cgPointer
2277 (cgArgument 1)
2278 x
2279 (cgPointer
2280 (cgArgument 2)
2281 dy
2282 (cgPointer
2283 (cgArgument 3)
2284 gamma
2285 (cgPointer
2286 (cgArgument 4)
2287 (cgArena cgXHat)
2288 (cgPointer (cgArgument 5) statistics (cgLayerNormScalars cgNoSlots))))))))
2289 (cgLaunch
2290 cgImageLayerNormParameters
2291 cgWidth
2292 1
2293 1
2294 (cgPointer
2295 (cgArgument 0)
2296 gammaGradient
2297 (cgPointer
2298 (cgArgument 1)
2299 dy
2300 (cgPointer
2301 (cgArgument 2)
2302 (cgArena cgXHat)
2303 (cgPointer
2304 (cgArgument 3)
2305 betaGradient
2306 (cgSlot (cgScalar 0) cgInverseWidth 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.