| 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 // Check that phi type computation in the Dart2Js compiler does the | 4 // Check that phi type computation in the Dart2Js compiler does the |
| 5 // correct thing. | 5 // correct thing. |
| 6 | 6 |
| 7 import "package:expect/expect.dart"; | |
| 8 | |
| 9 bar() => 490; | 7 bar() => 490; |
| 10 bar2() => 0; | 8 bar2() => 0; |
| 11 | 9 |
| 12 foo(b) { | 10 foo(b) { |
| 13 var x = bar(); | 11 var x = bar(); |
| 14 var x2 = x; | 12 var x2 = x; |
| 15 if (b) x2 = bar2(); | 13 if (b) x2 = bar2(); |
| 16 var x3 = 9 + x; // Guarantees that x is a number. Dart2js propagated the | 14 var x3 = 9 + x; // Guarantees that x is a number. Dart2js propagated the |
| 17 // type information back to the phi (for x2). | 15 // type information back to the phi (for x2). |
| 18 return x2 + x3; | 16 return x2 + x3; |
| 19 } | 17 } |
| 20 | 18 |
| 21 main() { | 19 main() { |
| 22 Expect.equals(499, foo(true)); | 20 Expect.equals(499, foo(true)); |
| 23 } | 21 } |
| OLD | NEW |