[all-commits] [llvm/llvm-project] 82bd64: [AA] byval argument is identified function local

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 82bd64fff63272c92b91a951ffde678fb9af4899
      https://github.com/llvm/llvm-project/commit/82bd64fff63272c92b91a951ffde678fb9af4899
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-12-21 (Mon, 21 Dec 2020)

  Changed paths:
    M llvm/include/llvm/Analysis/AliasAnalysis.h
    M llvm/lib/Analysis/AliasAnalysis.cpp
    M llvm/test/Analysis/BasicAA/noalias-param.ll

  Log Message:
  -----------
  [AA] byval argument is identified function local

byval arguments should mostly get the same treatment as noalias
arguments in alias analysis. This was not the case for the
isIdentifiedFunctionLocal() function.

Marking byval arguments as identified function local means that
they cannot alias with other arguments, which I believe is correct.

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