pkg/compiler/test/codegen/type_inference5_test.dart

// 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.

// @dart = 2.7

import 'package:expect/expect.dart';
import 'package:async_helper/async_helper.dart';
import '../helpers/compiler_helper.dart';

const String TEST_ONE = r"""
foo(j) {
  var a = [1, 2, 3];
  for (var i = j; i < 3; i++) {
    a[i];
  }
}
""";

main() {
  runTest() async {
    await compile(TEST_ONE, entry: 'foo', check: (String generated) {
      // 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.
      var argname = new RegExp(r'function(?: [a-z]+)?\(([a-zA-Z0-9_]+)\)')
          .firstMatch(generated)[1];
      print(argname);
      RegExp regexp = new RegExp(getIntTypeCheck("(i|$argname)"));
      Expect.isTrue(regexp.hasMatch(generated));
    });
  }

  asyncTest(() async {
    print('--test from kernel------------------------------------------------');
    await runTest();
  });
}