Kenneth Zadeck wrote:
The majority of the new bugs were places where the rest of the
compiler was just not expecting to see auto inc or dec instructions.
If you want to take on doing this kind of extension, be prepared for
the additional cost.
Kenny, do you have any pointers to autoincrement algorithms in the
literature? I can see how using some of the obvious global analysis can
spot things like a store followed on all paths by an add to the pointer,
and prove that there are no intervening uses of the pointer, and
therefore note that could could merge the addition with the store to do
a post-increment -- but is there anything especially clever out there?
Thanks,
--
Mark Mitchell
CodeSourcery
[EMAIL PROTECTED]
(650) 331-3385 x713
