The lowered machine code alone, for a region given as sm_121 code
(NvidiaDeviceRegionSM121): none when the lowering refuses, and the backend
refuses a region with no machine code. A region given as its SM86 program
(sm121LowerRealization) keeps the refusal's reason instead.
2560def sm121LowerMachineCode =
2561 (lambda unrestricted addressing : (family SM121SharedAddressing) .
2562 (lambda unrestricted program : (family SM86Program) .
2563 (lambda unrestricted registers : Nat .
2564 (eliminate
2565 SM121LowerResult
2566 (lambda unrestricted current : (family SM121LowerResult) . Bytes)
2567 (sm121LowerWith addressing program registers)
2568 (branch SM121LowerLowered bytes . bytes)
2569 (branch SM121LowerRefused refusal . b"")))))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.