normal primapps

Stephen Weeks MLton@sourcelight.com
Thu, 6 Dec 2001 10:47:18 -0800


> In the logs for common-subexp you said
>     Normal primapps can't overflow.
> What makes a primapp `normal'?

A primapp is normal if it appears in a Statement as an Exp.  In the
old CPS world, these could overflow.  In the new SSA world, they
can't.  Overflowing primapps have been moved to Transfers so that the
control-flow is explicit.