tree 3307bfb68b270cac43aa88548f94263abb016651
parent 8236db13eeef99701f6bd9d959a828439d51b1c5
author Alexander Markov <alexmarkov@google.com> 1626191947 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1626191947 +0000

[vm/aot/tfa] More precise handling of constructor invocations

Avoid marking class as allocated immediately when building a summary
and visiting ConstructorInvocation node. Instead, mark class as
allocated later when interpreting Call which corresponds to
a constructor invocation. This is more precise if an argument of
the constructor Call is evaluated to an EmptyType (which means
that the constructor invocation is unreachable). Otherwise it is
possible that class is marked as allocated but its constructors
are not used.

Flutter gallery AOT snapshot size:
* release mode -0.36% (both armv7 and armv8)
* release-sizeopt mode -0.39% (both armv7 and armv8)

TEST=existing tests

Change-Id: I51bdf2f1a60dda88bc2c788339ee4d4ab79d8cd2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/205802
Reviewed-by: Slava Egorov <vegorov@google.com>
Reviewed-by: Martin Kustermann <kustermann@google.com>
Commit-Queue: Alexander Markov <alexmarkov@google.com>