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

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