<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/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">https://reviews.llvm.org/D40375</a>.<br></div><br>Thanks in advance,<br>Alina







</div></div>