Suzero. X8664. NaCl Sandboxing.

src/IceLiveness.cpp

 //===- subzero/src/IceLiveness.cpp - Liveness analysis implementation -----===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
@@ skipping 39 matching lines @@
     Variable *Var = *I;
     if (VMetadata->isMultiBlock(Var)) {
       ++TmpNumGlobals;
     } else {
       SizeT Index = VMetadata->getLocalUseNode(Var)->getIndex();
       ++Nodes[Index].NumLocals;
     }
   }
   if (IsFullInit)
     NumGlobals = TmpNumGlobals;
-  else
+  else {
+    if (TmpNumGlobals != 0) {

[Jim Stichnoth, 2016/01/13 18:28:26]

Did you mean to leave this here?  If so, it needs to be guarded by
BuildDefs::dump() and some isVerbose() check.

[John, 2016/01/13 20:48:03]

Done.

+      Ostream &Str = Func->getContext()->getStrDump();
+      for (auto I = FirstVar, E = Func->getVariables().end(); I != E; ++I) {
+        Variable *Var = *I;
+        if (VMetadata->isMultiBlock(Var)) {
+          Str << " Multiblock: ";
+        } else {
+          Str << "!Multiblock: ";
+        }
+        Var->dump(Str);
+        Str << "\n";
+      }
+      Func->dump();
+    }
     assert(TmpNumGlobals == 0);
-
+  }
   // Resize each LivenessNode::LiveToVarMap, and the global LiveToVarMap. Reset
   // the counts to 0.
   for (auto I = FirstNode, E = Func->getNodes().end(); I != E; ++I) {
     LivenessNode &N = Nodes[(*I)->getIndex()];
     N.LiveToVarMap.assign(N.NumLocals, nullptr);
     N.NumLocals = 0;
     N.NumNonDeadPhis = 0;
   }
   if (IsFullInit)
     LiveToVarMap.assign(NumGlobals, nullptr);
@@ skipping 57 matching lines @@
 }
 
 Variable *Liveness::getVariable(SizeT LiveIndex, const CfgNode *Node) const {
   if (LiveIndex < NumGlobals)
     return LiveToVarMap[LiveIndex];
   SizeT NodeIndex = Node->getIndex();
   return Nodes[NodeIndex].LiveToVarMap[LiveIndex - NumGlobals];
 }
 
 } // end of namespace Ice