<div dir="ltr">LGTM</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, May 25, 2016 at 6:52 PM, Peter Collingbourne <span dir="ltr"><<a href="mailto:peter@pcc.me.uk" target="_blank">peter@pcc.me.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">pcc created this revision.<br>
pcc added reviewers: dberlin, chandlerc, hfinkel, reames, sanjoy, boazo, majnemer, gberry.<br>
pcc added a subscriber: llvm-commits.<br>
<br>
It turns out that too many passes are relying on alias analysis results<br>
for control dependencies. Until we fix that by introducing a more accurate<br>
modelling of control dependencies, special case assume in MemorySSA instead.<br>
<br>
Also introduce tests to ensure we don't regress the FunctionAttrs or LICM<br>
passes.<br>
<br>
<a href="http://reviews.llvm.org/D20658" rel="noreferrer" target="_blank">http://reviews.llvm.org/D20658</a><br>
<br>
Files:<br>
  lib/Analysis/BasicAliasAnalysis.cpp<br>
  lib/Transforms/Utils/MemorySSA.cpp<br>
  test/Transforms/FunctionAttrs/assume.ll<br>
  test/Transforms/LICM/assume.ll<br>
  test/Transforms/Util/MemorySSA/assume.ll<br>
<br>
</blockquote></div><br></div>