[PATCH] D131628: [LangRef] Add description for nocallback attribute

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

Does the semantics imply that the following is UB? I assume so.

  define @fn() nocallback {
    call @foo()  ; missing nocallback
  }

What's the usefulness of this attribute? Is there any optimization that is enabled by this? It's not obvious to me, so it would be nice to document that.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D131628