Source/Packages

Realization.Nvidia.SM86.LinearStepPlanSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/LinearStepPlanSM86.alpha

348 lines59 declarations18.5 KiBSHA-256 ff3ec4d2f314

def · lines 339–348

linearStepPlanComponent

Full file
The backend boundary: the compiler realizes one component of the plan.
339def linearStepPlanComponent =
340  (lambda unrestricted component : (family NvidiaWholeProgramComponent) .
341    (lambda unrestricted architecture : (family ModelWord32) .
342      (lambda unrestricted computeClass : (family ModelWord32) .
343        (lambda unrestricted spaVersion : (family ModelWord32) .
344          (lambda unrestricted learningRate : Nat .
345          (lambda unrestricted submissions : Nat .
346            (compiler-native-encode
347              (family NvidiaWholeProgramPlan)
348              (linearStepPlan component architecture computeClass spaVersion learningRate submissions))))))))

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.