On 10/22/15 10:26, Richard Biener wrote:
On Thu, Oct 22, 2015 at 4:01 PM, Nathan Sidwell <nat...@acm.org> wrote:
RETURNS_TWICE will make the invariant motion stop at UNIQUE (HEAD), but it would have done that anyway. It will also be a CSE barrier, thus tem = global; UNIQUE(HEAD) tem2 = global; will not CSE tem2 to tem.
Yes, I can see it would behave like that for something globally visible. What about state that isn't so visible? (perhaps I'm worrying about something that doesn't matter, but I'd like to understand)
nathan
