AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.StallCompaction

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

329 lines36 declarations18.9 KiBSHA-256 97ebc43fe4f1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 285–293

sm86WaitWithout

Full file
285def sm86WaitWithout =
286  (lambda unrestricted freed : Nat . (lambda unrestricted wait : Nat .
287    (naturalSaturatingSubtract wait
288      (naturalAdd (naturalMultiply 1 (naturalAnd (sm86MaskBit wait 1) (sm86MaskBit freed 1)))
289      (naturalAdd (naturalMultiply 2 (naturalAnd (sm86MaskBit wait 2) (sm86MaskBit freed 2)))
290      (naturalAdd (naturalMultiply 4 (naturalAnd (sm86MaskBit wait 4) (sm86MaskBit freed 4)))
291      (naturalAdd (naturalMultiply 8 (naturalAnd (sm86MaskBit wait 8) (sm86MaskBit freed 8)))
292      (naturalAdd (naturalMultiply 16 (naturalAnd (sm86MaskBit wait 16) (sm86MaskBit freed 16)))
293        (naturalMultiply 32 (naturalAnd (sm86MaskBit wait 32) (sm86MaskBit freed 32)))))))))))

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.