OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #include "vm/redundancy_elimination.h" | 5 #include "vm/redundancy_elimination.h" |
6 | 6 |
7 #include "vm/bit_vector.h" | 7 #include "vm/bit_vector.h" |
8 #include "vm/flow_graph.h" | 8 #include "vm/flow_graph.h" |
9 #include "vm/hash_map.h" | 9 #include "vm/hash_map.h" |
10 #include "vm/il_printer.h" | 10 #include "vm/il_printer.h" |
(...skipping 254 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
265 } | 265 } |
266 | 266 |
267 // Return least generic alias for this place. Given that aliases are | 267 // Return least generic alias for this place. Given that aliases are |
268 // essentially sets of places we define least generic alias as a smallest | 268 // essentially sets of places we define least generic alias as a smallest |
269 // alias that contains this place. | 269 // alias that contains this place. |
270 // | 270 // |
271 // We obtain such alias by a simple transformation: | 271 // We obtain such alias by a simple transformation: |
272 // | 272 // |
273 // - for places that depend on an instance X.f, X.@offs, X[i], X[C] | 273 // - for places that depend on an instance X.f, X.@offs, X[i], X[C] |
274 // we drop X if X is not an allocation because in this case X does not | 274 // we drop X if X is not an allocation because in this case X does not |
275 // posess an identity obtaining aliases *.f, *.@offs, *[i] and *[C] | 275 // possess an identity obtaining aliases *.f, *.@offs, *[i] and *[C] |
276 // respectively; | 276 // respectively; |
277 // - for non-constant indexed places X[i] we drop information about the | 277 // - for non-constant indexed places X[i] we drop information about the |
278 // index obtaining alias X[*]. | 278 // index obtaining alias X[*]. |
279 // - we drop information about representation, but keep element size | 279 // - we drop information about representation, but keep element size |
280 // if any. | 280 // if any. |
281 // | 281 // |
282 Place ToAlias() const { | 282 Place ToAlias() const { |
283 return Place( | 283 return Place( |
284 RepresentationBits::update(kNoRepresentation, flags_), | 284 RepresentationBits::update(kNoRepresentation, flags_), |
285 (DependsOnInstance() && IsAllocation(instance())) ? instance() : NULL, | 285 (DependsOnInstance() && IsAllocation(instance())) ? instance() : NULL, |
(...skipping 3091 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3377 join->phis_ = NULL; | 3377 join->phis_ = NULL; |
3378 } else { | 3378 } else { |
3379 join->phis_->TruncateTo(to_index); | 3379 join->phis_->TruncateTo(to_index); |
3380 } | 3380 } |
3381 } | 3381 } |
3382 } | 3382 } |
3383 } | 3383 } |
3384 | 3384 |
3385 | 3385 |
3386 } // namespace dart | 3386 } // namespace dart |
OLD | NEW |