Commit 9633cb08 authored by nr@eecs.harvard.edu's avatar nr@eecs.harvard.edu
Browse files

no registers are available after a call

parent 7ed4f071
......@@ -265,6 +265,7 @@ middleAvail (NotSpillOrReload m) = middle m
middle (CopyOut {}) = id
lastAvail :: AvailRegs -> Last -> LastOutFacts AvailRegs
lastAvail _ (LastCall _ _ (Just k)) = LastOutFacts [(k, AvailRegs emptyRegSet)]
lastAvail avail l = LastOutFacts $ map (\id -> (id, avail)) $ succs l
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment