| // 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. |
| // VMOptions=--optimization-counter-threshold=10 --no-use-osr |
| |
| // @dart = 2.9 |
| |
| import "package:expect/expect.dart"; |
| |
| // Test optimized constant string and constant array access. |
| |
| int testConstantStringAndIndexCodeUnitAt() { |
| int test(b) { |
| if (b) return "hest".codeUnitAt(400); |
| return "hest".codeUnitAt(2); |
| } |
| |
| Expect.throws(() => test(true)); |
| for (int i = 0; i < 20; i++) test(false); |
| Expect.throws(() => test(true)); |
| } |
| |
| int testConstantArrayAndIndexAt() { |
| int testPositive(b) { |
| var a = const [1, 2, 3, 4]; |
| if (b) return a[400]; |
| return a[2]; |
| } |
| |
| int testNegative(b) { |
| var a = const [1, 2, 3, 4]; |
| if (b) return a[-1]; |
| return a[2]; |
| } |
| |
| Expect.throws(() => testPositive(true)); |
| for (int i = 0; i < 20; i++) testPositive(false); |
| Expect.throws(() => testPositive(true)); |
| |
| Expect.throws(() => testNegative(true)); |
| for (int i = 0; i < 20; i++) testNegative(false); |
| Expect.throws(() => testNegative(true)); |
| } |
| |
| foo(a) { |
| if (a == 1) { |
| return 2; |
| } |
| var aa = const [1, 2]; |
| return aa[2.3]; /*@compile-error=unspecified*/ |
| } |
| |
| int testNonSmiIndex() { |
| for (int i = 0; i < 20; i++) { |
| foo(1); |
| } |
| Expect.throws(() => foo(2)); |
| } |
| |
| main() { |
| testConstantStringAndIndexCodeUnitAt(); |
| testConstantArrayAndIndexAt(); |
| testNonSmiIndex(); |
| } |