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 2582–2592

sm121LowerRealization

Full file
The realization a device region carries for sm_121.
2582def sm121LowerRealization =
2583  (lambda unrestricted program : (family SM86Program) .
2584    (lambda unrestricted registers : Nat .
2585      (eliminate
2586        SM121LowerResult
2587        (lambda unrestricted current : (family SM121LowerResult) . (family NvidiaDeviceRealization))
2588        (sm121LowerWith sm121LowerScaled program registers)
2589        (branch SM121LowerLowered bytes .
2590          (constructor NvidiaDeviceRealization NvidiaDeviceRealized bytes))
2591        (branch SM121LowerRefused refusal .
2592          (constructor NvidiaDeviceRealization NvidiaDeviceRealizationRefused (sm121LowerRefusalText refusal))))))

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.