Machine.Block.t live field

[Matthew Fluet]

> I am trying to understand what the live field of the Machine.Block.t
> type is supposed to contain.  I am confused by line 1223 of
> backend.fun, which stores the liveNoFormals in this field as the lives
> of a continuation label.  What I don't understand is why isn't argsl
> appended to this list?  All of the operands in argsl are live, because
> they are immediately used in moves to the formal parameters of the
> continuation.

I guess we could append argsl.  If you look at x86-translate.fun, line
1870, I just add them in later there.  I've got no objections to putting
argsl in to the live set.  I could probably then simplify what is done in
x86-translate.fun.