The hazards in `placed` (the last instruction first).
2383def sm121LowerHazards =
2384 (lambda unrestricted placed : (family SM121LowerOps) .
2385 (eliminate
2386 SM121LowerJoins
2387 (lambda unrestricted current : (family SM121LowerJoins) . Nat)
2388 (sm121LowerJoinsOf placed)
2389 (branch SM121LowerJoinsValue count joins bad .
2390 (nat-add (nat-add bad (sm121LowerBeyond joins count))
2391 (eliminate
2392 SM121LowerTrace
2393 (lambda unrestricted current : (family SM121LowerTrace) . Nat)
2394 (app
2395 (eliminate
2396 SM121LowerOps
2397 (lambda unrestricted current : (family SM121LowerOps) .
2398 (pi unrestricted trace : (family SM121LowerTrace) . (family SM121LowerTrace)))
2399 placed
2400 (branch SM121LowerOpsEnd . (lambda unrestricted trace : (family SM121LowerTrace) . trace))
2401 (branch SM121LowerOpsNext last earlier induction .
2402 (lambda unrestricted trace : (family SM121LowerTrace) .
2403 (sm121LowerCheckStep joins (induction trace) last))))
2404 sm121LowerTraceStart)
2405 (branch SM121LowerTraceValue time fixedResults predicates written reading hazards position . hazards))))))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.