tree f88b2003b93db1d8f6b1dcfe45836d867b5d1086
parent 1e7c53e257807e4a7f3c40633aceff5823af02f0
author Denis Vnukov <vnukov@google.com> 1530120401 -0700
committer Denis Vnukov <vnukov@google.com> 1530120401 -0700

Support kotlin k-style lambdas in class inliner

Extending class inliner to support k-style lambdas. The only significant
change is that now classes not directly extending java.lang.Object can be
considered eligible for inlining.

This is achieved by very restrictive rules for classes not directly
inherited from java.lang.Object, which is still wide enough to allow
k-style lambdas to become eligible.

This CL also includes following improvements:

 -- hints for kotlin method parameters suggesting they are not-null and,
    thus, checked inside the method for nullability; those checks will be
    removed after inlining if we know that we pass non-null argument.
    Note that these hints don't affect semantics and only used for
    inlining heuristics (see b/72972159)

 -- based on previous work we can now mark *some* singleton instance
    field reads as always returning non-null value

 -- fix propagation of never null flag via values. This is a temp
    solution I needed to make some things work, and AFAIK Jinseong
    is going to improve nullability handling soon

GMSCORE (no time impact):
  w/o: 28,543,136
    w: 28,537,188 (-6K)

Bug: 80135269
Bug: 72972159
Change-Id: Ifcae9fe13cefaea7a10a7abd3d80983dd090b505