On Wed, Jan 22, 2014 at 11:56:56PM -0800, Eduard Burtescu wrote:
> What you're seeing is a rearrangement of the code (I attempted to
> remove the `Cell` usage in `FunctionContext`) and rebasing on top of
> it (the orignal is a few lines above).  That load instruction is
> used to append `alloca`s to, and is removed when the function is
> completed.

I see, please add a comment explaining what's going on.