From: bxin@acm.org   
      
   Thank you both.   
      
   Just to make this message a little bit more than a waste of your eye-   
   ball movement, I just want to give a little background on my   
   question.  I was doing a project on dependence analysis.  In this   
   context, the example I gave above will give me a sort of spurious   
   control dependence for the last use of 'x' value after the branch (if   
   loaded from spill register in the branch).  So, if these kind of spill   
   are common, then it will definitely make a negative impact on the   
   dependence results.  One can probably work around this, but it's kind   
   of interesting to see how compilers optimizations and architecture-   
   level conventions can slightly "change" the program semantics, or at   
   least give headaches to writing program analysis.   
      
   Bin   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)