[PATCH] D136514: [AA][Intrinsics] Add separate_storage assumptions.

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LGTM



================
Comment at: llvm/docs/LangRef.rst:2582
+
+This indicates that  no pointer :ref:`based <pointeraliasing>` on one of its
+arguments can alias any pointer based on the other.
----------------
nit: double space


================
Comment at: llvm/test/Analysis/BasicAA/separate_storage.ll:1
+; RUN: opt < %s -passes='gvn' -basic-aa-separate-storage -S | FileCheck %s
+
----------------
Please use update_test_checks.py to generate CHECK lines.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D136514