am 533fcc48: am f7be052d: Merge "[optimizing] Fix a bug in moving the null check to the user."

* commit '533fcc48d461a9bf0b7cd10499b5c0f16a636622':
  [optimizing] Fix a bug in moving the null check to the user.