am 5b127a19: am 9b096834: am 7bf9bc78: Merge "Minor improvements to 458-checker-instruction-simplification."

* commit '5b127a19cccf81bc2cebf4acad5859cc6c8a5fbb':
  Minor improvements to 458-checker-instruction-simplification.