| // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
| // for details. All rights reserved. Use of this source code is governed by a | |
| // BSD-style license that can be found in the LICENSE file. | |
| // Test that SSA values are correctly numbered after inlining that adds | |
| // constants to original environment. | |
| h(x, y) => x == y; | |
| g(y, [x0 = 0, x1 = 1, x2 = 2, x3 = 3]) => y + x0 + x1 + x2 + x3; | |
| f(y) => h(y, g(y)); | |
| main() { | |
| for (var i = 0; i < 1000; i++) f(i); | |
| } |