Displaying 1 result from an estimated 1 matches for "51feeb96".
2016 Aug 25
2
invariant.load metadata semantics
Hi Daniel,
Daniel Berlin wrote:
> 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?
Yes, that is what I had in