[all-commits] [llvm/llvm-project] 39fe49: [Inline] don't add noalias metadata for unknown ob...

[Chen Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 39fe49aa57896831d63d10dee8b85ca665c97ad0
      https://github.com/llvm/llvm-project/commit/39fe49aa57896831d63d10dee8b85ca665c97ad0
  Author: Chen Zheng <czhengsz at cn.ibm.com>
  Date:   2022-07-01 (Fri, 01 Jul 2022)

  Changed paths:
    M llvm/lib/Transforms/Utils/InlineFunction.cpp
    M llvm/test/Transforms/Inline/inline-noalias-unidentify-object.ll

  Log Message:
  -----------
  [Inline] don't add noalias metadata for unknown objects.

The unidentified objects recognized in `getUnderlyingObjects` may
still alias to the noalias parameter because `getUnderlyingObjects`
may not check deep enough to get the underlying object because of
`MaxLookup`. The real underlying object for the unidentified object
 may still be the noalias parameter.

Originally Patched By: tingwang

Reviewed By: nikic

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