[llvm-dev] Hoisting in the presence of volatile loads.

[Daniel Berlin via llvm-dev]

MemorySSA disambiguates volatile loads even though it treats them as defs.
see test/Analysis/MemorySSA/volatile-clobber.ll

Last discussion was https://reviews.llvm.org/D16875


On Tue, Dec 19, 2017 at 5:14 PM, Alina Sbirlea <alina.sbirlea at gmail.com>
wrote:

> Hi Krzysztof,
>
> Could I get some background info on reasoning about hoisting in the
> presence of volatile loads?
> I was looking at this testcase: test/Transforms/LICM/volatile-alias.ll
>
> Context: MemorySSA treats volatile loads as defs. I'm looking to better
> understand expected behavior in the presence of volatile accesses.
> More context: https://reviews.llvm.org/D40375.
>
> Thanks in advance,
> Alina
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171219/bf6a9fa9/attachment.html>