tree 93a578882d1bd016dc9cbaca8c5d8f0de7efd2d0
parent 6b8aeb889815e1d6b09c1e44b9dd7c468d0a6388
author Martin Kustermann <kustermann@google.com> 1542292794 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1542292794 +0000

[VM] Use redefinitions for strenghtening, prefer equality comparison over strict comparison

When strenghtening the types in AOT call specializer, we do it via redefinitions
instead of setting a reachingt type on the Value.  This has the advantage that all
uses will get the new type, which improves e.g. StaticCall(_IntegerImpl.*, v1, v1)
where multiple uses can benefit.

This CL also changes the AOT call specializer to prefer equality comparisons over
strict comparisons, because strict comparisons can force boxing (which causes code bloat).

Change-Id: I803bb09c70ee2f4656062b5ce3cb28ffaf940e9b
Reviewed-on: https://dart-review.googlesource.com/c/84525
Commit-Queue: Martin Kustermann <kustermann@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>