From: rayiner@gmail.com   
      
   On Jul 3, 6:12 pm, Raj  wrote:   
   > B1 cannot be dominance frontier of itself.   
   > See the definition:   
   > A definition at n forces a X-function at m iff   
   > n not  DOM(m) but n   DOM(p) for some p   preds(m)   
   >   
   > here, in your case   
   > n=m=B1   
   > and n  DOM(m) (according to definition n should not belong to DOM(m))   
      
   That definition precludes a node from being in its own dominance   
   frontier, but then what about a self-loop?   
      
   entry:   
   a = 1   
   loop:   
   a = a +1   
   if a < 10 goto loop, otherwise goto exit   
   exit:   
   ret a   
      
   The only two definitions of a are in entry and loop, and entry   
   dominates everything, so DF(entry) = 0, so the only way the phi-node   
   gets inserted properly is if DF(loop) = {loop}, right?   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)