This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Jump threading/bypassing volume 3




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?


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]