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

Nikita Popov via All-commits all-commits at lists.llvm.org
Wed Aug 10 01:28:21 PDT 2022

  Branch: refs/heads/main
  Home:   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

More information about the All-commits mailing list