2506def sm121LowerFinish =
2507 (lambda unrestricted addressing : (family SM121SharedAddressing) .
2508 (lambda unrestricted decoded : (family SM121LowerDecodedList) .
2509 (lambda unrestricted registers : Nat .
2510 (sm121LowerSelect (family SM121LowerResult)
2511 (nat-less-than registers (sm121LowerNamedBound decoded))
2512 (constructor SM121LowerResult SM121LowerRefused (constructor SM121LowerRefusal SM121LowerRefusedRegisterBeyondCount))
2513 (eliminate
2514 SM121LowerSchedule
2515 (lambda unrestricted current : (family SM121LowerSchedule) . (family SM121LowerResult))
2516 (sm121LowerScheduleProgram (sm121LowerContextOf addressing decoded registers) decoded)
2517 (branch SM121LowerScheduleValue time pending predicates loads guardedReads scheduled .
2518 (eliminate
2519 SM121LowerRelocation
2520 (lambda unrestricted current : (family SM121LowerRelocation) . (family SM121LowerResult))
2521 (sm121LowerRelocate scheduled)
2522 (branch SM121LowerRelocated count placed .
2523 (sm121LowerSelect (family SM121LowerResult)
2524 (naturalIsZero (sm121LowerHazards placed))
2525 (constructor SM121LowerResult SM121LowerLowered (sm121LowerWordsBytes placed))
2526 (constructor SM121LowerResult SM121LowerRefused
2527 (constructor SM121LowerRefusal SM121LowerRefusedHazard))))
2528 (branch SM121LowerRelocationRefused .
2529 (constructor SM121LowerResult SM121LowerRefused
2530 (constructor SM121LowerRefusal SM121LowerRefusedBranchTarget)))))
2531 (branch SM121LowerScheduleRefused refusal .
2532 (constructor SM121LowerResult SM121LowerRefused 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.