Lines Matching refs:conts
41 (define (fold-local-conts proc conts label seed)
42 (match (intmap-ref conts label)
46 (lp (1+ label) (proc label (intmap-ref conts label) seed))
49 (define (postorder-fold-local-conts2 proc conts label seed0 seed1)
50 (match (intmap-ref conts label)
55 (let ((cont (intmap-ref conts label)))
61 (define (compute-known-allocations conts effects)
91 conts
97 (match (intmap-ref conts label)
104 (define (compute-live-code conts)
105 (let* ((effects (compute-effects/elide-type-checks conts))
106 (known-allocations (compute-known-allocations conts effects)))
122 (match (intmap-ref conts k)
222 conts label live-labels live-vars))
233 (match (intmap-ref conts label)
253 (define (process-eliminations conts live-labels live-vars)
291 (match (intmap-ref conts k)
329 (let ((defs (match (intmap-ref conts kargs)
339 (with-fresh-name-state conts
345 (fold-local-conts visit-cont conts label cps)
348 conts
351 (define (eliminate-dead-code conts)
356 (let ((conts (renumber conts)))
357 (call-with-values (lambda () (compute-live-code conts))
359 (process-eliminations conts live-labels live-vars)))))