AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWHalfSM86

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

428 lines73 declarations26.3 KiBSHA-256 9692515bc485
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 206–212

ahStores

Full file
the quad's P, M, V (128 bits each) and its two half pairs (64 bits)
206def ahStores = (lambda unrestricted tail : (family SM86Program) .
207  (saPack ahHalfPairs (ahValue 1 0) (ahValue 0 0)
208  (saPack (succ ahHalfPairs) (ahValue 3 0) (ahValue 2 0)
209  (ahGuarded (constructor SM86InstructionBody SM86StoreGlobalWide (saR 6) (saR (ahValue 0 0)) (saU 0) ahStoreControl)
210  (ahGuarded (constructor SM86InstructionBody SM86StoreGlobalWide (saR 10) (saR (ahValue 0 2)) (saU 0) ahStoreControl)
211  (ahGuarded (constructor SM86InstructionBody SM86StoreGlobalWide (saR 12) (saR (ahValue 0 3)) (saU 0) ahStoreControl)
212  (ahGuarded (constructor SM86InstructionBody SM86StoreGlobal64 (saR 30) (saR ahHalfPairs) (saU 0) ahStoreControl) 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.