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.