tree d01b1d9f6cf46ea999b469161a3f197a33fca1d8
parent 0a673617ac3f79ff757a95dbfb8f64cdb17e3910
author Vyacheslav Egorov <vegorov@google.com> 1535982221 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1535982221 +0000

[vm] Fix a bug in the specialization of implicit setters

CallSpecializer::TryInlineInstanceSetter was using IsReceiver to determine
type check could be skipped. However it is incorrect to use IsReceiver,
because it uses SSA notion of the receiver - rather than a syntactic
notion and all strong mode guarantees apply at syntactic level.

Additionally this CL expands support for exactness tracking to PropertySet
operations and uses it to eliminate checks on setters.

Change-Id: Idce559c4ca4c88f5788d3b6b9955b5af076bd7eb
Reviewed-on: https://dart-review.googlesource.com/72442
Commit-Queue: Vyacheslav Egorov <vegorov@google.com>
Reviewed-by: Samir Jindel <sjindel@google.com>