am 401b8ea4: am ed51747a: Merge "Add synthesize uses at back edge."

* commit '401b8ea4c56678cfa0b2d3bdae5cb9e208711f88':
  Add synthesize uses at back edge.