<div dir="ltr">This version should correctly update memoryssa for store sinking :)<div>(I checked that it does on the llvm testcases, i'll test it further as i split out the memoryssa part)</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jun 15, 2016 at 11:49 AM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org" target="_blank">dberlin@dberlin.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">dberlin updated this revision to Diff 60871.<br>
dberlin added a comment.<br>
<br>
- Add verification for completeness of PHI nodes<br>
- Add basic PHI creation API<br>
- Update MemorySSA for store sinking<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
<a href="http://reviews.llvm.org/D8688" rel="noreferrer" target="_blank">http://reviews.llvm.org/D8688</a><br>
<br>
Files:<br>
  include/llvm/Transforms/Utils/MemorySSA.h<br>
  lib/Transforms/Scalar/MergedLoadStoreMotion.cpp<br>
  lib/Transforms/Utils/MemorySSA.cpp<br>
  test/Transforms/InstMerge/exceptions.ll<br>
  test/Transforms/InstMerge/ld_hoist1.ll<br>
  test/Transforms/InstMerge/ld_hoist_st_sink.ll<br>
  test/Transforms/InstMerge/st_sink_barrier_call.ll<br>
  test/Transforms/InstMerge/st_sink_bugfix_22613.ll<br>
  test/Transforms/InstMerge/st_sink_no_barrier_call.ll<br>
  test/Transforms/InstMerge/st_sink_no_barrier_load.ll<br>
  test/Transforms/InstMerge/st_sink_no_barrier_store.ll<br>
  test/Transforms/InstMerge/st_sink_two_stores.ll<br>
  test/Transforms/InstMerge/st_sink_with_barrier.ll<br>
<br>
</div></div></blockquote></div><br></div>