233def cdMemoryPhase =
234 (lambda unrestricted layout : (family CoordinateHostLayout) .
235 (lambda unrestricted gpu : (family NvidiaPlanHostLayout) .
236 (lambda unrestricted component : (pi unrestricted kind : (family NvidiaWholeProgramComponent) . Bytes) .
237 (lambda unrestricted data : Nat .
238 (lambda unrestricted phase : (family CoordinateDevicePhase) .
239 (lambda unrestricted tail : (family NativePhysicalCommands) .
240 (let unrestricted issue =
241 (nvidiaProgramIssue gpu component (cdCounter (chExtent layout)) (cdmOrdinal phase))
242 in
243 (eliminate
244 CoordinateDevicePhase
245 (lambda unrestricted current : (family CoordinateDevicePhase) .
246 (family NativePhysicalCommands))
247 phase
248 (branch
249 CoordinateDeviceForward
250 .
251 (issue
252 (phCopyMappedToState
253 (naturalAdd data cdmPartial)
254 (chPartial layout)
255 coordinateWordBytes
256 tail)))
257 (branch
258 CoordinateDeviceBackward
259 .
260 (phCopyStateToMapped
261 (chError layout)
262 (naturalAdd data cdmResidual)
263 coordinateWordBytes
264 (issue
265 (phCopyMappedToState
266 (naturalAdd data cdmGradient)
267 (chGradient layout)
268 coordinateWordBytes
269 tail))))
270 (branch CoordinateDeviceUpdate . (issue (cdCaptureMemory layout data tail)))))))))))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.