| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef V8_EFFECTS_H_ | 5 #ifndef V8_EFFECTS_H_ |
| 6 #define V8_EFFECTS_H_ | 6 #define V8_EFFECTS_H_ |
| 7 | 7 |
| 8 #include "src/v8.h" | 8 #include "src/v8.h" |
| 9 | 9 |
| 10 #include "src/types.h" | 10 #include "src/types.h" |
| (...skipping 177 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 188 typedef Var Key; | 188 typedef Var Key; |
| 189 typedef Effect Value; | 189 typedef Effect Value; |
| 190 static const Var kNoKey = kNoVar; | 190 static const Var kNoKey = kNoVar; |
| 191 static Effect NoValue() { return Effect(); } | 191 static Effect NoValue() { return Effect(); } |
| 192 static int Compare(int x, int y) { return y - x; } | 192 static int Compare(int x, int y) { return y - x; } |
| 193 }; | 193 }; |
| 194 typedef ZoneSplayTree<SplayTreeConfig> Mapping; | 194 typedef ZoneSplayTree<SplayTreeConfig> Mapping; |
| 195 typedef typename Mapping::Locator Locator; | 195 typedef typename Mapping::Locator Locator; |
| 196 | 196 |
| 197 bool Contains(Var var) { | 197 bool Contains(Var var) { |
| 198 ASSERT(var != kNoVar); | 198 DCHECK(var != kNoVar); |
| 199 return map_->Contains(var); | 199 return map_->Contains(var); |
| 200 } | 200 } |
| 201 bool Find(Var var, Locator* locator) { | 201 bool Find(Var var, Locator* locator) { |
| 202 ASSERT(var != kNoVar); | 202 DCHECK(var != kNoVar); |
| 203 return map_->Find(var, locator); | 203 return map_->Find(var, locator); |
| 204 } | 204 } |
| 205 bool Insert(Var var, Locator* locator) { | 205 bool Insert(Var var, Locator* locator) { |
| 206 ASSERT(var != kNoVar); | 206 DCHECK(var != kNoVar); |
| 207 return map_->Insert(var, locator); | 207 return map_->Insert(var, locator); |
| 208 } | 208 } |
| 209 | 209 |
| 210 template<class Callback> | 210 template<class Callback> |
| 211 void ForEach(Callback* callback) { | 211 void ForEach(Callback* callback) { |
| 212 return map_->ForEach(callback); | 212 return map_->ForEach(callback); |
| 213 } | 213 } |
| 214 | 214 |
| 215 private: | 215 private: |
| 216 Mapping* map_; | 216 Mapping* map_; |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 252 protected: | 252 protected: |
| 253 typedef typename EffectsBase<Var, kNoVar>::Locator Locator; | 253 typedef typename EffectsBase<Var, kNoVar>::Locator Locator; |
| 254 | 254 |
| 255 Zone* zone() { return node_->zone; } | 255 Zone* zone() { return node_->zone; } |
| 256 | 256 |
| 257 void push() { node_ = new(node_->zone) Node(node_->zone, node_); } | 257 void push() { node_ = new(node_->zone) Node(node_->zone, node_); } |
| 258 void pop() { node_ = node_->previous; } | 258 void pop() { node_ = node_->previous; } |
| 259 bool is_empty() { return node_ == NULL; } | 259 bool is_empty() { return node_ == NULL; } |
| 260 | 260 |
| 261 bool Contains(Var var) { | 261 bool Contains(Var var) { |
| 262 ASSERT(var != kNoVar); | 262 DCHECK(var != kNoVar); |
| 263 for (Node* node = node_; node != NULL; node = node->previous) { | 263 for (Node* node = node_; node != NULL; node = node->previous) { |
| 264 if (node->effects.Contains(var)) return true; | 264 if (node->effects.Contains(var)) return true; |
| 265 } | 265 } |
| 266 return false; | 266 return false; |
| 267 } | 267 } |
| 268 | 268 |
| 269 bool Find(Var var, Locator* locator) { | 269 bool Find(Var var, Locator* locator) { |
| 270 ASSERT(var != kNoVar); | 270 DCHECK(var != kNoVar); |
| 271 for (Node* node = node_; node != NULL; node = node->previous) { | 271 for (Node* node = node_; node != NULL; node = node->previous) { |
| 272 if (node->effects.Find(var, locator)) return true; | 272 if (node->effects.Find(var, locator)) return true; |
| 273 } | 273 } |
| 274 return false; | 274 return false; |
| 275 } | 275 } |
| 276 | 276 |
| 277 bool Insert(Var var, Locator* locator); | 277 bool Insert(Var var, Locator* locator); |
| 278 | 278 |
| 279 private: | 279 private: |
| 280 struct Node: ZoneObject { | 280 struct Node: ZoneObject { |
| 281 Zone* zone; | 281 Zone* zone; |
| 282 Effects<Var, kNoVar> effects; | 282 Effects<Var, kNoVar> effects; |
| 283 Node* previous; | 283 Node* previous; |
| 284 explicit Node(Zone* zone, Node* previous = NULL) | 284 explicit Node(Zone* zone, Node* previous = NULL) |
| 285 : zone(zone), effects(zone), previous(previous) {} | 285 : zone(zone), effects(zone), previous(previous) {} |
| 286 }; | 286 }; |
| 287 | 287 |
| 288 explicit NestedEffectsBase(Node* node) : node_(node) {} | 288 explicit NestedEffectsBase(Node* node) : node_(node) {} |
| 289 | 289 |
| 290 Node* node_; | 290 Node* node_; |
| 291 }; | 291 }; |
| 292 | 292 |
| 293 | 293 |
| 294 template<class Var, Var kNoVar> | 294 template<class Var, Var kNoVar> |
| 295 bool NestedEffectsBase<Var, kNoVar>::Insert(Var var, Locator* locator) { | 295 bool NestedEffectsBase<Var, kNoVar>::Insert(Var var, Locator* locator) { |
| 296 ASSERT(var != kNoVar); | 296 DCHECK(var != kNoVar); |
| 297 if (!node_->effects.Insert(var, locator)) return false; | 297 if (!node_->effects.Insert(var, locator)) return false; |
| 298 Locator shadowed; | 298 Locator shadowed; |
| 299 for (Node* node = node_->previous; node != NULL; node = node->previous) { | 299 for (Node* node = node_->previous; node != NULL; node = node->previous) { |
| 300 if (node->effects.Find(var, &shadowed)) { | 300 if (node->effects.Find(var, &shadowed)) { |
| 301 // Initialize with shadowed entry. | 301 // Initialize with shadowed entry. |
| 302 locator->set_value(shadowed.value()); | 302 locator->set_value(shadowed.value()); |
| 303 return false; | 303 return false; |
| 304 } | 304 } |
| 305 } | 305 } |
| 306 return true; | 306 return true; |
| (...skipping 12 matching lines...) Expand all Loading... |
| 319 // be modified while the extension is in use. | 319 // be modified while the extension is in use. |
| 320 NestedEffects Push() { | 320 NestedEffects Push() { |
| 321 NestedEffects result = *this; | 321 NestedEffects result = *this; |
| 322 result.push(); | 322 result.push(); |
| 323 return result; | 323 return result; |
| 324 } | 324 } |
| 325 | 325 |
| 326 NestedEffects Pop() { | 326 NestedEffects Pop() { |
| 327 NestedEffects result = *this; | 327 NestedEffects result = *this; |
| 328 result.pop(); | 328 result.pop(); |
| 329 ASSERT(!this->is_empty()); | 329 DCHECK(!this->is_empty()); |
| 330 return result; | 330 return result; |
| 331 } | 331 } |
| 332 }; | 332 }; |
| 333 | 333 |
| 334 } } // namespace v8::internal | 334 } } // namespace v8::internal |
| 335 | 335 |
| 336 #endif // V8_EFFECTS_H_ | 336 #endif // V8_EFFECTS_H_ |
| OLD | NEW |