[llvm-dev] invariant.load metadata semantics

[Daniel Berlin via llvm-dev]

On Thu, Aug 25, 2016 at 4:09 PM, Sanjoy Das via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> Hi Hal,
>
> Hal Finkel via llvm-dev wrote:
> > Some questions: Do we allow stores to these locations at all? Only if
>
> I'd vote for disallowing stores to these locations, but if "stores
> allowed only if the value is the same" is helpful in some situation
> then I don't have specific reasons why that would be problematic.


To be specific, does this imply "if we see a store, we can assume it is of
the same value the load already has"?

IE if i have:

func()
{
load a, invariant.load !1
<use of a>
store a, 5
}

Can i assume that a in  <use of a> has the value 5?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160825/d4aaefc9/attachment.html>