[turbofan] LiveRange structure validation

src/compiler/register-allocator.h

Index: src/compiler/register-allocator.h
diff --git a/src/compiler/register-allocator.h b/src/compiler/register-allocator.h
index 38fad05ed327a171edc2a911badf5202b93433b8..a72849a7f40f23bd124a6bd171ea121eaa680e8c 100644
--- a/src/compiler/register-allocator.h
+++ b/src/compiler/register-allocator.h
@@ -919,7 +919,12 @@ class LiveRangeBuilder final : public ZoneObject {
     return data()->live_in_sets();
   }
 
+  // Verification.
   void Verify() const;
+  bool IntervalStartsAtBlockBoundary(const UseInterval* interval) const;
+  bool IntervalPredecessorsCoveredByRange(const UseInterval* interval,
+                                          const TopLevelLiveRange* range) const;
+  bool NextIntervalStartsInDifferenbBlocks(const UseInterval* interval) const;

[titzer, 2016/03/04 19:43:59]

s/Differenb/Different

[Mircea Trofin, 2016/03/04 20:02:00]

Done.

 
   // Liveness analysis support.
   void AddInitialIntervals(const InstructionBlock* block, BitVector* live_out);