stupid limit check in fib.sml
Stephen Weeks
MLton@sourcelight.com
Tue, 9 Oct 2001 18:48:04 -0700
> Anyways, looking at limit-checks should probably go on the "SSA todo"
> list; I think that insert limit-checks will sometimes hoist limit checks
> into non-allocating loops, which is bad, for the comparisions above.
Yep. It's on the todo.
However, that's not the problem here. The problem is that both a stack limit
check and a heap limit check is always inserted at the beginning of a function.
Period. In the machine IL, LimitCheck.Stack means do both a heap and a stack
limit check. That should be fixed.