[PATCH] D62766: [Attributor] Deduce "nosync" function attribute.

[Stefan Stipanovic via Phabricator via llvm-commits]

sstefan1 added a subscriber: hfinkel.
sstefan1 added a comment.

In D62766#1560305 <https://reviews.llvm.org/D62766#1560305>, @nhaehnle wrote:

> This does seem useful, although the description is overly narrow (what does nosync on its own have to do with freeing memory?).


The idea was to use this with `nofree` for dereferencable, like @hfinkel proposed in this email <http://lists.llvm.org/pipermail/llvm-dev/2018-July/124555.html>.

> I also think that the definition of `nosync` needs some work, as just "synchronization" is a rather vague term. Can you define it in terms of fences and atomic instructions instead, e.g. by saying that a nosync function does not perform such operations (or some subset of such operations)?

I will update the definition with more details. Maybe I should put that in patch description instead of the current (narrow) one?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D62766/new/

https://reviews.llvm.org/D62766