| // Copyright (c) 2016, 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 'PolymorphicInstanceCall's against "this" go through the unchecked |
| // entrypoint. The use of optional arguments here encourages prologue sharing |
| // between the entrypoints. |
| |
| import "common.dart"; |
| import "package:expect/expect.dart"; |
| |
| abstract class C<T> { |
| @NeverInline |
| void samir1(T x) { |
| samir2(x, y: "hi"); |
| } |
| |
| void samir2(T x, {String y}); |
| } |
| |
| class D<T> extends C<T> { |
| @NeverInline |
| @pragma("vm:testing.unsafe.trace-entrypoints-fn", validate) |
| void samir2(T x, {String y}) { |
| Expect.notEquals(x, -1); |
| Expect.equals(y, "hi"); |
| } |
| } |
| |
| class E<T> extends C<T> { |
| @NeverInline |
| @pragma("vm:testing.unsafe.trace-entrypoints-fn", validate) |
| void samir2(T x, {String y}) { |
| Expect.notEquals(x, -1); |
| Expect.equals(y, "hi"); |
| } |
| } |
| |
| int j = 0; |
| |
| C getC() { |
| if (j % 2 == 0) { |
| ++j; |
| return new D<int>(); |
| } else { |
| ++j; |
| return new E<int>(); |
| } |
| } |
| |
| test(List<String> args) { |
| // Warmup. |
| expectedEntryPoint = -1; |
| for (int i = 0; i < 100; ++i) { |
| getC().samir1(i); |
| } |
| |
| expectedEntryPoint = 2; |
| const int iterations = benchmarkMode ? 100000000 : 100; |
| for (int i = 0; i < iterations; ++i) { |
| getC().samir1(i); |
| } |
| |
| Expect.isTrue(validateRan); |
| } |