tree f7f68586497fe9b4cd1a1aba95f75e72b6625306
parent 0369001033884747b627886ece3287b05aae1361
author Jinseong Jeon <jsjeon@google.com> 1555522225 -0700
committer Jinseong Jeon <jsjeon@google.com> 1555522277 +0000

Throw null if an instruction will do.

Based on SSA value's nullability as well as uninstantiated type info,
if an instruction requires non-null receiver, e.g., instance-{get|put},
we can replace it with `throw null` when the receiver is known to be
null.

One caveat is, for field instructions, resolution-related errors come
first. This CL refactors dead condition of {instance|static}-get and
rather simulates field resolutions. If it will raise errors other
than NPE, we should honor that.

Bug: 72443802, 129530569
Change-Id: Iecddc7feafd07da8496634835ddc0cacc08feea8