[patch] Preserving loops in threading (updated)

[Diego Novillo]

Zdenek Dvorak wrote on 04/19/07 11:14:

> --- 5898,5916 ----
>   static unsigned int
>   execute_vrp (void)
>   {
> !   loop_optimizer_init (LOOPS_NORMAL | LOOPS_HAVE_RECORDED_EXITS);
>     if (current_loops)
> !     {
> !       rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa);
> !       scev_initialize ();
> !     }
> ! 
> !   insert_range_assertions ();

Why do we need this?  For the jump threading during replacement after VRP?


> + /* Internally used for the first instance of a pass.  */
> + #define TODO_mark_first_instance	(1 << 16)
> + 

Not clear to me why you need this?


The patch looks OK in general, but I'd rather have Jeff go over it,
since this is mostly his code.