[PATCH] Hoist reciprocal invariant out of loop

[Zdenek Dvorak]

Hello,

> Zdenek> So you will get the current loop if DEF is not invariant in any
> Zdenek> superloop of LOOP (specially, if it is the outermost loop), and NULL,
> Zdenek> in case it is not invariant at all.
> 
> 	So it returns the outermost loop in which DEF remains invariant
> instead of the loop to which DEF should be moved to become variant.
> 
> 	What is the difference between outermost_invariant_loop() and
> outermost_invariant_loop_expr()?  I do not understand when to use one or
> the other based on the descriptions in the comments.

outermost_invariant_loop works for gimple operands only,
outermost_invariant_loop_expr handles arbitrary expressions.

Zdenek