limit check insertion via loop forests

Stephen Weeks MLton@sourcelight.com
Thu, 20 Dec 2001 15:19:16 -0800


> But if there is a non-allocating loop followed
> by some allocations, we want to avoid moving the limit check into the
> loop, where we would expect it to be executed more often.

Although, if there is an allocating loop followed by some allocations,
I would argue that we should move the limit check backward and
coalesce it into the loop limit check.  My proposal doesn't do this,
so there is still room for improvement.