| // Copyright (c) 2011, 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. |
| |
| #import("compiler_helper.dart"); |
| |
| const String TEST_ONE = r""" |
| foo(j) { |
| var a = [1, 2, 3]; |
| if (j < 0) j = 0; |
| for (var i = j; i < 3; i++) { |
| a[i]; |
| } |
| } |
| """; |
| |
| main() { |
| String generated = compile(TEST_ONE, 'foo'); |
| |
| // Test for absence of an illegal argument exception. This means that the |
| // arguments are known to be integers. |
| Expect.isFalse(generated.contains('iae')); |
| // Also make sure that we are not just in bailout mode without speculative |
| // types by grepping for the integer-bailout check on argument j. |
| RegExp regexp = new RegExp(getIntTypeCheck('j')); |
| Expect.isTrue(regexp.hasMatch(generated)); |
| } |
