Compute the loop nest depth of each CfgNode and weight Variables by it.

src/IceCfgNode.cpp

 //===- subzero/src/IceCfgNode.cpp - Basic block (node) implementation -----===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
@@ skipping 199 matching lines @@
 
 // Splits the edge from Pred to this node by creating a new node and
 // hooking up the in and out edges appropriately.  (The EdgeIndex
 // parameter is only used to make the new node's name unique when
 // there are multiple edges between the same pair of nodes.)  The new
 // node's instruction list is initialized to the empty list, with no
 // terminator instruction. There must not be multiple edges from Pred
 // to this node so all Inst::getTerminatorEdges implementations must
 // not contain duplicates.
 CfgNode *CfgNode::splitIncomingEdge(CfgNode *Pred, SizeT EdgeIndex) {
   CfgNode *NewNode = Func->makeNode();

[Jim Stichnoth, 2015/09/01 22:17:37]

Here I think you could set NewNode->LoopNestDepth = this->getLoopNestDepth().

Though I'm not sure whether you should use this, or Pred, or min(this,Pred), or
max(this,Pred).

[ascull, 2015/09/03 19:52:37]

Done.

   if (BuildDefs::dump())
     NewNode->setName("split_" + Pred->getName() + "_" + getName() + "_" +
                      std::to_string(EdgeIndex));
   // The new node is added to the end of the node list, and will later
   // need to be sorted into a reasonable topological order.
   NewNode->setNeedsPlacement(true);
   // Repoint Pred's out-edge.
   bool Found = false;
   for (CfgNode *&I : Pred->OutEdges) {
     if (I == this) {
@@ skipping 944 matching lines @@
 
 void CfgNode::dump(Cfg *Func) const {
   if (!BuildDefs::dump())
     return;
   Func->setCurrentNode(this);
   Ostream &Str = Func->getContext()->getStrDump();
   Liveness *Liveness = Func->getLiveness();
   if (Func->isVerbose(IceV_Instructions)) {
     Str << getName() << ":\n";
   }
+  // Dump the loop nest depth
+  if (Func->isVerbose(IceV_Loop))
+    Str << "    // LoopNestDepth = " << LoopNestDepth << "\n";

[Jim Stichnoth, 2015/09/01 22:17:37]

I suggest adding the node label - getName() - to the comment string, so that the
lit tests can be more precise in their matching.

Also, use getLoopNestDepth() instead of LoopNestDepth.

[ascull, 2015/09/03 19:52:37]

Done.

   // Dump list of predecessor nodes.
   if (Func->isVerbose(IceV_Preds) && !InEdges.empty()) {
     Str << "    // preds = ";
     bool First = true;
     for (CfgNode *I : InEdges) {
       if (!First)
         Str << ", ";
       First = false;
       Str << "%" << I->getName();
     }
@@ skipping 82 matching lines @@
   InstIntrinsicCall *Inst = InstIntrinsicCall::create(
       Func, 5, Func->makeVariable(IceType_i64), RMWI64Name, Info->Info);
   Inst->addArg(AtomicRMWOp);
   Inst->addArg(Counter);
   Inst->addArg(One);
   Inst->addArg(OrderAcquireRelease);
   Insts.push_front(Inst);
 }
 
 } // end of namespace Ice