| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 /** | 5 /** |
| 6 * Instead of emitting each SSA instruction with a temporary variable | 6 * Instead of emitting each SSA instruction with a temporary variable |
| 7 * mark instructions that can be emitted at their use-site. | 7 * mark instructions that can be emitted at their use-site. |
| 8 * For example, in: | 8 * For example, in: |
| 9 * t0 = 4; | 9 * t0 = 4; |
| 10 * t1 = 3; | 10 * t1 = 3; |
| (...skipping 287 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 298 } | 298 } |
| 299 | 299 |
| 300 // If the [thenBlock] is already a control flow operation, and does not | 300 // If the [thenBlock] is already a control flow operation, and does not |
| 301 // have any statement and its join block is [end], we can emit a | 301 // have any statement and its join block is [end], we can emit a |
| 302 // sequence of control flow operation. | 302 // sequence of control flow operation. |
| 303 if (controlFlowOperators.contains(thenBlock.last)) { | 303 if (controlFlowOperators.contains(thenBlock.last)) { |
| 304 HIf otherIf = thenBlock.last; | 304 HIf otherIf = thenBlock.last; |
| 305 if (otherIf.joinBlock !== end) { | 305 if (otherIf.joinBlock !== end) { |
| 306 // This could be a join block that just feeds into our join block. | 306 // This could be a join block that just feeds into our join block. |
| 307 HBasicBlock otherJoin = otherIf.joinBlock; | 307 HBasicBlock otherJoin = otherIf.joinBlock; |
| 308 if (otherJoin.first != otherJoin.last) return; |
| 308 if (otherJoin.successors.length != 1) return; | 309 if (otherJoin.successors.length != 1) return; |
| 309 if (otherJoin.successors[0] != end) return; | 310 if (otherJoin.successors[0] != end) return; |
| 310 if (otherJoin.phis.isEmpty()) return; | 311 if (otherJoin.phis.isEmpty()) return; |
| 311 if (otherJoin.phis.first !== otherJoin.phis.last) return; | 312 if (otherJoin.phis.first !== otherJoin.phis.last) return; |
| 312 HPhi otherPhi = otherJoin.phis.first; | 313 HPhi otherPhi = otherJoin.phis.first; |
| 313 if (thenInput != otherPhi) return; | 314 if (thenInput != otherPhi) return; |
| 314 if (elseInput != otherPhi.inputs[1]) return; | 315 if (elseInput != otherPhi.inputs[1]) return; |
| 315 } | 316 } |
| 316 if (hasAnyStatement(thenBlock, otherIf)) return; | 317 if (hasAnyStatement(thenBlock, otherIf)) return; |
| 317 } else { | 318 } else { |
| (...skipping 21 matching lines...) Expand all Loading... |
| 339 } | 340 } |
| 340 | 341 |
| 341 // If [thenInput] is defined in the first predecessor, then it is only used | 342 // If [thenInput] is defined in the first predecessor, then it is only used |
| 342 // by [phi] and can be generated at use site. | 343 // by [phi] and can be generated at use site. |
| 343 if (thenInput.block === end.predecessors[0]) { | 344 if (thenInput.block === end.predecessors[0]) { |
| 344 assert(thenInput.usedBy.length == 1); | 345 assert(thenInput.usedBy.length == 1); |
| 345 markAsGenerateAtUseSite(thenInput); | 346 markAsGenerateAtUseSite(thenInput); |
| 346 } | 347 } |
| 347 } | 348 } |
| 348 } | 349 } |
| OLD | NEW |