Subzero: Find rematerializable variables transitively.

src/IceCfg.h

 //===- subzero/src/IceCfg.h - Control flow graph ----------------*- C++ -*-===//
 //
 //                        The Subzero Code Generator
 //
 // This file is distributed under the University of Illinois Open Source
 // License. See LICENSE.TXT for details.
 //
 //===----------------------------------------------------------------------===//
 ///
 /// \file
@@ skipping 173 matching lines @@
   /// CfgNode::OutEdges[].
   void computeInOutEdges();
   void renumberInstructions();
   void placePhiLoads();
   void placePhiStores();
   void deletePhis();
   void advancedPhiLowering();
   void reorderNodes();
   void shuffleNodes();
 
-  enum AllocaBaseVariableType {
-    BVT_StackPointer,
-    BVT_FramePointer,
-    BVT_UserPointer
-  };
-  void sortAndCombineAllocas(CfgVector<Inst *> &Allocas,
-                             uint32_t CombinedAlignment, InstList &Insts,
-                             AllocaBaseVariableType BaseVariableType);
   /// Scan allocas to determine whether we need to use a frame pointer.
   /// If SortAndCombine == true, merge all the fixed-size allocas in the
   /// entry block and emit stack or frame pointer-relative addressing.
   void processAllocas(bool SortAndCombine);
   void doAddressOpt();
   void doArgLowering();
   void doNopInsertion();
   void genCode();
   void genFrame();
   void computeLoopNestDepth();
@@ skipping 48 matching lines @@
   /// one of them. It returns a list with all the globals that the profiling
   /// code needs to be defined.
   void profileBlocks();
 
   /// Delete registered jump table placeholder instructions. This should only be
   /// called once all repointing has taken place.
   void deleteJumpTableInsts();
   /// Iterate through the registered jump tables and emit them.
   void emitJumpTables();
 
+  enum AllocaBaseVariableType {
+    BVT_StackPointer,
+    BVT_FramePointer,
+    BVT_UserPointer
+  };
+  void sortAndCombineAllocas(CfgVector<Inst *> &Allocas,
+                             uint32_t CombinedAlignment, InstList &Insts,
+                             AllocaBaseVariableType BaseVariableType);
+  void findRematerializable();
+
   GlobalContext *Ctx;
   uint32_t SequenceNumber;             /// output order for emission
   uint32_t ConstantBlindingCookie = 0; /// cookie for constant blinding
   VerboseMask VMask;
   IceString FunctionName = "";
   Type ReturnType = IceType_void;
   bool IsInternalLinkage = false;
   bool HasError = false;
   bool FocusedTiming = false;
   IceString ErrorMessage = "";
@@ skipping 26 matching lines @@
 
 public:
   static void TlsInit() { ICE_TLS_INIT_FIELD(CurrentCfg); }
 };
 
 template <> Variable *Cfg::makeVariable<Variable>(Type Ty);
 
 } // end of namespace Ice
 
 #endif // SUBZERO_SRC_ICECFG_H