AlphaGitHub
Source/Packages

Accelerator.SM121.Lowering

packages/hardware/architectures/nvidia-sm121/src/Accelerator/SM121/Lowering.alpha

2,621 lines365 declarations134.1 KiBSHA-256 b7b3bbc05e9c
Download exact fileView at revisionf5034773ad4bb52133

def · lines 919–934

sm121LowerMaskHas

Full file
919def sm121LowerMaskHas =
920  (lambda unrestricted mask : (family SM121LowerMask) .
921    (lambda unrestricted register : Nat .
922      (eliminate
923        SM121LowerMask
924        (lambda unrestricted current : (family SM121LowerMask) . Nat)
925        mask
926        (branch SM121LowerMaskValue w0 w1 w2 w3 .
927          (let unrestricted index = (nat-divide register sm121LowerMaskWordBits) in
928          (let unrestricted place = (sm121LowerPlaceOf (nat-modulo register sm121LowerMaskWordBits)) in
929            (sm121LowerField
930              (naturalSelect (naturalEqual index zero) w0
931                (naturalSelect (naturalEqual index 1) w1
932                  (naturalSelect (naturalEqual index 2) w2 w3)))
933              place
934              2)))))))

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.