mirror of
https://github.com/dart-lang/sdk
synced 2024-09-19 21:01:50 +00:00
f822dfa3ea
This change introduces two new pragmas: * `@pragma('vm:never-inline')` * `@pragma('vm:prefer-inline')` These replaces the old way of specifying AlwaysInline or NeverInline annotations when the (now removed) --enable-inlining-annotations flag was used. Bug: https://github.com/dart-lang/sdk/issues/36571 Change-Id: Iee152c1d67abde8d58c58fa967449d36e77c8c93 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/110440 Commit-Queue: Teagan Strickland <sstrickl@google.com> Reviewed-by: Samir Jindel <sjindel@google.com>
35 lines
863 B
Dart
35 lines
863 B
Dart
// 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.
|
|
//
|
|
// VMOptions=--optimization-counter-threshold=10 --no-background-compilation
|
|
|
|
abstract class A<T extends A<T>> {
|
|
@pragma('vm:prefer-inline')
|
|
f(x) => new R<T>(x);
|
|
}
|
|
|
|
class B extends A<B> {}
|
|
|
|
class R<T> {
|
|
@pragma('vm:prefer-inline')
|
|
R(T field);
|
|
}
|
|
|
|
class C extends B {}
|
|
|
|
class D extends C {}
|
|
|
|
// f will be inlined and T=B will be forwarded to AssertAssignable in the
|
|
// R. However B will be wrapped in the TypeRef which breaks runtime TypeCheck
|
|
// function (Instance::IsInstanceOf does not work for TypeRefs).
|
|
@pragma('vm:never-inline')
|
|
f(o) => new B().f(o);
|
|
|
|
main() {
|
|
final o = new D();
|
|
for (var i = 0; i < 10; i++) {
|
|
f(o);
|
|
}
|
|
}
|