<div dir="ltr">Yes, doing that fixes it on all testcases i have, new patch coming up.<div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Aug 6, 2016 at 10:59 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"><div dir="ltr">Ugh, it's worse than that.<div><br></div><div>The push may have happened in an intervening dominator.</div><div><br></div><div>Okay, so i can come up with CFG's where this logic is still wrong.</div><div>I think we need to track what memoryAccess the lowerbound was and see if the block still dominates us.</div><div>If not, the lower bound is not valid.</div><div><br></div></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Aug 6, 2016 at 10:24 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"><div dir="ltr"><div>I believe i still have an off by one error here.</div><div>The lower bounds are in terms of stack places (IE 0... size - 1), and the size is +1 of that.</div><div>So i think it's missing checking one access sometimes.  I think we need to track size - 1.</div><div><br></div><div>Checking some testcases.</div><div><br></div><div><br></div></div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Aug 6, 2016 at 9:56 AM, Sebastian Pop <span dir="ltr"><<a href="mailto:sebpop@gmail.com" target="_blank">sebpop@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">sebpop added a comment.<br>
<br>
LGTM.<br>
Let's enable gvn-hoist back again once this is committed.<br>
<br>
<br>
================<br>
Comment at: test/Transforms/Util/MemorySSA<wbr>/pr28880.ll:54<br>
@@ +53,2 @@<br>
<span>+<br>
+!0 = !{!"Apple LLVM version 8.0.0 (clang-800.0.35)"}<br>
</span>----------------<br>
You may want to remove all these attributes.<br>
<br>
<br>
<a href="https://reviews.llvm.org/D23237" rel="noreferrer" target="_blank">https://reviews.llvm.org/D2323<wbr>7</a><br>
<br>
<br>
<br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>
</div></div></blockquote></div><br></div>