[L] Change in dart/sdk[main]: [vm/aot] Improve dynamic interface annotator

0 views
Skip to first unread message

Alexander Markov (Gerrit)

unread,
Jul 26, 2024, 5:32:46 PM7/26/24
to Alexander Markov, Slava Egorov, Sigmund Cherem, Commit Queue, Jens Johansen, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Sigmund Cherem and Slava Egorov

New activity on the change

Open in Gerrit

Related details

Attention is currently required from:
  • Sigmund Cherem
  • Slava Egorov
Submit Requirements:
  • requirement is not satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Gerrit-Change-Number: 377761
Gerrit-PatchSet: 3
Gerrit-Owner: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Sigmund Cherem <sig...@google.com>
Gerrit-Reviewer: Slava Egorov <veg...@google.com>
Gerrit-CC: Jens Johansen <je...@google.com>
Gerrit-Attention: Slava Egorov <veg...@google.com>
Gerrit-Attention: Sigmund Cherem <sig...@google.com>
Gerrit-Comment-Date: Fri, 26 Jul 2024 21:32:42 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
unsatisfied_requirement
satisfied_requirement
open
diffy

Slava Egorov (Gerrit)

unread,
Jul 30, 2024, 8:30:33 AM7/30/24
to Alexander Markov, Sigmund Cherem, Commit Queue, Jens Johansen, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Alexander Markov and Sigmund Cherem

Slava Egorov voted Code-Review+1

Code-Review+1
Open in Gerrit

Related details

Attention is currently required from:
  • Alexander Markov
  • Sigmund Cherem
Submit Requirements:
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Gerrit-Change-Number: 377761
Gerrit-PatchSet: 3
Gerrit-Owner: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Sigmund Cherem <sig...@google.com>
Gerrit-Reviewer: Slava Egorov <veg...@google.com>
Gerrit-CC: Jens Johansen <je...@google.com>
Gerrit-Attention: Alexander Markov <alexm...@google.com>
Gerrit-Attention: Sigmund Cherem <sig...@google.com>
Gerrit-Comment-Date: Tue, 30 Jul 2024 12:30:28 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

Alexander Markov (Gerrit)

unread,
Jul 30, 2024, 10:35:07 AM7/30/24
to Alexander Markov, Slava Egorov, Sigmund Cherem, Commit Queue, Jens Johansen, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Sigmund Cherem

Alexander Markov voted and added 1 comment

Votes added by Alexander Markov

Commit-Queue+2

1 comment

Patchset-level comments
File-level comment, Patchset 3 (Latest):
Alexander Markov . resolved

Thank you, Slava!

Open in Gerrit

Related details

Attention is currently required from:
  • Sigmund Cherem
Submit Requirements:
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Gerrit-Change-Number: 377761
Gerrit-PatchSet: 3
Gerrit-Owner: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Sigmund Cherem <sig...@google.com>
Gerrit-Reviewer: Slava Egorov <veg...@google.com>
Gerrit-CC: Jens Johansen <je...@google.com>
Gerrit-Attention: Sigmund Cherem <sig...@google.com>
Gerrit-Comment-Date: Tue, 30 Jul 2024 14:35:04 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

Alexander Markov (Gerrit)

unread,
Jul 30, 2024, 12:24:39 PM7/30/24
to Alexander Markov, Slava Egorov, Sigmund Cherem, Commit Queue, Jens Johansen, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Sigmund Cherem

Alexander Markov voted Commit-Queue+2

Commit-Queue+2
Open in Gerrit

Related details

Attention is currently required from:
  • Sigmund Cherem
Submit Requirements:
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Gerrit-Change-Number: 377761
Gerrit-PatchSet: 3
Gerrit-Owner: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Sigmund Cherem <sig...@google.com>
Gerrit-Reviewer: Slava Egorov <veg...@google.com>
Gerrit-CC: Jens Johansen <je...@google.com>
Gerrit-Attention: Sigmund Cherem <sig...@google.com>
Gerrit-Comment-Date: Tue, 30 Jul 2024 16:24:35 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

Commit Queue (Gerrit)

unread,
Jul 30, 2024, 12:24:56 PM7/30/24
to Alexander Markov, Slava Egorov, Sigmund Cherem, Jens Johansen, rev...@dartlang.org, vm-...@dartlang.org

Commit Queue submitted the change

Change information

Commit message:
[vm/aot] Improve dynamic interface annotator

Dynamic interface annotator now automatically annotates classes and
members which are used implicitly:

* Targets of redirecting factories.
* Classes and members used in constants.
* Instance fields of classes used in instance constants or
having a callable const constructor.
* Everything used in the bodies of extendable mixin declarations and
mixin classes.
* Possible dispatch targets of instance calls
(overrides/implementations).

Front-end server now also exposes '--dynamic-interface' option,
similar to gen_kernel tool.

Also, this change includes a couple of minor fixes:
* Typo in ast.dart.
* In the front-end server, additional dill file specified with
'--import-dill' option is not ignored when '--link-platform' is
also used.

TEST=pkg/vm/testcases/transformations/dynamic_interface_annotator
Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Reviewed-by: Slava Egorov <veg...@google.com>
Commit-Queue: Alexander Markov <alexm...@google.com>
Files:
  • M pkg/frontend_server/lib/frontend_server.dart
  • M pkg/kernel/lib/ast.dart
  • M pkg/vm/lib/transformations/dynamic_interface_annotator.dart
  • M pkg/vm/lib/transformations/pragma.dart
  • M pkg/vm/testcases/transformations/dynamic_interface_annotator/lib1.dart
  • M pkg/vm/testcases/transformations/dynamic_interface_annotator/lib1.dart.expect
  • M pkg/vm/testcases/transformations/dynamic_interface_annotator/lib2.dart
  • M pkg/vm/testcases/transformations/dynamic_interface_annotator/lib2.dart.expect
  • M runtime/vm/object.cc
  • M runtime/vm/symbols.h
Change size: L
Delta: 10 files changed, 608 insertions(+), 74 deletions(-)
Branch: refs/heads/main
Submit Requirements:
  • requirement satisfiedCode-Review: +1 by Slava Egorov
Open in Gerrit
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: merged
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Gerrit-Change-Number: 377761
Gerrit-PatchSet: 4
Gerrit-Owner: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Sigmund Cherem <sig...@google.com>
Gerrit-Reviewer: Slava Egorov <veg...@google.com>
Gerrit-CC: Jens Johansen <je...@google.com>
open
diffy
satisfied_requirement

Sigmund Cherem (Gerrit)

unread,
Jul 30, 2024, 1:50:31 PM7/30/24
to Alexander Markov, Commit Queue, Sigmund Cherem, Slava Egorov, Jens Johansen, rev...@dartlang.org, vm-...@dartlang.org

Sigmund Cherem voted Code-Review+1

Code-Review+1
Open in Gerrit

Related details

Attention set is empty
Submit Requirements:
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I705b64efb1834dec6e0bdc5873025607f3472139
Gerrit-Change-Number: 377761
Gerrit-PatchSet: 4
Gerrit-Owner: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Alexander Markov <alexm...@google.com>
Gerrit-Reviewer: Sigmund Cherem <sig...@google.com>
Gerrit-Reviewer: Slava Egorov <veg...@google.com>
Gerrit-CC: Jens Johansen <je...@google.com>
Gerrit-Comment-Date: Tue, 30 Jul 2024 17:50:29 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy
Reply all
Reply to author
Forward
0 new messages