[PATCH] D65377: [FunctionAttrs] Annotate intrinsics with nosync

Sat Aug 3 21:50:08 PDT 2019

jdoerfert added a comment.

In D65377#1613341 <https://reviews.llvm.org/D65377#1613341>, @arsenm wrote:

> I think nounwind is the one precedent case. There’s no explicit annotation for it, but it’s assumed for all but one intrinsic

So, the Attributor does not use any special handling for intrinsics when it comes to `nounwind`.
I don't think we should. Actually, the more I think out it, I believe an "opt-out" list if attributes would be the right thing.
We just need some consensus on that.

@sstefan1 Would you like to write an email to the list asking what people think about this idea? Feel free to email me and @arsenm a draft of the email if you want feedback.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D65377