[turbofan] Deopt support for escape analysis

src/compiler/escape-analysis.h

 // Copyright 2015 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_COMPILER_ESCAPE_ANALYSIS_H_
 #define V8_COMPILER_ESCAPE_ANALYSIS_H_
 
 #include "src/base/flags.h"
 #include "src/compiler/graph.h"
 
 namespace v8 {
 namespace internal {
 namespace compiler {
 
 // Forward declarations.
 class CommonOperatorBuilder;
 
 
 class VirtualObject : public ZoneObject {
  public:
   enum Status { kUntracked = 0, kTracked = 1 };
   VirtualObject(NodeId id, Zone* zone)
-      : id_(id), status_(kUntracked), fields_(zone), replacement_(nullptr) {}
+      : id_(id),
+        status_(kUntracked),
+        fields_(zone),
+        replacement_(nullptr),
+        object_state_(nullptr) {}
 
   VirtualObject(const VirtualObject& other)
       : id_(other.id_),
         status_(other.status_),
         fields_(other.fields_),
-        replacement_(other.replacement_) {}
+        replacement_(other.replacement_),
+        object_state_(other.object_state_) {}
 
   VirtualObject(NodeId id, Zone* zone, size_t field_number)

[Jarin, 2015/12/02 12:24:34]

does field_number mean field_count here?

[sigurds, 2015/12/02 16:35:12]

Yes.

-      : id_(id), status_(kTracked), fields_(zone), replacement_(nullptr) {
+      : id_(id),
+        status_(kTracked),
+        fields_(zone),
+        replacement_(nullptr),
+        object_state_(nullptr) {
     fields_.resize(field_number);
   }
 
   Node* GetField(size_t offset) {
     if (offset < fields_.size()) {
       return fields_[offset];
     }
     return nullptr;
   }
 
   bool SetField(size_t offset, Node* node) {
     bool changed = fields_[offset] != node;
     fields_[offset] = node;
     return changed;
   }
   bool IsVirtual() const { return status_ == kTracked; }
   bool IsTracked() const { return status_ != kUntracked; }
   Node* GetReplacement() { return replacement_; }
   bool SetReplacement(Node* node) {
     bool changed = replacement_ != node;
     replacement_ = node;
     return changed;
   }
 
+  Node** fields_array() { return &fields_.front(); }
   size_t fields() { return fields_.size(); }

[Jarin, 2015/12/02 12:24:34]

fields -> field_count?

[sigurds, 2015/12/02 16:35:12]

Changed.

   bool ResizeFields(size_t field_number) {
     if (field_number != fields_.size()) {
       fields_.resize(field_number);
       return true;
     }
     return false;
   }
-
+  void SetObjectState(Node* node) { object_state_ = node; }
+  Node* GetObjectState() { return object_state_; }
   bool UpdateFrom(const VirtualObject& other);
 
   NodeId id() { return id_; }
   void id(NodeId id) { id_ = id; }
 
  private:
   NodeId id_;
   Status status_;
   ZoneVector<Node*> fields_;
   Node* replacement_;
+  Node* object_state_;
 };
 
 
 class VirtualState : public ZoneObject {
  public:
   VirtualState(Zone* zone, size_t size);
   VirtualState(const VirtualState& states);
 
   VirtualObject* GetVirtualObject(Node* node);
   VirtualObject* GetVirtualObject(size_t id);
@@ skipping 71 matching lines @@
 // EscapeObjectAnalysis simulates stores to determine values of loads if
 // an object is virtual and eliminated.
 class EscapeObjectAnalysis {
  public:
   EscapeObjectAnalysis(Graph* graph, CommonOperatorBuilder* common, Zone* zone);
   ~EscapeObjectAnalysis();
 
   void Run();
 
   Node* GetReplacement(Node* at, NodeId id);
+  VirtualObject* GetVirtualObject(Node* at, NodeId id);
+  Node* GetEffect(Node* node);
 
  private:
   bool Process(Node* node);
   void ProcessLoadField(Node* node);
   void ProcessStoreField(Node* node);
   void ProcessAllocation(Node* node);
   void ProcessFinishRegion(Node* node);
   void ProcessCall(Node* node);
   void ProcessStart(Node* node);
   bool ProcessEffectPhi(Node* node);
   void ForwardVirtualState(Node* node);
+  void ProcessFrameState(Node* node);
   bool IsEffectBranchPoint(Node* node);
   bool IsDanglingEffectNode(Node* node);
   int OffsetFromAccess(Node* node);
 
+  void RecordEffectForFrameStateUses(Node* node, Node* effect);
+
   void DebugPrint();
 
   Graph* graph() const { return graph_; }
   CommonOperatorBuilder* common() const { return common_; }
   Zone* zone() const { return zone_; }
 
   Graph* const graph_;
   CommonOperatorBuilder* const common_;
   Zone* const zone_;
   ZoneVector<VirtualState*> virtual_states_;
+  ZoneVector<Node*> effects_;
 
   DISALLOW_COPY_AND_ASSIGN(EscapeObjectAnalysis);
 };
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_COMPILER_ESCAPE_ANALYSIS_H_