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

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