| 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 part of ssa; | 5 part of ssa; |
| 6 | 6 |
| 7 abstract class OptimizationPhase { | 7 abstract class OptimizationPhase { |
| 8 String get name; | 8 String get name; |
| 9 void visitGraph(HGraph graph); | 9 void visitGraph(HGraph graph); |
| 10 } | 10 } |
| (...skipping 576 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 587 return graph.addConstantBool(false, compiler); | 587 return graph.addConstantBool(false, compiler); |
| 588 } | 588 } |
| 589 } | 589 } |
| 590 return node; | 590 return node; |
| 591 } | 591 } |
| 592 | 592 |
| 593 HInstruction visitTypeConversion(HTypeConversion node) { | 593 HInstruction visitTypeConversion(HTypeConversion node) { |
| 594 HInstruction value = node.inputs[0]; | 594 HInstruction value = node.inputs[0]; |
| 595 DartType type = node.typeExpression; | 595 DartType type = node.typeExpression; |
| 596 if (type != null) { | 596 if (type != null) { |
| 597 if (type.kind == TypeKind.MALFORMED_TYPE) { |
| 598 // Malformed types are treated as dynamic statically, but should |
| 599 // throw a type error at runtime. |
| 600 return node; |
| 601 } |
| 597 if (!type.treatAsRaw || type.kind == TypeKind.TYPE_VARIABLE) { | 602 if (!type.treatAsRaw || type.kind == TypeKind.TYPE_VARIABLE) { |
| 598 return node; | 603 return node; |
| 599 } | 604 } |
| 600 if (type.kind == TypeKind.FUNCTION) { | 605 if (type.kind == TypeKind.FUNCTION) { |
| 601 // TODO(johnniwinther): Optimize function type conversions. | 606 // TODO(johnniwinther): Optimize function type conversions. |
| 602 return node; | 607 return node; |
| 603 } | 608 } |
| 604 } | 609 } |
| 605 return removeIfCheckAlwaysSucceeds(node, node.checkedType); | 610 return removeIfCheckAlwaysSucceeds(node, node.checkedType); |
| 606 } | 611 } |
| (...skipping 905 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1512 // that knows it is not of a specific type. | 1517 // that knows it is not of a specific type. |
| 1513 } | 1518 } |
| 1514 | 1519 |
| 1515 for (HIf ifUser in notIfUsers) { | 1520 for (HIf ifUser in notIfUsers) { |
| 1516 changeUsesDominatedBy(ifUser.elseBlock, input, convertedType); | 1521 changeUsesDominatedBy(ifUser.elseBlock, input, convertedType); |
| 1517 // TODO(ngeoffray): Also change uses for the then block on a type | 1522 // TODO(ngeoffray): Also change uses for the then block on a type |
| 1518 // that knows it is not of a specific type. | 1523 // that knows it is not of a specific type. |
| 1519 } | 1524 } |
| 1520 } | 1525 } |
| 1521 } | 1526 } |
| OLD | NEW |