Screen dynamic invokes to object properties in checker

Screen dynamic invokes to object properties in checker.  In the old code, when we so o.f (or o.f(..)) and o had type dynamic, we would promote the type of o to Object so that our dynamic invocation code would not emit a dinvoke.  This seems a little bit of a hack in the context of the analyzer integration, so this CL eliminates the promotion, and changes the checker to screen out these dynamic invokes.  This should eliminate some of the additional dynamic invokes that Vijay is seeing.

BUG=
R=jmesserly@google.com, vsm@google.com

Committed: https://github.com/dart-lang/dev_compiler/commit/a220335ead65df0aed236f590e3c92171c7a572f

[Leaf, 2015-09-22 23:13:45]

leafp@google.com changed reviewers:
+ jmesserly@google.com, vsm@google.com

[vsm, 2015-09-22 23:22:05]

Hmm, we might lose tearoffs this way:

var f = x.toString;
f(); // This should not be a dynamic invoke

?

[Jennifer Messerly, 2015-09-22 23:26:11]

LGTM

On 2015/09/22 23:22:05, vsm wrote:
> Hmm, we might lose tearoffs this way:
> 
> var f = x.toString;
> f(); // This should not be a dynamic invoke
> 
> ?

I think it works because _isObjectProperty is defined to be _isObjectGetter ||
_isObjectMethod

[vsm, 2015-09-22 23:27:26]

On 2015/09/22 23:26:11, John Messerly wrote:
> LGTM
> 
> On 2015/09/22 23:22:05, vsm wrote:
> > Hmm, we might lose tearoffs this way:
> > 
> > var f = x.toString;
> > f(); // This should not be a dynamic invoke
> > 
> > ?
> 
> I think it works because _isObjectProperty is defined to be _isObjectGetter ||
> _isObjectMethod

lgtm

Chatted with leafp

[Leaf, 2015-09-22 23:29:02]

Committed patchset #2 (id:20001) manually as
a220335ead65df0aed236f590e3c92171c7a572f (presubmit successful).