[llvm-dev] Strong compilation scheme of acquire loads to PPC

Jeehoon Kang via llvm-dev llvm-dev at lists.llvm.org
Thu Jun 2 20:16:50 PDT 2016

Hi everyone,

I wonder if why acquire loads (atomic accesses) are compiled to PowerPC as
`load+lwsync`, which is stronger than what is known to be sound:
`load+ctrl+isync`.  The relevant code section is:

Note that the compiler writers recognized this issue, and there is a
comment on it in the above code section.  But I would like to know if there
are more discussions on this issue.  Specifically, I would like to know if
the current compilation scheme is intentionally used.  Otherwise, I want to
make a patch that weakens the compilation scheme of acquire loads.

Thank you,

Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160603/211b2668/attachment.html>

More information about the llvm-dev mailing list