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 1148–1151

sm121LowerGuardPredicate

Full file
The guard predicate an instruction reads (PT is none).
1148def sm121LowerGuardPredicate =
1149  (lambda unrestricted predicate : (family SM86Predicate) .
1150    (let unrestricted number = (byte-to-nat (sm86PredicateNumber predicate)) in
1151      (naturalSelect (naturalEqual number sm121LowerAlways) zero 1)))

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.