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 |