3 ms·
Errr. It's been done before. Search the gcc mailing list archives, etc. So i'm not sure what you are waiting for. In fact, this type of thing has probably been
by DannyBee 10y ago
Errr.
It's been done before.
Search the gcc mailing list archives, etc.
So i'm not sure what you are waiting for.
In fact, this type of thing has probably been done about 15-20 times in the past at least that i've seen.
Someone always brings this up.
Someone eventually bothers to run numbers, and it's very consistent that for icc, xlc, gcc, llvm, etc, you gain significantly in what you can do with loops and conditionals, as well as pointer analysis.
Personally, as a pointer analysis maintainer, TBAA buys, on average, 10-20% precision.
There is even a paper in a conference from intel that has the breakdown of where they get precision gains from various parts of aliasing disambiguation.