[all-commits] [llvm/llvm-project] 61042d: [AA][Intrinsics] Add separate_storage assumptions.

[David Goldblatt via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 61042d2806af6b7202f1008d67b00c8dcfca62d6
      https://github.com/llvm/llvm-project/commit/61042d2806af6b7202f1008d67b00c8dcfca62d6
  Author: David Goldblatt <davidgoldblatt at fb.com>
  Date:   2022-12-16 (Fri, 16 Dec 2022)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/include/llvm/Analysis/BasicAliasAnalysis.h
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/lib/IR/Verifier.cpp
    A llvm/test/Analysis/BasicAA/separate_storage.ll
    M llvm/test/Verifier/assume-bundles.ll

  Log Message:
  -----------
  [AA][Intrinsics] Add separate_storage assumptions.

This operand bundle on an assume informs alias analysis that the
arguments point to regions of memory that were allocated separately
(i.e. different heap allocations, different allocas, or different
globals).

As a safety measure, we leave the analysis flag-disabled by default.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D136514