Loop optimizer issues

[Jan Hubicka]

> >>>>> S Bosscher writes:
> 
> Steven> Well, surely some loop optimizers will still be necessary on RTL even with
> Steven> tree-ssa, don't you think?
> 
> 	Please read the full context of the thread:
> 
> "but surely the code motion I'm concerned with will at least partially be
> done on tree-ssa (as loop invariant motion or pre or perhaps both)."
> 
> "... ust do these high-level motions on ast-level when they are not
> represented in this ugly way (and either do only simpler pass on rtl, or
> don't do it there at all, depending on what will turn to be more
> practical)."
> 
> 	Yes, RTL will have a simple loop optimizer, but not the
> optimizations for which Zdenek wants to assume the absence of LIBCALLs.

Zdenek is speaking about the invariant motion.  Clearly there are many
cases where RTL expansion will bring oppurtunities for invariant motion,
so these needs to be re-done on the RTL.

Concerning libcalls, they should not exist in post-tree-SSA world as
they are just papering over the problem that such complex things should
have been moved earlier.

Honza
> 
> David
>