rearranging code invalidates liveness info

I'm part of a team developing a compiler (which happens to be for a logic
programming language). We do quite a bit of analysis of the source code
before generating code. The code is annotated with the information
derived from this analysis, including liveness info, variable binding
info, variable scope info, etc.


The problem I've run into is that this organization seems to make code
reorganization for optimization purposes quite difficult, since anything
but the most trivial rearrangements will invalidate the annotations on the
code. I'm sure this problem must have been encountered by many of you
before. How do compiler writers usually handle this problem?
--
Fergus Henderson - fjh@munta.cs.mu.oz.au
--

Return to the comp.compilers page.
Search the comp.compilers archives again.