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 1394–1411

sm121LowerRebaseShared

Full file
An LDS, STS or LDSM with its offset moved up past the kilobyte sm_121 reserves, or refused when it leaves the field.
1394def sm121LowerRebaseShared =
1395  (lambda unrestricted low : Nat .
1396    (lambda unrestricted high : Nat .
1397      (lambda unrestricted plain :
1398          (pi unrestricted opLow : Nat . (pi unrestricted opHigh : Nat .
1399            (pi unrestricted opReads : (family SM121LowerRegisters) . (family SM121LowerOp)))) .
1400        (lambda unrestricted reads : (family SM121LowerRegisters) .
1401          (let unrestricted offset =
1402            (nat-add sm121LowerSharedBase
1403              (sm121LowerField low sm121LowerSharedOffsetPlace sm121LowerSharedOffsetSpan)) in
1404            (sm121LowerSelect (family SM121LowerExpansion)
1405              (nat-less-than offset sm121LowerSharedOffsetLimit)
1406              (sm121LowerOnly
1407                (plain
1408                  (sm121LowerWithField low sm121LowerSharedOffsetPlace sm121LowerSharedOffsetSpan offset)
1409                  high
1410                  reads))
1411              (sm121LowerRefuse (constructor SM121LowerRefusal SM121LowerRefusedSharedOffset))))))))

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.