Subzero: Validate phi instructions after CFG construction.

src/IceCfg.cpp

 //===- subzero/src/IceCfg.cpp - Control flow graph implementation ---------===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
@@ skipping 214 matching lines @@
   for (SizeT Source = 0; Source < NumNodes; ++Source) {
     if (Reachable.test(Source)) {
       Nodes[Dest] = Nodes[Source];
       Nodes[Dest]->resetIndex(Dest);
       // Compute the in-edges.
       Nodes[Dest]->computePredecessors();
       ++Dest;
     }
   }
   Nodes.resize(Dest);
+
+  TimerMarker T(TimerStack::TT_phiValidation, this);
+  for (CfgNode *Node : Nodes)
+    Node->validatePhis();
 }
 
 void Cfg::renumberInstructions() {
   TimerMarker T(TimerStack::TT_renumberInstructions, this);
   NextInstNumber = Inst::NumberInitial;
   for (CfgNode *Node : Nodes)
     Node->renumberInstructions();
 }
 
 // placePhiLoads() must be called before placePhiStores().
@@ skipping 529 matching lines @@
     }
   }
   // Print each basic block
   for (CfgNode *Node : Nodes)
     Node->dump(this);
   if (isVerbose(IceV_Instructions))
     Str << "}\n";
 }
 
 } // end of namespace Ice