<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Dec 8, 2015 at 3:04 PM, Philip Reames <span dir="ltr"><<a href="mailto:listmail@philipreames.com" target="_blank">listmail@philipreames.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">reames added a comment.<br>
<span class=""><br>
In <a href="http://reviews.llvm.org/D15352#305348" rel="noreferrer" target="_blank">http://reviews.llvm.org/D15352#305348</a>, @dberlin wrote:<br>
<br>
> I admit to being curious why you think volatile applies to a memory<br>
>  location , mainly because the last time it was discussed at length, i<br>
>  remember the consensus being that volatile is about the access, not the<br>
>  location ;-)<br>
<br>
<br>
</span>So, I will freely admit I haven't given this much thought. </blockquote><div><br></div><div>Nor have I ;-)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> I'm trying to not change the volatile implementation at all with these changes.  Having said that, let me explain...<br>
<br>
In C++, I believe volatile applies to a lvalue (i.e. location).</blockquote><div><br></div><div>Let's assume this is a correct description of C++ (I think it is, but it doesn't really matter ;P)</div><div><br></div><div>This is one of the places LLVM is deliberately different, AFAIK.</div><div><br></div><div>In fact, i believe we have tests in GVN to explicitly test that forwarding of various mixed forms to the same location works.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
I'm actively trying *not* to exploit this here.  If I changed behaviour for volatile loads or stores, that's unintentional and should be discussed.<br>
<br></blockquote><div>I don't believe you have, just want to make sure we are all on the same page.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<a href="http://reviews.llvm.org/D15352" rel="noreferrer" target="_blank">http://reviews.llvm.org/D15352</a><br>
<br>
<br>
<br>
</blockquote></div><br></div></div>