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

[Nuno Lopes via Phabricator via llvm-commits]

nlopes added a comment.

Thanks for the reference.

An important issue is that LLVM IR does not have the notion of compilation unit, as we can merge .bc/.ll files from different compilation units and the optimizers can't tell the difference.
So I'm a bit concerned with the semantics we are trying to give here. They can't be operationalized in LLVM IR.
To implement an attribute equivalent to gcc's leaf we would need to capture the set of internal variables of each compilation unit in the attribute somehow.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D131628