RSSA

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 7 Jan 2002 18:41:33 -0500 (EST)


> 2. Insert limit checks (unimplemented).

Why isn't the stack check for limit checks completely orthogonal to the
array/heap distinction?  An SSA function which begins with a variable
array allocation should be able to get by with one limit check for both
the array and the stack.