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

* commit 'ed51747ae96a0c7fac452e95a1607200a5494b28':
  Add synthesize uses at back edge.