[tree-ssa] RFC: Making control flow more explicit

[Daniel Berlin]

On Thursday, August 7, 2003, at 2:45 PM, Jason Merrill wrote:

>
> HWHIRL breaks apart nested expressions (calls, comma ops), but still
> retains control flow structures.  This corresponds to (current) GIMPLE.
> Apparently the SGI compiler does IPA, LNO (huh?)

Loop nest optimization.

> and "the PREOPT part of
> the global scalar optimizer" at this level.
>
> MWHIRL lowers all control flow to gotos, possibly conditional or 
> computed.
> This seems to be what you're looking for.  We probably want to define a
> lower GIMPLE to match, and do the lowering somewhere in the middle of
> optimization.
>
> Jason