Jump threading/bypassing volume 3

[Kenneth Zadeck]

Jeffrey A Law wrote:

>On Mon, 2004-08-09 at 14:31, Kenneth Zadeck wrote:
>  
>
>>Your last posting seems to indicate that you could have chosen any of
>>three approaches for updating ssa form.
>>    
>>
>It didn't make sense to really evaluate the other two methods until
>Andrew's work on immediate uses is complete as the other two methods
>require immediate use information.  Once that work is complete, I can
>finish coding up the two other methods and compare the pros/cons of 
>each.
>
>  
>
Yep

>>  I hope that you would
>>consider using one that does the least damage to ssa form. 
>>    
>>
>I certainly will as soon as Andrew gets the infrastructural changes
>for immediate uses in place. 
>
>  
>
This was my primary concern.

>> This will
>>make it less burdensome to keep things like the aliasing up to date.
>>(For instance, if you are careful, you will not have to run the
>>aliasing analyzer after each instance of dom. )
>>    
>>
>Understood.
>
>  
>
In the old version of dom, there was one other thing that I noticed.  
The algorithm seemed to be fairly left handed.  It was not clear if it 
would get all of the examples in section two of your part 1 note if the 
cfg was reflected left/right.  Is this still true?