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 49–54

scaledUpdate64Disjoint

Full file
Admitted pairs are even, so distinct bases imply disjoint word ranges.
49def scaledUpdate64Disjoint =
50  (lambda unrestricted left : (family SM86RegisterPair) .
51    (lambda unrestricted right : (family SM86RegisterPair) .
52      (nat-add
53        (nat-less-than (sm86RegisterPairIndex left) (sm86RegisterPairIndex right))
54        (nat-less-than (sm86RegisterPairIndex right) (sm86RegisterPairIndex left)))))

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.