Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1 | // Copyright 2015 the V8 project authors. All rights reserved. |
| 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | #include "src/compiler/escape-analysis.h" |
| 6 | |
| 7 | #include <limits> |
| 8 | |
| 9 | #include "src/base/flags.h" |
| 10 | #include "src/bootstrapper.h" |
| 11 | #include "src/compilation-dependencies.h" |
| 12 | #include "src/compiler/common-operator.h" |
| 13 | #include "src/compiler/graph-reducer.h" |
| 14 | #include "src/compiler/js-operator.h" |
| 15 | #include "src/compiler/node.h" |
| 16 | #include "src/compiler/node-matchers.h" |
| 17 | #include "src/compiler/node-properties.h" |
| 18 | #include "src/compiler/operator-properties.h" |
| 19 | #include "src/compiler/simplified-operator.h" |
| 20 | #include "src/objects-inl.h" |
| 21 | #include "src/type-cache.h" |
| 22 | |
| 23 | namespace v8 { |
| 24 | namespace internal { |
| 25 | namespace compiler { |
| 26 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 27 | typedef NodeId Alias; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 28 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 29 | #ifdef DEBUG |
| 30 | #define TRACE(...) \ |
| 31 | do { \ |
| 32 | if (FLAG_trace_turbo_escape) PrintF(__VA_ARGS__); \ |
| 33 | } while (false) |
| 34 | #else |
| 35 | #define TRACE(...) |
| 36 | #endif |
| 37 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 38 | // EscapeStatusAnalysis determines for each allocation whether it escapes. |
| 39 | class EscapeStatusAnalysis : public ZoneObject { |
| 40 | public: |
| 41 | enum Status { |
| 42 | kUnknown = 0u, |
| 43 | kTracked = 1u << 0, |
| 44 | kEscaped = 1u << 1, |
| 45 | kOnStack = 1u << 2, |
| 46 | kVisited = 1u << 3, |
| 47 | // A node is dangling, if it is a load of some kind, and does not have |
| 48 | // an effect successor. |
| 49 | kDanglingComputed = 1u << 4, |
| 50 | kDangling = 1u << 5, |
| 51 | // A node is is an effect branch point, if it has more than 2 non-dangling |
| 52 | // effect successors. |
| 53 | kBranchPointComputed = 1u << 6, |
| 54 | kBranchPoint = 1u << 7, |
| 55 | kInQueue = 1u << 8 |
| 56 | }; |
| 57 | typedef base::Flags<Status, uint16_t> StatusFlags; |
| 58 | |
| 59 | void RunStatusAnalysis(); |
| 60 | |
| 61 | bool IsVirtual(Node* node); |
| 62 | bool IsEscaped(Node* node); |
| 63 | bool IsAllocation(Node* node); |
| 64 | |
| 65 | bool IsInQueue(NodeId id); |
| 66 | void SetInQueue(NodeId id, bool on_stack); |
| 67 | |
| 68 | void DebugPrint(); |
| 69 | |
| 70 | EscapeStatusAnalysis(EscapeAnalysis* object_analysis, Graph* graph, |
| 71 | Zone* zone); |
| 72 | void EnqueueForStatusAnalysis(Node* node); |
| 73 | bool SetEscaped(Node* node); |
| 74 | bool IsEffectBranchPoint(Node* node); |
| 75 | bool IsDanglingEffectNode(Node* node); |
| 76 | void ResizeStatusVector(); |
| 77 | size_t GetStatusVectorSize(); |
| 78 | bool IsVirtual(NodeId id); |
| 79 | |
| 80 | Graph* graph() const { return graph_; } |
| 81 | void AssignAliases(); |
| 82 | Alias GetAlias(NodeId id) const { return aliases_[id]; } |
| 83 | const ZoneVector<Alias>& GetAliasMap() const { return aliases_; } |
| 84 | Alias AliasCount() const { return next_free_alias_; } |
| 85 | static const Alias kNotReachable; |
| 86 | static const Alias kUntrackable; |
| 87 | |
| 88 | bool IsNotReachable(Node* node); |
| 89 | |
| 90 | private: |
| 91 | void Process(Node* node); |
| 92 | void ProcessAllocate(Node* node); |
| 93 | void ProcessFinishRegion(Node* node); |
| 94 | void ProcessStoreField(Node* node); |
| 95 | void ProcessStoreElement(Node* node); |
| 96 | bool CheckUsesForEscape(Node* node, bool phi_escaping = false) { |
| 97 | return CheckUsesForEscape(node, node, phi_escaping); |
| 98 | } |
| 99 | bool CheckUsesForEscape(Node* node, Node* rep, bool phi_escaping = false); |
| 100 | void RevisitUses(Node* node); |
| 101 | void RevisitInputs(Node* node); |
| 102 | |
| 103 | Alias NextAlias() { return next_free_alias_++; } |
| 104 | |
| 105 | bool HasEntry(Node* node); |
| 106 | |
| 107 | bool IsAllocationPhi(Node* node); |
| 108 | |
| 109 | ZoneVector<Node*> stack_; |
| 110 | EscapeAnalysis* object_analysis_; |
| 111 | Graph* const graph_; |
| 112 | ZoneVector<StatusFlags> status_; |
| 113 | Alias next_free_alias_; |
| 114 | ZoneVector<Node*> status_stack_; |
| 115 | ZoneVector<Alias> aliases_; |
| 116 | |
| 117 | DISALLOW_COPY_AND_ASSIGN(EscapeStatusAnalysis); |
| 118 | }; |
| 119 | |
| 120 | DEFINE_OPERATORS_FOR_FLAGS(EscapeStatusAnalysis::StatusFlags) |
| 121 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 122 | const Alias EscapeStatusAnalysis::kNotReachable = |
| 123 | std::numeric_limits<Alias>::max(); |
| 124 | const Alias EscapeStatusAnalysis::kUntrackable = |
| 125 | std::numeric_limits<Alias>::max() - 1; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 126 | |
| 127 | class VirtualObject : public ZoneObject { |
| 128 | public: |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 129 | enum Status { |
| 130 | kInitial = 0, |
| 131 | kTracked = 1u << 0, |
| 132 | kInitialized = 1u << 1, |
| 133 | kCopyRequired = 1u << 2, |
| 134 | }; |
| 135 | typedef base::Flags<Status, unsigned char> StatusFlags; |
| 136 | |
| 137 | VirtualObject(NodeId id, VirtualState* owner, Zone* zone) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 138 | : id_(id), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 139 | status_(kInitial), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 140 | fields_(zone), |
| 141 | phi_(zone), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 142 | object_state_(nullptr), |
| 143 | owner_(owner) {} |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 144 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 145 | VirtualObject(VirtualState* owner, const VirtualObject& other) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 146 | : id_(other.id_), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 147 | status_(other.status_ & ~kCopyRequired), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 148 | fields_(other.fields_), |
| 149 | phi_(other.phi_), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 150 | object_state_(other.object_state_), |
| 151 | owner_(owner) {} |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 152 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 153 | VirtualObject(NodeId id, VirtualState* owner, Zone* zone, size_t field_number, |
| 154 | bool initialized) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 155 | : id_(id), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 156 | status_(kTracked | (initialized ? kInitialized : kInitial)), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 157 | fields_(zone), |
| 158 | phi_(zone), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 159 | object_state_(nullptr), |
| 160 | owner_(owner) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 161 | fields_.resize(field_number); |
| 162 | phi_.resize(field_number, false); |
| 163 | } |
| 164 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 165 | Node* GetField(size_t offset) { return fields_[offset]; } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 166 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 167 | bool IsCreatedPhi(size_t offset) { return phi_[offset]; } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 168 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 169 | void SetField(size_t offset, Node* node, bool created_phi = false) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 170 | fields_[offset] = node; |
| 171 | phi_[offset] = created_phi; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 172 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 173 | bool IsTracked() const { return status_ & kTracked; } |
| 174 | bool IsInitialized() const { return status_ & kInitialized; } |
| 175 | bool SetInitialized() { return status_ |= kInitialized; } |
| 176 | VirtualState* owner() const { return owner_; } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 177 | |
| 178 | Node** fields_array() { return &fields_.front(); } |
| 179 | size_t field_count() { return fields_.size(); } |
| 180 | bool ResizeFields(size_t field_count) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 181 | if (field_count > fields_.size()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 182 | fields_.resize(field_count); |
| 183 | phi_.resize(field_count); |
| 184 | return true; |
| 185 | } |
| 186 | return false; |
| 187 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 188 | void ClearAllFields() { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 189 | for (size_t i = 0; i < fields_.size(); ++i) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 190 | fields_[i] = nullptr; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 191 | phi_[i] = false; |
| 192 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 193 | } |
| 194 | bool AllFieldsClear() { |
| 195 | for (size_t i = 0; i < fields_.size(); ++i) { |
| 196 | if (fields_[i] != nullptr) { |
| 197 | return false; |
| 198 | } |
| 199 | } |
| 200 | return true; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 201 | } |
| 202 | bool UpdateFrom(const VirtualObject& other); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 203 | bool MergeFrom(MergeCache* cache, Node* at, Graph* graph, |
| 204 | CommonOperatorBuilder* common); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 205 | void SetObjectState(Node* node) { object_state_ = node; } |
| 206 | Node* GetObjectState() const { return object_state_; } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 207 | bool IsCopyRequired() const { return status_ & kCopyRequired; } |
| 208 | void SetCopyRequired() { status_ |= kCopyRequired; } |
| 209 | bool NeedCopyForModification() { |
| 210 | if (!IsCopyRequired() || !IsInitialized()) { |
| 211 | return false; |
| 212 | } |
| 213 | return true; |
| 214 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 215 | |
| 216 | NodeId id() const { return id_; } |
| 217 | void id(NodeId id) { id_ = id; } |
| 218 | |
| 219 | private: |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 220 | bool MergeFields(size_t i, Node* at, MergeCache* cache, Graph* graph, |
| 221 | CommonOperatorBuilder* common); |
| 222 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 223 | NodeId id_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 224 | StatusFlags status_; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 225 | ZoneVector<Node*> fields_; |
| 226 | ZoneVector<bool> phi_; |
| 227 | Node* object_state_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 228 | VirtualState* owner_; |
| 229 | |
| 230 | DISALLOW_COPY_AND_ASSIGN(VirtualObject); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 231 | }; |
| 232 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 233 | DEFINE_OPERATORS_FOR_FLAGS(VirtualObject::StatusFlags) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 234 | |
| 235 | bool VirtualObject::UpdateFrom(const VirtualObject& other) { |
| 236 | bool changed = status_ != other.status_; |
| 237 | status_ = other.status_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 238 | phi_ = other.phi_; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 239 | if (fields_.size() != other.fields_.size()) { |
| 240 | fields_ = other.fields_; |
| 241 | return true; |
| 242 | } |
| 243 | for (size_t i = 0; i < fields_.size(); ++i) { |
| 244 | if (fields_[i] != other.fields_[i]) { |
| 245 | changed = true; |
| 246 | fields_[i] = other.fields_[i]; |
| 247 | } |
| 248 | } |
| 249 | return changed; |
| 250 | } |
| 251 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 252 | class VirtualState : public ZoneObject { |
| 253 | public: |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 254 | VirtualState(Node* owner, Zone* zone, size_t size) |
| 255 | : info_(size, nullptr, zone), owner_(owner) {} |
| 256 | |
| 257 | VirtualState(Node* owner, const VirtualState& state) |
| 258 | : info_(state.info_.size(), nullptr, state.info_.get_allocator().zone()), |
| 259 | owner_(owner) { |
| 260 | for (size_t i = 0; i < info_.size(); ++i) { |
| 261 | if (state.info_[i]) { |
| 262 | info_[i] = state.info_[i]; |
| 263 | } |
| 264 | } |
| 265 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 266 | |
| 267 | VirtualObject* VirtualObjectFromAlias(size_t alias); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 268 | void SetVirtualObject(Alias alias, VirtualObject* state); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 269 | bool UpdateFrom(VirtualState* state, Zone* zone); |
| 270 | bool MergeFrom(MergeCache* cache, Zone* zone, Graph* graph, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 271 | CommonOperatorBuilder* common, Node* at); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 272 | size_t size() const { return info_.size(); } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 273 | Node* owner() const { return owner_; } |
| 274 | VirtualObject* Copy(VirtualObject* obj, Alias alias); |
| 275 | void SetCopyRequired() { |
| 276 | for (VirtualObject* obj : info_) { |
| 277 | if (obj) obj->SetCopyRequired(); |
| 278 | } |
| 279 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 280 | |
| 281 | private: |
| 282 | ZoneVector<VirtualObject*> info_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 283 | Node* owner_; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 284 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 285 | DISALLOW_COPY_AND_ASSIGN(VirtualState); |
| 286 | }; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 287 | |
| 288 | class MergeCache : public ZoneObject { |
| 289 | public: |
| 290 | explicit MergeCache(Zone* zone) |
| 291 | : states_(zone), objects_(zone), fields_(zone) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 292 | states_.reserve(5); |
| 293 | objects_.reserve(5); |
| 294 | fields_.reserve(5); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 295 | } |
| 296 | ZoneVector<VirtualState*>& states() { return states_; } |
| 297 | ZoneVector<VirtualObject*>& objects() { return objects_; } |
| 298 | ZoneVector<Node*>& fields() { return fields_; } |
| 299 | void Clear() { |
| 300 | states_.clear(); |
| 301 | objects_.clear(); |
| 302 | fields_.clear(); |
| 303 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 304 | size_t LoadVirtualObjectsFromStatesFor(Alias alias); |
| 305 | void LoadVirtualObjectsForFieldsFrom(VirtualState* state, |
| 306 | const ZoneVector<Alias>& aliases); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 307 | Node* GetFields(size_t pos); |
| 308 | |
| 309 | private: |
| 310 | ZoneVector<VirtualState*> states_; |
| 311 | ZoneVector<VirtualObject*> objects_; |
| 312 | ZoneVector<Node*> fields_; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 313 | |
| 314 | DISALLOW_COPY_AND_ASSIGN(MergeCache); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 315 | }; |
| 316 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 317 | size_t MergeCache::LoadVirtualObjectsFromStatesFor(Alias alias) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 318 | objects_.clear(); |
| 319 | DCHECK_GT(states_.size(), 0u); |
| 320 | size_t min = std::numeric_limits<size_t>::max(); |
| 321 | for (VirtualState* state : states_) { |
| 322 | if (VirtualObject* obj = state->VirtualObjectFromAlias(alias)) { |
| 323 | objects_.push_back(obj); |
| 324 | min = std::min(obj->field_count(), min); |
| 325 | } |
| 326 | } |
| 327 | return min; |
| 328 | } |
| 329 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 330 | void MergeCache::LoadVirtualObjectsForFieldsFrom( |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 331 | VirtualState* state, const ZoneVector<Alias>& aliases) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 332 | objects_.clear(); |
| 333 | size_t max_alias = state->size(); |
| 334 | for (Node* field : fields_) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 335 | Alias alias = aliases[field->id()]; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 336 | if (alias >= max_alias) continue; |
| 337 | if (VirtualObject* obj = state->VirtualObjectFromAlias(alias)) { |
| 338 | objects_.push_back(obj); |
| 339 | } |
| 340 | } |
| 341 | } |
| 342 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 343 | Node* MergeCache::GetFields(size_t pos) { |
| 344 | fields_.clear(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 345 | Node* rep = pos >= objects_.front()->field_count() |
| 346 | ? nullptr |
| 347 | : objects_.front()->GetField(pos); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 348 | for (VirtualObject* obj : objects_) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 349 | if (pos >= obj->field_count()) continue; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 350 | Node* field = obj->GetField(pos); |
| 351 | if (field) { |
| 352 | fields_.push_back(field); |
| 353 | } |
| 354 | if (field != rep) { |
| 355 | rep = nullptr; |
| 356 | } |
| 357 | } |
| 358 | return rep; |
| 359 | } |
| 360 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 361 | VirtualObject* VirtualState::Copy(VirtualObject* obj, Alias alias) { |
| 362 | if (obj->owner() == this) return obj; |
| 363 | VirtualObject* new_obj = |
| 364 | new (info_.get_allocator().zone()) VirtualObject(this, *obj); |
| 365 | TRACE("At state %p, alias @%d (#%d), copying virtual object from %p to %p\n", |
| 366 | static_cast<void*>(this), alias, obj->id(), static_cast<void*>(obj), |
| 367 | static_cast<void*>(new_obj)); |
| 368 | info_[alias] = new_obj; |
| 369 | return new_obj; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 370 | } |
| 371 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 372 | VirtualObject* VirtualState::VirtualObjectFromAlias(size_t alias) { |
| 373 | return info_[alias]; |
| 374 | } |
| 375 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 376 | void VirtualState::SetVirtualObject(Alias alias, VirtualObject* obj) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 377 | info_[alias] = obj; |
| 378 | } |
| 379 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 380 | bool VirtualState::UpdateFrom(VirtualState* from, Zone* zone) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 381 | if (from == this) return false; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 382 | bool changed = false; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 383 | for (Alias alias = 0; alias < size(); ++alias) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 384 | VirtualObject* ls = VirtualObjectFromAlias(alias); |
| 385 | VirtualObject* rs = from->VirtualObjectFromAlias(alias); |
| 386 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 387 | if (ls == rs || rs == nullptr) continue; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 388 | |
| 389 | if (ls == nullptr) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 390 | ls = new (zone) VirtualObject(this, *rs); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 391 | SetVirtualObject(alias, ls); |
| 392 | changed = true; |
| 393 | continue; |
| 394 | } |
| 395 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 396 | TRACE(" Updating fields of @%d\n", alias); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 397 | |
| 398 | changed = ls->UpdateFrom(*rs) || changed; |
| 399 | } |
| 400 | return false; |
| 401 | } |
| 402 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 403 | namespace { |
| 404 | |
| 405 | bool IsEquivalentPhi(Node* node1, Node* node2) { |
| 406 | if (node1 == node2) return true; |
| 407 | if (node1->opcode() != IrOpcode::kPhi || node2->opcode() != IrOpcode::kPhi || |
| 408 | node1->op()->ValueInputCount() != node2->op()->ValueInputCount()) { |
| 409 | return false; |
| 410 | } |
| 411 | for (int i = 0; i < node1->op()->ValueInputCount(); ++i) { |
| 412 | Node* input1 = NodeProperties::GetValueInput(node1, i); |
| 413 | Node* input2 = NodeProperties::GetValueInput(node2, i); |
| 414 | if (!IsEquivalentPhi(input1, input2)) { |
| 415 | return false; |
| 416 | } |
| 417 | } |
| 418 | return true; |
| 419 | } |
| 420 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 421 | bool IsEquivalentPhi(Node* phi, ZoneVector<Node*>& inputs) { |
| 422 | if (phi->opcode() != IrOpcode::kPhi) return false; |
| 423 | if (phi->op()->ValueInputCount() != inputs.size()) { |
| 424 | return false; |
| 425 | } |
| 426 | for (size_t i = 0; i < inputs.size(); ++i) { |
| 427 | Node* input = NodeProperties::GetValueInput(phi, static_cast<int>(i)); |
| 428 | if (!IsEquivalentPhi(input, inputs[i])) { |
| 429 | return false; |
| 430 | } |
| 431 | } |
| 432 | return true; |
| 433 | } |
| 434 | |
| 435 | } // namespace |
| 436 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 437 | bool VirtualObject::MergeFields(size_t i, Node* at, MergeCache* cache, |
| 438 | Graph* graph, CommonOperatorBuilder* common) { |
| 439 | bool changed = false; |
| 440 | int value_input_count = static_cast<int>(cache->fields().size()); |
| 441 | Node* rep = GetField(i); |
| 442 | if (!rep || !IsCreatedPhi(i)) { |
| 443 | Node* control = NodeProperties::GetControlInput(at); |
| 444 | cache->fields().push_back(control); |
| 445 | Node* phi = graph->NewNode( |
| 446 | common->Phi(MachineRepresentation::kTagged, value_input_count), |
| 447 | value_input_count + 1, &cache->fields().front()); |
| 448 | SetField(i, phi, true); |
| 449 | #ifdef DEBUG |
| 450 | if (FLAG_trace_turbo_escape) { |
| 451 | PrintF(" Creating Phi #%d as merge of", phi->id()); |
| 452 | for (int i = 0; i < value_input_count; i++) { |
| 453 | PrintF(" #%d (%s)", cache->fields()[i]->id(), |
| 454 | cache->fields()[i]->op()->mnemonic()); |
| 455 | } |
| 456 | PrintF("\n"); |
| 457 | } |
| 458 | #endif |
| 459 | changed = true; |
| 460 | } else { |
| 461 | DCHECK(rep->opcode() == IrOpcode::kPhi); |
| 462 | for (int n = 0; n < value_input_count; ++n) { |
| 463 | Node* old = NodeProperties::GetValueInput(rep, n); |
| 464 | if (old != cache->fields()[n]) { |
| 465 | changed = true; |
| 466 | NodeProperties::ReplaceValueInput(rep, cache->fields()[n], n); |
| 467 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 468 | } |
| 469 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 470 | return changed; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 471 | } |
| 472 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 473 | bool VirtualObject::MergeFrom(MergeCache* cache, Node* at, Graph* graph, |
| 474 | CommonOperatorBuilder* common) { |
| 475 | DCHECK(at->opcode() == IrOpcode::kEffectPhi || |
| 476 | at->opcode() == IrOpcode::kPhi); |
| 477 | bool changed = false; |
| 478 | for (size_t i = 0; i < field_count(); ++i) { |
| 479 | if (Node* field = cache->GetFields(i)) { |
| 480 | changed = changed || GetField(i) != field; |
| 481 | SetField(i, field); |
| 482 | TRACE(" Field %zu agree on rep #%d\n", i, field->id()); |
| 483 | } else { |
| 484 | int arity = at->opcode() == IrOpcode::kEffectPhi |
| 485 | ? at->op()->EffectInputCount() |
| 486 | : at->op()->ValueInputCount(); |
| 487 | if (cache->fields().size() == arity) { |
| 488 | changed = MergeFields(i, at, cache, graph, common) || changed; |
| 489 | } else { |
| 490 | if (GetField(i) != nullptr) { |
| 491 | TRACE(" Field %zu cleared\n", i); |
| 492 | changed = true; |
| 493 | } |
| 494 | SetField(i, nullptr); |
| 495 | } |
| 496 | } |
| 497 | } |
| 498 | return changed; |
| 499 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 500 | |
| 501 | bool VirtualState::MergeFrom(MergeCache* cache, Zone* zone, Graph* graph, |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 502 | CommonOperatorBuilder* common, Node* at) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 503 | DCHECK_GT(cache->states().size(), 0u); |
| 504 | bool changed = false; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 505 | for (Alias alias = 0; alias < size(); ++alias) { |
| 506 | cache->objects().clear(); |
| 507 | VirtualObject* mergeObject = VirtualObjectFromAlias(alias); |
| 508 | bool copy_merge_object = false; |
| 509 | size_t fields = std::numeric_limits<size_t>::max(); |
| 510 | for (VirtualState* state : cache->states()) { |
| 511 | if (VirtualObject* obj = state->VirtualObjectFromAlias(alias)) { |
| 512 | cache->objects().push_back(obj); |
| 513 | if (mergeObject == obj) { |
| 514 | copy_merge_object = true; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 515 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 516 | fields = std::min(obj->field_count(), fields); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 517 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 518 | } |
| 519 | if (cache->objects().size() == cache->states().size()) { |
| 520 | if (!mergeObject) { |
| 521 | VirtualObject* obj = new (zone) |
| 522 | VirtualObject(cache->objects().front()->id(), this, zone, fields, |
| 523 | cache->objects().front()->IsInitialized()); |
| 524 | SetVirtualObject(alias, obj); |
| 525 | mergeObject = obj; |
| 526 | changed = true; |
| 527 | } else if (copy_merge_object) { |
| 528 | VirtualObject* obj = new (zone) VirtualObject(this, *mergeObject); |
| 529 | SetVirtualObject(alias, obj); |
| 530 | mergeObject = obj; |
| 531 | changed = true; |
| 532 | } else { |
| 533 | changed = mergeObject->ResizeFields(fields) || changed; |
| 534 | } |
| 535 | #ifdef DEBUG |
| 536 | if (FLAG_trace_turbo_escape) { |
| 537 | PrintF(" Alias @%d, merging into %p virtual objects", alias, |
| 538 | static_cast<void*>(mergeObject)); |
| 539 | for (size_t i = 0; i < cache->objects().size(); i++) { |
| 540 | PrintF(" %p", static_cast<void*>(cache->objects()[i])); |
| 541 | } |
| 542 | PrintF("\n"); |
| 543 | } |
| 544 | #endif // DEBUG |
| 545 | changed = mergeObject->MergeFrom(cache, at, graph, common) || changed; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 546 | } else { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 547 | if (mergeObject) { |
| 548 | TRACE(" Alias %d, virtual object removed\n", alias); |
| 549 | changed = true; |
| 550 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 551 | SetVirtualObject(alias, nullptr); |
| 552 | } |
| 553 | } |
| 554 | return changed; |
| 555 | } |
| 556 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 557 | EscapeStatusAnalysis::EscapeStatusAnalysis(EscapeAnalysis* object_analysis, |
| 558 | Graph* graph, Zone* zone) |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 559 | : stack_(zone), |
| 560 | object_analysis_(object_analysis), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 561 | graph_(graph), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 562 | status_(zone), |
| 563 | next_free_alias_(0), |
| 564 | status_stack_(zone), |
| 565 | aliases_(zone) {} |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 566 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 567 | bool EscapeStatusAnalysis::HasEntry(Node* node) { |
| 568 | return status_[node->id()] & (kTracked | kEscaped); |
| 569 | } |
| 570 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 571 | bool EscapeStatusAnalysis::IsVirtual(Node* node) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 572 | return IsVirtual(node->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 573 | } |
| 574 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 575 | bool EscapeStatusAnalysis::IsVirtual(NodeId id) { |
| 576 | return (status_[id] & kTracked) && !(status_[id] & kEscaped); |
| 577 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 578 | |
| 579 | bool EscapeStatusAnalysis::IsEscaped(Node* node) { |
| 580 | return status_[node->id()] & kEscaped; |
| 581 | } |
| 582 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 583 | bool EscapeStatusAnalysis::IsAllocation(Node* node) { |
| 584 | return node->opcode() == IrOpcode::kAllocate || |
| 585 | node->opcode() == IrOpcode::kFinishRegion; |
| 586 | } |
| 587 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 588 | bool EscapeStatusAnalysis::SetEscaped(Node* node) { |
| 589 | bool changed = !(status_[node->id()] & kEscaped); |
| 590 | status_[node->id()] |= kEscaped | kTracked; |
| 591 | return changed; |
| 592 | } |
| 593 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 594 | bool EscapeStatusAnalysis::IsInQueue(NodeId id) { |
| 595 | return status_[id] & kInQueue; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 596 | } |
| 597 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 598 | void EscapeStatusAnalysis::SetInQueue(NodeId id, bool on_stack) { |
| 599 | if (on_stack) { |
| 600 | status_[id] |= kInQueue; |
| 601 | } else { |
| 602 | status_[id] &= ~kInQueue; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 603 | } |
| 604 | } |
| 605 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 606 | void EscapeStatusAnalysis::ResizeStatusVector() { |
| 607 | if (status_.size() <= graph()->NodeCount()) { |
| 608 | status_.resize(graph()->NodeCount() * 1.1, kUnknown); |
| 609 | } |
| 610 | } |
| 611 | |
| 612 | size_t EscapeStatusAnalysis::GetStatusVectorSize() { return status_.size(); } |
| 613 | |
| 614 | void EscapeStatusAnalysis::RunStatusAnalysis() { |
| 615 | ResizeStatusVector(); |
| 616 | while (!status_stack_.empty()) { |
| 617 | Node* node = status_stack_.back(); |
| 618 | status_stack_.pop_back(); |
| 619 | status_[node->id()] &= ~kOnStack; |
| 620 | Process(node); |
| 621 | status_[node->id()] |= kVisited; |
| 622 | } |
| 623 | } |
| 624 | |
| 625 | void EscapeStatusAnalysis::EnqueueForStatusAnalysis(Node* node) { |
| 626 | DCHECK_NOT_NULL(node); |
| 627 | if (!(status_[node->id()] & kOnStack)) { |
| 628 | status_stack_.push_back(node); |
| 629 | status_[node->id()] |= kOnStack; |
| 630 | } |
| 631 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 632 | |
| 633 | void EscapeStatusAnalysis::RevisitInputs(Node* node) { |
| 634 | for (Edge edge : node->input_edges()) { |
| 635 | Node* input = edge.to(); |
| 636 | if (!(status_[input->id()] & kOnStack)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 637 | status_stack_.push_back(input); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 638 | status_[input->id()] |= kOnStack; |
| 639 | } |
| 640 | } |
| 641 | } |
| 642 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 643 | void EscapeStatusAnalysis::RevisitUses(Node* node) { |
| 644 | for (Edge edge : node->use_edges()) { |
| 645 | Node* use = edge.from(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 646 | if (!(status_[use->id()] & kOnStack) && !IsNotReachable(use)) { |
| 647 | status_stack_.push_back(use); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 648 | status_[use->id()] |= kOnStack; |
| 649 | } |
| 650 | } |
| 651 | } |
| 652 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 653 | void EscapeStatusAnalysis::Process(Node* node) { |
| 654 | switch (node->opcode()) { |
| 655 | case IrOpcode::kAllocate: |
| 656 | ProcessAllocate(node); |
| 657 | break; |
| 658 | case IrOpcode::kFinishRegion: |
| 659 | ProcessFinishRegion(node); |
| 660 | break; |
| 661 | case IrOpcode::kStoreField: |
| 662 | ProcessStoreField(node); |
| 663 | break; |
| 664 | case IrOpcode::kStoreElement: |
| 665 | ProcessStoreElement(node); |
| 666 | break; |
| 667 | case IrOpcode::kLoadField: |
| 668 | case IrOpcode::kLoadElement: { |
| 669 | if (Node* rep = object_analysis_->GetReplacement(node)) { |
| 670 | if (IsAllocation(rep) && CheckUsesForEscape(node, rep)) { |
| 671 | RevisitInputs(rep); |
| 672 | RevisitUses(rep); |
| 673 | } |
| 674 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 675 | RevisitUses(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 676 | break; |
| 677 | } |
| 678 | case IrOpcode::kPhi: |
| 679 | if (!HasEntry(node)) { |
| 680 | status_[node->id()] |= kTracked; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 681 | RevisitUses(node); |
| 682 | } |
| 683 | if (!IsAllocationPhi(node) && SetEscaped(node)) { |
| 684 | RevisitInputs(node); |
| 685 | RevisitUses(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 686 | } |
| 687 | CheckUsesForEscape(node); |
| 688 | default: |
| 689 | break; |
| 690 | } |
| 691 | } |
| 692 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 693 | bool EscapeStatusAnalysis::IsAllocationPhi(Node* node) { |
| 694 | for (Edge edge : node->input_edges()) { |
| 695 | Node* input = edge.to(); |
| 696 | if (input->opcode() == IrOpcode::kPhi && !IsEscaped(input)) continue; |
| 697 | if (IsAllocation(input)) continue; |
| 698 | return false; |
| 699 | } |
| 700 | return true; |
| 701 | } |
| 702 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 703 | void EscapeStatusAnalysis::ProcessStoreField(Node* node) { |
| 704 | DCHECK_EQ(node->opcode(), IrOpcode::kStoreField); |
| 705 | Node* to = NodeProperties::GetValueInput(node, 0); |
| 706 | Node* val = NodeProperties::GetValueInput(node, 1); |
| 707 | if ((IsEscaped(to) || !IsAllocation(to)) && SetEscaped(val)) { |
| 708 | RevisitUses(val); |
| 709 | RevisitInputs(val); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 710 | TRACE("Setting #%d (%s) to escaped because of store to field of #%d\n", |
| 711 | val->id(), val->op()->mnemonic(), to->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 712 | } |
| 713 | } |
| 714 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 715 | void EscapeStatusAnalysis::ProcessStoreElement(Node* node) { |
| 716 | DCHECK_EQ(node->opcode(), IrOpcode::kStoreElement); |
| 717 | Node* to = NodeProperties::GetValueInput(node, 0); |
| 718 | Node* val = NodeProperties::GetValueInput(node, 2); |
| 719 | if ((IsEscaped(to) || !IsAllocation(to)) && SetEscaped(val)) { |
| 720 | RevisitUses(val); |
| 721 | RevisitInputs(val); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 722 | TRACE("Setting #%d (%s) to escaped because of store to field of #%d\n", |
| 723 | val->id(), val->op()->mnemonic(), to->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 724 | } |
| 725 | } |
| 726 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 727 | void EscapeStatusAnalysis::ProcessAllocate(Node* node) { |
| 728 | DCHECK_EQ(node->opcode(), IrOpcode::kAllocate); |
| 729 | if (!HasEntry(node)) { |
| 730 | status_[node->id()] |= kTracked; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 731 | TRACE("Created status entry for node #%d (%s)\n", node->id(), |
| 732 | node->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 733 | NumberMatcher size(node->InputAt(0)); |
| 734 | DCHECK(node->InputAt(0)->opcode() != IrOpcode::kInt32Constant && |
| 735 | node->InputAt(0)->opcode() != IrOpcode::kInt64Constant && |
| 736 | node->InputAt(0)->opcode() != IrOpcode::kFloat32Constant && |
| 737 | node->InputAt(0)->opcode() != IrOpcode::kFloat64Constant); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 738 | RevisitUses(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 739 | if (!size.HasValue() && SetEscaped(node)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 740 | TRACE("Setting #%d to escaped because of non-const alloc\n", node->id()); |
| 741 | // This node is already known to escape, uses do not have to be checked |
| 742 | // for escape. |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 743 | return; |
| 744 | } |
| 745 | } |
| 746 | if (CheckUsesForEscape(node, true)) { |
| 747 | RevisitUses(node); |
| 748 | } |
| 749 | } |
| 750 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 751 | bool EscapeStatusAnalysis::CheckUsesForEscape(Node* uses, Node* rep, |
| 752 | bool phi_escaping) { |
| 753 | for (Edge edge : uses->use_edges()) { |
| 754 | Node* use = edge.from(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 755 | if (IsNotReachable(use)) continue; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 756 | if (edge.index() >= use->op()->ValueInputCount() + |
| 757 | OperatorProperties::GetContextInputCount(use->op())) |
| 758 | continue; |
| 759 | switch (use->opcode()) { |
| 760 | case IrOpcode::kPhi: |
| 761 | if (phi_escaping && SetEscaped(rep)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 762 | TRACE( |
| 763 | "Setting #%d (%s) to escaped because of use by phi node " |
| 764 | "#%d (%s)\n", |
| 765 | rep->id(), rep->op()->mnemonic(), use->id(), |
| 766 | use->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 767 | return true; |
| 768 | } |
| 769 | // Fallthrough. |
| 770 | case IrOpcode::kStoreField: |
| 771 | case IrOpcode::kLoadField: |
| 772 | case IrOpcode::kStoreElement: |
| 773 | case IrOpcode::kLoadElement: |
| 774 | case IrOpcode::kFrameState: |
| 775 | case IrOpcode::kStateValues: |
| 776 | case IrOpcode::kReferenceEqual: |
| 777 | case IrOpcode::kFinishRegion: |
| 778 | if (IsEscaped(use) && SetEscaped(rep)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 779 | TRACE( |
| 780 | "Setting #%d (%s) to escaped because of use by escaping node " |
| 781 | "#%d (%s)\n", |
| 782 | rep->id(), rep->op()->mnemonic(), use->id(), |
| 783 | use->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 784 | return true; |
| 785 | } |
| 786 | break; |
| 787 | case IrOpcode::kObjectIsSmi: |
| 788 | if (!IsAllocation(rep) && SetEscaped(rep)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 789 | TRACE("Setting #%d (%s) to escaped because of use by #%d (%s)\n", |
| 790 | rep->id(), rep->op()->mnemonic(), use->id(), |
| 791 | use->op()->mnemonic()); |
| 792 | return true; |
| 793 | } |
| 794 | break; |
| 795 | case IrOpcode::kSelect: |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 796 | case IrOpcode::kTypeGuard: |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 797 | // TODO(mstarzinger): The following list of operators will eventually be |
| 798 | // handled by the EscapeAnalysisReducer (similar to ObjectIsSmi). |
| 799 | case IrOpcode::kObjectIsCallable: |
| 800 | case IrOpcode::kObjectIsNumber: |
| 801 | case IrOpcode::kObjectIsString: |
| 802 | case IrOpcode::kObjectIsUndetectable: |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 803 | if (SetEscaped(rep)) { |
| 804 | TRACE("Setting #%d (%s) to escaped because of use by #%d (%s)\n", |
| 805 | rep->id(), rep->op()->mnemonic(), use->id(), |
| 806 | use->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 807 | return true; |
| 808 | } |
| 809 | break; |
| 810 | default: |
| 811 | if (use->op()->EffectInputCount() == 0 && |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 812 | uses->op()->EffectInputCount() > 0 && |
| 813 | !IrOpcode::IsJsOpcode(use->opcode())) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 814 | TRACE("Encountered unaccounted use by #%d (%s)\n", use->id(), |
| 815 | use->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 816 | UNREACHABLE(); |
| 817 | } |
| 818 | if (SetEscaped(rep)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 819 | TRACE("Setting #%d (%s) to escaped because of use by #%d (%s)\n", |
| 820 | rep->id(), rep->op()->mnemonic(), use->id(), |
| 821 | use->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 822 | return true; |
| 823 | } |
| 824 | } |
| 825 | } |
| 826 | return false; |
| 827 | } |
| 828 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 829 | void EscapeStatusAnalysis::ProcessFinishRegion(Node* node) { |
| 830 | DCHECK_EQ(node->opcode(), IrOpcode::kFinishRegion); |
| 831 | if (!HasEntry(node)) { |
| 832 | status_[node->id()] |= kTracked; |
| 833 | RevisitUses(node); |
| 834 | } |
| 835 | if (CheckUsesForEscape(node, true)) { |
| 836 | RevisitInputs(node); |
| 837 | } |
| 838 | } |
| 839 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 840 | void EscapeStatusAnalysis::DebugPrint() { |
| 841 | for (NodeId id = 0; id < status_.size(); id++) { |
| 842 | if (status_[id] & kTracked) { |
| 843 | PrintF("Node #%d is %s\n", id, |
| 844 | (status_[id] & kEscaped) ? "escaping" : "virtual"); |
| 845 | } |
| 846 | } |
| 847 | } |
| 848 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 849 | EscapeAnalysis::EscapeAnalysis(Graph* graph, CommonOperatorBuilder* common, |
| 850 | Zone* zone) |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 851 | : zone_(zone), |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 852 | slot_not_analyzed_(graph->NewNode(common->NumberConstant(0x1c0debad))), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 853 | common_(common), |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 854 | status_analysis_(new (zone) EscapeStatusAnalysis(this, graph, zone)), |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 855 | virtual_states_(zone), |
| 856 | replacements_(zone), |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 857 | cache_(nullptr) {} |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 858 | |
| 859 | EscapeAnalysis::~EscapeAnalysis() {} |
| 860 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 861 | void EscapeAnalysis::Run() { |
| 862 | replacements_.resize(graph()->NodeCount()); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 863 | status_analysis_->AssignAliases(); |
| 864 | if (status_analysis_->AliasCount() > 0) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 865 | cache_ = new (zone()) MergeCache(zone()); |
| 866 | replacements_.resize(graph()->NodeCount()); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 867 | status_analysis_->ResizeStatusVector(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 868 | RunObjectAnalysis(); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 869 | status_analysis_->RunStatusAnalysis(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 870 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 871 | } |
| 872 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 873 | void EscapeStatusAnalysis::AssignAliases() { |
| 874 | size_t max_size = 1024; |
| 875 | size_t min_size = 32; |
| 876 | size_t stack_size = |
| 877 | std::min(std::max(graph()->NodeCount() / 5, min_size), max_size); |
| 878 | stack_.reserve(stack_size); |
| 879 | ResizeStatusVector(); |
| 880 | stack_.push_back(graph()->end()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 881 | CHECK_LT(graph()->NodeCount(), kUntrackable); |
| 882 | aliases_.resize(graph()->NodeCount(), kNotReachable); |
| 883 | aliases_[graph()->end()->id()] = kUntrackable; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 884 | status_stack_.reserve(8); |
| 885 | TRACE("Discovering trackable nodes"); |
| 886 | while (!stack_.empty()) { |
| 887 | Node* node = stack_.back(); |
| 888 | stack_.pop_back(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 889 | switch (node->opcode()) { |
| 890 | case IrOpcode::kAllocate: |
| 891 | if (aliases_[node->id()] >= kUntrackable) { |
| 892 | aliases_[node->id()] = NextAlias(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 893 | TRACE(" @%d:%s#%u", aliases_[node->id()], node->op()->mnemonic(), |
| 894 | node->id()); |
| 895 | EnqueueForStatusAnalysis(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 896 | } |
| 897 | break; |
| 898 | case IrOpcode::kFinishRegion: { |
| 899 | Node* allocate = NodeProperties::GetValueInput(node, 0); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 900 | DCHECK_NOT_NULL(allocate); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 901 | if (allocate->opcode() == IrOpcode::kAllocate) { |
| 902 | if (aliases_[allocate->id()] >= kUntrackable) { |
| 903 | if (aliases_[allocate->id()] == kNotReachable) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 904 | stack_.push_back(allocate); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 905 | } |
| 906 | aliases_[allocate->id()] = NextAlias(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 907 | TRACE(" @%d:%s#%u", aliases_[allocate->id()], |
| 908 | allocate->op()->mnemonic(), allocate->id()); |
| 909 | EnqueueForStatusAnalysis(allocate); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 910 | } |
| 911 | aliases_[node->id()] = aliases_[allocate->id()]; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 912 | TRACE(" @%d:%s#%u", aliases_[node->id()], node->op()->mnemonic(), |
| 913 | node->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 914 | } |
| 915 | break; |
| 916 | } |
| 917 | default: |
| 918 | DCHECK_EQ(aliases_[node->id()], kUntrackable); |
| 919 | break; |
| 920 | } |
| 921 | for (Edge edge : node->input_edges()) { |
| 922 | Node* input = edge.to(); |
| 923 | if (aliases_[input->id()] == kNotReachable) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 924 | stack_.push_back(input); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 925 | aliases_[input->id()] = kUntrackable; |
| 926 | } |
| 927 | } |
| 928 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 929 | TRACE("\n"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 930 | } |
| 931 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 932 | bool EscapeStatusAnalysis::IsNotReachable(Node* node) { |
| 933 | if (node->id() >= aliases_.size()) { |
| 934 | return false; |
| 935 | } |
| 936 | return aliases_[node->id()] == kNotReachable; |
| 937 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 938 | |
| 939 | void EscapeAnalysis::RunObjectAnalysis() { |
| 940 | virtual_states_.resize(graph()->NodeCount()); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 941 | ZoneDeque<Node*> queue(zone()); |
| 942 | queue.push_back(graph()->start()); |
| 943 | ZoneVector<Node*> danglers(zone()); |
| 944 | while (!queue.empty()) { |
| 945 | Node* node = queue.back(); |
| 946 | queue.pop_back(); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 947 | status_analysis_->SetInQueue(node->id(), false); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 948 | if (Process(node)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 949 | for (Edge edge : node->use_edges()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 950 | Node* use = edge.from(); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 951 | if (status_analysis_->IsNotReachable(use)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 952 | continue; |
| 953 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 954 | if (NodeProperties::IsEffectEdge(edge)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 955 | // Iteration order: depth first, but delay phis. |
| 956 | // We need DFS do avoid some duplication of VirtualStates and |
| 957 | // VirtualObjects, and we want to delay phis to improve performance. |
| 958 | if (use->opcode() == IrOpcode::kEffectPhi) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 959 | if (!status_analysis_->IsInQueue(use->id())) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 960 | queue.push_front(use); |
| 961 | } |
| 962 | } else if ((use->opcode() != IrOpcode::kLoadField && |
| 963 | use->opcode() != IrOpcode::kLoadElement) || |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 964 | !status_analysis_->IsDanglingEffectNode(use)) { |
| 965 | if (!status_analysis_->IsInQueue(use->id())) { |
| 966 | status_analysis_->SetInQueue(use->id(), true); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 967 | queue.push_back(use); |
| 968 | } |
| 969 | } else { |
| 970 | danglers.push_back(use); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 971 | } |
| 972 | } |
| 973 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 974 | // Danglers need to be processed immediately, even if they are |
| 975 | // on the stack. Since they do not have effect outputs, |
| 976 | // we don't have to track whether they are on the stack. |
| 977 | queue.insert(queue.end(), danglers.begin(), danglers.end()); |
| 978 | danglers.clear(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 979 | } |
| 980 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 981 | #ifdef DEBUG |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 982 | if (FLAG_trace_turbo_escape) { |
| 983 | DebugPrint(); |
| 984 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 985 | #endif |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 986 | } |
| 987 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 988 | bool EscapeStatusAnalysis::IsDanglingEffectNode(Node* node) { |
| 989 | if (status_[node->id()] & kDanglingComputed) { |
| 990 | return status_[node->id()] & kDangling; |
| 991 | } |
| 992 | if (node->op()->EffectInputCount() == 0 || |
| 993 | node->op()->EffectOutputCount() == 0 || |
| 994 | (node->op()->EffectInputCount() == 1 && |
| 995 | NodeProperties::GetEffectInput(node)->opcode() == IrOpcode::kStart)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 996 | // The start node is used as sentinel for nodes that are in general |
| 997 | // effectful, but of which an analysis has determined that they do not |
| 998 | // produce effects in this instance. We don't consider these nodes dangling. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 999 | status_[node->id()] |= kDanglingComputed; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1000 | return false; |
| 1001 | } |
| 1002 | for (Edge edge : node->use_edges()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1003 | Node* use = edge.from(); |
| 1004 | if (aliases_[use->id()] == kNotReachable) continue; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1005 | if (NodeProperties::IsEffectEdge(edge)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1006 | status_[node->id()] |= kDanglingComputed; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1007 | return false; |
| 1008 | } |
| 1009 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1010 | status_[node->id()] |= kDanglingComputed | kDangling; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1011 | return true; |
| 1012 | } |
| 1013 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1014 | bool EscapeStatusAnalysis::IsEffectBranchPoint(Node* node) { |
| 1015 | if (status_[node->id()] & kBranchPointComputed) { |
| 1016 | return status_[node->id()] & kBranchPoint; |
| 1017 | } |
| 1018 | int count = 0; |
| 1019 | for (Edge edge : node->use_edges()) { |
| 1020 | Node* use = edge.from(); |
| 1021 | if (aliases_[use->id()] == kNotReachable) continue; |
| 1022 | if (NodeProperties::IsEffectEdge(edge)) { |
| 1023 | if ((use->opcode() == IrOpcode::kLoadField || |
| 1024 | use->opcode() == IrOpcode::kLoadElement || |
| 1025 | use->opcode() == IrOpcode::kLoad) && |
| 1026 | IsDanglingEffectNode(use)) |
| 1027 | continue; |
| 1028 | if (++count > 1) { |
| 1029 | status_[node->id()] |= kBranchPointComputed | kBranchPoint; |
| 1030 | return true; |
| 1031 | } |
| 1032 | } |
| 1033 | } |
| 1034 | status_[node->id()] |= kBranchPointComputed; |
| 1035 | return false; |
| 1036 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1037 | |
| 1038 | bool EscapeAnalysis::Process(Node* node) { |
| 1039 | switch (node->opcode()) { |
| 1040 | case IrOpcode::kAllocate: |
| 1041 | ProcessAllocation(node); |
| 1042 | break; |
| 1043 | case IrOpcode::kBeginRegion: |
| 1044 | ForwardVirtualState(node); |
| 1045 | break; |
| 1046 | case IrOpcode::kFinishRegion: |
| 1047 | ProcessFinishRegion(node); |
| 1048 | break; |
| 1049 | case IrOpcode::kStoreField: |
| 1050 | ProcessStoreField(node); |
| 1051 | break; |
| 1052 | case IrOpcode::kLoadField: |
| 1053 | ProcessLoadField(node); |
| 1054 | break; |
| 1055 | case IrOpcode::kStoreElement: |
| 1056 | ProcessStoreElement(node); |
| 1057 | break; |
| 1058 | case IrOpcode::kLoadElement: |
| 1059 | ProcessLoadElement(node); |
| 1060 | break; |
| 1061 | case IrOpcode::kStart: |
| 1062 | ProcessStart(node); |
| 1063 | break; |
| 1064 | case IrOpcode::kEffectPhi: |
| 1065 | return ProcessEffectPhi(node); |
| 1066 | break; |
| 1067 | default: |
| 1068 | if (node->op()->EffectInputCount() > 0) { |
| 1069 | ForwardVirtualState(node); |
| 1070 | } |
| 1071 | ProcessAllocationUsers(node); |
| 1072 | break; |
| 1073 | } |
| 1074 | return true; |
| 1075 | } |
| 1076 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1077 | void EscapeAnalysis::ProcessAllocationUsers(Node* node) { |
| 1078 | for (Edge edge : node->input_edges()) { |
| 1079 | Node* input = edge.to(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1080 | Node* use = edge.from(); |
| 1081 | if (edge.index() >= use->op()->ValueInputCount() + |
| 1082 | OperatorProperties::GetContextInputCount(use->op())) |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1083 | continue; |
| 1084 | switch (node->opcode()) { |
| 1085 | case IrOpcode::kStoreField: |
| 1086 | case IrOpcode::kLoadField: |
| 1087 | case IrOpcode::kStoreElement: |
| 1088 | case IrOpcode::kLoadElement: |
| 1089 | case IrOpcode::kFrameState: |
| 1090 | case IrOpcode::kStateValues: |
| 1091 | case IrOpcode::kReferenceEqual: |
| 1092 | case IrOpcode::kFinishRegion: |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1093 | case IrOpcode::kObjectIsSmi: |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1094 | break; |
| 1095 | default: |
| 1096 | VirtualState* state = virtual_states_[node->id()]; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1097 | if (VirtualObject* obj = |
| 1098 | GetVirtualObject(state, ResolveReplacement(input))) { |
| 1099 | if (!obj->AllFieldsClear()) { |
| 1100 | obj = CopyForModificationAt(obj, state, node); |
| 1101 | obj->ClearAllFields(); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1102 | TRACE("Cleared all fields of @%d:#%d\n", |
| 1103 | status_analysis_->GetAlias(obj->id()), obj->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1104 | } |
| 1105 | } |
| 1106 | break; |
| 1107 | } |
| 1108 | } |
| 1109 | } |
| 1110 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1111 | VirtualState* EscapeAnalysis::CopyForModificationAt(VirtualState* state, |
| 1112 | Node* node) { |
| 1113 | if (state->owner() != node) { |
| 1114 | VirtualState* new_state = new (zone()) VirtualState(node, *state); |
| 1115 | virtual_states_[node->id()] = new_state; |
| 1116 | TRACE("Copying virtual state %p to new state %p at node %s#%d\n", |
| 1117 | static_cast<void*>(state), static_cast<void*>(new_state), |
| 1118 | node->op()->mnemonic(), node->id()); |
| 1119 | return new_state; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1120 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1121 | return state; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1122 | } |
| 1123 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1124 | VirtualObject* EscapeAnalysis::CopyForModificationAt(VirtualObject* obj, |
| 1125 | VirtualState* state, |
| 1126 | Node* node) { |
| 1127 | if (obj->NeedCopyForModification()) { |
| 1128 | state = CopyForModificationAt(state, node); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1129 | return state->Copy(obj, status_analysis_->GetAlias(obj->id())); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1130 | } |
| 1131 | return obj; |
| 1132 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1133 | |
| 1134 | void EscapeAnalysis::ForwardVirtualState(Node* node) { |
| 1135 | DCHECK_EQ(node->op()->EffectInputCount(), 1); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1136 | #ifdef DEBUG |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1137 | if (node->opcode() != IrOpcode::kLoadField && |
| 1138 | node->opcode() != IrOpcode::kLoadElement && |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1139 | node->opcode() != IrOpcode::kLoad && |
| 1140 | status_analysis_->IsDanglingEffectNode(node)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1141 | PrintF("Dangeling effect node: #%d (%s)\n", node->id(), |
| 1142 | node->op()->mnemonic()); |
| 1143 | UNREACHABLE(); |
| 1144 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1145 | #endif // DEBUG |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1146 | Node* effect = NodeProperties::GetEffectInput(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1147 | DCHECK_NOT_NULL(virtual_states_[effect->id()]); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1148 | if (virtual_states_[node->id()]) { |
| 1149 | virtual_states_[node->id()]->UpdateFrom(virtual_states_[effect->id()], |
| 1150 | zone()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1151 | } else { |
| 1152 | virtual_states_[node->id()] = virtual_states_[effect->id()]; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1153 | TRACE("Forwarding object state %p from %s#%d to %s#%d", |
| 1154 | static_cast<void*>(virtual_states_[effect->id()]), |
| 1155 | effect->op()->mnemonic(), effect->id(), node->op()->mnemonic(), |
| 1156 | node->id()); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1157 | if (status_analysis_->IsEffectBranchPoint(effect) || |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1158 | OperatorProperties::GetFrameStateInputCount(node->op()) > 0) { |
| 1159 | virtual_states_[node->id()]->SetCopyRequired(); |
| 1160 | TRACE(", effect input %s#%d is branch point", effect->op()->mnemonic(), |
| 1161 | effect->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1162 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1163 | TRACE("\n"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1164 | } |
| 1165 | } |
| 1166 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1167 | void EscapeAnalysis::ProcessStart(Node* node) { |
| 1168 | DCHECK_EQ(node->opcode(), IrOpcode::kStart); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1169 | virtual_states_[node->id()] = |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1170 | new (zone()) VirtualState(node, zone(), status_analysis_->AliasCount()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1171 | } |
| 1172 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1173 | bool EscapeAnalysis::ProcessEffectPhi(Node* node) { |
| 1174 | DCHECK_EQ(node->opcode(), IrOpcode::kEffectPhi); |
| 1175 | bool changed = false; |
| 1176 | |
| 1177 | VirtualState* mergeState = virtual_states_[node->id()]; |
| 1178 | if (!mergeState) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1179 | mergeState = |
| 1180 | new (zone()) VirtualState(node, zone(), status_analysis_->AliasCount()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1181 | virtual_states_[node->id()] = mergeState; |
| 1182 | changed = true; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1183 | TRACE("Effect Phi #%d got new virtual state %p.\n", node->id(), |
| 1184 | static_cast<void*>(mergeState)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1185 | } |
| 1186 | |
| 1187 | cache_->Clear(); |
| 1188 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1189 | TRACE("At Effect Phi #%d, merging states into %p:", node->id(), |
| 1190 | static_cast<void*>(mergeState)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1191 | |
| 1192 | for (int i = 0; i < node->op()->EffectInputCount(); ++i) { |
| 1193 | Node* input = NodeProperties::GetEffectInput(node, i); |
| 1194 | VirtualState* state = virtual_states_[input->id()]; |
| 1195 | if (state) { |
| 1196 | cache_->states().push_back(state); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1197 | if (state == mergeState) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1198 | mergeState = new (zone()) |
| 1199 | VirtualState(node, zone(), status_analysis_->AliasCount()); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1200 | virtual_states_[node->id()] = mergeState; |
| 1201 | changed = true; |
| 1202 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1203 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1204 | TRACE(" %p (from %d %s)", static_cast<void*>(state), input->id(), |
| 1205 | input->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1206 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1207 | TRACE("\n"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1208 | |
| 1209 | if (cache_->states().size() == 0) { |
| 1210 | return changed; |
| 1211 | } |
| 1212 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1213 | changed = |
| 1214 | mergeState->MergeFrom(cache_, zone(), graph(), common(), node) || changed; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1215 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1216 | TRACE("Merge %s the node.\n", changed ? "changed" : "did not change"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1217 | |
| 1218 | if (changed) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1219 | status_analysis_->ResizeStatusVector(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1220 | } |
| 1221 | return changed; |
| 1222 | } |
| 1223 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1224 | void EscapeAnalysis::ProcessAllocation(Node* node) { |
| 1225 | DCHECK_EQ(node->opcode(), IrOpcode::kAllocate); |
| 1226 | ForwardVirtualState(node); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1227 | VirtualState* state = virtual_states_[node->id()]; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1228 | Alias alias = status_analysis_->GetAlias(node->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1229 | |
| 1230 | // Check if we have already processed this node. |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1231 | if (state->VirtualObjectFromAlias(alias)) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1232 | return; |
| 1233 | } |
| 1234 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1235 | if (state->owner()->opcode() == IrOpcode::kEffectPhi) { |
| 1236 | state = CopyForModificationAt(state, node); |
| 1237 | } |
| 1238 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1239 | NumberMatcher size(node->InputAt(0)); |
| 1240 | DCHECK(node->InputAt(0)->opcode() != IrOpcode::kInt32Constant && |
| 1241 | node->InputAt(0)->opcode() != IrOpcode::kInt64Constant && |
| 1242 | node->InputAt(0)->opcode() != IrOpcode::kFloat32Constant && |
| 1243 | node->InputAt(0)->opcode() != IrOpcode::kFloat64Constant); |
| 1244 | if (size.HasValue()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1245 | VirtualObject* obj = new (zone()) VirtualObject( |
| 1246 | node->id(), state, zone(), size.Value() / kPointerSize, false); |
| 1247 | state->SetVirtualObject(alias, obj); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1248 | } else { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1249 | state->SetVirtualObject( |
| 1250 | alias, new (zone()) VirtualObject(node->id(), state, zone())); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1251 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1252 | } |
| 1253 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1254 | void EscapeAnalysis::ProcessFinishRegion(Node* node) { |
| 1255 | DCHECK_EQ(node->opcode(), IrOpcode::kFinishRegion); |
| 1256 | ForwardVirtualState(node); |
| 1257 | Node* allocation = NodeProperties::GetValueInput(node, 0); |
| 1258 | if (allocation->opcode() == IrOpcode::kAllocate) { |
| 1259 | VirtualState* state = virtual_states_[node->id()]; |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1260 | VirtualObject* obj = |
| 1261 | state->VirtualObjectFromAlias(status_analysis_->GetAlias(node->id())); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1262 | DCHECK_NOT_NULL(obj); |
| 1263 | obj->SetInitialized(); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1264 | } |
| 1265 | } |
| 1266 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1267 | Node* EscapeAnalysis::replacement(Node* node) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1268 | if (node->id() >= replacements_.size()) return nullptr; |
| 1269 | return replacements_[node->id()]; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1270 | } |
| 1271 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1272 | bool EscapeAnalysis::SetReplacement(Node* node, Node* rep) { |
| 1273 | bool changed = replacements_[node->id()] != rep; |
| 1274 | replacements_[node->id()] = rep; |
| 1275 | return changed; |
| 1276 | } |
| 1277 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1278 | bool EscapeAnalysis::UpdateReplacement(VirtualState* state, Node* node, |
| 1279 | Node* rep) { |
| 1280 | if (SetReplacement(node, rep)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1281 | if (rep) { |
| 1282 | TRACE("Replacement of #%d is #%d (%s)\n", node->id(), rep->id(), |
| 1283 | rep->op()->mnemonic()); |
| 1284 | } else { |
| 1285 | TRACE("Replacement of #%d cleared\n", node->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1286 | } |
| 1287 | return true; |
| 1288 | } |
| 1289 | return false; |
| 1290 | } |
| 1291 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1292 | Node* EscapeAnalysis::ResolveReplacement(Node* node) { |
| 1293 | while (replacement(node)) { |
| 1294 | node = replacement(node); |
| 1295 | } |
| 1296 | return node; |
| 1297 | } |
| 1298 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1299 | Node* EscapeAnalysis::GetReplacement(Node* node) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1300 | Node* result = nullptr; |
| 1301 | while (replacement(node)) { |
| 1302 | node = result = replacement(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1303 | } |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1304 | return result; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1305 | } |
| 1306 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1307 | bool EscapeAnalysis::IsVirtual(Node* node) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1308 | if (node->id() >= status_analysis_->GetStatusVectorSize()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1309 | return false; |
| 1310 | } |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1311 | return status_analysis_->IsVirtual(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1312 | } |
| 1313 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1314 | bool EscapeAnalysis::IsEscaped(Node* node) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1315 | if (node->id() >= status_analysis_->GetStatusVectorSize()) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1316 | return false; |
| 1317 | } |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1318 | return status_analysis_->IsEscaped(node); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1319 | } |
| 1320 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1321 | bool EscapeAnalysis::CompareVirtualObjects(Node* left, Node* right) { |
| 1322 | DCHECK(IsVirtual(left) && IsVirtual(right)); |
| 1323 | left = ResolveReplacement(left); |
| 1324 | right = ResolveReplacement(right); |
| 1325 | if (IsEquivalentPhi(left, right)) { |
| 1326 | return true; |
| 1327 | } |
| 1328 | return false; |
| 1329 | } |
| 1330 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1331 | namespace { |
| 1332 | |
| 1333 | int OffsetForFieldAccess(Node* node) { |
| 1334 | FieldAccess access = FieldAccessOf(node->op()); |
| 1335 | DCHECK_EQ(access.offset % kPointerSize, 0); |
| 1336 | return access.offset / kPointerSize; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1337 | } |
| 1338 | |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1339 | int OffsetForElementAccess(Node* node, int index) { |
| 1340 | ElementAccess access = ElementAccessOf(node->op()); |
| 1341 | DCHECK_GE(ElementSizeLog2Of(access.machine_type.representation()), |
| 1342 | kPointerSizeLog2); |
| 1343 | DCHECK_EQ(access.header_size % kPointerSize, 0); |
| 1344 | return access.header_size / kPointerSize + index; |
| 1345 | } |
| 1346 | |
| 1347 | } // namespace |
| 1348 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1349 | void EscapeAnalysis::ProcessLoadFromPhi(int offset, Node* from, Node* load, |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1350 | VirtualState* state) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1351 | TRACE("Load #%d from phi #%d", load->id(), from->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1352 | |
| 1353 | cache_->fields().clear(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1354 | for (int i = 0; i < load->op()->ValueInputCount(); ++i) { |
| 1355 | Node* input = NodeProperties::GetValueInput(load, i); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1356 | cache_->fields().push_back(input); |
| 1357 | } |
| 1358 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1359 | cache_->LoadVirtualObjectsForFieldsFrom(state, |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1360 | status_analysis_->GetAliasMap()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1361 | if (cache_->objects().size() == cache_->fields().size()) { |
| 1362 | cache_->GetFields(offset); |
| 1363 | if (cache_->fields().size() == cache_->objects().size()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1364 | Node* rep = replacement(load); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1365 | if (!rep || !IsEquivalentPhi(rep, cache_->fields())) { |
| 1366 | int value_input_count = static_cast<int>(cache_->fields().size()); |
| 1367 | cache_->fields().push_back(NodeProperties::GetControlInput(from)); |
| 1368 | Node* phi = graph()->NewNode( |
| 1369 | common()->Phi(MachineRepresentation::kTagged, value_input_count), |
| 1370 | value_input_count + 1, &cache_->fields().front()); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1371 | status_analysis_->ResizeStatusVector(); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1372 | SetReplacement(load, phi); |
| 1373 | TRACE(" got phi created.\n"); |
| 1374 | } else { |
| 1375 | TRACE(" has already phi #%d.\n", rep->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1376 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1377 | } else { |
| 1378 | TRACE(" has incomplete field info.\n"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1379 | } |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1380 | } else { |
| 1381 | TRACE(" has incomplete virtual object info.\n"); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1382 | } |
| 1383 | } |
| 1384 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1385 | void EscapeAnalysis::ProcessLoadField(Node* node) { |
| 1386 | DCHECK_EQ(node->opcode(), IrOpcode::kLoadField); |
| 1387 | ForwardVirtualState(node); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1388 | Node* from = ResolveReplacement(NodeProperties::GetValueInput(node, 0)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1389 | VirtualState* state = virtual_states_[node->id()]; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1390 | if (VirtualObject* object = GetVirtualObject(state, from)) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1391 | if (!object->IsTracked()) return; |
| 1392 | int offset = OffsetForFieldAccess(node); |
| 1393 | if (static_cast<size_t>(offset) >= object->field_count()) return; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1394 | Node* value = object->GetField(offset); |
| 1395 | if (value) { |
| 1396 | value = ResolveReplacement(value); |
| 1397 | } |
| 1398 | // Record that the load has this alias. |
| 1399 | UpdateReplacement(state, node, value); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1400 | } else if (from->opcode() == IrOpcode::kPhi && |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1401 | FieldAccessOf(node->op()).offset % kPointerSize == 0) { |
| 1402 | int offset = OffsetForFieldAccess(node); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1403 | // Only binary phis are supported for now. |
| 1404 | ProcessLoadFromPhi(offset, from, node, state); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1405 | } else { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1406 | UpdateReplacement(state, node, nullptr); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1407 | } |
| 1408 | } |
| 1409 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1410 | void EscapeAnalysis::ProcessLoadElement(Node* node) { |
| 1411 | DCHECK_EQ(node->opcode(), IrOpcode::kLoadElement); |
| 1412 | ForwardVirtualState(node); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1413 | Node* from = ResolveReplacement(NodeProperties::GetValueInput(node, 0)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1414 | VirtualState* state = virtual_states_[node->id()]; |
| 1415 | Node* index_node = node->InputAt(1); |
| 1416 | NumberMatcher index(index_node); |
| 1417 | DCHECK(index_node->opcode() != IrOpcode::kInt32Constant && |
| 1418 | index_node->opcode() != IrOpcode::kInt64Constant && |
| 1419 | index_node->opcode() != IrOpcode::kFloat32Constant && |
| 1420 | index_node->opcode() != IrOpcode::kFloat64Constant); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1421 | if (index.HasValue()) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1422 | if (VirtualObject* object = GetVirtualObject(state, from)) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1423 | if (!object->IsTracked()) return; |
| 1424 | int offset = OffsetForElementAccess(node, index.Value()); |
| 1425 | if (static_cast<size_t>(offset) >= object->field_count()) return; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1426 | Node* value = object->GetField(offset); |
| 1427 | if (value) { |
| 1428 | value = ResolveReplacement(value); |
| 1429 | } |
| 1430 | // Record that the load has this alias. |
| 1431 | UpdateReplacement(state, node, value); |
| 1432 | } else if (from->opcode() == IrOpcode::kPhi) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1433 | int offset = OffsetForElementAccess(node, index.Value()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1434 | ProcessLoadFromPhi(offset, from, node, state); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1435 | } else { |
| 1436 | UpdateReplacement(state, node, nullptr); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1437 | } |
| 1438 | } else { |
| 1439 | // We have a load from a non-const index, cannot eliminate object. |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1440 | if (status_analysis_->SetEscaped(from)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1441 | TRACE( |
| 1442 | "Setting #%d (%s) to escaped because load element #%d from non-const " |
| 1443 | "index #%d (%s)\n", |
| 1444 | from->id(), from->op()->mnemonic(), node->id(), index_node->id(), |
| 1445 | index_node->op()->mnemonic()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1446 | } |
| 1447 | } |
| 1448 | } |
| 1449 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1450 | void EscapeAnalysis::ProcessStoreField(Node* node) { |
| 1451 | DCHECK_EQ(node->opcode(), IrOpcode::kStoreField); |
| 1452 | ForwardVirtualState(node); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1453 | Node* to = ResolveReplacement(NodeProperties::GetValueInput(node, 0)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1454 | VirtualState* state = virtual_states_[node->id()]; |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1455 | if (VirtualObject* object = GetVirtualObject(state, to)) { |
| 1456 | if (!object->IsTracked()) return; |
| 1457 | int offset = OffsetForFieldAccess(node); |
| 1458 | if (static_cast<size_t>(offset) >= object->field_count()) return; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1459 | Node* val = ResolveReplacement(NodeProperties::GetValueInput(node, 1)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1460 | // TODO(mstarzinger): The following is a workaround to not track the code |
| 1461 | // entry field in virtual JSFunction objects. We only ever store the inner |
| 1462 | // pointer into the compile lazy stub in this field and the deoptimizer has |
| 1463 | // this assumption hard-coded in {TranslatedState::MaterializeAt} as well. |
| 1464 | if (val->opcode() == IrOpcode::kInt32Constant || |
| 1465 | val->opcode() == IrOpcode::kInt64Constant) { |
| 1466 | DCHECK_EQ(JSFunction::kCodeEntryOffset, FieldAccessOf(node->op()).offset); |
| 1467 | val = slot_not_analyzed_; |
| 1468 | } |
| 1469 | if (object->GetField(offset) != val) { |
| 1470 | object = CopyForModificationAt(object, state, node); |
| 1471 | object->SetField(offset, val); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1472 | } |
| 1473 | } |
| 1474 | } |
| 1475 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1476 | void EscapeAnalysis::ProcessStoreElement(Node* node) { |
| 1477 | DCHECK_EQ(node->opcode(), IrOpcode::kStoreElement); |
| 1478 | ForwardVirtualState(node); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1479 | Node* to = ResolveReplacement(NodeProperties::GetValueInput(node, 0)); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1480 | Node* index_node = node->InputAt(1); |
| 1481 | NumberMatcher index(index_node); |
| 1482 | DCHECK(index_node->opcode() != IrOpcode::kInt32Constant && |
| 1483 | index_node->opcode() != IrOpcode::kInt64Constant && |
| 1484 | index_node->opcode() != IrOpcode::kFloat32Constant && |
| 1485 | index_node->opcode() != IrOpcode::kFloat64Constant); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1486 | VirtualState* state = virtual_states_[node->id()]; |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1487 | if (index.HasValue()) { |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1488 | if (VirtualObject* object = GetVirtualObject(state, to)) { |
| 1489 | if (!object->IsTracked()) return; |
| 1490 | int offset = OffsetForElementAccess(node, index.Value()); |
| 1491 | if (static_cast<size_t>(offset) >= object->field_count()) return; |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1492 | Node* val = ResolveReplacement(NodeProperties::GetValueInput(node, 2)); |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1493 | if (object->GetField(offset) != val) { |
| 1494 | object = CopyForModificationAt(object, state, node); |
| 1495 | object->SetField(offset, val); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1496 | } |
| 1497 | } |
| 1498 | } else { |
| 1499 | // We have a store to a non-const index, cannot eliminate object. |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1500 | if (status_analysis_->SetEscaped(to)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1501 | TRACE( |
| 1502 | "Setting #%d (%s) to escaped because store element #%d to non-const " |
| 1503 | "index #%d (%s)\n", |
| 1504 | to->id(), to->op()->mnemonic(), node->id(), index_node->id(), |
| 1505 | index_node->op()->mnemonic()); |
| 1506 | } |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1507 | if (VirtualObject* object = GetVirtualObject(state, to)) { |
| 1508 | if (!object->IsTracked()) return; |
| 1509 | if (!object->AllFieldsClear()) { |
| 1510 | object = CopyForModificationAt(object, state, node); |
| 1511 | object->ClearAllFields(); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1512 | TRACE("Cleared all fields of @%d:#%d\n", |
Ben Murdoch | 61f157c | 2016-09-16 13:49:30 +0100 | [diff] [blame] | 1513 | status_analysis_->GetAlias(object->id()), object->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1514 | } |
| 1515 | } |
| 1516 | } |
| 1517 | } |
| 1518 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1519 | Node* EscapeAnalysis::GetOrCreateObjectState(Node* effect, Node* node) { |
| 1520 | if ((node->opcode() == IrOpcode::kFinishRegion || |
| 1521 | node->opcode() == IrOpcode::kAllocate) && |
| 1522 | IsVirtual(node)) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1523 | if (VirtualObject* vobj = GetVirtualObject(virtual_states_[effect->id()], |
| 1524 | ResolveReplacement(node))) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1525 | if (Node* object_state = vobj->GetObjectState()) { |
| 1526 | return object_state; |
| 1527 | } else { |
| 1528 | cache_->fields().clear(); |
| 1529 | for (size_t i = 0; i < vobj->field_count(); ++i) { |
| 1530 | if (Node* field = vobj->GetField(i)) { |
| 1531 | cache_->fields().push_back(field); |
| 1532 | } |
| 1533 | } |
| 1534 | int input_count = static_cast<int>(cache_->fields().size()); |
| 1535 | Node* new_object_state = |
| 1536 | graph()->NewNode(common()->ObjectState(input_count, vobj->id()), |
| 1537 | input_count, &cache_->fields().front()); |
| 1538 | vobj->SetObjectState(new_object_state); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1539 | TRACE( |
| 1540 | "Creating object state #%d for vobj %p (from node #%d) at effect " |
| 1541 | "#%d\n", |
| 1542 | new_object_state->id(), static_cast<void*>(vobj), node->id(), |
| 1543 | effect->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1544 | // Now fix uses of other objects. |
| 1545 | for (size_t i = 0; i < vobj->field_count(); ++i) { |
| 1546 | if (Node* field = vobj->GetField(i)) { |
| 1547 | if (Node* field_object_state = |
| 1548 | GetOrCreateObjectState(effect, field)) { |
| 1549 | NodeProperties::ReplaceValueInput( |
| 1550 | new_object_state, field_object_state, static_cast<int>(i)); |
| 1551 | } |
| 1552 | } |
| 1553 | } |
| 1554 | return new_object_state; |
| 1555 | } |
| 1556 | } |
| 1557 | } |
| 1558 | return nullptr; |
| 1559 | } |
| 1560 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1561 | void EscapeAnalysis::DebugPrintState(VirtualState* state) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1562 | PrintF("Dumping virtual state %p\n", static_cast<void*>(state)); |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1563 | for (Alias alias = 0; alias < status_analysis_->AliasCount(); ++alias) { |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1564 | if (VirtualObject* object = state->VirtualObjectFromAlias(alias)) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1565 | PrintF(" Alias @%d: Object #%d with %zu fields\n", alias, object->id(), |
| 1566 | object->field_count()); |
| 1567 | for (size_t i = 0; i < object->field_count(); ++i) { |
| 1568 | if (Node* f = object->GetField(i)) { |
| 1569 | PrintF(" Field %zu = #%d (%s)\n", i, f->id(), f->op()->mnemonic()); |
| 1570 | } |
| 1571 | } |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1572 | } |
| 1573 | } |
| 1574 | } |
| 1575 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1576 | void EscapeAnalysis::DebugPrint() { |
| 1577 | ZoneVector<VirtualState*> object_states(zone()); |
| 1578 | for (NodeId id = 0; id < virtual_states_.size(); id++) { |
| 1579 | if (VirtualState* states = virtual_states_[id]) { |
| 1580 | if (std::find(object_states.begin(), object_states.end(), states) == |
| 1581 | object_states.end()) { |
| 1582 | object_states.push_back(states); |
| 1583 | } |
| 1584 | } |
| 1585 | } |
| 1586 | for (size_t n = 0; n < object_states.size(); n++) { |
| 1587 | DebugPrintState(object_states[n]); |
| 1588 | } |
| 1589 | } |
| 1590 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1591 | VirtualObject* EscapeAnalysis::GetVirtualObject(VirtualState* state, |
| 1592 | Node* node) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1593 | if (node->id() >= status_analysis_->GetAliasMap().size()) return nullptr; |
| 1594 | Alias alias = status_analysis_->GetAlias(node->id()); |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1595 | if (alias >= state->size()) return nullptr; |
| 1596 | return state->VirtualObjectFromAlias(alias); |
| 1597 | } |
| 1598 | |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1599 | bool EscapeAnalysis::ExistsVirtualAllocate() { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1600 | for (size_t id = 0; id < status_analysis_->GetAliasMap().size(); ++id) { |
| 1601 | Alias alias = status_analysis_->GetAlias(static_cast<NodeId>(id)); |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1602 | if (alias < EscapeStatusAnalysis::kUntrackable) { |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1603 | if (status_analysis_->IsVirtual(static_cast<int>(id))) { |
Ben Murdoch | 097c5b2 | 2016-05-18 11:27:45 +0100 | [diff] [blame] | 1604 | return true; |
| 1605 | } |
| 1606 | } |
| 1607 | } |
| 1608 | return false; |
| 1609 | } |
| 1610 | |
Ben Murdoch | c561043 | 2016-08-08 18:44:38 +0100 | [diff] [blame] | 1611 | Graph* EscapeAnalysis::graph() const { return status_analysis_->graph(); } |
| 1612 | |
Ben Murdoch | 4a90d5f | 2016-03-22 12:00:34 +0000 | [diff] [blame] | 1613 | } // namespace compiler |
| 1614 | } // namespace internal |
| 1615 | } // namespace v8 |