[PATCH] D63067: [Attributor] NoAlias on return values.

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added inline comments.


================
Comment at: llvm/include/llvm/Transforms/IPO/Attributor.h:592
+
+  /// Return true if we assume that the underlying value does not alias.
+  virtual bool isAssumedNoAlias() const = 0;
----------------
` is "noalias"`


================
Comment at: llvm/lib/Transforms/IPO/Attributor.cpp:677
+    Attrs.emplace_back(Attribute::get(Ctx, "noalias"));
+  }
+
----------------
No need to overload `getDeducedAttributes`. The default one will do the right thing.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D63067