[PATCH] D48239: [LangRef] Clarify meaning of "dereferencable" attribute/metadata.

Chandler Carruth via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jul 6 18:27:31 PDT 2018


chandlerc added a comment.

IMO, we really need to add the other attribute to the IR.

If we codify these semantics, we need to stop Clang from using this attribute. But we shouldn't just rip all that code out only to re-add it once the new attribute is in place. I would seem cleaner to add the new attribute with the desired semantics (even if it isn't (yet) wired up to the optimizer) so that we can just switch Clang from one attribute to the other.


Repository:
  rL LLVM

https://reviews.llvm.org/D48239





More information about the llvm-commits mailing list