tree f4394d937ee430d28d2a54cd011e9368a00e22fc
parent d97920e9c826ba0cad43173d09f469798c24a8c0
author Alexander Markov <alexmarkov@google.com> 1534193313 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1534193313 +0000

[vm/aot/tfa] Infer int type, devirtualize dynamic calls

This change improves type flow analysis to infer int types, in addition
to concrete classes (int type is abstract and has 2 concrete subclasses,
_Smi and _Mint).

Also, this CL enables devirtualization of dynamic calls (previously, only
calls with known interface target were devirtualized).

DartMicroBench.PrimeNumber:
x64: +221%
armv8: +461%
armv7h: +47.98%

No measurable impact on Flutter gallery build time in release mode.

Issue: https://github.com/flutter/flutter/issues/19677

Change-Id: I34db195f52f2a434218ee11eee7f308d4661738b
Reviewed-on: https://dart-review.googlesource.com/69520
Commit-Queue: Alexander Markov <alexmarkov@google.com>
Reviewed-by: Martin Kustermann <kustermann@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>