<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
----------------<br>
</span><span class="">sanjoy wrote:<br>
> This seems fishy -- if `volatile` loads do not invalidate pointers then why are they treated as defs by MSSA?<br>
</span>Well, because they should be treated as defs. </blockquote><div><br></div><div><br></div><div>Doubtful.  We need to respect various things  but they are not defs.</div><div>They do not change memory.</div><div>As mentioned, we simply don't represent ordering/etc chains separately from use-def chains right now,.</div><div><br></div></div></div></div>