<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Aug 25, 2016 at 4:09 PM, Sanjoy Das via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Hi Hal,<br>
<br>
Hal Finkel via llvm-dev wrote:<br></span><span class="">
> Some questions: Do we allow stores to these locations at all? Only if<br>
<br></span>
I'd vote for disallowing stores to these locations, but if "stores<br>
allowed only if the value is the same" is helpful in some situation<br>
then I don't have specific reasons why that would be problematic.</blockquote><div><br></div><div>To be specific, does this imply "if we see a store, we can assume it is of the same value the load already has"?</div><div><br></div><div>IE if i have:</div><div><br></div><div>func()</div><div>{<br>load a, invariant.load !1</div><div><use of a><br>store a, 5</div><div>}</div><div><br></div><div>Can i assume that a in  <use of a> has the value 5? </div><div> </div></div></div></div>