"root" of ChunkPerFunc chunk
Stephen Weeks
MLton@sourcelight.com
Wed, 1 Nov 2000 16:08:26 -0800 (PST)
> I'm confused about how the results of the add could be used in the handler.
> Assuming everything is in A-normal form, the result of the add is going into
> a new (val) binding, so nothing can be closed over it. (If it weren't in A-
> normal form then you could do something like
> x := y + z
> and it could make the contents of the ref x be the destination.)
The input to x86-codegen is the machine IL, which isn't A-normal form. It is a
register IL. So, the register destined to hold x could be live in the overflow label.