97     /**

    98      * Returns the next dominator of this block that is either in the same loop of this block or in

    99      * an outer loop.

   100      *

   101      * @return the next dominator while skipping over loops

   102      */

   103     public T getDominatorSkipLoops() {

   104         T d = getDominator();

   105 

   106         if (d == null) {

   107             // We are at the start block and don't have a dominator.

   108             return null;

   109         }

   110 

   111         if (isLoopHeader()) {

   112             // We are moving out of current loop => just return dominator.

   113             assert d.getLoopDepth() == getLoopDepth() - 1;

   114             assert d.getLoop() != getLoop();

   115             return d;

   116         }

   117 

   118         while (d.getLoop() != getLoop()) {

   119             // We have a case where our dominator is in a different loop. Move further along

   120             // the domiantor tree until we hit our loop again.

   121             d = d.getDominator();

   122         }

   123 

   124         assert d.getLoopDepth() <= getLoopDepth();

   125 

   126         return d;

   127     }

   128