2111def sm121LowerScheduleProgram =
2112 (lambda unrestricted context : (family SM121LowerContext) .
2113 (lambda unrestricted decoded : (family SM121LowerDecodedList) .
2114 (eliminate
2115 SM121LowerContext
2116 (lambda unrestricted current : (family SM121LowerContext) . (family SM121LowerSchedule))
2117 context
2118 (branch SM121LowerContextValue barrier free freePair count addressing waitAll .
2119 (let unrestricted waitPlace = (sm121LowerPlace (nat-add sm121LowerWaitBit barrier)) in
2120 (let unrestricted targets = (sm121LowerBranchTargets decoded) in
2121 (sm121LowerDecodedFoldIndexed (family SM121LowerSchedule) decoded
2122 (sm121LowerStepAll barrier waitAll waitPlace sm121LowerScheduleStart sm121LowerPrologue)
2123 (lambda unrestricted schedule : (family SM121LowerSchedule) .
2124 (lambda unrestricted index : Nat .
2125 (lambda unrestricted item : (family SM121LowerDecoded) .
2126 (eliminate
2127 SM121LowerExpansion
2128 (lambda unrestricted current : (family SM121LowerExpansion) . (family SM121LowerSchedule))
2129 (sm121LowerExpand context index targets item)
2130 (branch SM121LowerExpanded ops . (sm121LowerStepAll barrier waitAll waitPlace schedule ops))
2131 (branch SM121LowerExpansionRefused refusal .
2132 (constructor SM121LowerSchedule SM121LowerScheduleRefused 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.