The static scoreboard check's count over `program`'s schedule as the
scheduler placed it, before the lowering refuses on it (a program the
lowering refuses for another reason counts once).
2597def sm121LowerFaults =
2598 (lambda unrestricted program : (family SM86Program) .
2599 (lambda unrestricted registers : Nat .
2600 (let unrestricted decoded = (sm121LowerDecodeProgram program) in
2601 (let unrestricted scheduled =
2602 (eliminate
2603 SM121LowerSchedule
2604 (lambda unrestricted current : (family SM121LowerSchedule) . Nat)
2605 (sm121LowerScheduleProgram (sm121LowerContextOf sm121LowerScaled decoded registers) decoded)
2606 (branch SM121LowerScheduleValue time pending predicates loads guardedReads scheduled .
2607 (eliminate
2608 SM121LowerRelocation
2609 (lambda unrestricted current : (family SM121LowerRelocation) . Nat)
2610 (sm121LowerRelocate scheduled)
2611 (branch SM121LowerRelocated count placed . (sm121LowerHazards placed))
2612 (branch SM121LowerRelocationRefused . 1)))
2613 (branch SM121LowerScheduleRefused refusal . 1)) in
2614 (eliminate
2615 SM121LowerDecodedList
2616 (lambda unrestricted current : (family SM121LowerDecodedList) . Nat)
2617 decoded
2618 (branch SM121LowerDecodedEnd . scheduled)
2619 (branch SM121LowerDecodedNext item tail induction .
2620 (naturalSelect (nat-less-than registers (sm121LowerNamedBound decoded)) 1 scheduled))
2621 (branch SM121LowerDecodedRefused refusal . 1))))))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.