[Webkit-unassigned] [Bug 162349] Add acquire/release flags to B3::MemoryValue

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=162349

--- Comment #2 from Filip Pizlo <fpizlo at apple.com> ---
(In reply to comment #1)
> If load acquire has a range and the range is small then you can even reduce
> it to a consume dependency as you talk about in 162350.

I don't think that the optimizer can do that.  Consider this program, where B3 only sees procedure bar().

foo()
{
    a = load
}

bar()
{
    b = load
    c = load acquire
}

foo()
bar()

In this program, it's not valid to transform bar() into:

bar()
{
    b = load
    c = load depend b
}

because this does not create a dependency to foo()'s a = load.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20161030/afdd2ab6/attachment.html>