AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ScaledGradientUpdateSM86

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

116 lines7 declarations5.1 KiBSHA-256 9e5f93b54aae
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 56–65

accumulateScaledGradient64Admitted

Full file
56def accumulateScaledGradient64Admitted =
57  (lambda unrestricted destination : (family SM86RegisterPair) .
58    (lambda unrestricted decay : (family SM86RegisterPair) .
59      (lambda unrestricted previous : (family SM86RegisterPair) .
60        (lambda unrestricted gradient : (family SM86RegisterPair) .
61          (nat-multiply
62            (sm86Float64RegistersAdmitted destination decay previous)
63            (nat-multiply
64              (sm86RegisterPairAdmitted gradient)
65              (scaledUpdate64Disjoint destination gradient)))))))

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.