<div dir="ltr">MemorySSA disambiguates volatile loads even though it treats them as defs.<div>see test/Analysis/MemorySSA/volatile-clobber.ll</div><div><br></div><div>Last discussion was <a href="https://reviews.llvm.org/D16875">https://reviews.llvm.org/D16875</a></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 19, 2017 at 5:14 PM, Alina Sbirlea <span dir="ltr"><<a href="mailto:alina.sbirlea@gmail.com" target="_blank">alina.sbirlea@gmail.com</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">Hi <span style="color:rgb(0,0,0);font-size:12.8px">Krzysztof,</span><div><font color="#000000"><span style="font-size:12.8px"><br></span></font><div><span style="color:rgb(0,0,0);font-size:12.8px">Could I get some background info on reasoning about hoisting in the presence of volatile loads?</span></div><div><span style="color:rgb(0,0,0);font-size:12.8px">I was looking at this testcase: </span><span style="font-variant-ligatures:no-common-ligatures;color:rgb(0,0,0);font-family:Menlo;font-size:11px">test/Transforms/<wbr>LICM/volatile-alias.ll</span></div><div><br></div><div>Context: MemorySSA treats volatile loads as defs. I'm looking to better understand expected behavior in the presence of volatile accesses.</div><div>More context: <a href="https://reviews.llvm.org/D40375" target="_blank">https://reviews.llvm.<wbr>org/D40375</a>.<br></div><br>Thanks in advance,<br>Alina







</div></div>
</blockquote></div><br></div>