[all-commits] [llvm/llvm-project] 32017d: [Attributor] Check for noalias call in AAInstanceInfo

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 32017d5efec598478a75c2c0027f64b71bd2ea4e
      https://github.com/llvm/llvm-project/commit/32017d5efec598478a75c2c0027f64b71bd2ea4e
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-08-10 (Wed, 10 Aug 2022)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor] Check for noalias call in AAInstanceInfo

The relevant property of allocation functions of interest here is
their uniqueness (in the sense of disjoint provenance), which is
encoded by the noalias return attribute.

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